arXiv research

New schemes improve error estimates for sampling from non-log-concave distributions.

New algorithm tames non-linear growth in stochastic optimization.

Neural networks estimate SDEs with jump noise using a Tamed-Milstein scheme.

New algorithm TUSLA improves learning of non-convex neural networks.

New algorithm samples superlinearly growing log-gradient distributions.

New algorithms sample from log concave distributions without gradient Lipschitz continuity.

We introduce the new class of submanifolds of co-Banach type in tame Fréchet manifolds and construct tame Fréchet submanifolds as inverse images of regular values of certain tame maps. Our method furnishes an easy way to construct tame Fréchet manifolds. The results presented are key ingredients in the construction of …

Paper characterizes tamed and weakened tamed four-manifolds using a new technique.

The tame flows are ``nice'' flows on ``nice'' spaces. The nice (tame) sets are the pfaffian sets introduced by Khovanski, and a flow $Φ: \mathbb{R}\times X\to X$ on pfaffian set $X$ is tame if the graph of $Φ$ is a pfaffian subset of $\mathbb{R}\times X\times X$. Any compact tame set admits plenty tame flows. We prove …

Deep learning models viewed through tame geometry for convergence guarantees.

Paper proposes a new method to stabilize noisy gradient algorithms.

The study confirms Gromov's speculation and provides bounds for taming symplectic structures.

New method samples from non-log-concave distributions with weak dissipativity.

Solenoids are ``inverse limits'' of the circle, and the classical knot theory is the theory of tame embeddings of the circle into the 3-space. We give some general study, including certain classification results, of tame embeddings of solenoids into the 3-space as the ``inverse limits'' of the tame embeddings of the ci…

We prove that the group STame($k^3$) of special tame automorphisms of the affine 3-space is not simple, over any base field of characteristic zero. Our proof is based on the study of the geometry of a 2-dimensional simply-connected simplicial complex C on which the tame automorphism group acts naturally. We prove that …

A closed discrete subset $A\subset \mathbb{C}$ is called tame if $\mathbb{C}\setminus A$ is quasiconformally equivalent to $\mathbb{C}\setminus \mathbb{Z}$. By giving several criteria for $A$ to be tame, we shall show that $\mathbb{Z}+i\mathbb{Z}$ is not tame.

Positivity of intersections in 4-manifolds leads to taming symplectic structures.

Whitehead doubles have matching meridional rank and bridge number.

Every countable compact subset of sphere is tame.

Four-dimensional, oriented Lie algebras $\mathfrak{g}$ which satisfy the tame-compatible question of Donaldson for all almost complex structures $J$ on $\mathfrak{g}$ are completely described. As a consequence, examples are given of (non-unimodular) four-dimensional Lie algebras with almost complex structures which are…

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…

Develops calculus for tamed Dirichlet spaces using measure theory.

In this paper we show that a complete and non-compact surface immersed in the Euclidean space with quadratic extrinsic area growth has finite total curvature provided the surface has tamed second fundamental form and admits total curvature. In such a case we obtain as well a generalized Chern-Osserman inequality. In th…

This paper shows how path spaces on two-level manifolds can be Hilbert manifold structures.

We classify Veech groups of tame non-compact flat surfaces. In particular we prove that all countable subgroups of $\mathbf{GL}_+(2,\R)$ avoiding the set of mappings of norm less than 1 appear as Veech groups of tame non-compact flat surfaces which are Loch Ness monsters. Conversely, a Veech group of any tame flat surf…

Symplectic forms taming complex structures on compact manifolds are strictly related to Hermitian metrics having the fundamental form $\partial \bar \partial$-closed, i.e. to strong Kähler with torsion (${\rm SKT}$) metrics. It is still an open problem to exhibit a compact example of a complex manifold having a tamed …

We study the existence of strong Kähler with torsion (SKT) metrics and of symplectic forms taming invariant complex structures $J$ on solvmanifolds $G/Γ$ providing some negative results for some classes of solvmanifolds. In particular, we show that if either $J$ is invariant under the action of a nilpotent complement o…

In this short note, we give a new proof of a theorem of Arezzo-Tian on the existence of smooth geodesic rays tamed by a special degeneration.

We study Nakai-Moishezon type question and Donaldson's "tamed to compatible" question for almost complex structures on rational four manifolds. By extending Taubes' subvarieties--current--form technique to $J-$nef genus $0$ classes, we give affirmative answers of these two questions for all tamed almost complex structu…

Combines techniques to remove tameness condition in Morse-Smale flows.

We show that a complete submanifold $M$ with tamed second fundamental form in a complete Riemannian manifold $N$ with sectional curvature $K_{N}\leq κ\leq 0$ are proper, (compact if $N$ is compact). In addition, if $N$ is Hadamard then $M$ has finite topology. We also show that the fundamental tone is an obstruction fo…

Paper proposes new Langevin samplers for sampling from log-concave distributions with superlinear gradient growth.

We introduce a new technique for finding CAT(-1) surfaces in hyperbolic 3-manifolds. We use this to show that a complete hyperbolic 3-manifold with finitely generated fundamental group is geometrically and topologically tame.

Product of shellable complexes yields shellable triangulations under tameness conditions.

A new tamed stochastic gradient Hamiltonian Monte Carlo algorithm for superlinearly growing stochastic gradients.

The paper defines a stratification for Lie groupoids in a tame topology context.

Extends Hess-Schrader-Uhlenbrock inequality for 1-forms in tamed Dirichlet spaces.

This paper proves that on any tamed closed almost complex four-manifold $(M,J)$ whose dimension of $J$-anti-invariant cohomology is equal to the self-dual second Betti number minus one, there exists a new symplectic form compatible with the given almost complex structure $J$. In particular, if the self-dual second Bett…

Proves strong Tits alternative for 3D automorphisms over zero char fields.

New learning scheme solves high-dimensional semi-linear PDEs using sparse grids and Picard approximations.

New theorem on embedding Moebius bands in 3D space.

Study on projective orbifolds with ends and their deformation theory.

Inspired by the Bruhat-Tits building of SL$_n$($\mathbb Q_p$), we construct a complete metric space X with an action of the tame automorphism group of the affine space Tame($K^n$). The points in X are certain monomial valuations, and X admits a natural structure of Euclidean CW-complex of dimension n-1. When n = 3, and…

We expose some ideas from mathematical logics, i.e. the background of the theory of o-minimal structures, and demonstrate how they lead to the notion of a tame integral of motion and some extensions and clarifications of previous results on obstructions to integrability of geodesic flows.

The paper explores spaces of Kähler and symplectic forms on 4-manifolds.

Marden's Tameness Conjecture predicts that every hyperbolic 3-manifold with finitely generated fundamental group is homeomorphic to the interior of a compact 3-manifold. It was recently established by Agol and Calegari-Gabai. We will survey the history of work on this conjecture and discuss its many applications.

We study the Calabi-Yau equation on symplectic manifolds. We show that Donaldson's conjecture on estimates for this equation in terms of a taming symplectic form can be reduced to an integral estimate of a scalar potential function. Under a positive curvature condition, we show that the conjecture holds.

Hilbert initiated the standpoint in foundations of mathematics. From this standpoint, we allow only a finite number of repetitions of elementary operations when we construct objects and morphisms. When we start from a subset of a Euclidean space. Then we assume that any element of the line has only a finite number of c…