arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1104.0636math.COcs.CG
收藏

簇上符号条件连通分支数的精化界

Refined bounds on the number of connected components of sign conditions on a variety

Sal Barone, Saugata Basu

摘要:

设$\R$是一个实闭域,$\mathcal{P},\mathcal{Q} \subset \R[X_1,...,X_k]$是多项式的有限子集,其中多项式的次数在$\mathcal{P}$中(分别为. $\mathcal{Q}$)由$d$(分别为PDMATHAMR)。设$V \subset \R^k$是由$\mathcal{Q}$中的多项式定义的实代数簇,并假设$V$的实维度以$k'$为界。我们证明了$\mathcal{P}$族在$V$上的所有可实现符号条件的实现的半代数连通分支的个数由$$ \displaylines{\sum_{j=0}^{k'}4^j{s +1\choose j}F_{d,d_0,k,k'}(j),}$$有界,其中$s = \card \; \mathcal{P}$和$$F_{d,d_0,k,k'}(j)= \textstyle\binom{k+1}{k-k'+j+1} \;(2d_0)^{k-k'}d^j\; \max{2d_0,d}^{k'-j} +2(k-j+1) .$$在$2 d_0 \leq d$的情况下,上述界可以简单地写为$$ \displaylines{\sum_{j = 0}^{k'} {s+1 \choose j}d^{k'} d_0^{k-k'} O(1)^{k} = (sd)^{k'} d_0^{k-k'} O(1)^k} $$(在这种形式下,界是由J. Matousek建议的。我们的结果改善了在某些情况下(当$d_0 \ll d$)的最佳已知的界$$ \sum_{1 \leq j \leq k'} \binom{s}{j} 4^{j} d(2d-1)^{k-1} $$在相同的数字证明较早的情况下$d=d_0$。定义变量$V$的多项式的次数上的约束$d_0$和出现在新的约束中的$\mathcal{P}$中的多项式的次数上的约束$d$之间的区别是由离散几何中的几个应用激发的。

英文摘要:

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'}4^j{s +1\choose j}F_{d,d_0,k,k'}(j),}$$ where $s = \card \; \mathcal{P}$, and $$F_{d,d_0,k,k'}(j)= \textstyle\binom{k+1}{k-k'+j+1} \;(2d_0)^{k-k'}d^j\; \max{2d_0,d}^{k'-j} +2(k-j+1) .$$ In case $2 d_0 \leq d$, the above bound can be written simply as $$ \displaylines{\sum_{j = 0}^{k'} {s+1 \choose j}d^{k'} d_0^{k-k'} O(1)^{k} = (sd)^{k'} d_0^{k-k'} O(1)^k} $$ (in this form the bound was suggested by J. Matousek. Our result improves in certain cases (when $d_0 \ll d$) the 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 earlier in the case $d=d_0$. The distinction between the bound $d_0$ on the degrees of the polynomials defining the variety $V$ and the bound $d$ on the degrees of the polynomials in $\mathcal{P}$ that appears in the new bound is motivated by several applications in discrete geometry.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑