[論文レビュー] Testing Intersecting and Union-Closed Families

Xi Chen, Anindya De+3 more|arXiv (Cornell University)|Nov 18, 2023

Machine Learning and Algorithms被引用数 1

ひとこと要約

この論文は、ブール関数における2つの基本的な組み合わせ的性質—共通部分有性と和集合閉性—のクエリ複雑度を調査する。両性質について、強い非適応的クエリ下界を確立し、それらが単調性より著しくテストが難しいことを示し、中央値に近い重みを持つ集合に注目する新しいサンプリングベースのテスト機によって、ほぼタイトな上界を提供する。

ABSTRACT

Inspired by the classic problem of Boolean function monotonicity testing, we investigate the testability of other well-studied properties of combinatorial finite set systems, specifically \emph{intersecting} families and \emph{union-closed} families. A function $f: \{0,1\}^n o \{0,1\}$ is intersecting (respectively, union-closed) if its set of satisfying assignments corresponds to an intersecting family (respectively, a union-closed family) of subsets of $[n]$. Our main results are that -- in sharp contrast with the property of being a monotone set system -- the property of being an intersecting set system, and the property of being a union-closed set system, both turn out to be information-theoretically difficult to test. We show that: $\bullet$ For $ε\geq Ω(1/\sqrt{n})$, any non-adaptive two-sided $ε$-tester for intersectingness must make $2^{Ω(n^{1/4}/\sqrtε)}$ queries. We also give a $2^{Ω(\sqrt{n \log(1/ε)})}$-query lower bound for non-adaptive one-sided $ε$-testers for intersectingness. $\bullet$ For $ε\geq 1/2^{Ω(n^{0.49})}$, any non-adaptive two-sided $ε$-tester for union-closedness must make $n^{Ω(\log(1/ε))}$ queries. Thus, neither intersectingness nor union-closedness shares the $\mathrm{poly}(n,1/ε)$-query non-adaptive testability that is enjoyed by monotonicity. To complement our lower bounds, we also give a simple $\mathrm{poly}(n^{\sqrt{n\log(1/ε)}},1/ε)$-query, one-sided, non-adaptive algorithm for $ε$-testing each of these properties (intersectingness and union-closedness). We thus achieve nearly tight upper and lower bounds for two-sided testing of intersectingness when $ε= Θ(1/\sqrt{n})$, and for one-sided testing of intersectingness when $ε=Θ(1).$

研究の動機と目的

• ブール関数における共通部分有性および和集合閉性の族のテスト可能性を調査すること。
• これらの性質が、単調性と同様に、効率的な非適応的テストアルゴリズムを有するかどうかを特定すること。
• 共通部分有性および和集合閉性のテストにおけるタイトなクエリ複雑度バウンドを確立すること。
• 特に、違反する三つ組および二つ組に関連する、これらの族から遠く離れた関数の構造的性質を調査すること。

提案手法

• 中央値に近いサイズの集合をサンプリングし、違反するペアをチェックする非適応的・片側テスト機を提案する。
• 集中法を活用して、問題を有界重み集合に還元するための切断補題を用いる。
• 共通部分有性から遠い関数における違反ペアの数に対する組合せ的バウンドを用いて、正しさの保証を導出する。
• 和集合閉性の違反三つ組の局所性分析を用いて、構造的補題の設計を支援する。
• 通信複雑度および極値的組合せ論への還元を用いて下界を導出する。特に、反対極ペアおよび対称差のサイズを活用する。
• 確率的解析と等周的および極値的集合論的道具を組み合わせて、タイトなバウンドを確立する。

実験結果

リサーチクエスチョン

• RQ1 非適応的テストにおける共通部分有性ブール関数のクエリ複雑度は何か？
• RQ2 和集合閉性は、単調性と同様に、poly(n, 1/ε) クエリでテスト可能か？
• RQ3 共通部分有性または和集合閉性から遠い関数を特徴付ける構造的特徴は何か？
• RQ4 違反三つ組の局所性が和集合閉性のテスト可能性にどのように影響するか？
• RQ5 違反三つ組の最小局所性を分析することで、よりタイトな下界を確立できるか？

主な発見

• ε ≥ Ω(1/√n) のとき、任意の非適応的両側 ε-テスト機は、2Ω(n1/4/√ε) クエリを必要とする。
• ε ≥ 1/2Ω(n0.49) のとき、任意の非適応的両側 ε-テスト機は、nΩ(log(1/ε)) クエリを必要とする。
• O(n√n log(1/ε)/ε) クエリを用いた片側的非適応的テスト機を構築し、ε = Θ(1/√n) のとき、下界と対数的要因を除いて一致する。
• 和集合閉性に対しても同様の上界、すなわち poly(n√n log(1/ε), 1/ε) を達成し、下界にほぼ一致する。
• 本論文は、共通部分有性および和集合閉性の両方が、単調性テストの poly(n, 1/ε) クエリ複雑度を享受しないことを示している。
• 関数が和集合閉性から遠い場合、局所性が小さい多くの違反三つ組を含むはずだと推測している。これは、より効率的なテスト機の開発に繋がる可能性がある。