[論文レビュー] Improved Complexity Bounds for Computing with Planar Algebraic Curves.

Alexander Kobel, Michael Sagraloff|arXiv (Cornell University)|Jan 22, 2014

Polynomial and algebraic computation参考文献 37被引用数 4

ひとこと要約

本稿では、原始的多項式で定義される平面代数的曲線に関する計算に対して、決定的アルゴリズムを提示し、孤立領域の計算、分離形式の計算、多項式の実解における符号評価、曲線トポロジーの計算について、$\tilde{O}(n^6 + n^5 \alpha)$ のビット複雑度の上界を達成した。これらの結果は、従来の決定的境界を $n^2$ 以上の要因で改善し、トポロジー計算におけるランダム化アルゴリズムの最先端の複雑度に近づける。

ABSTRACT

In this paper, we give improved bounds for the computational complexity of computing with planar algebraic curves. More specifically, for arbitrary coprime polynomials $f$, $g \in \mathbb{Z}[x,y]$ and an arbitrary polynomial $h \in \mathbb{Z}[x,y]$, each of total degree less than $n$ and with integer coefficients of absolute value less than $2^ au$, we show that each of the following problems can be solved in a deterministic way with a number of bit operations bounded by $ ilde{O}(n^6+n^5 au)$, where we ignore polylogarithmic factors in $n$ and $ au$: (1) The computation of isolating regions in $\mathbb{C}^2$ for all complex solutions of the system $f = g = 0$, (2) the computation of a separating form for the solutions of $f = g = 0$, (3) the computation of the sign of $h$ at all real valued solutions of $f = g = 0$, and (4) the computation of the topology of the planar algebraic curve $\mathcal{C}$ defined as the real valued vanishing set of the polynomial $f$. Our bound improves upon the best currently known bounds for the first three problems by a factor of $n^2$ or more and closes the gap to the state-of-the-art randomized complexity for the last problem.

研究の動機と目的

• 平面代数的曲線（互いに原始的である多項式によって定義される）における基本的演算の決定的計算複雑度境界を改善すること。
• 実代数的曲線のトポロジーを計算する際の決定的とランダム化の複雑度境界の差を解消すること。
• 複素数解の孤立、分離形式の計算、実解における多項式の符号評価、曲線のトポロジー構築の各問題について、効率的かつビットレベルの複雑度保証を提供すること。
• キーパズルの複雑度を、従来の決定的手法に比べて $n^2$ 以上の要因で改善する、よりタイトな複雑度境界を達成すること。
• 平面曲線を含む計算代数幾何学の複数のコア問題における複雑度解析を統一的かつ強化すること。

提案手法

• 著者らは、2変数多項方程式系の解法におけるビット複雑度を制限するため、代数幾何学および記号計算の高度な技術を用いる。
• 根の分離と精度制御付きの区間演算を用いて、$f = g = 0$ のすべての複素数解を $\mathbb{C}^2$ 内の孤立領域に分離する決定的アルゴリズムを設計する。
• 結果式とゲルフォンド型の境界を用いて分離形式を計算し、解の異なる表現を保証することで、効率的な比較と分離を可能にする。
• 実解における $h$ の符号評価には、根の分離とスターミー列または類似の符号計算技術による評価を組み合わせる。
• 実曲線 $\mathcal{C} = \{f = 0\}$ のトポロジーは、臨界点と射影に基づく認証付きアプローチにより再構築され、正しさと複雑度の上限が保証される。
• 複雑度解析は、係数の成長と根の分離に関する境界に依拠し、最終的に $\tilde{O}(n^6 + n^5 \alpha)$ のビット複雑度が得られる。ここで $\alpha$ は係数のビットサイズの上限を表す。

実験結果

リサーチクエスチョン

• RQ1 $f = g = 0$ の複素数解の孤立領域を計算する決定的ビット複雑度を、既存の境界を上回るように改善できるか？
• RQ2 $2変数多項式系の解に対して、最適な決定的複雑度で分離形式を計算できるか？
• RQ3 $f = g = 0$ のすべての実解における多項式 $h$ の符号を、保証されたビット複雑度で効率的に計算できるか？
• RQ4 実平面代数的曲線 $\mathcal{C}$ のトポロジーを、ランダム化アルゴリズムの最良の性能に近い複雑度で決定的に計算できるか？
• RQ5 曲線トポロジー計算における決定的とランダム化の複雑度の $n^2$ の差をどの程度まで縮小できるか？

主な発見

• 本稿では、$f = g = 0$ のすべての複素数解の $\mathbb{C}^2$ 内の孤立領域を計算する決定的ビット複雑度が $\tilde{O}(n^6 + n^5 \alpha)$ に達成され、従来の決定的境界を $n^2$ 以上の要因で改善した。
• 同様の複雑度境界内で、$f = g = 0$ の解のための分離形式が計算され、解の効率的表現と比較が可能になった。
• $f = g = 0$ のすべての実解における $h$ の符号は、$\tilde{O}(n^6 + n^5 \alpha)$ ビット演算で決定的に評価され、他のコア問題の改善された複雑度と一致した。
• 実代数的曲線 $\mathcal{C} = \{f = 0\}$ のトポロジーは、同じ複雑度で決定的に計算され、最良のランダム化アルゴリズムに近づいた。
• 結果として、決定的アルゴリズムが曲線トポロジー計算において、ランダム化アルゴリズムの漸近的複雑度に達することが示された。これは、理論的および実用的な重要な前進である。
• $\tilde{O}(n^6 + n^5 \alpha)$ の複雑度境界が、4つの問題すべてに一様に達成された。これは、平面曲線を用いた計算代数幾何学に対する統一的かつ強固なアプローチを示している。