Related papers: Surjective Nash maps between semialgebraic sets

Given a separable Banach space $E$, we construct an extremely non-complex Banach space (i.e. a space satisfying that $\|Id + T^2\|=1+\|T^2\|$ for every bounded linear operator $T$ on it) whose dual contains $E^*$ as an $L$-summand. We also…

We investigate the set a) of positive, trace preserving maps acting on density matrices of size N, and a sequence of its nested subsets: the sets of maps which are b) decomposable, c) completely positive, d) extended by identity impose…

Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial…

Let $K$ be a real closed field with a nontrivial non-archimedean absolute value. We study a refined version of the tropicalization map, which we call real tropicalization map, that takes into account the signs on $K$. We study images of…

For a given complex finite dimensional subspace $S$ of $\mathbb{C}^n$ and a fixed basis, we study the compact and convex subset of $\left(\mathbb{R}_{\geq 0}\right)^n$ that we call the moment of $S$ $m_S=$ convex hull…

We present a series of examples of pairs of singular semialgebraic surfaces (real semialgebraic sets of dimension two) in ${\mathbb R}^3$ and ${\mathbb R}^4$ which are bi-Lipschitz equivalent with respect to the outer metric, ambient…

This article presents a systematic study of a class of maps between quasi-metric spaces that preserve left K-Cauchy sequences. We call such maps left K-Cauchy regular maps. Several characterizations of these maps have been given in terms of…

The lattice diameter of a bounded set $S \subset \mathbb{R}^d$ measures the maximal number of lattice points in a segment whose endpoints are lattice points in $S$. Such a segment is called a lattice diameter segment of $S$. This simple…

In Two-Sets Cut-Uncut, we are given an undirected graph $G=(V,E)$ and two terminal sets $S$ and $T$. The task is to find a minimum cut $C$ in $G$ (if there is any) separating $S$ from $T$ under the following ``uncut'' condition. In the…

We present a full geometric characterization of the $1$-dimensional (semialgebraic) images $S$ of either $n$-dimensional closed balls $\overline{\mathcal B}_n\subset{\mathbb R}^n$ or $n$-dimensional spheres ${\mathbb S}^n\subset{\mathbb…

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…

Linear matrix inequalities (LMIs) are ubiquitous in real algebraic geometry, semidefinite programming, control theory and signal processing. LMIs with (dimension free) matrix unknowns are central to the theories of completely positive maps…

Let $R$ be an affine domain of characteristic zero with finite quotients. We prove that a polynomial map over $R$ is surjective if and only if it is surjective over $\hat{R_{\mathfrak{m}}}$, the completion of $R$ with respect to…

By definition, the intersection of finitely many open sets of any topological space is open. Nachbin observed that, more generally, the intersection of compactly many open sets is open. Moreover, Nachbin applied this to obtain elegant…

We give new positive and negative results (some conditional) on speeding up computational algebraic geometry over the reals: (1) A new and sharper upper bound on the number of connected components of a semialgebraic set. Our bound is novel…

Given a semigroup $S$, a diagonal subsemigroup $\rho$ is defined to be a reflexive and compatible relation on $S$, i.e. a subsemigroup of the direct square $S\times S$ containing the diagonal $\{ (s,s)\colon s\in S\}$. When $S$ is finite,…

We show that if $T$ is an isometry (as metric spaces) between the invertible groups of unital Banach algebras, then $T$ is extended to a surjective real-linear isometry up to translation between the two Banach algebras. Furthermore if the…

The intersection cut paradigm is a powerful framework that facilitates the generation of valid linear inequalities, or cutting planes, for a potentially complex set S. The key ingredients in this construction are a simplicial conic…

In this paper, we prove that if $S\subseteq\mathbb{R}^d$ is hyperplane absolute winning on a closed hyperplane diffuse set $L\subseteq\mathbb{R}^d$, then $\mathrm{dim}_H S\cap K=\mathrm{dim}_H K$ for any irreducible self-conformal set…

We consider holomorphic mappings $H$ between a smooth real hypersurface $M\subset \bC^{n+1}$ and another $M'\subset \bC^{N+1}$ with $N\geq n$. We provide conditions guaranteeing that $H$ is transversal to $M'$ along all of $M$. In the…