[论文解读] Bounding the radii of balls meeting every connected component of semi-algebraic sets

Saugata Basu, Marie-Françoise Roy|arXiv (Cornell University)|Nov 6, 2009

Advanced Differential Equations and Dynamical Systems参考文献 11被引用 7

一句话总结

本文为以 $\mathbb{R}^k$ 中 $s$ 个次数不超过 $d$、整数系数的位大小不超过 $\tau$ 的多项式定义的半代数集的所有有界连通分支所包含的、或与每一个连通分支相交的、以原点为中心的球的半径，提供了显式且封闭形式的上界。这些上界是 $s$、$d$、$k$ 和 $\tau$ 的完全显式函数，避免了未定常数，并通过多项式平方化和结式分析，将一般半代数情形约化为代数情形而导出。

ABSTRACT

We prove explicit bounds on the radius of a ball centered at the origin which is guaranteed to contain all bounded connected components of a semi-algebraic set $S \\subset \\mathbbm{R}^k$ defined by a quantifier-free formula involving $s$ polynomials in $\\mathbbm{Z}[X_1, ..., X_k]$ having degrees at most $d$, and whose coefficients have bitsizes at most $\ au$. Our bound is an explicit function of $s, d, k$ and $\ au$, and does not contain any undetermined constants. We also prove a similar bound on the radius of a ball guaranteed to intersect every connected component of $S$ (including the unbounded components). While asymptotic bounds of the form $2^{\ au d^{O (k)}}$ on these quantities were known before, some applications require bounds which are explicit and which hold for all values of $s, d, k$ and $\ au$. The bounds proved in this paper are of this nature.

研究动机与目标

• 为以 $\mathbb{R}^k$ 中 $s$ 个次数 $\leq d$ 且系数位大小 $\leq \tau$ 的多项式定义的半代数集的所有有界连通分支所包含的、以原点为中心的球的半径，提供完全显式的上界。
• 为与每一个连通分支（包括无界分支）相交的球，推导类似的显式上界。
• 通过以 $s$、$d$、$k$ 和 $\tau$ 表示的封闭表达式，消除形如 $2^{\tau d^{O(k)}}$ 的渐近上界中的未定常数。
• 在由单个多项式定义的实代数簇的特殊情形下建立更紧的上界，作为一般半代数情形的基础。

提出的方法

• 通过考虑定义多项式的平方和，将一般半代数情形约化为代数情形，该方法保持零点集不变，从而可应用代数上界。
• 利用结式理论分析由原系统导出的单变量多项式根的行为，确保在无穷小扰动下保持稳定性。
• 应用单变量多项式根的柯西界，通过系数位大小和次数的界来估计从原点到任一连通分支的最大距离。
• 定义关键参数如 $N = (2d+1)(2d)^{k-1}$、$D = kd' - 2(k-1)$ 和 $\tau' = 2ND\tau + N(\rho + \rho')$，其中 $d' = \max(2(d+1), 6)$，以量化上界。
• 利用多项式不等式的符号条件结构和实现方式，确保半代数集的每个连通分支要么被球包含，要么与之相交。
• 利用有界分支上坐标极值在部分多项式零点集的代数分支上实现的事实，从而实现向代数情形的约化。

实验结果

研究问题

• RQ1 对于由 $s$ 个次数 $\leq d$ 且系数位大小 $\leq \tau$ 的多项式定义的半代数集，以原点为中心、包含所有有界连通分支的球的半径是否存在显式上界？
• RQ2 此类上界能否对有界和无界分支均实现完全显式化，且不包含未定常数？
• RQ3 在由单个多项式定义的实代数簇的特殊情形下，上界如何改进？
• RQ4 结式与系数位大小估计在推导这些上界中起什么作用？
• RQ5 能否利用定义多项式的代数与拓扑性质，显式地界定一个与每个连通分支相交的球的半径？

主要发现

• 对于由单个多项式 $Q$ 定义的实代数簇，次数为 $d$，系数位大小为 $\tau$，所有有界连通分支均包含于半径不超过 $k^{1/2}(N+1)2^{N(kd+2)(\tau + \operatorname{bit}(N) + \operatorname{bit}(d+1))}$ 的球内，其中 $N = (d+1)d^{k-1}$。
• 半径不超过 $\left((2DN(2N-1)+1)2^{(2N-1)\tau' + N^2 \operatorname{bit}(N+1)}\right)^{1/2}$ 的球与 $Q$ 的零点集的每个连通分支相交，其中 $D = kd' - 2(k-1)$，$N = d'(d'-1)^{k-1}$，$\tau' = 2ND\tau + N(\rho + \rho')$，且 $d' = \max(2(d+1), 6)$。
• 对于由 $s$ 个次数 $\leq d$ 且系数位大小 $\leq \tau$ 的多项式定义的一般半代数集，所有有界分支均位于半径不超过 $(N+1)2^{N(2kd+2)(2\tau + \operatorname{bit}(N) + (k+1)\operatorname{bit}(d+1) + \operatorname{bit}(s))}$ 的球内，其中 $N = (2d+1)(2d)^{k-1}$。
• 与所有分支相交的上界通过将代数情形应用于定义多项式的平方和而导出，从而确保捕捉到每一个符号条件实现。
• 用于根分析的所得单变量多项式的系数位大小被限制在 $2\tau + k\operatorname{bit}(d+1) + \operatorname{bit}(s)$ 以内，这对最终的显式上界至关重要。
• 结式方法确保实根的数量和重数在无穷小扰动下保持稳定，从而支持从形式幂级数模型到实解集的连续路径的构造。