[論文レビュー] Algorithms in Real Algebraic Geometry: A Survey

Saugata Basu|arXiv (Cornell University)|Sep 4, 2014

Polynomial and algebraic computation参考文献 63被引用数 20

ひとこと要約

本調査は、実代数的幾何におけるアルゴリズム的進展、特に量化子除去とベッチ数や連結成分といった位相的不変量の計算について包括的な概説を提供する。最初のいくつかのベッチ数を計算する単一指数時間アルゴリズムを提示し、二次不等式によって定義される半代数的集合について、すべてのベッチ数および連結成分を効率的に計算するという未解決問題を議論する。

ABSTRACT

We survey both old and new developments in the theory of algorithms in real algebraic geometry -- starting from effective quantifier elimination in the first order theory of reals due to Tarski and Seidenberg, to more recent algorithms for computing topological invariants of semi-algebraic sets. We emphasize throughout the complexity aspects of these algorithms and also discuss the computational hardness of the underlying problems. We also describe some recent results linking the computational hardness of decision problems in the first order theory of the reals, with that of computing certain topological invariants of semi-algebraic sets. Even though we mostly concentrate on exact algorithms, we also discuss some numerical approaches involving semi-definite programming that have gained popularity in recent times.

研究の動機と目的

• 実代数的幾何における基礎的かつ最近のアルゴリズム的進展、特に量化子除去と位相的不変量の計算についてのサーベイを行う。
• 半代数的集合のためのアルゴリズムの最悪ケース複雑度を分析し、単一指数時間の境界に特に注目する。
• 計算複雑性における未解決問題を特定し、ベッチ数および連結成分の効率的計算といった点を強調する。
• 実閉体上の第一階理論における決定問題の複雑さと、位相的不変量を計算する複雑さとの関係を明らかにする。
• コンパクト性の役割を検討し、結果を構成可能層やファンクターへの一般化の可能性を検討する。

提案手法

• 実閉体の第一階理論における有効な量化子除去のため、タルスキー＝セイデンバーグの定理および円筒代数的分解（CAD）を用いる。
• 臨界点法および代数的プアゾー級数を用いて、半代数的集合の計算のための単一指数時間アルゴリズムを設計する。
• 連結性の計算および半代数的集合内の点間の経路の構成のため、ロードマップアルゴリズムを用いる。
• 符号の決定および変形技術を用いて特異な代数的集合を扱い、アルゴリズムの頑健性を向上させる。
• ホモロジー的不変量（例：ベッチ数）の計算のため、半代数的トライアングル化およびストラティフィケーションを導入する。
• 数値的近似による多項式の非負性の評価のため、半定値計画法および平方和への接続を検討する。

実験結果

リサーチクエスチョン

• RQ1 半代数的集合のすべてのベッチ数を計算する複雑度を、変数の数に関して単一指数時間にまで低下させることは可能か？
• RQ2 二次不等式によって定義される集合の半代数的連結成分の数を計算する単一指数時間アルゴリズムは存在するか？
• RQ3 一般の半代数的集合のためのロードマップ構成の複雑度を、変数の数に関して O(k²) から O(k) に改善できるか？これは空集合判定の複雑度と一致する。
• RQ4 コンパクト性は、実閉体上のブルーム＝シューブ＝スメイの計算モデルにおいてどのような役割を果たすか？また、アルゴリズム的複雑度にどのように影響するか？
• RQ5 構成可能層やファンクターの枠組みを用いて、実代数的幾何における既存のアルゴリズム的結果を一般化できるか？

主な発見

• 任意の定数 ℓ に対して、半代数的集合の最初の ℓ ベッチ数を計算する単一指数時間アルゴリズムが存在し、定理 3.20 で形式化されている。
• ℓ 個の二次不等式によって定義される半代数的集合の連結成分の数を計算する、既知で最も良いアルゴリズムの複雑度は k^{2^{O(ℓ)}} であり、空集合判定の k^{O(ℓ)} 複雑度と比べて顕著に高い。
• 一般の半代数的集合のためのロードマップアルゴリズムは、パス長に関して s^{k'+1}d^{O(k²)} で有界である。ここで s は多項式の数、d はそれらの次数である。
• 二次不等式によって定義される半代数的集合に対しては、空集合の判定および各連結成分内のサンプル点の計算が k^{O(ℓ)} の複雑度で可能である。
• このような集合のオイラー＝ポワンカレ指数は k^{O(ℓ)} 時間で計算可能であるが、連結成分の数の計算は依然としてより計算が難しい。
• 最近の結果は、連結成分内の点の間で長さ d^{O(k)} の半代数的経路を構成可能であることを示唆しているが、その複雑度は d と k のみでは有界にできない。