[論文レビュー] Randomization, Sums of Squares, and Faster Real Root Counting for Tetranomials and Beyond

Osbert Bastani, Christopher J. Hillar+2 more|arXiv (Cornell University)|Jan 13, 2011

Polynomial and algebraic computation参考文献 15被引用数 9

ひとこと要約

本稿では、平均的計算量が log D の多項式である univariate tetranomial（4項多項式、次数 D）の実根の個数を数えるための確率的アルゴリズムを提示する。${\mathcal{A}}$-判別式と計算可能なチャネルコーンを用いる。この手法は、D に対して超線形に増加する古典的手法（Sturm列ベース）に比べ、指数的高速化を達成し、正定値なスパース多項式を少数のスパース多項式の平方和として表現する際の根本的障害を確立する。

ABSTRACT

Suppose f is a real univariate polynomial of degree D with exactly 4 monomial terms. We present an algorithm, with complexity polynomial in log D on average (relative to the stable log-uniform measure), for counting the number of real roots of f. The best previous algorithms had complexity super-linear in D. We also discuss connections to sums of squares and A-discriminants, including explicit obstructions to expressing positive definite sparse polynomials as sums of squares of few sparse polynomials. Our key tool is the introduction of efficiently computable chamber cones, bounding regions in coefficient space where the number of real roots of f can be computed easily. Much of our theory extends to n-variate (n+3)-nomials.

研究の動機と目的

• スパースな一変数多項式の実根の個数を数えるアルゴリズムを開発し、古典的手法（例：Sturm列）の超線形的スケーリング問題を克服し、log D の多項式時間で実現すること。
• ${\mathcal{A}}$-判別式とチャネルコーンが、tetranomial および $n$-変数 $(n+3)$-項多項式の効率的根数え上げを可能にする役割を解明すること。
• 正定値なスパース多項式を少数のスパース多項式の平方和として表現する際の理論的限界を確立すること。
• 安定対数一様測度下での根数え上げの平均的計算量を分析し、決定的手法が失敗する状況においても、確率的アルゴリズムが多項式時間で動作可能であることを示すこと。

提案手法

• 著者らは、係数空間におけるチャネルコーンを導入し、ここではtetranomialの実根の個数が${\mathcal{A}}$-判別式を用いて効率的に計算可能であることを示す。
• 安定対数一様測度を用いて平均的計算量モデルを定義し、根数え上げアルゴリズムの確率的解析を可能にする。
• 多項式を $x \mapsto x^{1/k}$ で変換することで、指数行列の漸近的挙動を解析し、$[0,1]^{\ell \times m}$ 内の極限行列 $\tilde{P}$ を得る。
• 重要な技術的道具は、平方和展開における単項式項の解析であり、$f_k = x^{2k} + x^{2k-1} + 1$ の先行項および末尾項に寄与できるのは、極端な指数（$0$ および $k_s$）に限られることを示す。
• コンパクト性と正規化された指数行列の部分列収束を用いた証明により、正定値な trinomial がスパースな平方和表現として表現可能であると仮定した場合に矛盾を導く。
• 著者らは、この手法を応用し、すべての正定値 trinomial が少数のスパース多項式の平方和として書けるわけではないことを示し、明示的な障害を確立する。

実験結果

リサーチクエスチョン

• RQ1 tetranomial の実根数え上げを、D に対して超線形的ではなく、log D の多項式時間で平均的計算量で行うことは可能か？
• RQ2 ${\mathcal{A}}$-判別式が、スパース多項式の効率的かつ確率的根数え上げを可能にする役割は何か？
• RQ3 正定値なスパース多項式を少数のスパース多項式の平方和として表現する際、根本的障害は存在するか？
• RQ4 係数空間におけるチャネルコーンは、判別式に基づく方法で根数が計算可能な領域をどのように分割するか？
• RQ5 スケーリング下での指数行列の漸近的挙動は、スパース平方和表現における構造的制限を明らかにできるか？

主な発見

• tetranomial の実根数え上げのアルゴリズムは、安定対数一様測度下で平均的計算量が log D の多項式で達成され、従来の Sturm列ベース手法に比べ指数的高速化を実現する。
• ${\mathcal{A}}$-判別式とチャネルコーンの使用により、根数が定数でかつ判別式の符号解析によって計算可能な係数空間の領域で、効率的な根数え上げが可能になる。
• 本稿では、すべての正定値 trinomial が少数のスパース多項式の平方和として書けるとは限らないことを証明し、具体的な反例として $f_k = x^{2k} + x^{2k-1} + 1$ が提示される。
• 証明により、このような表現が成立するには中間の指数に非ゼロ係数が必要となるが、$f_k$ は次数 $0$、$2k-1$、$2k$ のみに非ゼロ係数を持つため、矛盾が生じる。
• スパース制約を仮定した場合、平方和表現における項数は、たとえ trinomial であっても次数に従って増加しなければならないことが示される。
• 本手法は $n$-変数 $(n+3)$-項多項式へ一般化可能であり、一変数に限らない、チャネルコーンと判別式に基づくアプローチの適用範囲が拡張される。