[論文レビュー] Cancellation-free circuits: An approach for proving superlinear lower bounds for linear Boolean operators

Joan Boyar, Find, Magnus|arXiv (Cornell University)|Jul 23, 2012

Complexity and Algorithms in Graphs参考文献 15被引用数 5

ひとこと要約

この論文は、線形ブール演算子の非線形下界を証明するためのツールとして、キャンセルフリー線形回路を導入する。Sierpinskiギャスケット行列は、このような回路において少なくとも $rac{1}{2}nackepsilon n$ ゲートを必要とすることが示され、極値グラフ理論を用いて、任意の $ackepsilon > 0$ に対して $ackepsilon(n^{2-ackepsilon})$ ゲートを必要とする無限に多くの $n \times n$ 行列が存在することを示している。これは $O(n^2 / \log n)$ の上界にほぼ一致する。

ABSTRACT

We continue to study the notion of cancellation-free linear circuits. We show that every matrix can be computed by a cancellation- free circuit, and almost all of these are at most a constant factor larger than the optimum linear circuit that computes the matrix. It appears to be easier to prove statements about the structure of cancellation-free linear circuits than for linear circuits in general. We prove two nontrivial superlinear lower bounds. We show that a cancellation-free linear circuit computing the $n imes n$ Sierpinski gasket matrix must use at least 1/2 n logn gates, and that this is tight. This supports a conjecture by Aaronson. Furthermore we show that a proof strategy for proving lower bounds on monotone circuits can be almost directly converted to prove lower bounds on cancellation-free linear circuits. We use this together with a result from extremal graph theory due to Andreev to prove a lower bound of Ω(n^(2- ε)) for infinitely many $n imes n$ matrices for every $ε> 0$ for. These lower bounds for concrete matrices are almost optimal since all matrices can be computed with $O(n^2/\log n)$ gates.

研究の動機と目的

• 線形ブール演算子の下界を証明するのを簡略化するための制限付き回路モデル—キャンセルフリー線形回路—を構築すること。
• 特に Sierpinskiギャスケット行列を含む具体的な行列に対して、非自明な非線形下界を確立すること。
• 極値グラフ理論の証明戦略を適応することで、単調回路の下界とキャンセルフリー線形回路を結びつけること。
• キャンセルフリー回路が、ほとんどすべての行列に対して最小線形回路の定数倍のサイズである、漸近的に最適に近いことの証明すること。

提案手法

• 計算中に中間項のキャンセルが生じないよう、各ゲートの出力ベクトルのハミング重みが減少しないキャンセルフリー線形回路を導入する。
• すべての $n \times n$ 行列がキャンセルフリー回路で計算可能であり、ほとんどすべての行列に対してそのサイズが最適回路の定数倍であることを証明する。
• 再帰的なXOR演算を用いた分割統治構成により、Sierpinskiギャスケット行列に対してタイトな $rac{1}{2}n\log_2 n$ ゲートバウンドを達成する。
• ゲート除去と極値グラフ理論の技術を適応する：行列を二部グラフとして解釈し、Zarankiewicz問題を適用して $K_{h+1,k+1}$ 部分グラフを避ける。
• Andreevの $n^{2-\backepsilon}$ 条を持つ $K_{h+1,k+1}$-フリーな二部グラフの構成を用いて、$ackepsilon(n^{2-\backepsilon})$ の下界を導出する。
• 値ベクトル伝搬の構造を保持することで、単調回路の下界証明戦略をキャンセルフリー線形回路に直接的に翻訳できることを示す。

実験結果

リサーチクエスチョン

• RQ1 キャンセルフリー線形回路を用いて、線形ブール演算子の非線形下界を証明できるか？
• RQ2 Sierpinskiギャスケット行列を計算するためのキャンセルフリー回路の最小サイズは何か？
• RQ3 極値グラフ理論の結果を用いて、キャンセルフリー線形回路の強い下界を導出できるか？
• RQ4 すべての $ackepsilon > 0$ に対して、キャンセルフリー回路で $ackepsilon(n^{2-\backepsilon})$ ゲートを必要とする明示的な行列の族は存在するか？
• RQ5 キャンセルフリー制限は、元の回路問題の複雑さをどの程度保っているか？

主な発見

• Sierpinskiギャスケット行列は、いかなるキャンセルフリー線形回路でも少なくとも $rac{1}{2}n\log_2 n$ ゲートを必要とし、このバウンドはタイトである。
• すべての $ackepsilon > 0$ に対して、キャンセルフリー線形回路で $ackepsilon(n^{2-\backepsilon})$ ゲートを必要とする明示的な $n \times n$ 行列の族が存在し、これは $O(n^2 / \log n)$ の上界にほぼ一致する。
• ほとんどすべての行列は、最適線形回路の定数倍のサイズであるキャンセルフリー回路で計算可能である。
• 単調回路の下界証明戦略をキャンセルフリー線形回路に直接適応でき、グラフ論的構成を介して新たな下界を導出可能である。
• Andreevの $K_{h+1,k+1}$-フリーな二部グラフの構成（$n^{2-\backepsilon}$ 条）により、キャンセルフリー回路に対して $ackepsilon(n^{2-\backepsilon})$ の下界が得られる。
• キャンセルフリーモデルは構造的解析を簡略化し、一般の線形回路よりも下界を証明しやすくなっている。