Related papers: Tame nonsmooth inverse mapping theorems

We develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable…

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…

As a higher dimensional version of the theory of Morse functions, there have been various studies of smooth manifolds using generic smooth maps. As fundamental results, in these studies, they have found that inverse images of such maps…

Two kinds of maps that describe evolution of states of a subsystem coming from dynamics described by a unitary operator for a larger system, maps defined for fixed mean values and maps defined for fixed correlations, are found to be quite…

We present a generalization of the inverse mapping theorem, where variations of a weaker non-expansiveness property (referred to as property ${\sf A}$) replace the key $\mathsf{C}^1$ condition. We also obtain inverse mapping theorems that…

Monotonicity of a mapping implies its pseudomonotonicity and hence quasimonotonocity, the converse is not true. In this note we intend to study the situations under which quasimono tonicity of a mapping implies its monotonicity. Thus we…

\'Etale cohomology with non-invertible coefficients has some unpleasant properties, e.g., it is not A^1-homotopy invariant and for constructible coefficients the expected finiteness properties do not hold. In this paper we introduce the…

We prove an inverse function theorem of Nash-Moser type for maps between Fr\'echet spaces satisfying tame estimates. In contrast to earlier proofs, we do not use the Newton method, that is, we do not use quadratic convergence to overcome…

We consider linear optimization over a fixed compact convex feasible region that is semi-algebraic (or, more generally, "tame"). Generically, we prove that the optimal solution is unique and lies on a unique manifold, around which the…

This paper develops an infinitesimal order of magnitude coupled with overflow technique that allows nonnumerical proofs of nondegenerate and degenerate inverse mapping theorems for mappings minimally regular at a point. This approach is…

We discuss a Nash-Moser/ KAM algorithm for the construction of invariant tori for {\em tame} vector fields. Similar algorithms have been studied widely both in finite and infinite dimensional contexts: we are particularly interested in the…

We consider locally o-minimal structures possessing tame topological properties shared by models of DCTC and uniformly locally o-minimal expansions of the second kind of densely linearly ordered abelian groups. We derive basic properties of…

Let $G$ be the fundamental group of a finite graph of groups with Noetherian edges and locally tame vertices. We prove that $G$ is locally tame. It follows that if a finitely presented group $H$ has a non-trivial $JSJ$-decomposition over…

In this paper, we obtain the invariant curves of quasi-periodic reversible mappings with finite smoothness. Since the reversible property is difficult to maintain in the process of approximating smooth functions by analytical ones,…

Continuity of set-valued maps is hereby revisited: after recalling some basic concepts of variational analysis and a short description of the State-of-the-Art, we obtain as by-product two Sard type results concerning local minima of scalar…

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…

We give some results concerning the smoothness of the image of a real-analytic submanifold in complex space under the action of a finite holomorphic mapping. For instance, if the submanifold is not contained in a proper complex subvariety,…

The notion of thin sums matroids was invented to extend the notion of representability to non-finitary matroids. A matroid is tame if every circuit-cocircuit intersection is finite. We prove that a tame matroid is a thin sums matroid over a…

We show that a tilted algebra $A$ is tame if and only if for each generic root $\dd$ of $A$ and each indecomposable irreducible component $C$ of $\module(A,\dd)$, the field of rational invariants $k(C)^{\GL(\dd)}$ is isomorphic to $k$ or…

We consider sets and maps defined over an o-minimal structure over the reals, such as real semi-algebraic or subanalytic sets. A {\em monotone map} is a multi-dimensional generalization of a usual univariate monotone function, while the…