We study matrix calculations such as diagonalization of quadratic forms under the aspect of additive complexity and relate these complexities to the complexity of matrix multiplication. While in Bürgisser et al. (1991) for multiplicative complexity the customary thick path existence argument was sufficient, here for additive complexity we need the more delicate finess of the real spectrum (cf. Bochnak et al. (1987), Becker (1986), Knebusch and Scheiderer (1989)) to obtain a complexity relativization....

Given a closed (not necessarly compact) semi-algebraic set $X$ in ${ℝ}^n$, we construct a non-negative semi-algebraic ${𝒞}^2$ function $f$ such that $X=f^{-1}\left(0\right)$ and such that for $\delta \>0$ sufficiently small, the inclusion of $X$ in $f^{-1}\left([0,\delta ]\right)$ is a retraction. As a corollary, we obtain several formulas for the Euler characteristic of $X$.

A coordinate cone in ${ℝ}^n$ is an intersection of some coordinate hyperplanes and open coordinate half-spaces. A semi-monotone set is an open bounded subset of ${ℝ}^n$, definable in an o-minimal structure over the reals, such that its intersection with any translation of any coordinate cone is connected. This notion can be viewed as a generalization of convexity. Semi-monotone sets have a number of interesting geometric and combinatorial properties. The main result of the paper is that every semi-monotone...

Experience shows that in geometric situations the separating ideal associated with two orderings of a ring measures the degree of tangency of the corresponding ultrafilters of semialgebraic sets. A related notion of separating ideals is introduced for pairs of valuations of a ring. The comparison of both types of separating ideals helps to understand how a point on a surface is approached by different half-branches of curves.

It is known that for $C^{\infty }$ determining sets Markov’s property is equivalent to Bernstein’s property. We are interested in finding a generalization of this fact for sets which are not $C^{\infty }$ determining. In this paper we give examples of sets which are not $C^{\infty }$ determining, but have the Bernstein and generalized Markov properties.

The Siciak extremal function establishes an important link between polynomial approximation in several variables and pluripotential theory. This yields its numerous applications in complex and real analysis. Some of them can be found on a rich list drawn up by Klimek in his well-known monograph "Pluripotential Theory". The purpose of this paper is to supplement it by applications in constructive function theory.

Soit $P\in ℝ[X_1,...,X_n]$ un polynôme. On appelle série de Dirichlet associée à $P$ la fonction : $s\mapsto Z(P;s)=\sum _{m\in {\mathbb{N}}^{*n}}P(m{)}^{-s}(s\in ℂ)$. Dans cet article nous étudions l’existence et les propriétés du prolongement méromorphe d’une telle série sous l’hypothèse qu’il existe $B\in ]0,1[$ tel que : i) $P\left(x\right)\to +\infty$ quand $\left|\right|x\left|\right|\to +\infty$ et $x\in [B,+\infty {[}^n$ et ii) $d\left(Z\right(P),[B,+\infty {[}^n)\>0$ où $Z\left(P\right)=\{z\in {ℂ}^n|P\left(z\right)=0\}$. Cette hypothèse est probablement optimale et en tout cas contient strictement toutes les classes de polynômes déjà traitées antérieurement. Sous cette hypothèse nos principaux résultats sont : l’existence du prolongement méromorphe au plan...

It is proved that the set of smooth points of a semialgebraic set is semialgebraic.

In this paper we deal with a best approximation of a vector with respect to a closed semi-algebraic set C in the space ℝⁿ endowed with a semi-algebraic norm ν. Under additional assumptions on ν we prove semi-algebraicity of the set of points of unique approximation and other sets associated with the distance to C. For C irreducible algebraic we study the critical point correspondence and introduce the ν-distance degree, generalizing the notion developed by other authors for the Euclidean norm. We...

The spectrum of the Laplace operator on algebraic and semialgebraic subsets $A$ in ${\mathbf{R}}^N$ is studied and the number of small eigenvalues is estimated by the degree of $A$.

The notion of a real semigroup was introduced in [8] to provide a framework for the investigation of the theory of (diagonal) quadratic forms over commutative, unitary, semi-real rings. In this paper we introduce and study an outstanding class of such structures, that we call spectral real semigroups (SRS). Our main results are: (i) The existence of a natural functorial duality between the category of SRSs and that of hereditarily normal spectral spaces; (ii) Characterization of the SRSs as the...

For any subanalytic $C^k$-Whitney field (k finite), we construct its subanalytic $C^k$-extension to ${ℝ}^n$. Our method also applies to other o-minimal structures; e.g., to semialgebraic Whitney fields.