arXiv research

PAC learning sample complexity is decidable with finite support bounds.

Currents on Lie groups form a Hopf algebra structure.

We prove that a monomorphic functor $F:Comp\to Comp$ with finite supports is epimorphic, continuous, and its maximal $\emptyset$-modification $F^\circ$ preserves intersections. This implies that a monomorphic functor $F:Comp\to Comp$ of finite degree $deg F\le n$ preserves (finite-dimensional) compact ANR's if the spac…

The paper analyzes how the one-dimensional Wasserstein distance captures pointwise density differences in finite samples.

Kaimanovich and Masur showed that a random walk on the mapping class group for an initial distribution with finite first moment and whose support generates a non-elementary subgroup, converges almost surely to a point in the space PMF of projective measured foliations on the surface. This defines a harmonic measure on …

Study on compact and finite-type support in mapping class group homology.

We compute the compactly supported cohomology of the standard realization of any locally finite building.

Defines a bundle map for currents on manifolds using higher covariant derivatives.

The problem of super-resolution in general terms is to recuperate a finitely supported measure $μ$ given finitely many of its coefficients $\hatμ(k)$ with respect to some orthonormal system. The interesting case concerns situations, where the number of coefficients required is substantially smaller than a power of the …

We study aspherical manifolds that do not support Anosov diffeomorphisms. Weakening conditions of Gogolev and Lafont, we show that the product of an infranilmanifold with finitely many aspherical manifolds whose fundamental groups have trivial center and finite outer automorphism group does not support Anosov diffeomor…

CASP selects reliable policies for two-stage recommender systems by considering both value and support.

In this expository paper we illustrate the generality of game theoretic probability protocols of Shafer and Vovk (2001) in finite-horizon discrete games. By restricting ourselves to finite-horizon discrete games, we can explicitly describe how discrete distributions with finite support and the discrete pricing formulas…

We present sufficient conditions for topological stability of continuous functions $f:\mathbb{R}\to\mathbb{R}$ having finitely many local extrema with respect to averagings by discrete measures with finite supports.

In this paper, we study strongly quasiconvex subgroups in a finitely generated $3$--manifold group $π_1(M)$. We prove that if $M$ is a compact, orientable $3$--manifold that does not have a summand supporting the Sol geometry in its sphere-disc decomposition then a finitely generated subgroup $H \le π_1(M)$ has finite …

We obtain sufficient conditions exlcuding the existence of non-trivial distribution sections of bundles over the boundary of symmetric spaces of negative curvature which are invariant with respect to a geometrically finite group of isometries and are supported on the limit set in a strong sense.

We study $n$-dimensional area-minimizing currents $T$ in $\mathbb{R}^{n+1},$ with boundary $\partial T$ satisfying two properties: $\partial T$ is locally a finite sum of $(n-1)$-dimensional $C^{1,α}$ orientable submanifolds which only meet tangentially and with same orientation, for some $α\in (0,1]$; $\partial T$ has…

Paper presents a unique method to recover signals from their bispectrum.

The Lasso performs well in ultra-sparse linear models with finite support size.

It is shown that bootstrap approximations of support vector machines (SVMs) based on a general convex and smooth loss function and on a general kernel are consistent. This result is useful to approximate the unknown finite sample distribution of SVMs by the bootstrap approach.

Study supports recovery of PDEs from noisy data using a specific regularization method.

Cyclic coordinate descent identifies models in finite time and converges linearly.

Let $Γ$ be a relatively hyperbolic group and let $μ$ be an admissible symmetric finitely supported probability measure on $Γ$. We extend Floyd-Ancona type inequalities up to the spectral radius of $μ$. We then show that when the parabolic subgroups are virtually abelian, the Martin boundary of the induced random walk o…

We prove that if a contact manifold $(M,ξ)$ is supported by a planar open book, then Euler characteristic and signature of any Stein filling of $(M,ξ)$ is bounded. We also prove a similar finiteness result for contact manifolds supported by spinal open books with planar pages. Moving beyond the geography of Stein filli…

By adapting the Cheeger-Simons approach to differential cohomology, we establish a notion of differential cohomology with compact support. We show that it is functorial with respect to open embeddings and that it fits into a natural diagram of exact sequences which compare it to compactly supported singular cohomology …

Proves finiteness and holonomicity of skein modules for 3-manifolds.

A well-known question asks whether any two non-isometric finite volume hyperbolic 3-manifolds are distinguished from each other by the finite quotients of their fundamental groups. At present, this has been proved only when one of the manifolds is a once-punctured torus bundle over the circle. We give substantial compu…

The study optimizes Gaussian process approximations for finite-rank models.

Reconstructing polytopes with fixed facet directions from support function evaluations.

A method estimates causal parameters using a latent variable recovery.

Simultaneous orthogonal matching pursuit (SOMP) and block OMP (BOMP) are two widely used techniques for sparse support recovery in multiple measurement vector (MMV) and block sparse (BS) models respectively. For optimal performance, both SOMP and BOMP require \textit{a priori} knowledge of signal sparsity or noise vari…

This work establishes the equivalence between neural networks and support vector machines.

Finiteness predicts dualities in quantum gravity.

We prove that the degree of the Brandt-Lickorish-Millet polynomial of any quasi-alternating link is less than its determinant. Therefore, we obtain a new and a simple obstruction criterion for quasi-alternateness. As an application, we identify some knots of 12 crossings or less and some links of 9 crossings or less th…

Quadratic differentials on Riemann surfaces uniquely determine foliations.

We develop a unified approach for classification and regression support vector machines for data subject to right censoring. We provide finite sample bounds on the generalization error of the algorithm, prove risk consistency for a wide class of probability measures, and study the associated learning rates. We apply th…

We show that various classes of products of manifolds do not support transitive Anosov diffeomorphisms. Exploiting the Ruelle-Sullivan cohomology class, we prove that the product of a negatively curved manifold with a rational homology sphere does not support transitive Anosov diffeomorphisms. We extend this result to …

A long-standing conjecture asserts that any Anosov diffeomorphism of a closed manifold is finitely covered by a diffeomorphism which is topologically conjugate to a hyperbolic automorphism of a nilpotent manifold. In this paper, we show that any closed 4-manifold that carries a Thurston geometry and is not finitely cov…

We consider a finitely generated torsion free Kleinian group $H$ and a random walk on $H$ with respect to a symmetric nondegenerate probability measure $μ$ with finite support. When $H$ is geometrically infinite without parabolics or when $H$ is Gromov hyperbolic with parabolics, we prove that the Patterson-Sullivan me…

Study shows $k$-NN classifier is not universally consistent on $(0,1)$ but consistent on discrete and specific measure spaces.

New surfaces with special geodesic and horocycle behaviors discovered.

Mutation graph of support τ-tilting modules over skew-gentle algebras is connected.

Each compact manifold M of finite dimension k is differentiable and supports an intrinsic probability measure. There then exists a measurable transformation of M to the k-dimensional "surface" of the (k+1)-dimensional ball.

We show that if a complete Riemannian manifold supports a vector field such that the Ricci tensor plus the Lie derivative of the metric with respect to the vector field has a positive lower bound, then the fundamental group is finite. In particular, it follows that complete shrinking Ricci solitons and complete smooth …

We pursue the study of holomorphic Cartan geometry with singularities. We introduce the notion of logarithmic Cartan geometry on a complex manifold, with polar part supported on a normal crossing divisor. In particular, we show that the push-forward of a Cartan geometry constructed using a finite Galois ramified coveri…

This paper explores infinite-dimensional Teichmüller spaces and their properties.

Estimates barycenter in geodesic spaces with finite sample bounds.

We investigate the supports of extremal martingale measures with pre-specified marginals in a two-period setting. First, we establish in full generality the equivalence between the extremality of a given measure $Q$ and the denseness in $L^1(Q)$ of a suitable linear subspace, which can be seen in a financial context as…

We present a new approach to Morse and Novikov theories, based on the deRham Federer theory of currents, using the finite volume flow technique of Harvey and Lawson. In the Morse case, we construct a noncompact analogue of the Morse complex, relating a Morse function to the cohomology with compact forward supports of t…