[論文レビュー] Removal lemma for infinitely-many forbidden hypergraphs and property testing

Yoshiyasu Ishigami|ArXiv.org|Dec 21, 2006

Complexity and Algorithms in Graphs参考文献 28被引用数 8

ひとこと要約

本稿は、無限個の禁止 $r$-部 $k$-一様超グラフに対して除去補題を確立し、任意の超グラフが、ある無限族に属する禁止超グラフの多数のコピーを含むか、またはすべての禁止超グラフを含まないように、辺の小さな割合を変更することで達成できることを証明している。この結果は、性質テスト分野における長年の問いに答え、単調かつ部分的性質を有するすべての超グラフ性質が、明示的な定量的境界を備えた新しい超グラフ正則性補題に基づく定数時間アルゴリズムで片側誤差を伴ってテスト可能であることを示している。

ABSTRACT

We give an extension of a graph result by Alon and Shapira. And it affirmatively settles a question on property testing raised by them. All monotone hypergraph properties and all hereditary partite hypergraph properties are testable. Our proof is constructive and based on a new hypergraph regularity lemma.

研究の動機と目的

• アロンとシャピラ（2005）が提起した、すべての単調かつ部分的超グラフ性質が片側誤差を伴ってテスト可能かどうかという問いに答えること。
• 禁止超グラフの有限族に限らない、サイズ $h \to \infty$ でインデックス化された無限族への超グラフ除去補題の拡張。
• 性質の彩色数を用いた定量的境界を確立し、アルゴリズムの効率性と正しさを保証すること。
• すべての禁止部分超グラフを除去するために、$\varepsilon \binom{r}{k} N^k$ の辺のみを編集する定数時間の確率的アルゴリズムの開発。
• 『見えない』辺や複数色を含む超グラフを含め、非誘導部分超グラフも許容するように、除去補題を一般化すること。

提案手法

• 明確な構成と単純な証明を備えた新しい超グラフ正則性補題を用い、密度および彩色条件に対する精密な制御を可能にしている。
• 色配置の密度を測るための彩色数 $c_i({\bf H})$ を定義し、禁止部分超グラフの数を制限するために用いている。
• 禁止超グラフ $F^*$ の $((b'_i)_i, (g_I)_I)$-彩色可能性を保証する単体的複体 $S^*$ を構成し、部分間の構造的一致性を確保している。
• 還元超グラフ ${\bf H}'$ から元の ${\bf H}/\vec{\psi}$ への配置を移すために、写像 $\vartheta$ を用い、密度および正則性を保存している。
• $(*, *, \epsilon^{1/3})$-普通性の概念を用いて、摂動に対して密度推定が安定することを保証し、確率的数え上げを可能にしている。
• 確率的埋め込み $\phi \in \Phi(h_0)$ を用いて、$\bf G$ における $F^*$ のコピーの期待数を数え、$r, k, \vec{b}, \varepsilon, \mathcal{F}$ のみに依存する正の下界を示している。

実験結果

リサーチクエスチョン

• RQ1 禁止超グラフの有限族に限らない、無限族への超グラフ除去補題の拡張は可能か？
• RQ2 すべての単調または部分的 $r$-部超グラフ性質は、定数時間で片側誤差を伴ってテスト可能か？
• RQ3 無限族の場合に、すべての禁止部分超グラフを除去するために必要な辺の変更回数に対する定量的境界を確立できるか？
• RQ4 正則性補題は、複数色や『見えない』辺を含む超グラフ、非誘導部分超グラフも含めて扱えるようにどのように適合できるか？
• RQ5 小さな変更ではすべての禁止部分超グラフが除去されない場合、$h \leq h_0$ を満たす $F \in \mathcal{F}_h$ の多くが存在しなければならない最小の数 $h_0$ は何か？

主な発見

• 任意の $\varepsilon > 0$ に対して、定数 $c > 0$ と $h_0$ が存在し、任意の $N$ 頂点の $k$-一様 $r$-部超グラフは、$\mathcal{F}$ に属するすべての禁止超グラフを避けるために、$\varepsilon \binom{r}{k} N^k$ 以下の辺を変更すればよい、あるいは $h \leq h_0$ を満たすある $F \in \mathcal{F}_h$ のコピーが少なくとも $c N^{r h}$ 個存在する。
• $\bf G$ における禁止超グラフ $F^* \in \mathcal{F}_{h_0}$ のコピー数は、$r, k, \vec{b}, \varepsilon, \mathcal{F}$ のみに依存する正の定数で下から抑えられており、密度推定と正則性条件から導出される。
• 下界は彩色数および $(*, *, \epsilon^{1/3})$-普通性条件を介して定量的に制御されており、小さな摂動に対しても安定性が保証されている。
• 証明により、1つの禁止部分超グラフの存在が、$N$ とは独立に有界な $h_0$ を持つ小さな禁止超グラフ $F^*$ の多数のコピーの存在を示唆している。
• 性質テストのためのアルゴリズムは定数時間で動作し、$O(\varepsilon^{-1})$ 個のクエリのみを用い、片側誤差を持つ。これにより、すべての部分的超グラフ性質がテスト可能であることが確認された。
• この結果は、複数色や『見えない』辺を含む超グラフ、および非等しい部集合サイズを許容するように一般化されており、より自然かつ広範に適用可能な枠組みとなっている。