arXiv research

Neural networks can separate non-separable data using feature maps.

New constructions from non-separating planar graphs improve understanding of graph linkability and knotability.

New non-separable covariance kernels for spatiotemporal data derived from harmonic oscillator physics.

Surgery on knots can produce non-separating spheres, using Heegaard Floer homology.

The complement of a non-separating planar graph contains a K_n minor.

Finite rigid sets found in complex of curves for surfaces.

Paper examines Dehn twists on non-orientable surfaces and their limitations.

We construct Bing houses in all dimensions $n \geq 3$, obtaining non-separating PL immersions of $\mathbb{S}^n \rightarrow\mathbb{R}^{n+1}$.

New algorithms reduce slate bandit regret for large slates, outperforming existing methods.

Logistic regression is one of the most popular methods in binary classification, wherein estimation of model parameters is carried out by solving the maximum likelihood (ML) optimization problem, and the ML estimator is defined to be the optimal solution of this problem. It is well known that the ML estimator exists wh…

A non-separating multicurve of a surface S of genus g with m punctures is a multicurve c so that S-c is connected. For k>0 define the graph of non-separting k-multicurves to be the graph whose vertices are non-separating multicurves with k components and where two such multicurves are connected by an edge if they can b…

The paper proves local laws for non-separable sample covariance matrices.

If a 3--manifold $Y$ contains a non-separating sphere, then some twisted Heegaard Floer homology of $Y$ is zero. This simple fact allows us to prove several results about Dehn surgery on knots in such manifolds. Similar results have been proved for knots in $L$--spaces.

Study shortest non-separating curves on non-orientable surfaces, proving NP-hardness and tractability.

We obtain a finite generating set for the level 2 twist subgroup of the mapping class group of a closed non-orientable surface. The generating set consists of crosscap pushing maps along non-separating two-sided simple loops and squares of Dehn twists along non-separating two-sided simple closed curves. We also prove t…

This paper restricts efficient geodesics to non-separating curves.

Minimal simplicial complexes in high dimensions always contain complex links.

For n >2, we shall show that the group Aut(NS(M)) of simplicial automorphisms of the complex NS(M) of non-separating embedded spheres in the manifold M,connected sum of n copies of S^2 X S^1, isomorphic to the group Out(F_n) of outer automorphisms of the free group F_n, where $F_n$ is identified with the fundamental gr…

In this paper, we study the dynamics of gradient descent in learning neural networks for classification problems. Unlike in existing works, we consider the linearly non-separable case where the training data of different classes lie in orthogonal subspaces. We show that when the network has sufficient (but not exceedin…

We prove integral rigidity for Seiberg-Witten invariants of 4-manifolds with specific hypersurfaces.

Safe screening rule improves Group SLOPE efficiency.

In the curve complex for a surface, a handlebody set is the set of loops that bound properly embedded disks in a given handlebody bounded by the surface. A boundary set is the set of non-separating loops in the curve complex that bound two-sided, properly embedded surfaces. For a Heegaard splitting, the distance betwee…

Reduces connectivity problem for genus-4 Heegaard surface in 3-sphere.

For an infinite cardinal $κ$ let $\ell_2(κ)$ be the linear hull of the standard othonormal base of the Hilbert space $\ell_2(κ)$ of density $κ$. We prove that a non-separable convex subset $X$ of density $κ$ in a locally convex linear metric space if homeomorphic to the space (i) $\ell_2^f(κ)$ if and only if $X$ can be…

We discuss the $ζ-$regularized determinant of elliptic boundary value problems on a line segment. Our framework is applicable for separated and non-separated boundary conditions.

A new method for federated survival analysis using Cox models.

The unknot U in S^4 has non-unique smooth spanning 3-balls up to isotopy fixing U. Equivalently there are properly embedded non-separating 3-balls in S^1xB^3 not properly isotopic to 1xB^3. More generally there exist non-separating 3-spheres in S^1xS^3 not isotopic to 1xS^3 and non trivial elements of π_0 Diff_0(S^1xS^…

New graph kernels capture spatio-temporal interactions.

In many situations, classes of data points of primary interest also happen to be those that are least numerous. A well-known example is detection of fraudulent transactions among the collection of all financial transactions, the vast majority of which are legitimate. These types of problems fall under the label of `rar…

We introduce an iterative optimization scheme for convex objectives consisting of a linear loss and a non-separable penalty, based on the expectation-consistent approximation and the vector approximate message-passing (VAMP) algorithm. Specifically, the penalties we approach are convex on a linear transformation of the…

Study shows deep linear networks can converge to flatter minima at large learning rates.

To any compact Riemann surface of genus g one may assign a principally polarized abelian variety of dimension g, the Jacobian of the Riemann surface. The Jacobian is a complex torus, and a Gram matrix of the lattice of a Jacobian is called a period Gram matrix. This paper provides upper and lower bounds for all the ent…

We generalize the classical Szpiro inequality to the case of a semistable family of hyperelliptic curves. We show that for a semistable symplectic Lefschetz fibration of hyperelliptic curves of genus $g$, the number $N$ of non-separating vanishing cycles and the number $D$ of singular fibers satisfy the inequality $N \…

We present a necessary and sufficient condition for existence of a contractible, non-separating and noncontractible separating Hamiltonian cycle in the edge graph of polyhedral maps on surfaces. In particular, we show the existence of contractible Hamiltonian cycle in equivelar triangulated maps. We also present an alg…

In this paper, we use a result of Dahmani to show that the Euler class of some power subgroup (the subgroup normally generated by a fixed power of Dehn twist about a non-separating curve) is trivial inside the mapping class group of once punctured surface.

In her seminal 2008 paper, Maryam Mirzakhani showed that the ratio that two topological types of curves occur in is a rational number. In this paper we describe the process by which we obtained experimental evidence that separating and non-separating curves on the surface of genus two occur in the ratio 1 : 48.

Identifies Heegaard Floer homology solid tori via Dehn fillings.

Modifying the method of [21], we compute the perturbed $HF^+$ for some special classes of fibered three manifolds in the second highest spin$^c$-structures $S_{g-2}$. The special classes considered in this paper include the mapping tori of Dehn twists along a single non-separating curve and along a transverse pair of c…

We present a scalable Gaussian process model for identifying and characterizing smooth multidimensional changepoints, and automatically learning changes in expressive covariance structure. We use Random Kitchen Sink features to flexibly define a change surface in combination with expressive spectral mixture kernels to …

We provide a new online learning algorithm which utilizes online passive-aggressive learning (PA) and total-error-rate minimization (TER) for binary classification. The PA learning establishes not only large margin training but also the capacity to handle non-separable data. The TER learning on the other hand minimizes…

We show that a Hitchin representation is determined by the spectral radii of the images of simple, non-separating closed curves. As a consequence, we classify isometries of the intersection function on Hitchin components of dimension 3 and on the self-dual Hitchin components in all dimensions. As an important tool in t…

AMP algorithm for matrix tensor product model provides recovery conditions.

SLOPE is a relatively new convex optimization procedure for high-dimensional linear regression via the sorted l1 penalty: the larger the rank of the fitted coefficient, the larger the penalty. This non-separable penalty renders many existing techniques invalid or inconclusive in analyzing the SLOPE solution. In this pa…

New condition prevents hyperbolic spaces from matching curve complexes.

Reduces weak reducing pairs to spheres in 3-sphere Heegaard surfaces.

New test for SGD in binary classification reduces computation time.

We show that the only way of changing the framing of a link by ambient isotopy in an oriented $3$-manifold is when the manifold has a properly embedded non-separating $S^2$. This change of framing is given by the Dirac trick, also known as the light bulb trick. The main tool we use is based on McCullough's work on the …

In view of the self-linking invariant, the number $|K|$ of framed knots in $S^3$ with given underlying knot $K$ is infinite. In fact, the second author previously defined affine self-linking invariants and used them to show that $|K|$ is infinite for every knot in an orientable manifold unless the manifold contains a c…