[论文解读] Uniformity seminorms on $\ell^\infty$ and applications

Bryna Kra, Bernard Host|ArXiv.org|Nov 22, 2007

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

一句话总结

本文引入了 $ℓ^∞(\mathbb{Z})$ 上的均匀性半范数，其类比于 Gowers 范数与遍历半范数，建立了将有界序列与尼尔序列联系起来的逆定理。证明了与尼尔序列的相关性受其对偶范数的上界控制，并将该框架应用于推导遍历定理，包括 Wiener-Wintner 定理的尼尔序列推广版本以及加权多重遍历收敛结果。

ABSTRACT

A key tool in recent advances in understanding arithmetic progressions and other patterns in subsets of the integers is certain norms or seminorms. One example is the norms on $\Z/N\Z$ introduced by Gowers in his proof of Szemerédi's Theorem, used to detect uniformity of subsets of the integers. Another example is the seminorms on bounded functions in a measure preserving system (associated to the averages in Furstenberg's proof of Szemerédi's Theorem) defined by the authors. For each integer $k\geq 1$, we define seminorms on $\ell^\infty(\Z)$ analogous to these norms and seminorms. We study the correlation of these norms with certain algebraically defined sequences, which arise from evaluating a continuous function on the homogeneous space of a nilpotent Lie group on a orbit (the nilsequences). Using these seminorms, we define a dual norm that acts as an upper bound for the correlation of a bounded sequence with a nilsequence. We also prove an inverse theorem for the seminorms, showing how a bounded sequence correlates with a nilsequence. As applications, we derive several ergodic theoretic results, including a nilsequence version of the Wiener-Wintner ergodic theorem, a nil version of a corollary to the spectral theorem, and a weighted multiple ergodic convergence theorem.

研究动机与目标

• 在 $\ell^\infty(\mathbb{Z})$ 上定义类比于 Gowers 范数与遍历半范数的 $k$-步均匀性半范数，用于有界序列。
• 建立一个逆定理，表明具有非零半范数的有界序列会与尼尔序列相关联。
• 定义一个对偶范数，使其对任意 $k$-步尼尔序列与有界序列之间的相关性提供上界。
• 将该半范数框架应用于推导新的遍历定理，包括经典结果的尼尔序列版本。

提出的方法

• 通过在 $k$-维立方体上的平行多面体平均值，定义 $\ell^\infty(\mathbb{Z})$ 上的 $k$-步均匀性半范数 $\lvert\!|\!|f|\!|\!\rvert_k$。
• 构造一个对偶范数 $\lvert\!|\!|\cdot|\!|\!\rvert_k^*$，用以控制有界序列与任意 $k$-步尼尔序列之间的相关性。
• 利用尼尔斯系统与尼尔流形的结构，通过齐性空间上的不变测度分析这些半范数的行为。
• 证明半范数 $\lvert\!|\!|f|\!|\!\rvert_k = 0$ 当且仅当 $f = 0$，从而确立该半范数在尼尔流形上连续函数空间中为真正的范数。
• 利用 $k$-重平行多面体系统与尼尔流形系统之间的同构关系，将遍历性质进行转移。
• 通过条件期望将问题约化为尼尔斯系统，从而应用半范数框架证明收敛定理。

实验结果

研究问题

• RQ1 如何在 $\ell^\infty(\mathbb{Z})$ 上定义类比于 Gowers 范数的均匀性半范数，以捕捉与遍历理论和组合数学中类似代数结构？
• RQ2 具有非零均匀性半范数的有界序列与尼尔序列之间的确切关系是什么？
• RQ3 能否构造一个对偶范数，使其对任意 $k$-步尼尔序列与有界序列之间的相关性提供上界？
• RQ4 利用该新半范数框架，可以推导出哪些遍历定理，特别是经典结果向尼尔序列的推广？
• RQ5 尼尔斯系统与尼尔流形的代数结构如何支撑这些半范数的结构定理与逆定理？

主要发现

• 均匀性半范数 $\lvert\!|\!|f|\!|\!\rvert_k$ 是 $k$-步尼尔流形上连续函数空间上的范数，仅在零函数时为零。
• 有界序列 $f \in \ell^\infty(\mathbb{Z})$ 与 $k$-步尼尔序列相关联，当且仅当 $\lvert\!|\!|f|\!|\!\rvert_k > 0$，从而确立了逆定理。
• 对偶范数 $\lvert\!|\!|\cdot|\!|\!\rvert_k^*$ 为 $f$ 与任意 $k$-步尼尔序列之间的相关性提供了上界。
• $\ell^\infty(\mathbb{Z})$ 上的 $k$-重平行多面体结构系统与 $k$-步尼尔流形上的尼尔斯系统同构，确保了唯一遍历性以及在平移下的不变性。
• 建立了 Wiener-Wintner 遍历定理的尼尔序列版本，表明对于尼尔序列权重，收敛具有均匀性。
• 证明了加权多重遍历收敛定理，表明在均匀性半范数意义下，由尼尔序列加权的平均值收敛。