[论文解读] Multiple recurrence and the structure of probability-preserving systems

Timothy Derek Austin|arXiv (Cornell University)|Jun 2, 2010

Limits and Structures in Graph Theory参考文献 40被引用 10

一句话总结

本文建立了非典型遍历平均的范数收敛性，并证明了交换保测度变换下的多重重复定理，为保概率系统提供了结构性框架。它解决了Bergelson-Leibman关于多项式非典型平均的猜想中的关键情形，并通过无穷图移除法证明了密度Hales-Jewett定理，通过satedness和结合结构推进了遍历系统的分类。

ABSTRACT

In 1975 Szemerédi proved the long-standing conjecture of Erdős and Turán that any subset of $\bbZ$ having positive upper Banach density contains arbitrarily long arithmetic progressions. Szemerédi's proof was entirely combinatorial, but two years later Furstenberg gave a quite different proof of Szemerédi's Theorem by first showing its equivalence to an ergodic-theoretic assertion of multiple recurrence, and then bringing new machinery in ergodic theory to bear on proving that. His ergodic-theoretic approach subsequently yielded several other results in extremal combinatorics, as well as revealing a range of new phenomena according to which the structures of probability-preserving systems can be described and classified. In this work I survey some recent advances in understanding these ergodic-theoretic structures. It contains proofs of the norm convergence of the `nonconventional' ergodic averages that underly Furstenberg's approach to variants of Szemerédi's Theorem, and of two of the recurrence theorems of Furstenberg and Katznelson: the Multidimensional Multiple Recurrence Theorem, which implies a multidimensional generalization of Szemerédi's Theorem; and a density version of the Hales-Jewett Theorem of Ramsey Theory.

研究动机与目标

• 建立Furstenberg在Szemerédi型定理研究中提出的非典型遍历平均的范数收敛性。
• 证明多维多重重复定理及其组合推论，包括Hales-Jewett定理的密度版本。
• 利用satedness、幂等类和Furstenberg自结合构造，发展保概率系统的结构性理论。
• 为高秩系统中结合结构的一般猜想提供证据，特别是涉及nilsystems和部分不变子群的情形。
• 为通过结构遍历理论解决Bergelson-Leibman关于多项式非典型平均的猜想奠定基础。

提出的方法

• 使用van der Corput估计和Furstenberg自结合技术，分析L^2中交换保测度系统中非典型平均的收敛性。
• 应用无穷图移除引理证明多维情形下的重复性并推导组合结果。
• 利用sated系统和幂等类控制结合测度的结构并确保收敛性。
• 利用Host-Kra关于特征因子和nilsystems的理论，描述多重遍历平均的极限行为。
• 构造因子映射，并利用相对于最大nilsystems的相对独立性，分析交换变换的结合。
• 改编[HK05]、[Zie07]和[CFH]的方法，在一般位置假设下分析部分不变系统结合的结构。

实验结果

研究问题

• RQ1 在何种条件下，交换保测度系统中非典型遍历平均在L^2中收敛？
• RQ2 对于多个交换变换，Furstenberg自结合的结构是怎样的？它与特征因子有何关系？
• RQ3 无穷图移除引理如何应用于证明Ramsey理论型定理（如Hales-Jewett定理）的密度版本？
• RQ4 satedness在控制结合结构和确保平均收敛性方面起什么作用？
• RQ5 在涉及线性无关子群的情况下，关于部分不变系统结合的一般猜想在多大程度上可以被证明？

主要发现

• 对任意有限个交换保测度变换的集合，建立了非典型平均的范数收敛性。
• 证明了多维多重重复定理，其蕴含Szemerédi定理的多维推广。
• 通过对应原理和无穷图移除法，导出了Hales-Jewett定理的密度版本。
• 证明了在一般位置下，四个交换变换的Furstenberg自结合相对于特定因子（包括nilsystems和变换相等性）是相对独立的。
• 为部分不变系统结合的一般结构性猜想提供了证据，特别情形通过sated扩张和幂零群结构得以证明。
• 所发展的方法支持Bergelson-Leibman猜想关于多项式非典型平均的潜在解决，特别是在低秩情形下。