arXiv research

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

New graph kernels capture spatio-temporal interactions.

New kernels allow learning from non-separable data.

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

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

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 …

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

Finite rigid sets found in complex of curves for surfaces.

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

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}$.

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…

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.

Paper proves Torelli group's finiteness for surfaces with 2 boundaries.

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

Gradient descent converges to perfect classification in neural nets for non-separable data.

Kernelized convex clustering handles non-linear and non-convex data.

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.

We derive and analyze a new, efficient, pool-based active learning algorithm for halfspaces, called ALuMA. Most previous algorithms show exponential improvement in the label complexity assuming that the distribution over the instance space is close to uniform. This assumption rarely holds in practical applications. Ins…

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…

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…

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

Calculates Dehn twist actions on conformal blocks for modular categories.

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

Develops flexible non-parametric ACFs using B-spline kernels.

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.

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^…

Proves equations for high-dimensional gradient-based methods from Gaussian data.

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…

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…

Identifying changes in model parameters is fundamental in machine learning and statistics. However, standard changepoint models are limited in expressiveness, often addressing unidimensional problems and assuming instantaneous changes. We introduce change surfaces as a multidimensional and highly expressive generalizat…

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…

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…

AMP algorithm for matrix tensor product model provides recovery conditions.

DeepRV accelerates spatiotemporal inference using neural priors.