Mathematics > Combinatorics
[Submitted on 4 Apr 2011 (this version), latest version 6 Nov 2011 (v4)]
Title:Refined bounds on the number of connected components of sign conditions on a variety
View PDFAbstract:Let $\R$ be a real closed field, $\mathcal{P},\mathcal{Q} \subset \R[X_1,...,X_k]$ finite subsets of polynomials, with the degrees of the polynomials in $\mathcal{P}$ (resp. $\mathcal{Q}$) bounded by $d$ (resp. $d_0$). Let $V \subset \R^k$ be the real algebraic variety defined by the polynomials in $\mathcal{Q}$ and suppose that the real dimension of $V$ is bounded by $k'$. We prove that the number of semi-algebraically connected components of the realizations of all realizable sign conditions of the family $\mathcal{P}$ on $V$ is bounded by $$ \displaylines{\sum_{j = 0}^{k'} {8s \choose j} (2^{k+1}+1) (2 d_0)^{k-k'+1} d^j \max\{2d_0,d\}^{k'-j}.} $$
In case $d_0 < d$, the above bound can be written simply as $$ \displaylines{(sd)^{k'} (O(d_0))^{k}.} $$
This improves in certain cases (when $d_0 \ll d$) the previous best known bound of $$ \sum_{1 \leq j \leq k'}
\binom{s}{j} 4^{j} d(2d-1)^{k-1}, $$ on the same number proved previously in the case $d=d_0$.
Submission history
From: Saugata Basu [view email][v1] Mon, 4 Apr 2011 17:38:28 UTC (20 KB)
[v2] Wed, 6 Apr 2011 22:32:12 UTC (20 KB)
[v3] Mon, 11 Apr 2011 19:47:07 UTC (20 KB)
[v4] Sun, 6 Nov 2011 12:45:11 UTC (20 KB)
Current browse context:
math.CO
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.