[論文レビュー] Testing Unateness of Real-Valued Functions

Roksana Baleshzar, Meiram Murzabulatov+2 more|arXiv (Cornell University)|Aug 27, 2016

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

ひとこと要約

本稿では、超グリッドドメイン $[n]^d \to \mathbb{R}$ 上の実数値関数に対する最初の単調性テストの提案を行い、クエリ複雑度 $O\left(\frac{d\log(\max(d,n))}{\epsilon}\right)$ を達成した。また、任意の実数値関数の単調性テストには $\Omega(\min\{d, |R|^2\})$ クエリが必要であることを示すタイトな下界を確立した。さらに、ブール関数に対する非適応的・1方向誤差テストでは、$\Omega(\sqrt{d}/\epsilon)$ クエリが必要であり、提案されたテストはほぼ最適であることを示した。

ABSTRACT

We give a unateness tester for functions of the form $f:[n]^d ightarrow R$, where $n,d\in \mathbb{N}$ and $R\subseteq \mathbb{R}$ with query complexity $O(\frac{d\log (\max(d,n))}ε)$. Previously known unateness testers work only for Boolean functions over the domain $\{0,1\}^d$. We show that every unateness tester for real-valued functions over hypergrid has query complexity $Ω(\min\{d, |R|^2\})$. Consequently, our tester is nearly optimal for real-valued functions over $\{0,1\}^d$. We also prove that every nonadaptive, 1-sided error unateness tester for Boolean functions needs $Ω(\sqrt{d}/ε)$ queries. Previously, no lower bounds for testing unateness were known.

研究の動機と目的

• 超グリッドドメイン $[n]^d \to \mathbb{R}$ 上の実数値関数の単調性をテストするプロパティテストの設計。これは、従来のブール関数に限局した研究の拡張である。
• 実数値関数の単調性テストに対する最初の下界を確立し、必要な最小クエリ数を定量化すること。
• 超立方体上でのブール関数に対する非適応的・1方向誤差テストについて、$\Omega(\sqrt{d}/\epsilon)$ のクエリ複雑度下界を証明し、先行研究のギャップを埋めること。
• 実数値関数 $\{0,1\}^d$ 上での提案テストが、下界と対数的要因を除いて一致することを示し、ほぼ最適であることを示すこと。

提案手法

• ブール関数 $\{0,1\}^d$ 上の実数値関数に適応した Khot と Shinkar [12] の適応的単調性テストを、$[n]^d$ 上の実数値関数に拡張する。
• 隣接する点間のローカル比較を活用し、次元ごとに単調性を再帰的分解することでテストする戦略を採用する。
• $\{0,1\}^d$ 上に、$\epsilon$-遠く単調でない関数 $f_i$ の分布を定義し、違反が特定の座標ペアに集中するようにする。
• ヤオのミニマックス原理を適用し、非適応的・1方向誤差テストの解析において、ハード分布における違反の検出確率を上限付ける。
• 与えられた $g$ から $h$ を構成し、$g$ が単調であることと $h$ が単調であることが同値となるようにし、クエリ複雑度を保ちながら既知の下界に還元可能とする。
• 実数値関数の単調性テストが、$|R|$ 個の異なる値を持つハード関数族に還元されることにより、$\Omega(\min\{d, |R|^2\})$ クエリが必要であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 超グリッドドメイン $[n]^d \to \mathbb{R}$ 上の実数値関数の単調性テストの最適クエリ複雑度は何か？
• RQ2 特に範囲サイズ $|R|$ の観点から、実数値関数の単調性テストに対してタイトな下界を確立できるか？
• RQ3 超立方体上でのブール関数に対する非適応的・1方向誤差テストの単調性テストのクエリ複雑度下界は何か？
• RQ4 実数値関数の単調性テストのクエリ複雑度は、次元 $d$ と範囲サイズ $|R|$ に対してどのようにスケーリングするか？

主な発見

• 提案された $f:[n]^d \to \mathbb{R}$ に対する単調性テストのクエリ複雑度は $O\left(\frac{d\log(\max(d,n))}{\epsilon}\right)$ であり、$\{0,1\}^d$ 上の実数値関数に対してほぼ最適である。
• 超グリッド上での実数値関数の単調性テストは、$\Omega(\min\{d, |R|^2\})$ クエリを必要とし、対数的要因を除いてタイトな下界が確立された。
• 超立方体上でのブール関数に対する非適応的・1方向誤差テストでは、クエリ複雑度が $\Omega(\sqrt{d}/\epsilon)$ 以上であることが示され、これは単調性テストに対して初めてのこのような下界である。
• Khot と Shinkar [12] の $\{0,1\}^d$ 上のブール関数に対するテストを、$[n]^d$ 上の実数値関数に一般化し、適用範囲を拡張した。
• $\Omega(\min\{d, |R|^2\})$ の下界は実数値関数に適用可能であり、$\{0,1\}^d$ 上では上界と対数的要因を除いて一致する。