[論文レビュー] Faster Real Feasibility via Circuit Discriminants

Frédéric Bihan, J. Maurice Rojas+1 more|arXiv (Cornell University)|Jan 28, 2009

Algorithms and Data Compression被引用数 13

ひとこと要約

本稿では、整数係数および整数指数をもつ $n$ 変数 $(n+2)$-項多項式の実根を検出する多項式時間アルゴリズムを提示する。この手法は、回路判別式と対数の線形形式によるディオファントス近似を活用する。主な貢献は、任意の固定された $n$ に対して、このようなスパース多項式の実可能性が P に属することを証明したことである。これは、従来のスパース符号化における指数的境界が存在した長年の複雑性ギャップを解消するものである。

ABSTRACT

We show that detecting real roots for honestly n-variate (n+2)-nomials (with integer exponents and coefficients) can be done in time polynomial in the sparse encoding for any fixed n. The best previous complexity bounds were exponential in the sparse encoding, even for n fixed. We then give a characterization of those functions k(n) such that the complexity of detecting real roots for n-variate (n+k(n))-nomials transitions from P to NP-hardness as n tends to infinity. Our proofs follow in large part from a new complexity threshold for deciding the vanishing of A-discriminants of n-variate (n+k(n))-nomials. Diophantine approximation, through linear forms in logarithms, also arises as a key tool.

研究の動機と目的

• スパース多項式の実可能性に関する複雑性ギャップを埋める。これは、固定された $n$ に対してもスパース符号化において指数的境界が存在していたためである。
• $n \to \infty$ のとき、実可能性が P から NP 困難に移行する閾値関数 $k(n)$ を特定すること。
• 任意の固定された $n$ に対して、$n$ 変数 $(n+2)$-項多項式における実根の検出のための多項式時間アルゴリズムを確立すること。
• $n$ 変数 $(n+k(n))$-項多項式における $\mathcal{A}$-判別式の消滅に基づく複雑性の閾値を構築すること。
• 特に対数の線形形式を用いたディオファントス近似の手法を用いて、判別式に基づく可能性基準における符号条件を分析すること。

提案手法

• $n$ 変数 $(n+2)$-項多項式のサポートを回路として特徴づけ、凸包や部分回路の相対内部といった幾何的性質を用いる。
• 部分回路の凸包の符号付き体積（補題 2.13 を用いて）を用いて、与えられた係数ベクトルが非空の実零点集合をもつかどうかを決定する。
• 係数の符号パターンをチェックし、定理 2.18 および 2.19 から導かれる積不等式を用いて可能性を決定する。
• 問題を対数の線形結合の符号を計算する問題に還元し、ディオファントス近似技術を用いて処理する。
• 可能性の意思決定は、体積ベクトルにおける唯一の負の成分が唯一の負の係数に対応するかどうか、および臨界的な積不等式が成り立つかどうかに基づく。
• 固定された $n$ に対して多項式時間で動作し、符号付き体積の計算および対数比較の効率的計算によって複雑性が制限される。

実験結果

リサーチクエスチョン

• RQ1 $n \to \infty$ のとき、$n$ 変数 $(n+k(n))$-項多項式における実根の検出の複雑性が P から NP 困難に移行する関数 $k(n)$ はどのようなものか？
• RQ2 任意の固定された $n$ に対して、$n$ 変数 $(n+2)$-項多項式の実可能性は多項式時間で決定可能か？
• RQ3 $\mathcal{A}$-判別式の消滅が、スパース多項式系における実可能性の複雑性閾値を決定する上で果たす役割は何か？
• RQ4 対数の線形形式によるディオファントス近似を用いて、判別式に基づく可能性基準における符号条件をどのように決定できるか？
• RQ5 幾何的および代数的不変量（例：回路構造、符号付き体積）を用いて、スパース多項式の実零点集合をどのように特徴づけられるか？

主な発見

• 任意の固定された $n$ に対して、$n$ 変数 $(n+2)$-項多項式の実可能性は P に属する。これは、スパース多項式の複雑性において大きなギャップを解消するものである。
• ${\mathbf{FEAS}}_{+}(\bigcup_{n\in\mathbb{N}}{\mathcal{F}}^{*}_{n,n+1})$ および ${\mathbf{FEAS}}_{\mathbb{R}}(\bigcup_{n\in\mathbb{N}}{\mathcal{F}}^{*}_{n,n+1})$ は $\mathbf{NC}^1$ に属しており、非常に低い回路複雑性を示している。
• 任意の $\varepsilon > 0$ に対して、${\mathbf{FEAS}}_{+}(\bigcup_{n\in\mathbb{N}}{\mathcal{F}}^{*}_{n,n+n^{\varepsilon}})$ および ${\mathbf{FEAS}}_{\mathbb{R}}(\bigcup_{n\in\mathbb{N}}{\mathcal{F}}^{*}_{n,n+n^{\varepsilon}})$ は $\mathbf{NP}$-困難である。
• アルゴリズムは、回路判別式から導かれる対数の線形結合の符号をチェックすることで、正しく可能性を決定する。この処理にはディオファントス近似が用いられる。
• 固定された $n$ に対して、アルゴリズムは多項式時間で動作し、回路構造における符号付き体積および積比較の効率的計算によって複雑性が制限される。
• $\mathcal{A}$-判別式の消滅による特徴づけは、スパース多項式における実可能性の複雑性が P から NP 困難に移行する鋭い閾値を提供する。