Related papers: On the conservative pasting lemma
We prove preservation theorems for $\mathcal{L}_{\omega_1, G}$, the countable fragment of Vaught's closed game logic. These are direct generalizations of the theorems of \L{}o\'s-Tarski (resp. Lyndon) on sentences of $\mathcal{L}_{\omega_1,…
A fundamental issue in machine learning is the robustness of the model with respect to changes in the input. In natural language processing, models typically contain a first embedding layer, transforming a sequence of tokens into vector…
We study the problem of conjugating a diffeomorphism of the interval to (positive) powers of itself. Although this is always possible for homeomorphisms, the smooth setting is rather interesting. Besides the obvious obstruction given by…
We consider $C^{1+\epsilon}$ diffeomorphisms of the torus, denoted $f,$ homotopic to the identity and whose rotation sets have interior. We give some uniform bounds on the displacement of points in the plane under iterates of a lift of $f,$…
We prove conservativity results for weak K\H{o}nig's lemma that extend the celebrated result of Harrington (for $\Pi^1_1$-statements) and are somewhat orthogonal to the extension by Simpson, Tanaka and Yamazaki (for statements of the form…
We examine the basic conservation laws for diffeomorphism symmetry in the context of spontaneous diffeomorphism and local Lorentz-symmetry breaking. The conservation laws are used as constraints on a generic series of terms in an expansion…
We prove that the spaces of C1 symplectomorphisms and of C1 volume-preserving diffeomorphisms of connected manifolds both contain residual subsets of diffeomorphisms whose centralizers are trivial. (Les diff\'eomorphismes conservatifs…
This manuscript complements the Hirsch-Pugh-Shub (HPS) theory on persistence of normally hyperbolic laminations and the theorem of Robinson on the structural stability of diffeomorphisms that satisfy Axiom A and the strong transversality…
We reprove the $\lambda$-Lemma for finite dimensional gradient flows by generalizing the well-known contraction method proof of the local (un)stable manifold theorem. This only relies on the forward Cauchy problem. We obtain a rather…
For any smooth compact manifold $W$ of dimension at least two we prove that the classifying spaces of its group of diffeomorphisms which fix a set of $k$ points or $k$ embedded disks (up to permutation) satisfy homology stability. The same…
For area preserving $C^2$ surface diffeomorphisms, we give an explicit finite information condition, on the exponential growth of the number of Bowen's $(n,\delta)-$balls needed to cover a positive proportion of the space, that is…
We construct high order symmetric volume-preserving methods for the relativistic dynamics of a charged particle by the splitting technique with processing. Via expanding the phase space to include time $t$, we give a more general…
Let $M$ be a manifold with a volume form $\omega$ and $f : M \to M$ be a diffeomorphism of class $\mathcal{C}^1$ that preserves $\omega$. In this paper, we do \textit{not} assume $f$ is $\mathcal{C}^1$-generic. We have two main themes in…
We present a locality preserving loss (LPL) that improves the alignment between vector space embeddings while separating uncorrelated representations. Given two pretrained embedding manifolds, LPL optimizes a model to project an embedding…
We study toplogical properties of attracting sets for automorphisms of $\mathbb{C}^k$. Our main result is that a generic volume preserving automorphism has a hyperbolic fixed point with a dense stable manifold. We prove the same result for…
Let $\mathcal{F}$ be a foliation with a "singular" submanifold $B$ on a smooth manifold $M$ and $p:E \to B$ be a regular neighborhood of $B$ in $M$. Under certain "homogeneity" assumptions on $\mathcal{F}$ near $B$ we prove that every leaf…
Let $f$ be a germ of holomorphic diffeomorphism of $\C^n$ fixing the origin $O$, with $df_O$ diagonalizable. We prove that, under certain arithmetic conditions on the eigenvalues of $df_O$ and some restrictions on the resonances, $f$ is…
We develop a framework for the rigorous analysis of focused stochastic local search algorithms. These are algorithms that search a state space by repeatedly selecting some constraint that is violated in the current state and moving to a…
We study the implications of a change of coordinatization of momentum space for theories with curved momentum space. We of course find that after a passive diffeomorphism the theory yields the same physical predictions, as one would expect…
The paper is devoted to the fixed point theory in four aspects: of contractions, nonexpansive mappings, generalized inward mappings, and of the tool theorems. The manuscript was written about ten years ago. At first Nadler's concept of…