All Questions
14 questions
9
votes
0
answers
289
views
Computer algebra tools for finding real dimension of an algebraic variety
I have a system of polynomial equations with the unknowns being real numbers. The set of solutions is infinite. What software can I use to compute the real dimension of the solution set?
The CAD-based ...
- 175
9
votes
1
answer
265
views
Projections of compact real algebraic sets
Suppose that $M$ is a compact, real
algebraic subset of $\mathbb R^n$ and $f:\mathbb R^n \to \mathbb R^m$ is the projection to the first $m$ coordinates. If $f$ maps $M$ bijectively unto its image $f(...
- 2,934
6
votes
1
answer
257
views
Constructing M-curves à la Hilbert
I have been reading some text about Harnack's theorem. The theorem basically says that for degree $d$, the maximal number of connected components in the real (projective) plane of a plane curve with ...
- 2,275
7
votes
1
answer
749
views
General Tarski-Seidenberg Theorem
The Tarski-Seidenberg Theorem states that the polynomial image of a semi-algebraic set is semi-algebraic. A semi-algebraic subset of a Euclidean space $\Bbb{R}^n$ is by definition a finite union of ...
- 3,599
10
votes
2
answers
224
views
The set of polytopes with given $f$-vector
Let $f=(f_0,\ldots f_n)$ be a vector in $\Bbb N^{n+1}$. Let $X$ be the set of all (ordered) $f_0$-tuples in $\Bbb R^n$ whose convex hull has $f$ as its $f$-vector. Assume that $X$ is non-empty. Is ...
- 3,079
4
votes
1
answer
324
views
Solutions to a system of homogeneous equations (inequalities)
Let $f_1,\ldots,f_r \in \mathbb{R}[x_1,\ldots,x_n]$ be $r$ homogeneous polynomials of the same odd degree $d$, where $d \in \{3,5,7,\ldots\}$.
For which values of $r,n,d$ there exists a real ...
- 2,837
13
votes
1
answer
340
views
First order decidability of limit of gradient flow?
Let $f: \mathbb{R}^n\to\mathbb{R}$ be a polynomial function, and let $p$ be a critical point. Consider the ascending manifold $A_p$ consisting of all points whose limit under the gradient flow of $f$ ...
- 505
4
votes
1
answer
155
views
Semialgebraic sets containing irrational power functions
Let $\alpha$ be an irrational number, and consider the set $A=\{(x,x^\alpha),x\ge 0\}\subseteq \mathbb{R}^2$, which is the graph of the function $f(x)=x^\alpha$.
I'm trying to prove/disprove the ...
- 203
2
votes
0
answers
117
views
Classification of $n$-dimensional Nash-submanifolds of $\mathbb{R}^n$
Let $M,N\subset \mathbb{R}^n$ be two open semi-algebraic subsets, and assume that $M$ and $N$ are $C^\infty$ diffeomorphic, i.e. isomorphic as smooth submanifolds of $\mathbb{R}^n$. Does this imply ...
- 51
5
votes
1
answer
169
views
Connectedness of semialgebraic sets via CAD
I do not know whether there is a standard or some traditional ways to decide whether a semialgebraic set is connected or not.
One way I know is the cylindrical algebraic decomposition (CAD) algorithm. ...
- 61
11
votes
2
answers
418
views
Convexity of a certain sublevel set
Consider the polynomial of degree $4$ in variable $r$
$$ r^4 + (x^2 + y^2)\ r^2 - 2 x y\ r + x^2 y^2 $$
The discriminant of this polynomial in $r$ is the following expression
(obtained using ...
- 715
7
votes
0
answers
214
views
Moduli in semialgebraic geometry
Is there a moduli space in semialgebraic geometry analogous to the Hilbert scheme in algebraic geometry?
The sort of thing I am imagining is an object in a category of semischemes:
Ordinary schemes ...
- 101
5
votes
1
answer
298
views
Convexity of a specific semialgebraic set
I have an engineering problem that may be solved using semidefinite programming. I would like to know whether a given set is convex.
Let $m \in \mathbb{R}^+$ be a positive real scalar, $l \in \mathbb{...
4
votes
1
answer
183
views
Ultrafilters on the set of semialgebraic subsets of R^2
Let $R$ be a real closed field and $f: R \to R$ a map. Then let $\textrm{F}(f)$ be the set of semialgebraic subsets of $R^2$, which contain $(t,f(t))$ for all $0< t< \epsilon$ for some $\epsilon ...
- 41