[論文レビュー] Computing the First Betti Numberand Describing the Connected Components of Semi-algebraic Sets

Saugata Basu, Richard Pollack+1 more|ArXiv.org|Mar 10, 2006

Polynomial and algebraic computation参考文献 12被引用数 5

ひとこと要約

本稿では、パラメータ化された経路とスペクトル系列を用いた、可縮な半代数的集合による新しい被覆を介して、半代数的集合の1番目のベッチ数を計算する、初めての単一指数的アルゴリズムを提示する。また、実代数的および半代数的集合の半代数的連結成分を記述するための改良されたアルゴリズムも提供し、両問題に対して単一指数的時間複雑度を達成する。

ABSTRACT

In this paper we describe a singly exponential algorithm for computing the first Betti number of a given semi-algebraic set. Singly exponential algorithms for computing the zero-th Betti number, and the Euler-Poincaré characteristic, were known before. No singly exponential algorithm was known for computing any of the individual Betti numbers other than the zero-th one. We also give algorithms for obtaining semi-algebraic descriptions of the semi-algebraically connected components of any given real algebraic or semi-algebraic set in single-exponential time improving on previous results.

研究の動機と目的

• 半代数的集合の1番目のベッチ数を計算する単一指数的アルゴリズムを開発すること。この問題に対しては、以前に同様のアルゴリズムが存在しなかった。
• 実代数的および半代数的集合の連結成分の半代数的記述を計算する既存のアルゴリズムを改善すること。
• 0番目のベッチ数（連結成分）を超える個々のベッチ数を計算するための計算量理論的基盤を確立すること。
• ガブリエルーヴ＝ヴォロビョフ構成の強化版を用いて、ホモトピー不変性および有界性に関する既知の結果を拡張すること。
• 将来的な研究の基盤として、高次ベッチ数を単一指数的時間で計算するための枠組みを提供すること。

提案手法

• 閉かつ有界な半代数的集合の被覆を構成し、その被覆に単一指数的個数のパラメータ化された経路を用いる。これらの経路は特定の仮定のもとで半代数的に可縮可能である。
• パラメータ化された経路を、特定の半代数的集合として定義し、その位相的構造が制御可能な可縮性を許容することで、効率的なホモトピー解析が可能になるようにする。
• メイヤー＝ビートリススペクトル系列を用いて、被覆からの1番目のベッチ数を計算する。その際、2重および3重交差の連結成分の数とそれらのインシデント関係に依存する。
• 任意の一般の半代数的集合を、同じホモトピー型を保ちながら閉かつ有界な集合に変換する、強化されたガブリエルーヴ＝ヴォロビョフ構成を適用する。
• 無限小と球面埋め込みを用いた変換により、一般の半代数的集合の問題を閉かつ有界な場合に還元する。
• 既存の代数的集合の連結成分を計算するアルゴリズムを活用し、変換後の有界な集合に適用することで、連結成分の半代数的記述を得る。

実験結果

リサーチクエスチョン

• RQ1 単一指数的トライアングレーションが存在しないにもかかわらず、半代数的集合の1番目のベッチ数は単一指数的時間で計算可能だろうか？
• RQ2 実代数的または半代数的集合の連結成分の半代数的記述を計算する際の計算量は何か？ そして、以前の境界を超えて改善可能だろうか？
• RQ3 一般の半代数的集合のホモトピー型は、閉かつ有界な集合への変換によって保持可能だろうか？ その際、計算量が増加しないだろうか？
• RQ4 明示的なトライアングレーションがなくても、可縮な集合による被覆とスペクトル系列技術を用いて1番目のベッチ数を計算可能だろうか？
• RQ5 同様の手法を用いて高次ベッチ数を計算する際の正確な計算量は何か？ また、固定された数のベッチ数について、単一指数的時間に拡張可能だろうか？

主な発見

• 本稿では、多項式の数を $s$、それらの最大次数を $d$ とすると、$(sd)^{k^{O(1)}}$ 時間で1番目のベッチ数を計算する、初めてのアルゴリズムを提示する。
• 半代数的集合の連結成分を計算するアルゴリズムの計算量は $s^{k+1}d^{O(k^4)}$ で抑えられ、以前の境界を改善している。
• 連結成分の出力記述における多項式の次数は $d^{O(k^3)}$ で抑えられ、整数係数の場合には係数のビットサイズは $d^{O(k^3)} au$ で抑えられる。
• 著者らはガブリエルーヴ＝ヴォロビョフ構成の強化版を証明し、変換後の集合が元の集合と同一のホモトピー型を持つことを示した。これは、単にベッチ数の和が等しいというより強い結果である。
• この方法は、被覆集合の位相的性質とそれらの交差の構造に基づき、メイヤー＝ビートリス二重複体に関連するスペクトル系列に依存している。
• 1番目のベッチ数を計算するアルゴリズムの計算量は、変数の数 $k$ に関して単一指数的であり、この問題クラスの漸近的計算量において最適である。