arXiv research

Study constraints on diffeomorphisms and homeomorphisms of 4-manifolds with boundary.

New invariant connects symplectic fillings and contact structures.

Constrained least squares regression is an essential tool for high-dimensional data analysis. Given a partition $\mathcal{G}$ of input variables, this paper considers a particular class of nonconvex constraint functions that encourage the linear model to select a small number of variables from a small number of groups …

Uniform entropy bound for Ricci shrinkers with bounded curvature.

New methods prove weak homotopy inequivalence for manifold symmetries.

Study proves existence of multiple geodesics in a specific metric space.

In relation to the 4-dimensional smooth Poincaré conjecture we construct a tentative invariant of homotopy 4-spheres using embedded contact homology (ECH) and Seiberg-Witten theory (SWF). But for good reason it is a constant value independent of the sphere, so this null-result demonstrates that one should not try to us…

Constructs a support-preserving homotopy for differential forms with boundary decay estimates.

We obtain constraints on the topology of families of smooth $4$-manifolds arising from a finite dimensional approximation of the families Seiberg-Witten monopole map. Amongst other results these constraints include a families generalisation of Donaldson's diagonalisation theorem and Furuta's $10/8$ theorem. As an appli…

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

New principle for optimal control with higher order differential constraints.

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…

S.Bauer and M.Furuta defined a stable cohomotopy refinement of the Seiberg-Witten invariants. In this paper, we prove a vanishing theorem of Bauer-Furuta invariants for 4-manifolds with smooth Z/2-actions. As an application, we give a constraint on smooth Z/2-actions on homotopy K3#K3, and construct a nonsmoothable loc…

We consider the $D$-dimensional Euclidean space, $\mathbb{R}^D$, with certain $(D-N)$-dimensional compact, closed and orientable sub-manifolds (which we call \emph{singularity manifolds} and represent by $\widetilde{\mathcal{S}}$) removed from it. We define and investigate the problem of finding a homotopy-like class i…

We assume that we are given a time series of data from a dynamical system and our task is to learn the flow map of the dynamical system. We present a collection of results on how to enforce constraints coming from the dynamical system in order to accelerate the training of deep neural networks to represent the flow map…

Totally real immersions $f$ of a closed real surface $Σ$ in an almost complex surface $M$ are completely classified, up to homotopy through totally real immersions, by suitably defined homotopy classes $\frak{M}(f)$ of mappings from $Σ$ into a specific real 5-manifold $E(M)$, while $\frak{M}(f)$ themselves are subject …

Algorithm solves covariant exterior derivative equations in small regions.

We interpret heterotic M-theory in terms of h-cobordism, that is the eleven-manifold is a product of the ten-manifold times an interval is translated into a statement that the former is a cobordism of the latter which is a homtopy equivalence. In the non-simply connected case, which is important for model building, the…

The ``classical BRST construction'' as developed by Batalin-Fradkin-Vilkovisky is a homological construction for the reduction of the Poisson algebra $P = C^\infty (W)$ of smooth functions on a Poisson manifold $W$ by the ideal $I$ of functions which vanish on a constraint locus. This ideal is called first class if $I$…

Machine learning identifies boundaries of real solutions in polynomial systems.

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…

New examples of manifolds that are homotopy but not simple homotopy equivalent.

By considering homotopies that preserve the stratification, one obtains a natural notion of homotopy for stratified spaces. In this short note, we introduce invariants of stratified homotopy, the stratified homotopy groups. We show that they satisify a stratified version of Whitehead's theorem. As an example, we introd…

Classifies colored links and spatial graphs up to colored link-homotopy.

Paper proves homotopy braid group properties over integers and three strands.

We investigate a parabolic-elliptic system for maps $(u,v)$ from a compact Riemann surface $M$ into a Lorentzian manifold $N\times{\mathbb{R}}$ with a warped product metric. That system turns the harmonic map type equations into a parabolic system, but keeps the $v$-equation as a nonlinear second order constraint along…

New examples of manifolds with similar homotopy but different simple homotopy types.

V. Turaev introduced the theory of topology of words and phrases in 2005. This is a combinatorialy extension of the theory of virtual knots and links. In this paper we generalize the notion of homotopy of words and phrases and we give geometric meanings of the generalized homotopy of words. Moreover using the generaliz…

The study shows how stabilizing manifolds with projective spaces affects their homotopy structure.

New polynomials detect non-rotatable knotoid shapes.

Classifies non-linear Fredholm maps linking to stable homotopy groups of spheres.

Edge-homotopy and vertex-homotopy are equivalence relations on spatial graphs which are generalizations of Milnor's link-homotopy. We introduce some edge (resp. vertex)-homotopy invariants of spatial graphs by applying the Sato-Levine invariant for the 2-component constituent algebraically split links and show examples…

Characterizes compact complex surfaces with finite homotopy rank-sum.

Two approaches study the homotopy of blow ups in algebraic and symplectic geometry.

Study shows equivariant Khovanov homotopy types are equivalent.

We explore homotopies in quantum field theory formalism.

Characterizes Stein surfaces with finite homotopy rank-sum.

Introduces homotopy momentum sections on multisymplectic manifolds.

Homotopy commutativity in quasitoric manifolds depends on polytope structure and characteristic matrix type.

Simplified proofs for splitting homotopy idempotents.

Quasi-holomorphic homotopies of immersions of 3-manifolds into 5-manifolds

Link homotopy has been an active area of research for knot theorists since its introduction by Milnor in the 1950s. We introduce a new equivalence relation on spatial graphs called component homotopy, which reduces to link homotopy in the classical case. Unlike previous attempts at generalizing link homotopy to spatial…

This paper describes a method to construct standard 4-balls from homotopy 4-balls in $\mathbb{C}^2$.

Study rational homotopy types of embedding spaces of manifolds.

Edge-homotopy and vertex-homotopy are equivalence relations on spatial graphs which are generalizations of Milnor's link-homotopy. Fleming and the author introduced some edge (resp. vertex)-homotopy invariants of spatial graphs by applying the Sato-Levine invariant for the constituent 2-component algebraically split li…

The paper classifies links up to link-homotopy using claspers.

New homotopy 4-spheres and real projective 4-spaces created.

In this note on coarse geometry we revisit coarse homotopy. We prove that coarse homotopy indeed is an equivalence relation, and this in the most general context of abstract coarse structures. We introduce (in a geometric way) coarse homotopy groups. The main result is that the coarse homotopy groups of cone of a compa…