[论文解读] Norm convergence of multiple ergodic averages for commuting transformations

Terence Tao|ArXiv.org|Jul 8, 2007

Limits and Structures in Graph Theory参考文献 18被引用 21

一句话总结

该论文通过一种有限的、组合的方法，受超图正则性启发，建立了概率空间上交换保测度变换的多重遍历平均的范数收敛性。关键结果是：对于所有 $ f_i \in L^\infty $，平均值 $\frac{1}{N}\sum_{n=0}^{N-1} f_1(T_1^n x)\cdots f_l(T_l^n x)$ 在 $L^2$ 中收敛，该结果在无需额外遍历性假设的情况下推广了先前的结果。

ABSTRACT

Let $T_1, ..., T_l: X o X$ be commuting measure-preserving transformations on a probability space $(X, \X, μ)$. We show that the multiple ergodic averages $\frac{1}{N} \sum_{n=0}^{N-1} f_1(T_1^n x) ... f_l(T_l^n x)$ are convergent in $L^2(X,\X,μ)$ as $N o \infty$ for all $f_1,...,f_l \in L^\infty(X,\X,μ)$; this was previously established for $l=2$ by Conze and Lesigne and for general $l$ assuming some additional ergodicity hypotheses on the maps $T_i$ and $T_i T_j^{-1}$ by Frantzikinakis and Kra (with the $l=3$ case of this result established earlier by Zhang). Our approach is combinatorial and finitary in nature, inspired by recent developments regarding the hypergraph regularity and removal lemmas, although we will not need the full strength of those lemmas. In particular, the $l=2$ case of our arguments are a finitary analogue of those of Conze and Lesigne.

研究动机与目标

• 在不施加额外遍历性假设的前提下，建立交换保测度变换下多重遍历平均的范数收敛性。
• 提供收敛结果的有限、组合化证明，避免使用传统的遍历理论中的特征因子构造。
• 证明收敛性在 $L^2$ 拓扑稳定性意义下是稳定的，且界限与底层空间大小无关。
• 将结果的应用范围扩展至一般的 $L^\infty$ 函数，并通过对偶性推广至满足适当可积性条件的 $L^p$ 函数。
• 证明有限版本的收敛结果可通过反向福尔斯特伯格对应原理推出无穷版本的遍历定理。

提出的方法

• 采用有限方法，将一般的保测度系统替换为有限阿贝尔群 $\mathbf{Z}_P^l$，配备均匀测度和标准平移 $T_i x = x + e_i$。
• 在 $\mathbf{Z}_P^l$ 上定义有限多重平均 $A_N(f_1,\ldots,f_l)(a) = \mathbf{E}_{n \in [N]} \prod_{i=1}^l f_i(a + n e_i)$。
• 证明一个拓扑稳定性结果：对任意 $\varepsilon > 0$ 和函数 $F: \mathbf{N} \to \mathbf{N}$，存在 $M^* < \infty$，使得对所有 $P$，存在 $M \leq M^*$，满足对所有 $M \leq N,N' \leq F(M)$，有 $\|A_N - A_{N'}\|_{L^2} \leq \varepsilon$。
• 通过在 $[0,1]^{\mathbf{N}^2}$ 上的概率测度上使用弱紧致性论证，从稳定性失败中导出矛盾，依赖于弱收敛性和可数次可加性。
• 应用有限版本的控制收敛定理（定理 A.2），以消除对辅助概率空间的依赖。
• 利用基于伪度量的稳定性结果（定理 A.1）的逆否命题，推导出一个不依赖于 $P$ 的统一拓扑稳定性阈值 $M^*$。

实验结果

研究问题

• RQ1 在不假设 $T_i$ 或 $T_i T_j^{-1}$ 的个体遍历性时，是否可以建立交换变换下多重遍历平均的范数收敛性？
• RQ2 是否存在一种有限的、组合化的证明方法，避免使用特征因子构造？
• RQ3 能否通过一个与环境空间大小无关的 $L^2$ 拓扑稳定性估计来量化收敛性？
• RQ4 有限版本的收敛结果如何推出无穷版本的遍历定理？
• RQ5 从反向数学和证明论有限化角度，收敛陈述的逻辑强度为何？

主要发现

• 即使在无额外遍历性假设下，对所有 $f_1,\ldots,f_l \in L^\infty(X,\mathcal{X},\mu)$，多重遍历平均 $\frac{1}{N}\sum_{n=0}^{N-1} f_1(T_1^n x)\cdots f_l(T_l^n x)$ 仍在 $L^2(X,\mathcal{X},\mu)$ 中收敛。
• 该结果的有限版本保证了 $L^2$ 拓扑稳定性：对任意 $\varepsilon > 0$ 和函数 $F$，存在 $M^*$，使得对所有 $P$，存在某个 $M \leq M^*$，满足对所有 $N,N' \in [M, F(M)]$，有 $\|A_N - A_{N'}\|_{L^2} \leq \varepsilon$。
• $M^*$ 仅依赖于 $\varepsilon$ 和 $F$，不依赖于 $P$，因此在所有有限群 $\mathbf{Z}_P^l$ 上均保持统一。
• 证明通过反向对应关系，从一个有限的组合命题推导出无穷版本的遍历结果，避免了直接使用特征因子。
• 在条件 $\frac{1}{p} \geq \sum_{i=1}^l \frac{1}{p_i}$ 下，结果可通过 Hölder 不等式和极限论证推广至 $L^p$ 函数。
• 收敛陈述的逻辑强度与算术 comprehension 公理 $(ACA)$ 相关，表明有效界限很可能极差。