[論文レビュー] A Dual Polynomial for OR

Robert Špalek|ArXiv.org|Mar 31, 2008

Formal Methods in Verification参考文献 9被引用数 24

ひとこと要約

この論文は、線形計画法の双対性を用いて、$ n $ ビットの論理和（OR）関数の近似次数が $ \Omega(\sqrt{n}) $ であることを示す明示的な双対多項式を構築する。$ \ell_1 $ ノルムと OR との内積の比が小さいが、純粋な高次項が大きい多項式を提示することで、双対性を用いてタイトな下界を確立し、多項式近似理論における基礎的結果の構成的証明を提供する。

ABSTRACT

We reprove that the approximate degree of the OR function on n bits is Omega(sqrt(n)). We consider a linear program which is feasible if and only if there is an approximate polynomial for a given function, and apply the duality theory. The duality theory says that the primal program has no solution if and only if its dual has a solution. Therefore one can prove the nonexistence of an approximate polynomial by exhibiting a dual solution, coined the dual polynomial. We construct such a polynomial.

研究の動機と目的

• OR 関数の近似次数に対する $ \Omega(\sqrt{n}) $ の下界を、明示的かつ構成的証明すること。
• 線形計画法の双対性を用いて、双対多項式が近似次数下界を証明するうえでの有用性を示すこと。
• 従来の存在的証明に依存するのではなく、基本的な関数に対して明示的な双対多項式を構築することで、双対性フレームワークを拡張すること。
• 他の対称関数（例えばしきい値関数など）に対しても双対多項式を構築するためのテンプレートを提供すること。

提案手法

• 多項式が $ \varepsilon $-近似可能であるという存在を、多重線形多項式上のプライマル線形計画問題として定式化する。
• 双対性理論を適用する：近似多項式の非存在は、特定のノルムおよび内積の性質を満たす双対解、すなわち双対多項式の提示によって証明される。
• $ k^2 $ および $ 2 $ における根を持つように、対称的かつ多重線形な多項式 $ P(k) $ を構築し、$ \ell_1 $ ノルムと内積の挙動を制御する。
• $ Q(k) = (-1)^k P(k) $ を定義することで、OR 関数の偶奇性と整合させ、双対多項式が高次の純粋な高次項を持つようにする。
• 組合せ的評価および積の推定（補題 4 を用いて）により、$ k^2 \in [n] $ に対して $ |P(k)| $ を上界で抑え、$ \|P\|_1 < 27 $ を保証する。
• $ \|Q\|_1 / (Q \cdot \text{OR}) < 14 $ を計算し、これは $ \sqrt{n} $ より低い次数の $ \frac{1}{14} $-近似多項式が存在しないことを示唆する。

実験結果

リサーチクエスチョン

• RQ1 OR 関数の近似次数下界を証明するために、双対多項式を明示的に構築することは可能か？
• RQ2 近似次数の下界を証明するために、双対多項式が満たすべき構造的性質は何か？
• RQ3 線形計画法の双対性をどのように用いて、多項式近似における構成的下界を導出できるか？
• RQ4 この構成を、しきい値関数などの他の対称関数へ拡張することは可能か？

主な発見

• 双対多項式 $ Q(k) = (-1)^k P(k) $ が構築され、ここで $ P(k) $ は $ k^2 $ および $ 2 $ における根を持つ対称的単変数多項式である。
• $ P $ の $ \ell_1 $ ノルムは $ \|P\|_1 < 27 $ で抑えられ、双対多項式が有限かつ制御可能な $ \ell_1 $ ノルムを持つことを保証する。
• 内積 $ Q \cdot \text{OR} = 2P(0) = 2 $ である。これは $ Q $ に定数項がなく、$ \text{OR}(0) = 1 $、$ \text{OR}(k) = -1 $（$ k \geq 1 $）であるためである。
• 比 $ \|Q\|_1 / (Q \cdot \text{OR}) < 14 $ が得られ、これは $ \frac{1}{14} $-近似多項式が $ \sqrt{n} $ より低い次数で存在しないことを示唆する。
• 双対多項式 $ Q $ の純粋な高次項の次数は $ m+1 > \sqrt{n} $ であり、$ \frac{1}{14} $-近似が可能な低次の多項式が存在しないことを確認する。
• この構成により、OR 関数の近似次数に対する $ \Omega(\sqrt{n}) $ のタイトで構成的な証明が得られ、分野における基礎的問題が解決された。