[论文解读] 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，以证明超图去除引理。
• 通过[0,1]^{2^k - 1}中有限乘积集的有限方箱逼近，在L1范数下由可测集结构推导出超图正则性引理。
• 引入“超划分采样”作为改进的采样方法，以证明遗传超图性质的可测试性。
• 应用全独立定理与欧几里得对应原理，构造可测代数的可分实现。

实验结果

研究问题

• RQ1 如何利用测度论工具与超积构造重述稠密超图理论？
• RQ2 有限超图序列、超积超图与勒贝格空间中可测集之间的精确对应关系是什么？
• RQ3 能否直接从勒贝格密度等测度论原理推导出超图去除引理？
• RQ4 收敛超图序列的极限对象存在与唯一性的条件是什么？
• RQ5 如何形式化从极限对象出发的采样过程？其表现出何种集中性质？

主要发现

• 超图去除引理由勒贝格密度定理直接导出，应用于极限集W ⊆ [0,1]^{2^k - 1}，非密度点构成零测集。
• 超图正则性引理由W在[0,1]^{2^k - 1}中通过有限乘积集的L1逼近推导得出。
• 收敛超图序列的极限对象存在，其由满足对称群S_k作用不变的可测函数w: [0,1]^{2^k - 2} → [0,1]表示。
• 极限对象W在保测度变换族下唯一，确立了超图密度收敛下的结构唯一性。
• 本文证明了逆计数引理，并展示了超图序列各种收敛概念之间的等价性。
• 提出了一种新的“强收敛”概念，通过将其表述为超图空间中的紧致性原理，强化了正则性引理。