[論文レビュー] Improved Lower Bounds for Testing Triangle-freeness in Boolean Functions via Fast Matrix Multiplication

Hu Fu, Robert Kleinberg|arXiv (Cornell University)|Aug 7, 2013

Complexity and Algorithms in Graphs参考文献 17被引用数 9

ひとこと要約

この論文は、Coppersmith-Winograd行列積の構成から導かれる一意に解けるパズル（USPs）を用いて、F₂^k 上のブール関数における三角形自由性の片側テストの、Ω((1/ε)^6.619) という著しく改善された下界を確立した。著者らは、大きなUSPからPMF（ペアワイズマッチングファミリー）のベクトル族を構築し、いかなる片側テストでも超多項式的なクエリ回数を必要とするということを証明した。これにより、代数的性質テストにおけるクエリ複雑度の理解が前進した。

ABSTRACT

Understanding the query complexity for testing linear-invariant properties has been a central open problem in the study of algebraic property testing. Triangle-freeness in Boolean functions is a simple property whose testing complexity is unknown. Three Boolean functions $f_1$, $f_2$ and $f_3: \mathbb{F}_2^k o \{0, 1\}$ are said to be triangle free if there is no $x, y \in \mathbb{F}_2^k$ such that $f_1(x) = f_2(y) = f_3(x + y) = 1$. This property is known to be strongly testable (Green 2005), but the number of queries needed is upper-bounded only by a tower of twos whose height is polynomial in $1 / \epsislon$, where $\epsislon$ is the distance between the tested function triple and triangle-freeness, i.e., the minimum fraction of function values that need to be modified to make the triple triangle free. A lower bound of $(1 / ε)^{2.423}$ for any one-sided tester was given by Bhattacharyya and Xie (2010). In this work we improve this bound to $(1 / ε)^{6.619}$. Interestingly, we prove this by way of a combinatorial construction called \emph{uniquely solvable puzzles} that was at the heart of Coppersmith and Winograd's renowned matrix multiplication algorithm.

研究の動機と目的

• ブール関数における三角形自由性テストのクエリ複雑度に関する既知の上界と下界の差を埋める。
• BhattacharyyaとXie（2010）が確立した、片側テストに対して Ω((1/ε)^2.423) の既存下界を改善すること。
• 高速行列積—特に一意に解けるパズル（USPs）—からの組合せ的構造を活用し、三角形自由性テストのための困難なインスタンスを構築すること。
• 片側テストの三角形自由性のクエリ複雑度が 1/ε に関して超多項式的であることを示し、多項式のクエリ複雑度が不可能であることを示唆すること。

提案手法

• {1,2,3}^k 内の一意に解けるパズル（USP）から、F₂^k 内のベクトルのPMF（ペアワイズマッチングファミリー）を構築する。各パズルピースは F₂^k 内のベクトルに対応する。
• 各USP要素 u_i に対して、三つの二値ベクトル a_i, b_i, c_i を定義する：a_i は u_i,j=1 となる位置を符号化し、b_i は u_i,j=2 となる位置を符号化し、c_i は u_i,j≠3 となる位置を符号化する。
• USPの性質を用いて、任意の同一でない置換 π₁, π₂, π₃ に対して、ある位置 j と添え字 i が存在し、F₂^k 内で a_π₁(i) + b_π₂(i) ≠ c_π₃(i) となることを保証する。
• 得られたベクトル族がPMF条件を満たすことを証明する：任意の異なる置換に対して、二つのベクトルの和が三番目のベクトルに等しくならない。これにより、三つ組が三角形自由から遠く離れていることが保証される。
• USPのサイズと距離 ε の関係を用いて、クエリ複雑度の下界を導出する。最大USPの漸近的サイズ Θ((3/2^{2/3} - o(1))^k) を用いる。
• 先行研究の定理2を適用し、このようなPMFファミリーが、片側テストに対して Ω((1/ε)^6.619) の下界を示すことを証明する。

実験結果

リサーチクエスチョン

• RQ1 F₂^k 上のブール関数における片側テストの三角形自由性のクエリ複雑度の最良の可能な下界は何か？
• RQ2 高速行列積から得られる組合せ的構造、例えば一意に解けるパズル（USPs）を用いて、性質テストのための困難なインスタンスを構築できるか？
• RQ3 片側三角形自由性テストに対して、既存の下界 Ω((1/ε)^2.423) よりも改善することは可能か？
• RQ4 大きなPMFファミリーの存在は、片側テストの三角形自由性のクエリ複雑度が超多項式的であることを示唆するか？

主な発見

• 本論文は、F₂^k 上のブール関数における片側テストの三角形自由性に対して、Ω((1/ε)^6.619) という新しい下界を確立した。これは、以前の下界 Ω((1/ε)^2.423) より著しく向上した。
• この構成は、一意に解けるパズル（USPs）に依存しており、Θ((3/2^{2/3} - o(1))^k) のサイズで存在することが示された。これにより、下界の強固な組合せ的基盤が得られた。
• USPから、サイズ Θ((3/2^{2/3} - o(1))^k) のPMFファミリーを明示的に構築した。このファミリーは、ε-遠く離れたが、片側テストでは検出が難しい関数の三つ組を生成するために用いられた。
• この結果により、三角形自由性の片側テストが 1/ε に関して超多項式的なクエリ回数を必要とすることが示された。これは、この性質に対して多項式のクエリ複雑度が不可能であることを示唆する。
• 本手法は、高速行列積アルゴリズムと代数的性質テストにおけるクエリ複雑度の下界の間の新しい関係を示した。