[論文レビュー] 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

ひとこと要約

本稿では、整数係数のビットサイズが最大$ au$である$s$個の多項式（各々の次数は$d$未満）によって定義される$ ^k$内の半代数的集合の、すべての有界連結成分を含むか、すべての連結成分と交わる原点中心の球の半径について、明示的で閉形式の上界を提示する。上界は$s$、$d$、$k$、$ au$の完全な関数として得られ、未定の定数を含まず、多項式の自乗化と準結果式解析を用いて一般の半代数的ケースを代数的ケースに還元することで導出される。

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.

研究の動機と目的

• $ ^k$内の半代数的集合のすべての有界連結成分を含む原点中心の球の半径について、完全に明示的な上界を提供すること。
• 有界でない連結成分を含む場合にも同様の明示的上界を導出すること。
• 形式$2^{\tau d^{O(k)}}$の漸近的上界における未定の定数を排除し、$s$、$d$、$k$、$ au$の閉形式表現を提供すること。
• 単一の多項式によって定義される実代数的概形の特殊ケースにおいてより緊密な上界を確立し、一般の半代数的ケースの基礎とする。

提案手法

• 定義多項式の自乗の和を考察することで、一般の半代数的ケースを代数的ケースに還元し、零点集合を保存するとともに代数的上界の適用を可能にする。
• 準結果式理論を用いて、元の系から導かれる単変数多項式の根の挙動を分析し、無限小摂動に対しても安定性を保証する。
• 単変数多項式の根に対するコーシーの上界を適用し、係数のビットサイズと次数の上限に基づいて、原点からの最大距離を推定する。
• パラメータ$N = (2d+1)(2d)^{k-1}$、$D = kd' - 2(k-1)$、$ au' = 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}$である。
• 多項式$Q$の零点集合のすべての連結成分と交わる球の半径は、$\left((2DN(2N-1)+1)2^{(2N-1)\tau' + N^2 \operatorname{bit}(N+1)}\right)^{1/2}$未満で抑えられる。ここで$D = kd' - 2(k-1)$、$N = d'(d'-1)^{k-1}$、$ au' = 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)$未満で抑えられ、これが最終的な明示的上界の導出において極めて重要である。
• 準結果式の使用により、無限小摂動に対しても実根の個数と重複度が安定することが保証され、形式的べき級数モデルから実解集合への連続的経路の構築が可能になる。