[论文解读] A correspondence principle between (hyper)graph theory and probability theory, and the (hyper)graph removal lemma

Terence Tao|ArXiv.org|Feb 2, 2006

Limits and Structures in Graph Theory参考文献 19被引用 8

一句话总结

本文通过概率论建立有限超图与无限随机超图之间的对应原理，实现了不依赖超图正则性引理的超图去除引理的无穷论证证明。该方法借助无限概率空间中的完美正则性，简化了Szemerédi定理及相关结果的现有证明。

ABSTRACT

We introduce a correspondence principle (analogous to the Furstenberg correspondence principle) that allows one to extract an infinite random graph or hypergraph from a sequence of increasingly large deterministic graphs or hypergraphs. As an application we present a new (infinitary) proof of the hypergraph removal lemma of Nagle-Schacht-Rödl-Skokan and Gowers, which does not require the hypergraph regularity lemma and requires significantly less computation. This in turn gives new proofs of several corollaries of the hypergraph removal lemma, such as Szemerédi's theorem on arithmetic progressions.

研究动机与目标

• 通过概率理论工具，建立有限超图序列与无限随机超图之间的对应关系。
• 提供一种替代性的、无穷论证的超图去除引理证明，避免使用超图正则性引理。
• 展示该对应关系如何简化Szemerédi定理及相关组合结果的证明。
• 探讨无穷概率模型与有限组合定理之间的联系，特别是在等差数列的背景下。
• 阐明该方法在证明强于当前范围的重复定理时的局限性与潜力。

提出的方法

• 利用具有不变σ-代数的概率空间，将有限超图序列的弱极限构造为无限随机超图。
• 应用一种针对超图和概率论改进的Furstenberg对应原理。
• 应用新的无穷正则性定理（定理4.2），在概率空间中寻找近似原始可测集的正则事件。
• 利用无限设定下σ-代数的不变性与相对独立性，实现完美正则性（ε = 0）。
• 通过条件化于对角测度（例如，n₃₀ = n₁₀ + n₂₀）来导出反证法，利用对角测度相对于乘积测度的奇异性。
• 使用贝叶斯公式和测度论论证，控制条件概率，并在正测度假设被违反时导出矛盾。

实验结果

研究问题

• RQ1 能否在有限超图与无限随机超图之间建立一种保持组合结构的对应原理？
• RQ2 能否通过无穷概率框架，在不使用超图正则性引理的情况下证明超图去除引理？
• RQ3 无穷概率模型在多大程度上能简化有限组合证明，特别是Szemerédi型定理的证明？
• RQ4 该方法在证明更强的重复定理（如Bergelson-Leibman多项式重复定理或IP-Szemerédi定理）方面存在哪些局限性？
• RQ5 对角测度的奇异性如何影响条件概率论证中零测度事件与空事件的行为？

主要发现

• 对应原理成功地将有限超图序列映射到具有不变且独立σ-代数的概率空间中的无限随机超图。
• 超图去除引理的无穷论证证明避免了超图正则性引理，转而依赖于无限设定下的完美正则性。
• 通过证明在对角约束下三元事件的条件概率必须同时为零且等于原始测度，导出了矛盾，从而得出η < 3η/5。
• 该方法为Szemerédi关于等差数列的定理提供了新证明，因为超图去除引理蕴含该结果。
• 该方法凸显了在测度变化下空交集的鲁棒性，这对在奇异条件测度中保持控制至关重要。
• 该技术表明，通过将ε设为零并将大参数设为无穷，某些有限结果可在无穷设定下更清晰地证明。