arXiv research

HomoODE connects DEQs and Neural ODEs via homotopy continuation, improving accuracy and memory efficiency.

Suppose that the inverse image of the zero vector by a continuous map $f:{\mathbb R}^n\to{\mathbb R}^q$ has an isolated point $P$. There is a local obstruction to removing this isolated zero by a small perturbation, generalizing the notion of index for vector fields, the $q=n$ case. The existence of a continuous map $g…

In "On the homotopy theory of arrangements," published in 1986, the authors gave a comprehensive survey of the subject. This article updates and continues the earlier article, noting some key open problems.

Study the spaces of flat connections for classical Lie groups using Chern-Weil theory.

Classifies defects in ordered media using homotopy theory.

Extends h-principle to stratified spaces using sheaf and jet theories.

Smooth actions of infinite groups linked to homotopy theory.

How to generalize the concept of eigenvalues of quadratic forms to eigenvalues of arbitrary, even, homogeneous continuous functionals, if stability of the set of eigenvalues under small perturbations is required? We compare two possible generalizations, Gromov's homotopy significant spectrum and the Krasnoselskii spect…

A bounded curvature path is a continuously differentiable piecewise $C^2$ path with a bounded absolute curvature that connects two points in the tangent bundle of a surface. In this work, we analyze the homotopy classes of bounded curvature paths for points in the tangent bundle of the Euclidean plane. We show the exis…

Let $M$ be a connected open Riemann surface. We prove that the space $\mathscr L(M,\mathbb C^{2n+1})$ of all holomorphic Legendrian immersions of $M$ into $\mathbb C^{2n+1}$, $n\geq 1$, endowed with the standard holomorphic contact structure, is weakly homotopy equivalent to the space $\mathscr C(M,\mathbb S^{4n-1})$ o…

Developing efficient and guaranteed nonconvex algorithms has been an important challenge in modern machine learning. Algorithms with good empirical performance such as stochastic gradient descent often lack theoretical guarantees. In this paper, we analyze the class of homotopy or continuation methods for global optimi…

Develops a more powerful selective inference method for stepwise feature selection.

This study examines the topology of singularities in optimal semicouplings between unequal spaces.

Belief propagation (BP) is a popular method for performing probabilistic inference on graphical models. In this work, we enhance BP and propose self-guided belief propagation (SBP) that incorporates the pairwise potentials only gradually. This homotopy continuation method converges to a unique solution and increases th…

Given a compact orientable surface of negative Euler characteristic, there exists a natural pairing between the Teichmueuller space of the surface and the set of homotopy classes of simple loops and arcs. The length pairing sends a hyperbolic metric and a homotopy class of a simple loop or arc to the length of geodesic…

A smooth map having only fold singularities is called a fold-map. We will give effective conditions for a continuous map to be homotopic to a fold-map from the viewpoint of the homotopy principle.

Paper proposes a new method for selective inference in robust regression.

These course note first provide an introduction to secondary characteristic classes and differential cohomology. They continue with a presentation of a stable homotopy theoretic approach to the theory of differential extensions of generalized cohomology theories including products and Umkehr maps.

The study proves a strong parametric h-principle for minimal surfaces.

Extends knotted defect classification to bounded domains using handlebodies.

Develops analysis of Hölder continuous mappings on Heisenberg groups.

The paper studies the space of Gauss maps of complete minimal surfaces and their homotopy types.

We give a construction to remove coincidence points of continuous maps on graphs (1-complexes) by changing the maps by homotopies. When the codomain is not homeomorphic to the circle, we show that any pair of maps can be changed by homotopies to be coincidence free. This means that there can be no nontrivial coincidenc…

Study 2D spaces with curvature, focusing on structure and approximations.

Researchers prove a method to upgrade Morse-Bott homology to stable homotopy invariants.

Given a sample of points $X$ in a metric space $M$ and a scale $r>0$, the Vietoris-Rips simplicial complex $\mathrm{VR}(X;r)$ is a standard construction to attempt to recover $M$ from $X$ up to homotopy type. A deficiency of this approach is that $\mathrm{VR}(X;r)$ is not metrizable if it is not locally finite, and thu…

Let X be a real algebraic subset of R^n and M a smooth, closed manifold. We show that all continuous maps from M to X are homotopic (in X) to C^\infty maps. We apply this result to study characteristic classes of vector bundles associated to continuous families of complex group representations, and we establish lower b…

Study robustness of polynomial neural networks using algebraic geometry.

Coarse geometry, and in particular coarse homotopy theory, has proven to be a powerful tool for approaching problems in geometric group theory and higher index theory. In this paper, we continue to develop theory in this area by proving a Coarse Lifting Lemma with respect to a certain class of bornologous surjective ma…

The paper explores the structure of Reeb spaces for smooth functions on manifolds.

Machine learning identifies boundaries of real solutions in polynomial systems.

This work continues the study of a homotopy-theoretic construction of the author inspired by the Bott-Taubes integrals. Bott and Taubes constructed knot invariants by integrating differential forms along the fiber of a bundle over the space of knots. Their techniques were later used by Cattaneo et al. to construct real…

This is both an expository and research paper where we advocate a systematic study of continuous analogues of finite partially ordered sets, convex polytopes, oriented matroids, arrangements of subspaces, finite simplicial complexes, and other combinatorial structures. Among the illustrative examples are an Euler formu…

We investigate the problem of describing the homotopy classes $[X,Y]$ of continuous functions between $ω$-bounded non metrizable manifolds $X,Y$. We define a family of surfaces $X$ built with the first octant $C$ in $L^2$ ($L$ is the longline and $R$ the longray), and show that $[X,R]$ is in bijection with so called `a…

Study of spaces of pure braids and string links using diagrams and integrals.

We study geometric variational problems for a class of effective models in quantum field theory known as Faddeev-Skyrme models. Mathematically one considers minimizing an energy functional on homotopy classes of maps from closed 3-manifolds into homogeneous spaces of compact Lie groups. The energy minimizers known as H…

Given a manifold $M$ and a proper sub-bundle $Δ\subset TM$, we study homotopy properties of the horizontal base-point free loop space $Λ$, i.e. the space of absolutely continuous maps $γ:S^1\to M$ whose velocities are constrained to $Δ$ (for example: legendrian knots in a contact manifold). A key technical ingredient f…

We show a Whitney Approximation Theorem for a continuous map from a manifold to a smooth CW complex. This enables us to show that a topological CW complex is homotopy equivalent to a smooth CW complex in a category of topological spaces. It is also shown that, for any open covering of a smooth CW complex, there exists …

We consider solving the $\ell_1$-regularized least-squares ($\ell_1$-LS) problem in the context of sparse recovery, for applications such as compressed sensing. The standard proximal gradient method, also known as iterative soft-thresholding when applied to this problem, has low computational cost per iteration but a r…

We prove that every homomorphism from the fundamental group of a planar Peano continuum to the fundamental group of a planar or one-dimensional Peano continuum is induced by a continuous map up to conjugation. This is then used to provide a family of uncountable many planar Peano continua with pairwise non-isomorphic f…

If you are predicting the label $y$ of a new object with $\hat y$, how confident are you that $y = \hat y$? Conformal prediction methods provide an elegant framework for answering such question by building a $100 (1 - α)\%$ confidence region without assumptions on the distribution of the data. It is based on a refittin…

This expository article discusses some connections between the geometry of a hyperbolic 3-manifold homotopy-equivalent to a surface, and the combinatorial properties of its end invariants. In particular a necessary and sufficient condition is stated for the manifold to have arbitrarily short geodesics, in terms of a se…

Periodic geodesics on Hilbert half-Lie groups exist whenever the fundamental group is nontrivial.

Given a Riemannian metric on a homotopy $n$-sphere, sweep it out by a continuous one-parameter family of closed curves starting and ending at point curves. Pull the sweepout tight by, in a continuous way, pulling each curve as tight as possible yet preserving the sweepout. We show: Each curve in the tightened sweepout …

Belief propagation (BP) is an iterative method to perform approximate inference on arbitrary graphical models. Whether BP converges and if the solution is a unique fixed point depends on both the structure and the parametrization of the model. To understand this dependence it is interesting to find \emph{all} fixed poi…

Generalizes Hopf degree theorem to nontrivial bundles.

Study limits of curved spaces with boundaries.

Homotopy on nanophrases is an equivalence relation defined using some data called a homotopy data triple. We define a product on homotopy data triples. We show that any homotopy data triple can be factorized into a product of prime homotopy data triples and this factorization is unique up to isomorphism and order. If a…