[論文レビュー] A measure-theoretic approach to the theory of dense hypergraphs

Gábor Elek, Balázs Szegedy|ArXiv.org|Oct 22, 2008

Limits and Structures in Graph Theory参考文献 11被引用数 15

ひとこと要約

本稿は、超有限グラフ列、測度的集合、およびルベーグ測度空間の間の対応原理を用いて、稠密なハイパーグラフの測度論的枠組みを導入する。この枠組みにより、ハイパーグラフの正則性、除去、数え上げの補題に対する新しい解析的基盤を確立し、極限対象が測度を保つ変換を除いて一意に存在することを示し、極値組合せ論における主要な結果について新たな証明と強化を提供する。

ABSTRACT

In this paper we develop a measure-theoretic method to treat problems in hypergraph theory. Our central theorem is a correspondence principle between three objects: An increasing hypergraph sequence, a measurable set in an ultraproduct space and a measurable set in a finite dimensional Lebesgue space. Using this correspondence principle we build up the theory of dense hypergraphs from scratch. Along these lines we give new proofs for the Hypergraph Removal Lemma, the Hypergraph Regularity Lemma, the Counting Lemma and the Testability of Hereditary Hypergraph Properties. We prove various new results including a strengthening of the Regularity Lemma and an Inverse Counting Lemma. We also prove the equivalence of various notions for convergence of hypergraphs and we construct limit objects for such sequences. We prove that the limit objects are unique up to a certain family of measure preserving transformations. As our main tool we study the integral and measure theory on the ultraproduct of finite measure spaces which is interesting on its own right.

研究の動機と目的

• 有限測度空間の超積を用いて稠密なハイパーグラフの測度論的枠組みを構築すること。
• 有限ハイパーグラフ列、超積空間内の可測集合、およびルベーグ空間内の可測集合の間の対応原理を確立すること。
• ハイパーグラフ理論の基本的結果、特にハイパーグラフ除去補題と正則性補題に対する新しい解析的証明を提供すること。
• 収束するハイパーグラフ列の極限対象を特徴付け、それが測度を保つ変換を除いて一意であることを示すこと。
• 極限対象からのサンプリングプロセスを導入・分析し、濃度とテスト可能性に関する結果を証明すること。

提案手法

• 有限測度空間の超積を用いて、非分離な確率空間内に極限対象を構成する。
• k-一様ハイパーグラフ列、超積空間内の可測集合、および[0,1]^{2^k - 1}内の可測集合の間の対応原理を確立する。
• 極限集合Wにルベーグの密度定理を適用して、ハイパーグラフ除去補題を証明する。
• L1における有限ボックス近似を用いて、可測集合の構造からハイパーグラフ正則性補題を導出する。
• ハイパーグラフ性質のテスト可能性を証明するために、『ハイパーグラフ分割サンプリング』を導入する。
• 全独立定理とユークリッド的対応原理を適用して、可測代数の分離的実現を構成する。

実験結果

リサーチクエスチョン

• RQ1 稠密なハイパーグラフの理論は、測度論的道具と超積構成を用いてどのように再表現できるか？
• RQ2 有限ハイパーグラフ列、超積ハイパーグラフ、およびルベーグ空間内の可測集合との間の正確な対応関係は何か？
• RQ3 ルベーグの密度定理を用いて、ハイパーグラフ除去補題を直接的に導出できるか？
• RQ4 収束するハイパーグラフ列の極限対象の存在と一意性を保証する条件は何か？
• RQ5 極限対象からのサンプリングはどのように形式化できるか？また、それらにどのような濃度特性が見られるか？

主な発見

• ハイパーグラフ除去補題は、極限集合W ⊆ [0,1]^{2^k - 1}にルベーグの密度定理を適用することで直接的に証明され、非密度点は測度ゼロの集合をなす。
• ハイパーグラフ正則性補題は、[0,1]^{2^k - 1}内での有限個の積集合の和集合によるWの有限L1近似から導出される。
• 収束するハイパーグラフ列の極限対象は存在し、対称群S_kの作用に関して不変な可測関数w: [0,1]^{2^k - 2} → [0,1]として表現される。
• 極限対象Wは測度を保つ変換の族を除いて一意であるため、ハイパーグラフ密度における収束に関して構造的の一意性が確立される。
• 本稿では逆数え上げ補題を証明し、ハイパーグラフ列のさまざまな収束概念の同値性を示している。
• 収束性の強化として、ハイパーグラフ空間におけるコンパクト性原理として正則性補題を再定式化した、新しい『強い収束』の概念を導入している。