Related papers: Tame Functions with strongly isolated singularitie…
The object of the present is a proof of the existence of functorial resolution of tame quotient singularities for quasi-projective varieties over algebraically closed fields.
Given a definable function f, enough differentiable, we study the continuity of the total curvature function t --> K(t), total curvature of the level {f=t}, and the total absolute curvature function t-->|K| (t), total absolute curvature of…
A new pair of asymptotic invariants for finitely presented groups, called intrinsic and extrinsic tame filling functions, are introduced. These filling functions are quasi-isometry invariants that strengthen the notions of intrinsic and…
We introduce a notion of tame ramification for general finite covers. When specialized to the separable case, it extends to higher dimensions the classical notion of tame ramification for Dedekind domains and curves and sits nicely in…
Marginalization -- summing a function over all assignments to a subset of its inputs -- is a fundamental computational problem with applications from probabilistic inference to formal verification. Despite its computational hardness in…
We give analytic and algebraic conditions under which a deformation of real analytic functions with non-isolated singular locus is a deformation with fibre constancy.
In this article we study definable functions in tame expansions of algebraically closed valued fields. For a given definable function we have two types of results: of type (I), which hold at a neighborhood of infinity, and of type (II),…
Tame functions are a class of nonsmooth, nonconvex functions, which feature in a wide range of applications: functions encountered in the training of deep neural networks with all common activations, value functions of mixed-integer…
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…
Within the framework of mappings between affine spaces, the notion of $n$-th polarization of a function will lead to an intrinsic characterization of polynomial functions. We prove that the characteristic features of derivations, such as…
Let $E$ be an arbitrary subset of the unit circle $T$ and let $f$ be a function defined on $E$. When there exist polynomials $P_n$ which are uniformly bounded by a number $M > 0$ on $T$ and converge (pointwise) to $f$ at each point of $E$?…
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 consider an equisingularity problem for polynomial families of affine hypersurfaces $X_\tau \subset \mathbb C^n$ with (at worst) isolated singularities. We show that the constancy of the global polar invariants $\gamma^* (X_\tau)$ is…
Standard singularity theorems are proven in Lorentzian manifolds of arbitrary dimension n if they contain closed trapped submanifolds of arbitrary co-dimension. By using the mean curvature vector to characterize trapped submanifolds, a…
We give the definition of the Thom condition and we show that given any germ of complex analytic function $f:(X,x)\to(\mathbb{C},0)$ on a complex analytic space $X$, there exists a geometric local monodromy without fixed points, provided…
The following numerical control over the topological equivalence is proved: two complex polynomials in $n\not= 3$ variables and with isolated singularities are topologically equivalent if one deforms into the other by a continuous family of…
We introduce the concept of topological finite-determinacy for germs of analytic functions within a fixed ideal $I$, which provides a notion of topological finite-determinacy of functions with non-isolated singularities. We prove the…
In this paper we present necessary and sufficient conditions (in terms of {\L}ojasiewicz inequalities) for the stability of local minimum points in smooth unconstrained optimization. In particular, we derive a sufficient condition for which…
Let $\mathbb{C}_v$ be a characteristic zero algebraically closed field which is complete with respect to a non-Archimedean absolute value. We provide a necessary and sufficient condition for two tame polynomials in $\mathbb{C}_v[z]$ of…
Thom (residual) polynomials in characteristic classes are used in the analysis of geometry of functional spaces. They serve as a tool in description of classes Poincar\'e dual to subvarieties of functions of prescribed types. We give…