arXiv research

The purpose of this paper is to define semi- and subanalytic subsets and maps in the context of real analytic orbifolds and to study their basic properties. We prove results analogous to some well-known results in the manifold case. For example, we prove that if $A$ is a subanalytic subset of a real analytic quotient o…

We present a short complete proof of the existence of the normal cycle of a compact subanalytic set. The approach is inspired by some old ides of Joseph Fu, uses Morse theoretic techniques and $o$-minimal topology.

Let K be an algebraically closed field endowed with a complete non-archimedean norm with valuation ring R. Let f:Y -> X be a map of K-affinoid varieties. In this paper we study the analytic structure of the image f(Y) in X; such an image is a typical example of a subanalytic set. We show that the subanalytic sets are p…

Let $(X,0) \subset (\mathbb{R}^n,0)$ be the germ of a closed subanalytic set and let $f$ and $g : (X,0) \rightarrow (\mathbb{R},0)$ be two subanalytic functions. Under some conditions, we relate the critical points of $g$ on the real Milnor fibre $X \cap f^{-1}(δ) \cap B_ε$, $0 <| δ| \ll ε\ll 1$, to the topology of thi…

Let $X$ be a real analytic orbifold. Then each stratum of $X$ is a subanalytic subset of $X$. We show that $X$ has a unique subanalytic triangulation compatible with the strata of $X$. We also show that every ${\rm C}^r$-orbifold, $1\leq r\leq \infty$, has a real analytic structure. This allows us to triangulate differ…

We prove that globally subanalytic nonsingular CMC surfaces of $\mathbb{R}^3$ are only planes, round spheres or right circular cylinders

We introduce the natural and fairly general notion of a subanalytic bundle (with a finite dimensional vector space $P$ of sections) on a subanalytic subset $X$ of a real analytic manifold $M$, and prove that when $M$ is compact, there is a Baire subset $U$ of sections in $P$ whose zero-loci in $X$ have tubular neighbou…

For germs of subanalytic sets, we define two finite sequences of new numerical invariants. The first one is obtained by localizing the classical Lipschitz-Killing curvatures, the second one is the real analogue of the evanescent characteristics introduced by M. Kashiwara. We show that each invariant of one sequence is …

Let $X$ be a real-analytic manifold and $g\colon X\to{\mathbf R}^n$ a proper triangulable subanalytic map. Given a subanalytic $r$-form $ω$ on $X$ whose pull-back to every non singular fiber of $g$ is exact, we show tha $ω$ has a relative primitive: there is a subanalytic $(r-1)$-form $Ω$ such that $dgΛ(ω-dΩ)=0$. The p…

We construct examples of complex algebraic surfaces not admitting normal embeddings (in the sense of semialgebraic or subanalytic sets) with image a complex algebraic surface.

We prove that a theorem of Pawlucki, showing that Whitney regularity for a subanalytic set with a smooth singular locus of codimension one implies the set is a finite union of differentiable manifolds with boundary, applies to definable sets in polynomially bounded o-minimal structures. We give a refined version of Paw…

The paper links set cuspidality to function regularity and flatness.

Introduces Grassmann Distance Complexity to measure algebraic set nearest point problems.

Analytic functions on specific domains are characterized by their smoothness and composites with polynomial curves.

By an influential theorem of Boman, a function $f$ on an open set $U$ in $\mathbb R^d$ is smooth ($\mathcal C^\infty$) if and only if it is arc-smooth, i.e., $f\circ c$ is smooth for every smooth curve $c : \mathbb R \to U$. In this paper we investigate the validity of this result on closed sets. Our main focus is on s…

New concept of regular separation for ODEs leads to improved Hardy field results.

Applying a local Gauss-Bonnet formula for closed subanalytic sets to the complex analytic case, we obtain characterizations of the Euler obstruction of a complex analytic germ in terms of the Lipschitz-Killing curvatures and the Chern forms of its regular part. We also prove analogous results for the global Euler obstr…

Let $X$ be any subanalytic compact pseudomanifold. We show a De Rham theorem for $L^\infty$ forms. We prove that the cohomology of $L^\infty$ forms is isomorphic to intersection cohomology in the maximal perversity.

Two subanalytic subsets of R^n are called s-equivalent at a common point P if the Hausdorff distance between their intersections with the sphere centered at P of radius r vanishes of order greater than s when r tends to 0. In this paper we prove that every s-equivalence class of a closed semianalytic set contains a sem…

Analytic proof for minimal rank Sard conjecture.

We study the link between a compact hypersurface in $¶^{n+1}$ and the set of all its tangent planes. In this context, we identify $¶^{n+1}$ to the set of linear subspaces of codimension one by orthogonal complementarity. This gives rise to a kind of duality which has already been studied Bruce and Romerro-Fuster, and r…

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…

The paper extends properties of smooth functions to closed sets and maps.

In this paper we investigate how germs of real functions can change under deformation. In particular we look at deformations of germs of isolated singularities from R_n to R_k (n >= k) and the relation with there natural stratification in some tame categorie (algebraic, analytic, semi-algebraic, subanalytic, o-minimal …

The paper extends a link criterion for Lipschitz normal embeddings to definable sets in o-minimal structures.

Proves regularity of extremal function on compact Kähler manifolds.

Let $G$ be a Lie group and $M$ a smooth proper $G$-manifold. Let $pi:Mto M/G$ denote the natural map to the orbit space. Then there exist a PL manifold $P$, a polyhedron $L$ and homeomorphisms $tau:Pto M$ and $σ:M/Gto L$ such that $σ\circpi\circτ$ is PL. If $M$ and the $G$-action are of analytic class, we can choose su…

New proof confirms operations on constructible functions match theory.

The grassmannian of hermitian lagrangian spaces in $\mathbb{C}^n\oplus \mathbb{C}^n$ is a natural compactification of the space of hermitian $n\times n$ matrices. We describe a Schubert-like, Whitney regular stratification on this space which has a Morse theoretic origin. We prove that these strata define closed subana…

The Lojasiewicz inequalities for real analytic functions on Euclidean space were first proved by Stanislaw Lojasiewicz (1965) using methods of semianalytic and subanalytic sets, arguments later simplified by Bierstone and Milman (1988). In this article, we first give an elementary geometric, coordinate-based proof of t…

Let $Y\subset{\mathbb R}^n$ be a triangulable set and let $r$ be either a positive integer or $r=\infty$. We say that $Y$ is a $\mathscr{C}^r$-approximation target space, or a $\mathscr{C}^r\text{-}\mathtt{ats}$ for short, if it has the following universal approximation property: For each $m\in{\mathbb N}$ and each loc…

O-minimal geometry generalizes both semialgebraic and subanalytic geometries, and has been very successful in solving special cases of some problems in arithmetic geometry, such as André-Oort conjecture. Among the many tools developed in an o-minimal setting are cohomology theories for abstract-definable continuous man…

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

Study shows Julia sets and gasket limit sets are quasiconformally different.

Study shows non-symmetric convex sets have full boundary limits.

The paper analyzes set-to-set matching with neural networks, focusing on theoretical generalization.

Generative model learns to autoencode and generate sets of images.

Study on cold and freezing sets in digital images.

Paper solves whether zero sets are mapping degree sets.

Matching two different sets of items, called heterogeneous set-to-set matching problem, has recently received attention as a promising problem. The difficulties are to extract features to match a correct pair of different sets and also preserve two types of exchangeability required for set-to-set matching: the pair of …

Maps sets to probability distributions to minimize information loss.

New set-valued star-shaped risk measures introduced for better risk assessment.

We introduce the concept of hereditarily non uniformly perfect sets, compact sets for which no compact subset is uniformly perfect, and compare them with the following: Hausdorff dimension zero sets, logarithmic capacity zero sets, Lebesgue 2-dimensional measure zero sets, and porous sets. In particular, we give an exa…

Study dynamics and topology of flows near non-saddle sets or W-sets.

The study explores mapping degree sets and their properties for manifolds.

Current approaches for predicting sets from feature vectors ignore the unordered nature of sets and suffer from discontinuity issues as a result. We propose a general model for predicting sets that properly respects the structure of sets and avoids this problem. With a single feature vector as input, we show that our m…

This paper studies the geometry of minimum-volume confidence sets for multinomial parameters.

Consider a general machine learning setting where the output is a set of labels or sequences. This output set is unordered and its size varies with the input. Whereas multi-label classification methods seem a natural first resort, they are not readily applicable to set-valued outputs because of the growth rate of the o…