[論文レビュー] An Adaptivity Hierarchy Theorem for Property Testing

Clément L. Canonne, Tom Gur|arXiv (Cornell University)|Jan 1, 2017

Complexity and Algorithms in Graphs参考文献 19被引用数 3

ひとこと要約

この論文は、性質のテストにおける適応性の階層定理を確立し、n^0.99 未満の任意の k に対して、(k−1)-適応的テストでは Ω(n) クエリを必要とするが、k-適応的テストでは Õ(k) クエリで十分な性質が存在することを証明している。この結果は、各追加の適応的ラウンドごとにテストの能力が明確かつ滑らかに向上することを示しており、クエリ複雑性における適応性の役割について長年の疑問を解決するものである。

ABSTRACT

Adaptivity is known to play a crucial role in property testing. In particular, there exist properties for which there is an exponential gap between the power of \emph{adaptive} testing algorithms, wherein each query may be determined by the answers received to prior queries, and their \emph{non-adaptive} counterparts, in which all queries are independent of answers obtained from previous queries. In this work, we investigate the role of adaptivity in property testing at a finer level. We first quantify the degree of adaptivity of a testing algorithm by considering the number of "rounds of adaptivity" it uses. More accurately, we say that a tester is $k$-(round) adaptive if it makes queries in $k+1$ rounds, where the queries in the $i$'th round may depend on the answers obtained in the previous $i-1$ rounds. Then, we ask the following question: Does the power of testing algorithms smoothly grow with the number of rounds of adaptivity? We provide a positive answer to the foregoing question by proving an adaptivity hierarchy theorem for property testing. Specifically, our main result shows that for every $n\in \mathbb{N}$ and $0 \le k \le n^{0.99}$ there exists a property $\mathcal{P}_{n,k}$ of functions for which (1) there exists a $k$-adaptive tester for $\mathcal{P}_{n,k}$ with query complexity $ ilde{O}(k)$, yet (2) any $(k-1)$-adaptive tester for $\mathcal{P}_{n,k}$ must make $Ω(n)$ queries. In addition, we show that such a qualitative adaptivity hierarchy can be witnessed for testing natural properties of graphs.

研究の動機と目的

• この論文は、適応的ラウンドの数が増えるにつれて、性質のテストの能力が滑らかに向上するかどうかを調査する。
• 適応性がクエリ複雑性において段階的（離散的ではなく）に改善をもたらすのか、という未解決の問いを解消することを目的としている。
• 著者たちは、適応的ラウンドの数に応じてクエリ複雑性に明確な階層を示す、明示的な性質を構築することを目的としている。
• すべての k ≤ n^0.99 に対して、k-適応的テストは (k−1)-適応的テストよりも厳密に強力であることを示すことを目的としている。
• また、人工的構成物にとどまらず、自然なグラフ性質を用いて、このような階層が存在することを示すことも目的としている。

提案手法

• この論文は、k-適応的テストを、k+1ラウンドにわたりクエリを実行するものとして定義し、各ラウンドのクエリが以前のラウンドの回答に依存するものとする。
• k-適応的テストの計算的パワーを特徴付けるために、意思決定木の階層を導入する。
• 局所的にテスト可能かつ復号可能な符号を用いて、少ない適応的ラウンドではテストが困難な関数を構築する。
• 下界を導出するために、通信複雑性問題（特にスパースな集合の互いに素）から性質のテストへの還元を採用する。
• 意思決定木の複雑さと性質のテストにおけるクエリ複雑さとの関係を示すために、転送補題を活用する。
• グラフ性質の面では、有界次数モデルにおけるサイクルフリー性を用いて、自然で現実的関連性のある性質においても階層が成立することを示している。

実験結果

リサーチクエスチョン

• RQ1 性質のテストの能力は、適応的ラウンドの数が増えるにつれて滑らかに向上するのか、それとも離散的な改善にとどまるのか？
• RQ2 すべての k ≤ n^0.99 に対して、k-適応的テストは (k−1)-適応的テストよりも厳密に強力であるという明確な階層を確立できるか？
• RQ3 人工的構成物にとどまらず、自然なグラフ性質にもこのような適応的ラウンドの階層が存在するか？
• RQ4 通信複雑性の下界を、意思決定木の還元を通じて性質のテストに転送できるか？
• RQ5 ラウンド適応的とテイル適応的テストの間には分離が存在するのか？もしあるならば、そのギャップはどの程度か？

主な発見

• すべての k ≤ n^0.99 に対して、k-適応的テストで Õ(k) クエリでテスト可能な性質 Pn,k が存在する。
• Pn,k に対する任意の (k−1)-適応的テストは Ω(n) クエリを必要とし、連続する適応的レベル間で非定数のギャップが確立される。
• 適応的ラウンドの追加ごとに、クエリ複雑性が非自明に削減されることを示す、厳密で滑らかな適応的階層が成立する。
• この階層は自然なグラフ性質に対しても成立する：有界次数グラフモデルにおけるサイクルフリー性は、同じ挙動を示す。
• ラウンド適応的とテイル適応的テストの間には分離が存在し、後者は k ラウンドで Õ(k) を達成できる前者に対して、Ω(n) クエリを必要とする。
• この結果は、ラウンド数の観点でタイトである。k = n^0.99 を超えると、構成の内在的制限により階層は崩壊する。