Related papers: Local algebraic approximation of semianalytic sets

For a large class of semiclassical pseudodifferential operators, including Schr\"odinger operators, $ P (h) = -h^2 \Delta_g + V (x) $, on compact Riemannian manifolds, we give logarithmic lower bounds on the mass of eigenfunctions outside…

In this work we present the concept of $C$-semianalytic subset of a real analytic manifold and more generally of a real analytic space. $C$-semianalytic sets can be understood as the natural generalization to the semianalytic setting of…

A semi-algebraic set is a subset of $\mathbb{R}^n$ defined by a finite collection of polynomial equations and inequalities. In this paper, we investigate the problem of determining whether two points in such a set belong to the same…

Real algebraic geometry is the study of semi-algebraic sets, subsets of $\R^k$ defined by Boolean combinations of polynomial equalities and inequalities. The focus of this thesis is to study quantitative results in real algebraic geometry,…

We introduce locally involutive semigroups and embed them into the category of ordered groupoids. This embedding restricts to a correspondence between quasi-involutive semigroups and ordered groupoids with mediator, extending the classical…

Let $R$ be a real closed field. We consider basic semi-algebraic sets defined by $n$-variate equations/inequalities of $s$ symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by $2d < n$. Such a…

We show that for a locally compact group $G$, amongst a class which contains amenable and small invariant neighbourhood groups, that its Fourier algebra $A(G)$ satisfies a completely bounded version Pisier's similarity property with…

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…

For every integer $d\ge 1$, there is a unital closed subalgebra $A_d\subset B(H)$ with similarity degree equal precisely to $d$, in the sense of our previous paper. This means that for any unital homomorphism $u\colon A_d\to B(H)$ we have…

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…

For a class of non-selfadjoint $h$--pseudodifferential operators with double characteristics, we give a precise description of the spectrum and establish accurate semiclassical resolvent estimates in a neighborhood of the origin.…

Given any quasi-countable, in particular any countable inverse semigroup $S$, we introduce a way to equip $S$ with a proper and right subinvariant extended metric. This generalizes the notion of proper, right invariant metrics for discrete…

We prove the equivalence between geometric and analytic definitions of quasiconformality for a homeomorphism $f\colon X\rightarrow Y$ between arbitrary locally finite separable metric measure spaces, assuming no metric hypotheses on either…

A homemorphism between domains in $\mathbb R^n$, $n\ge 2$ is quasiconformal, with its intricate analytic and geometric consequences, if the (pointwise) linear dilatation -- a purely metric quantity -- is uniformly bounded. Gehring proved…

In the first part of this paper we study a best approximation of a vector in Euclidean space R^n with respect to a closed semi-algebraic set C and a given semi-algebraic norm. Assuming that the given norm and its dual norm are…

We investigate the computational complexity of computing the Hausdorff distance. Specifically, we show that the decision problem of whether the Hausdorff distance of two semi-algebraic sets is bounded by a given threshold is complete for…

A digraph is semicomplete if any two vertices are connected by at least one arc and is locally semicomplete if the out-neighbourhood (resp. in-neighbourhood) of any vertex induces a semicomplete digraph. In this paper, we characterize all…

Let $(X,d,\mu)$ be a space of homogeneous type. In this note we study the relationship between two types of $s$-sets: relative to a distance and relative to a measure. We find a condition on a closed subset $F$ of $X$ under which we have…

We show that the closed convex hull of any one-dimensional semi-algebraic subset of R^n has a semidefinite representation, meaning that it can be written as a linear projection of the solution set of some linear matrix inequality. This is…

We prove that for any $\ell \geq 0$, there exists an algorithm which takes as input a description of a semi-algebraic subset $S \subset \mathbb{R}^k$ given by a quantifier-free first order formula $\phi$ in the language of the reals, and…