arXiv research

Stable unactivated neurons reduce expressiveness in ReLU networks.

The paper constructs infinitely many stably diffeomorphic but non-homotopy equivalent manifolds.

Characterizes stably elliptic elements in Lie groups and their properties.

In this paper we introduce the notion of almost flatness for (stably) relative bundles on a pair of topological spaces and investigate basic properties of it. First, we show that almost flatness of topological and smooth sense are equivalent. This provides a construction of an almost flat stably relative bundle by usin…

New stable exotic 4-manifolds found with specific topological properties.

Calculates cobordism ring of stably almost complex C_p-manifolds.

The study finds stably free modules and distinct 2-complexes for large ranks.

The monoids l_{2q+1}(Z[π]) detect s-cobordisms amongst certain bordisms between stably diffeomorphic 2q-dimensional manifolds and generalise the Wall simple surgery obstruction groups, L_{2q+1}^s(Z[π]) \subset l_{2q+1}(Z[π]). In this paper we give exact sequences which completely describe l_{2q+1}(Z[π]) as a set and wh…

We show that any $(\C ^*)^n$-invariant stably complex structure on a topological toric manifold of dimension $2n$ is integrable. We also show that such a manifold is weakly $(\C ^*)^n$-equivariantly isomorphic to a toric manifold.

We show that two closed, connected $4$-manifolds with finite fundamental groups are $\mathbb{CP}^2$-stably homeomorphic if and only if their quadratic $2$-types are stably isomorphic and their Kirby-Siebenmann invariant agrees.

New method finds non-orientable knotted surfaces in 4D.

Regular sliceness implies once-stably decomposable sliceness in symplectizations.

We construct examples of robustly transitive and stably ergodic partially hyperbolic diffeomorphisms $f$ on compact $3$-manifolds with fundamental groups of exponential growth such that $f^n$ is not homotopic to identity for all $n>0$. These provide counterexamples to a classification conjecture of Pujals.

We give complete geometric invariants of cobordisms of fold maps with oriented singular set and cobordisms of even codimensional fold maps. These invariants are given in terms of cobordisms of stably framed manifolds and cobordisms of immersions with prescribed normal bundles defined by the author in his earlier works.

The paper defines a Chern-Simons invariant for stably trivial vector bundles and uses it to obstruct conformal immersions.

There is a question asking whether a handle-irreducible summand of every stable-ribbon surface-link is a unique ribbon surface-link. This question for the case of a trivial surface-link is affirmatively answered. That is, a handle-irreducible summand of every stably trivial surface-link is only a trivial 2-link. By com…

The notion of a (stably) decomposable fiber bundle is introduced. In low dimensions, for torus fiber bundles over a circle the notion translates into a property of elements of the special linear group of integral matrices. We give a complete characterization of the stably decomposable torus fiber bundle of fiber-dimens…

New invariant detects non-homotopy equivalent 4-manifolds.

In [D.A. Fedoseev, V.O. Manturov, A sliceness criterion for odd free knots,arXiv:1707.04923], the authors proved a sliceness criterion for odd free knots: free knots with odd chords. In the present paper we give a similar criterion for stably odd free knots. Some additional results on knot sliceness and cobordism are g…

Explicit formulas for Hattori-Stong integrability conditions and manifolds' signature properties.

Is a given map between compact topological manifolds homotopic to the projection map of a fiber bundle? In this paper obstructions to this question are introduced with values in higher algebraic K-theory. Their vanishing implies that the given map fibers stably. The methods also provide results for the corresponding un…

We study closed, oriented 4-manifolds whose fundamental group is that of a closed, oriented, aspherical 3-manifold. We show that two such 4-manifolds are stably diffeomorphic if and only if they have the same w_2-type and their equivariant intersection forms are stably isometric. We also find explicit algebraic invaria…

The paper verifies stable handleslide triviality of some R-links and shows many are stably equivalent.

In the paper \cite{wall_1}, C.T.C. Wall proved that two smooth closed simply connected 4-manifolds which are homeomorphic are in fact stably diffeomorphic. We prove a similar result which states that two smooth closed 4-manifolds satisfying certain properties are stably diffeomorphic if and only if their signatures agr…

The abstract explains counterexamples in 4-manifold topology.

Two Heegaard Floer knot complexes are called stably equivalent if an acyclic complex can be added to each complex to make them filtered chain homotopy equivalent. Hom showed that if two knots are concordant, then their knot complexes are stably equivalent. Invariants of stable equivalence include the concordance invari…

The paper constructs infinitely many $G$-smoothings of a $G$-manifold.

Study stable equivalence relations on 4-manifolds, proving homotopy equivalent manifolds with abelian fundamental group are stably diffeomorphic.

We develop a new approach to the existence of time functions on Lorentzian manifolds, based on Conley's work regarding Lyapunov functions for dynamical systems. We recover Hawking's result that a stably causal admits a time function through a more general result giving the existence of a continuous function that is non…

We introduce the notion of a general cup product bundle gerbe and use it to define the Weyl bundle gerbe on T x SU(n)/T. The Weyl map from T x SU(n)/T to SU(n) is then used to show that the pullback of the basic bundle gerbe on SU(n) defined by the second two authors is stably isomorphic to the Weyl bundle gerbe as SU(…

We discuss the relationship between two analogues in a 3-manifold of the set of prime ideals in a number field. We prove that if $(K_i)_{i\in \mathbb{N}_{>0}}$ is a sequence of knots obeying the Chebotarev law in the sense of Mazur and McMullen, then $\mathcal{K}=\cup_i K_i$ is a stably generic link in the sense of Mih…

Solves double coset problem for braid group H_n.

The study examines the realizability of a 4-manifold invariant for homeomorphisms.

We define a new invariant $w$ for hyperelliptic Lefschetz fibrations over closed oriented surfaces, which counts the number of Dirac braids included intrinsically in the monodromy, by using chart description introduced by the second author. As an application, we prove that two hyperelliptic Lefschetz fibrations of genu…

Random projections are able to perform dimension reduction efficiently for datasets with nonlinear low-dimensional structures. One well-known example is that random matrices embed sparse vectors into a low-dimensional subspace nearly isometrically, known as the restricted isometric property in compressed sensing. In th…

A strategy for constructing an embedded sphere in a 4-manifold realizing a given homology class which has been successfully applied in the past is to represent the class as a first step stably by an embedded sphere, i.e. after adding products of 2-spheres, and to move that sphere back into the original manifold. In thi…

We prove that the spectrum constructed by González-Meneses, Manchón and the second author is stably homotopy equivalent to the Khovanov spectrum of Lipshitz and Sarkar at its extreme quantum grading.

Neuron Shapley identifies key neurons in deep networks, improving model accuracy and fairness.

We prove a folklore result which gives a sequence of necessary and sufficient conditions for a stably symplectic manifold to define a nilpotent element in the symplectic bordism ring.

We complete our recent classification of compact inner symmetric spaces with weakly complex tangent bundle by filling up a case which was left open, and extend this classification to the larger category of compact homogeneous spaces with positive Euler characteristic. We show that a simply connected compact equal rank …

The paper introduces colorings and invariants for twisted links and shows how double coverings can be equivalent.

Describes explaining neurons in deep representations using compositional logical concepts.

Bridge positions of handlebody-knots are equivalent when stable.

Two 4-manifolds are stably diffeomorphic if they become diffeomorphic after connected sum with S^2 x S^2's. This paper shows that two closed, orientable, homotopy equivalent, smooth 4-manifolds are stably diffeomorphic, provided a certain map from the second homology of the fundamental group with coefficients in Z/2 to…

SeReNe prunes neurons with low sensitivity to reduce network size.

We define a new finite type invariant for stably homeomorphic class of curves on compact oriented surfaces without boundaries and extend to a regular homotopy invariant for spherical curves.

Under-parameterized networks can either copy or average teacher weights, leading to universal optimal solutions.

The paper constructs multiple manifolds with similar properties.