[论文解读] Seminorms for multiple averages along polynomials and applications to joint ergodicity

Sebastián Donoso, Andreas Koutsogiannis+1 more|arXiv (Cornell University)|Feb 26, 2019

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

一句话总结

本文利用陶和齐格尔最近提出的连接定理，为具有交换变换的系统中沿多项式轨道的多重遍历平均建立了显式的特征因子。该研究为序列 $(T_1^{p_{1,j}(n)} \cdots T_d^{p_{d,j}(n)})_{n \in \mathbb{Z}}$ 的联合遍历性提供了充分条件，解决了贝尔盖松关于交换系统中多项式序列联合遍历性的问题。

ABSTRACT

Exploiting the recent work of Tao and Ziegler on a concatenation theorem on factors, we find explicit characteristic factors for multiple averages along polynomials on systems with commuting transformations, and use them to study criteria of joint ergodicity for sequences of the form $(T^{p_{1,j}(n)}_{1}\cdot\ldots\cdot T^{p_{d,j}(n)}_{d})_{n\in\mathbb{Z}},$ $1\leq j\leq k$, where $T_{1},\dots,T_{d}$ are commuting measure preserving transformations on a probability measure space and $p_{i,j}$ are integer polynomials. To be more precise, we provide a sufficient condition for such sequences to be jointly ergodic, giving also a characterization for sequences of the form $(T^{p(n)}_{i})_{n\in\mathbb{Z}}, 1\leq i\leq d$ to be jointly ergodic, answering a question due to Bergelson.

研究动机与目标

• 为具有交换保测变换的系统中沿多项式轨道的多重遍历平均，识别显式的特征因子。
• 将霍斯特-克勒范数理论推广至多重交换变换和多项式序列。
• 为在交换变换下由整系数多项式生成的序列提供联合遍历性的充分条件。
• 解决贝尔盖松关于交换系统中多项式序列联合遍历性的问题。
• 利用陶和齐格尔最近提出的连接定理，构建控制多重平均 $L^2$-范数的因子层级结构。

提出的方法

• 利用陶和齐格尔的连接定理，分析尼尔斯系统中因子的交集及其在多项式序列下的行为。
• 引入一组层级范数——推广霍斯特-克勒范数——以控制沿多项式路径的多重平均的 $L^2$-范数。
• 使用福尔纳序列的递归逼近方法，将平均的范数简化为有限个因子平均的组合。
• 应用抽屉原理，识别参数空间中有限组方向，以捕捉多项式序列的本质动力学。
• 利用有理张成空间与整数格点交集的结构，将极限因子表征为尼尔斯系统的推广。
• 建立有限多指标元组的可接受性条件，以确保逼近平均在 $L^2$ 中收敛。

实验结果

研究问题

• RQ1 在具有交换变换的系统中，沿多项式轨道的多重遍历平均的特征因子是什么？
• RQ2 序列 $(T_1^{p_{1,j}(n)} \cdots T_d^{p_{d,j}(n)})_{n \in \mathbb{Z}}$ 在何种条件下是联合遍历的？
• RQ3 如何利用陶和齐格尔最近提出的连接定理分析多重交换系统中多重平均的结构？
• RQ4 霍斯特-克勒范数能否推广至控制涉及多重交换变换和多项式序列的多重平均？
• RQ5 尼尔斯系统及其推广在表征此类多重平均极限时起着何种精确作用？

主要发现

• 本文建立了交换系统中多项式序列联合遍历性的充分条件，推广了已知的线性序列结果。
• 对形式为 $(T^{p(n)}_i)_{n \in \mathbb{Z}}$，$1 \leq i \leq d$ 的序列，提供了联合遍历性的完整表征，回答了贝尔盖松提出的问题。
• 沿多项式的多重平均的 $L^2$-范数被有限个与系统特征因子相关的霍斯特-克勒范数所控制。
• 作者证明：若平均在某一特定因子上限制的 $L^2$-极限为零，则整个平均在 $L^2$-范数下收敛于零。
• 证明依赖于使用福尔纳序列的有限逼近方法，以及有限多指标元组的可接受性条件，以控制极限中的误差。
• 关键结构结果为：与多项式方向相关的某些因子代数的交集包含相关的特征因子，从而确保收敛性。