arXiv research

We present a definable smooth version of the Thom transversality theorem. We show further that the set of non-transverse definable smooth maps is nowhere dense in the definable smooth topology. Finally, we prove a definable version of a theorem of Trotman which says that the Whitney $(a)$-regularity of a stratification…

We recall and partially improve four versions of smooth, non-abelian gerbes: Cech cocycles, classifying maps, bundle gerbes, and principal 2-bundles. We prove that all these four versions are equivalent, and so establish new relations between interesting recent developments. Prominent partial results we prove are a bij…

We prove that smooth 1-dimensional topological field theories over a manifold are equivalent to vector bundles with connection. The main novelty is our definition of the smooth 1-dimensional bordism category, which encodes cutting laws rather than gluing laws. We make this idea precise through a smooth version of Rezk'…

New integral-geometric formulae derived from normal densities ring.

A version of smooth K-theory is constructed, which is adapted to the total Chern class instead of the Chern character (contrarily to previous theories). Some total Chern class morphism from this K-theory to Cheeger-Simons differential characters is constructed. This answers a question raised by U. Bunke.

New moving plane method for varifolds promotes smoothness from boundary to interior.

This paper formalizes and compares different CV methods for estimating classifier performance.

We give a stereological version of the Gauss-Bonnet formula in order to compute the Euler characteristic of a domain with boundary in a smooth orientable surface in R^3, by looking at contacts with a "sweeping" plane.

In this work we consider a question in the calculus of variations motivated by riemannian geometry, the isoperimetric problem. We show that solutions to the isoperimetric problem, close in the flat norm to a smooth submanifold, are themselves smooth and $C^{2,α}$-close to the given sub manifold. We show also a version …

RS-PINN uses randomized smoothing to speed up high-dimensional PDE simulations without sacrificing accuracy.

We show that one can skip the skew-symmetry assumption in the definition of Nambu-Poisson brackets. In other words, a n-ary bracket on the algebra of smooth functions which satisfies the Leibniz rule and a n-ary version of the Jacobi identity must be skew-symmetric. A similar result holds for a non-antisymmetric versio…

The Morse complex is shown to be an infinite functor.

Paper studies ensemble probabilistic regression trees for smooth approximations.

We construct an analytic multiplicative model of smooth K-theory. We further introduce the notion of a smooth K-orientation of a proper submersion and define the associated push-forward which satisfies functoriality, compatibility with pull-back diagrams, and projection and bordism formulas. We construct a multiplicati…

We prove that every continuous function on a separable infinite-dimensional Hilbert space X can be uniformly approximated by smooth functions with no critical points. This kind of result can be regarded as a sort of very strong approximate version of the Morse-Sard theorem. Some consequences of the main theorem are as …

This paper is a short version of some joint work with Stefan Haller. It describes the structure of "smooth manifold with corners" on the space of possibly broken instantons and on the completion of unstable manifolds of a generic smooth vector field. The result is stated in Theorem 1.4.

A gap in the proof of the main result in reference [1] in our original submission propagated into the constructions presented in the first version of our manuscript. In this version we give an alternative proof for the existence of Riemannian metrics with positive Ricci curvature on an infinite subfamily of closed, sim…

Quantifies scalar curvature under $C^0$ convergence, proving a refined version in all dimensions.

This paper has been withdrawn. Its new version has been published.

We prove that every continuous mapping from a separable infinite-dimensional Hilbert space $X$ into $\mathbb{R}^{m}$ can be uniformly approximated by $C^\infty$ smooth mappings {\em with no critical points}. This kind of result can be regarded as a sort of very strong approximate version of the Morse-Sard theorem. Some…

Some methods based on simple regularizing geometric element transformations have heuristically been shown to give runtime efficient and quality effective smoothing algorithms for meshes. We describe the mathematical framework and a systematic approach to global optimization-based versions of such methods for mixed volu…

Algorithm tackles adaptive discretization in adversarial Lipschitz bandits for dynamic pricing and auctions.

Paper introduces fat CW complexes including all closed manifolds.

Classifies Real line bundles with Real connections on manifolds with involution.

The paper proves a nonlocal version of the Alexandrov Theorem for smooth boundaries.

The proof of Theorem 7.12 of "Uniqueness of smooth cohomology theories" by the authors of this note is not correct. The said theorem identifies the flat part of a differential extension of a generalized cohomology theory E with ER/Z (there called "smooth extension"). In this note, we give a correct proof. Moreover, we …

New smoothing techniques for topological surfaces in 4-manifolds.

In this article, we mathematically study several GAN related topics, including Inception score, label smoothing, gradient vanishing and the -log(D(x)) alternative. --- An advanced version is included in arXiv:1703.02000 "Activation Maximization Generative Adversarial Nets". Please refer Section 6 in 1703.02000 for deta…

Determines higher smooth surgery structure sets of complex projective spaces.

The simplicial volume of oriented closed connected smooth manifolds that admit a non-trivial smooth $S^1$-action vanishes. In the present work we prove a version of this result for the integral foliated simplicial volume of aspherical manifolds: The integral foliated simplicial volume of aspherical oriented closed conn…

The paper proves isometric embeddings for smooth manifolds.

We develop the setting of sequential prediction based on shifting experts and on a "smooth" version of the method of specialized experts. To aggregate experts predictions, we use the AdaHedge algorithm, which is a version of the Hedge algorithm with adaptive learning rate, and extend it by the meta-algorithm Fixed Shar…

We define a new combinatorial class of triangulations of closed 3-manifolds, satisfying a weak version of 0-efficiency combined with a weak version of minimality, and study them using twisted squares. As an application, we obtain strong restrictions on the topology of a 3-manifold from the existence of non-smooth maxim…

The static of smooth maps from the two-dimensional disc to a smooth manifold can be regarded as a simplified version of the Classical Field Theory. In this paper we construct the Tulczyjew triple for the problem and describe the Lagrangian and Hamiltonian formalism. We outline also natural generalizations of this appro…

Smoothed SGD improves quantile estimation without crossing curves.

We propose a new sparsity-smoothness penalty for high-dimensional generalized additive models. The combination of sparsity and smoothness is crucial for mathematical theory as well as performance for finite-sample data. We present a computationally efficient algorithm, with provable numerical convergence properties, fo…

We give several versions of local and global inverse mapping theorem for tame non necessarily smooth, mappings. Here tame mapping means a mapping which is subanalytic or, more generally, definable in some o-minimal structure. Our sufficient conditions are formulated in terms of various properties (convexity, positivity…

We study contextual bandit learning with an abstract policy class and continuous action space. We obtain two qualitatively different regret bounds: one competes with a smoothed version of the policy class under no continuity assumptions, while the other requires standard Lipschitz assumptions. Both bounds exhibit data-…

Smooth approximation of integral cycles mod 2 in Riemannian manifolds.

The immersions of a smooth manifold $M$ in a symplectic manifold $(N,σ)$ inducing a given closed form $ω$ on $M$ satisfy the $C^0$-dense $h$-principle in the space of all continuous maps which pull back the deRham cohomology class of $σ$ onto that of $ω$. In this paper we prove a foliated version of this result due to …

We exhibit infinitely many, explicit special Lagrangian isolated singularities that admit no asymptotically conical special Lagrangian smoothings. The existence/ nonexistence of such smoothings is an important component of the current efforts to understand which singular special Lagrangians arise as limits of smooth sp…

Applications of optimal transport have recently gained remarkable attention thanks to the computational advantages of entropic regularization. However, in most situations the Sinkhorn approximation of the Wasserstein distance is replaced by a regularized version that is less accurate but easy to differentiate. In this …

New SQ lower bound shows complexity nearly matches known upper bound for smoothed agnostic learning.

In this paper, we study the implicit regularization of the gradient descent algorithm in homogeneous neural networks, including fully-connected and convolutional neural networks with ReLU or LeakyReLU activations. In particular, we study the gradient descent or gradient flow (i.e., gradient descent with infinitesimal s…

We discuss the nature of structure-preserving maps of varies function algebras. In particular, we identify isomorphisms between special Colombeau algebras on manifolds with invertible manifold-valued generalized functions in the case of smooth parametrization. As a consequence, and to underline the consistency and vali…

Smoothed analysis of complexity bounds and condition numbers has been done, so far, on a case by case basis. In this paper we consider a reasonably large class of condition numbers for problems over the complex numbers and we obtain smoothed analysis estimates for elements in this class depending only on geometric inva…

Proves a Thom Isotopy Theorem for nonproper semialgebraic maps.

We prove a categorified version of the Poincaré lemma. The natural setting for our result is that of $\infty$-local systems. More precisely, we show that any smooth homotopy between maps $f$ and $g$ induces an $\mathsf{A}_\infty$-natural transformation between the corresponding pullback functors. This transformation is…