[論文レビュー] A Lower Bound for Nonadaptive, One-Sided Error Testing of Unateness of Boolean Functions over the Hypercube

Roksana Baleshzar, Deeparnab Chakrabarty+3 more|arXiv (Cornell University)|May 31, 2017

Radiation Effects in Electronics被引用数 5

ひとこと要約

この論文は、超立方体上のブール関数の非適応的かつ片側エラーのアンテンスネステストに対して、Ω(d/log d)クエリのタイトな下界を確立する。1/8-遠くアンテンスな関数の分布を用い、CNF式の構築と確率的解析により、任意のこのようなテストは、アンテンスな関数と非アンテンスな関数を信頼性高く区別するために、少なくともこの数のクエリを必要とする、と証明する。

ABSTRACT

A Boolean function $f:\{0,1\}^d \mapsto \{0,1\}$ is unate if, along each coordinate, the function is either nondecreasing or nonincreasing. In this note, we prove that any nonadaptive, one-sided error unateness tester must make $Ω(\frac{d}{\log d})$ queries. This result improves upon the $Ω(\frac{d}{\log^2 d})$ lower bound for the same class of testers due to Chen et al. (STOC, 2017).

研究の動機と目的

• 非適応的かつ片側エラーのアンテンスネステストの既知の上界と下界のギャップを埋める。
• Chenら（STOC 2017）が示した同様のテストクラスに対する従来のΩ(d/log²d)の下界を改善すること。
• アンテンスでない関数の分布を用いて、より単純かつタイトな解析を提供すること。
• 非適応的かつ片側エラーのアンテンスネステストのクエリ複雑度がΩ(d/log d)であることを確立すること。これは、定数εに対する既知の上界O(d log d / ε)に近づく。

提案手法

• a,b,c ∈ [d] をランダムに選ぶことにより、1/8-遠くアンテンスでない関数 f_{a,b,c} を生成する、アンテンスでない関数のハード分布Dを構築する。ここで f_{a,b,c}(x) = x_a·x_b + (1−x_a)·x_c である。
• クエリの応答に基づき、CNF式φ(f|Q)を定義する。各節は次元に沿ったアンテンスネスの整合性を符号化する。
• 確率的補題を用いて、クエリ集合Qのサイズが ≤ d/(30 log d) であれば、CNF式φ(f|Q)が高確率で充足可能であることを示す。
• 影響力のある次元が小さなクエリ集合によって捉えられる可能性が低いことから、CNF式の幅が確率2/3以上で少なくとも3 log d以上であることを証明する。
• 確率的代入の議論を用いて、幅が ≥ 3 log d でかつd²個以下の節をもつ任意のCNF式は、期待値として充足可能であることを示す。
• Yaoのミニマックス原理を適用し、o(d/log d)クエリの非適応的決定的テストでは、アンテンス関数と1/8-遠くアンテンスでない関数を高確率で区別できない、と結論する。

実験結果

リサーチクエスチョン

• RQ1 超立方体上でのブール関数のアンテンスネスに対する非適応的かつ片側エラーのテストの最適クエリ複雑度は何か？
• RQ2 非適応的かつ片側エラーのテストに対して、Ω(d/log²d)の下界をΩ(d/log d)を超えて改善できるか？
• RQ3 CNFに基づく証明構成は、アンテンスネステストのよりタイトな下界を示すのに十分か？
• RQ4 アンテンスでない関数の構造は、性質テストのクエリ複雑度にどのように影響するか？
• RQ5 より単純な解析により、以前の研究よりもdに依存するより良い関係を得られるか？

主な発見

• この論文は、超立方体上でのブール関数に対する任意の非適応的かつ片側エラーのアンテンスネステストに対して、Ω(d/log d)のクエリ下界を確立する。
• ハード分布Dは、1/8-遠くアンテンスでない関数 f_{a,b,c} から構成され、任意のテストが非アンテンスネスを検出しなければならないことを保証する。
• 高確率（少なくとも2/3の確率）で、クエリ集合Q（サイズ ≤ d/(30 log d)）への制限f|Qはアンテンス関数に拡張可能であり、これはテストが高確率で受理されることを意味する。
• CNF式φ(f|Q)は、確率2/3以上で幅が少なくとも3 log d以上である。これは、式が充足可能であることを保証する。
• 幅が ≥ 3 log d でかつd²個以下の節をもつ任意のCNF式は、期待値として充足可能である。なぜなら、未充足節の期待数が1未満であるからである。
• この結果は、従来のΩ(d/log²d)の下界を改善し、非適応的テストの既知の下界をO(d log d / ε)の上界に近づけた。