[論文レビュー] On the testability and repair of hereditary hypergraph properties

Tim Austin, Terence Tao|ArXiv.org|Jan 14, 2008

Limits and Structures in Graph Theory参考文献 30被引用数 39

ひとこと要約

この論文は、非巡回的超グラフの性質に対するテスト可能性と局所的修復可能性の結果を、より広範な設定、特に有向および多色超グラフにまで拡張する。一方で、Ramsey理論的制約により、有向グラフおよび3-一様超グラフでは局所的修復可能性が成立しないという明確な限界を特定する。また、無向グラフおよび特定の超グラフクラスが、有界なクエリ複雑性を持つ局所的修復アルゴリズムを備えていることを確立する。

ABSTRACT

Recent works of Alon-Shapira and Rödl-Schacht have demonstrated that every hereditary property of undirected graphs or hypergraphs is testable with one-sided error; informally, this means that if a graph or hypergraph satisfies that property "locally" with sufficiently high probability, then it can be perturbed (or "repaired") into a graph or hypergraph which satisfies that property "globally". In this paper we make some refinements to these results, some of which may be surprising. In the positive direction, we strengthen the results to cover hereditary properties of multiple directed polychromatic graphs and hypergraphs. In the case of undirected graphs, we extend the result to continuous graphs on probability spaces, and show that the repair algorithm is "local" in the sense that it only depends on a bounded amount of data; in particular, the graph can be repaired in a time linear in the number of edges. We also show that local repairability also holds for monotone or partite hypergraph properties (this latter result is also implicitly in work of Ishigami). In the negative direction, we show that local repairability breaks down for directed graphs, or for undirected 3-uniform hypergraphs. The reason for this contrast in behavior stems from (the limitations of) Ramsey theory.

研究の動機と目的

• 非巡回的グラフおよび超グラフ性質のテスト可能性と局所的修復可能性を、有向、多色、非一様超グラフへ一般化すること。
• グラフが局所的情報のみを用いて修復可能であるという局所的修復可能性—これが無向グラフを超えて成立するかを調査すること。
• 特にRamsey理論が根本的な障害をもたらす設定において、局所的修復可能性の正確な境界を特定すること。
• 測度論的還元を介して、無限大の交換可能なランダム超グラフと有限の修復可能性との間に接続を確立すること。
• 単調性または部分的超グラフ性質において、非一様設定でも局所的修復可能性が保たれることを示すこと。

提案手法

• 確率空間上の交換可能なランダム超グラフを用いた無限大的手法を用い、大規模な超グラフの構造的性質を分析する。
• 測度論的道具、特に確率核の絶対連続性およびε-絶対連続性を用いて、部分Cantor空間上の測度を比較する。
• 確率核の合成および積演算を用い、超グラフ構造における局所的摂動および還元をモデル化する。
• より細かい分割の列を用いて、単位測度の離散化に帰着させることで、有限の修復可能性を還元する。
• 測度核の族(νₖ)および可測集合(Xₖ, ζ≤ₖ)を構成し、対角測度の近似と収束の保証を行う。
• 分離および近似絶対連続性を用いて、修復プロセスにおける誤差を制御し、所望の性質への収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 局所的修復可能性は、有向グラフおよび3-一様超グラフの非巡回的性質へ拡張可能か？
• RQ2 有向グラフおよび3-一様超グラフにおける局所的修復可能性の失敗を引き起こす構造的または組合せ的障害は何か？
• RQ3 交換可能なランダム超グラフの無限大モデルは、有限超グラフにおける有限の修復可能性をどの程度反映するか？
• RQ4 単調性および部分的性は、超グラフ性質の局所的修復可能性にどのような影響を及ぼすか？
• RQ5 Ramsey理論は、超グラフ性質テストにおける局所的修復アルゴリズムの適用範囲を制限する役割を果たすか？

主な発見

• 非巡回的性質を有する無向グラフおよび特定の超グラフクラス（単調および部分的超グラフ性質を含む）では、局所的修復可能性が成立する。
• 無向グラフの修復アルゴリズムは局所的であり、辺の数に比例する線形時間で実行され、有界な局所的データのみに依存する。
• 有向グラフでは、局所的再構築が不可能な構造的制約が本質的に存在するため、局所的修復可能性は成立しない。
• 3-一様超グラフでは、局所的修復可能性の失敗はRamsey理論の制限に起因し、一様な局所的修復ルールの存在を妨げる。
• 本論文は、複数の有向多色超グラフの非巡回的性質が、片側誤差でテスト可能であることを確立し、先行研究を拡張する。
• 交換可能なランダム超グラフの構造定理を証明し、このような測度が有限部分構造上の周辺分布によって決定されることを示す。