[论文解读] Deducing the multidimensional Szemeredi Theorem from the infinitary hypergraph removal lemma

Tim Austin|arXiv (Cornell University)|Aug 16, 2008

Limits and Structures in Graph Theory参考文献 4被引用 1

一句话总结

本文通过利用无穷图移除引理，提出了一种新的多维Szemerédi定理的证明，绕过了Furstenberg-Katznelson原始方法中复杂的因子塔分析。通过将系统扩展至一个较大的扩展系统，并应用Tao的无穷方法，作者在图移除与遍历理论中的多重重复之间建立了直接联系，从而简化了证明框架。

ABSTRACT

We offer a new proof of the Furstenberg-Katznelson multiple recurrence theorem for several commuting probability-preserving transformations T_1, T_2, >..., T_d: \bbZ\curvearrowright (X,§,\mu), and so, via the Furstenberg correspondence principle introduced in, a new proof of the multi-dimensional Szemeredi Theorem. We bypass the careful manipulation of certain towers of factors of a probability-preserving system that underlies the Furstenberg-Katznelson analysis, instead modifying an approach recently developed for the study of convergence of nonconventional ergodic averages to pass to a large extension of our original system in which this analysis greatly simplifies. The proof is then completed using an adaptation of arguments developed by Tao for his study of an infinitary analog of the hypergraph removal lemma. In a sense, this addresses the difficulty, highlighted by Tao, of establishing a direct connection between his infinitary, probabilistic approach to the hypergraph removal lemma and the infinitary, ergodic-theoretic approach to Szemeredi's Theorem set in motion by Furstenberg.

研究动机与目标

• 为Furstenberg-Katznelson的交换变换多重重复定理提供一种简化的证明。
• 消除先前遍历理论证明中对复杂因子塔分解的依赖。
• 弥合Tao的无穷图移除引理与Szemerédi定理的遍历理论方法之间的鸿沟。
• 证明概率保测系统的大扩展可简化对交换变换多重重复的分析。

提出的方法

• 作者将原始概率保测系统扩展至一个较大的扩展系统，以简化重复问题的结构。
• 他们应用一种新近发展的方法来分析非典型遍历平均，以促进扩展过程。
• 该证明改编了Tao的无穷图移除引理中的技术，以处理多维重复结构。
• 该方法通过依赖扩展系统中的结构简化，避免了显式的因子塔构造。
• 作者使用Furstenberg对应原理，将遍历理论结果转化为组合命题。
• 最终论证依赖于无穷概率推理，以确立所期望配置的存在性。

实验结果

研究问题

• RQ1 是否可以在不构建遍历系统中复杂因子塔的情况下证明多维Szemerédi定理？
• RQ2 Tao的无穷图移除引理与Szemerédi定理的遍历理论证明之间是否存在直接联系？
• RQ3 测度保测系统的大扩展是否可简化对交换变换多重重复的分析？
• RQ4 Tao的无穷图方法如何被改编，以给出Furstenberg-Katznelson定理的新证明？
• RQ5 在扩展系统中出现何种结构简化，使得多重重复的直接证明成为可能？

主要发现

• 本文建立了一种新的多维Szemerédi定理的证明，避免了Furstenberg与Katznelson所采用的详细因子塔分析。
• 通过进入大扩展，作者简化了重复结构，使图移除技术的应用更加直接。
• 该方法成功地将Tao的无穷图移除引理与Furstenberg对应原理的遍历理论框架联系起来。
• 该证明表明，扩展系统中的结构简化可替代递归因子分解的需要。
• 该方法为概率无穷方法与经典遍历理论重复之间提供了概念上的桥梁。
• 结果证实，图移除引理可应用于遍历理论语境，以导出组合数论定理。