Related papers: A Sard theorem for Tame Set-Valued mappings

The mim-width of a graph is a powerful structural parameter that, when bounded by a constant, allows several hard problems to be polynomial-time solvable - with a recent meta-theorem encompassing a large class of problems [SODA2023]. Since…

In this work we compare the semialgebraic subsets that are images of regulous maps with those that are images of regular maps. Recall that a map f : R n $\rightarrow$ R m is regulous if it is a rational map that admits a continuous…

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

The Morse-Sard theorem requires that a mapping $v:R^n \to R^m$ is of class $C^k$, $k>n-m$. In 1957 Dubovitski\u{\i} generalized this result by proving that almost all level sets for a $C^k$ mapping have $H^s$-negligible intersection with…

This paper is part of a program to understand the parameter spaces of dynamical systems generated by meromorphic functions with finitely many singular values. We give a full description of the parameter space for a specific family based on…

We show that $C(X)$ admits an equivalent pointwise lower semicontinuous locally uniformly rotund norm provided $X$ is Fedorchuk compact of spectral height 3. In other words $X$ admits a fully closed map $f$ onto a metric compact $Y$ such…

Let $f(x,y)=0$ and $l(x,y)=0$ be respectively a singular and a regular analytic curve defined in the neighborhood of the origin of the complex plane. We study the family of analytic curves $f(x,y)-tl(x,y)^M=0$, where $t$ is a complex…

We are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that every definable subset in the…

We prove that if $f\colon X\to Y$ is a closed surjective map between metric spaces such that every fiber $f^{-1}(y)$ belongs to a class of space $\mathrm S$, then there exists an $F_\sigma$-set $A\subset X$ such that $A\in\mathrm S$ and…

Let $f:\mathbb{K}^n\rightarrow\mathbb{K}^m$ be a generically finite polynomial map of degree $d$ between affine spaces. In arXiv:1411.5011 we proved that if $\mathbb{K}$ is the field of complex or real numbers, then the set $S_f$ of points…

A $k$-matching in a graph $G$ is defined as a function $f:E(G) \rightarrow \{0,1,\ldots,k\}$ satisfying $\sum_{e\in E_G(v)} f(e)$ $\leq k$ for each vertex $v\in V(G)$, where $E_G(v)$ denotes the set of edges incident to $v$ in $G$. For…

In this paper, we study the topology of real analytic map-germs with isolated critical value $f: (\mathbb{R}^m,0) \to (\mathbb{R}^n,0)$, with $1 <n <m$. We compare the topology of $f$ with the topology of the compositions $\pi_i^* \circ f$,…

A map $f:X\to Y$ between topological spaces is defined to be {\em scatteredly continuous} if for each subspace $A\subset X$ the restriction $f|A$ has a point of continuity. We show that for a function $f:X\to Y$ from a perfectly paracompact…

In this work we study the existence of surjective Nash maps between two given semialgebraic sets ${\mathcal S}$ and ${\mathcal T}$. Some key ingredients are: the irreducible components ${\mathcal S}_i^*$ of ${\mathcal S}$ (and their…

The metric dimension, $\dim(G)$, and the fractional metric dimension, $\dim_f(G)$, of a graph $G$ have been studied extensively. Let $G$ be a graph with vertex set $V(G)$, and let $d(x,y)$ denote the length of a shortest $x-y$ path in $G$.…

Let $F$ be a countable family of rational functions of two variables with real coefficients. Each rational function $f\in F$ can be thought as a continuous function $f:dom(f)\to\bar R$ taking values in the projective line $\bar…

We prove that the Reeb space of a proper definable map $f:X \rightarrow Y$ in an arbitrary o-minimal expansion of a real closed field is realizable as a proper definable quotient. This result can be seen as an o-minimal analog of Stein…

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),…

In this paper we prove an infinite-dimensional version of Sard's theorem for Fr\'{e}chet manifolds. Let $ M $ and $ N $ be bounded Fr\'{e}chet manifolds such that the topologies of their model Fr\'{e}chet spaces are defined by metrics with…

We show, in particular, that a multivalued map $f$ from a closed subspace $X$ of $\mathbb R^n$ to ${\rm exp}_k(\mathbb R^n)$ has a point of period exactly $M$ if and only if its continuous extension $\tilde f: \beta X\to {\rm exp}_k(\beta…