[论文解读] On higher order Fourier analysis

Balázs Szegedy|arXiv (Cornell University)|Mar 10, 2012

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

一句话总结

本文通过紧致 $k$-步 nilspace 之间的连续同态，构建了紧致阿贝尔群上高阶傅里叶分析的完整代数框架，提供了 Gowers 一致范数的精确逆定理与正则性引理。它建立了一个类似于图极限理论的阿贝尔群上函数的新极限理论，其应用包括分解定理以及通过 nilspace 因子对函数的结构特征进行表征。

ABSTRACT

We develop a theory of higher order structures in compact abelian groups. In the frame of this theory we prove general inverse theorems and regularity lemmas for Gowers's uniformity norms. We put forward an algebraic interpretation of the notion "higher order Fourier analysis" in terms of continuous morphisms between structures called compact $k$-step nilspaces. As a byproduct of our results we obtain a new type of limit theory for functions on abelian groups in the spirit of the so-called graph limit theory. Our proofs are based on an exact (non-approximative) version of higher order Fourier analysis which appears on ultra product groups.

研究动机与目标

• 通过紧致 nilspace 作为李群的推广，发展一种代数的、精确的高阶傅里叶分析框架。
• 将 Gowers 范数的逆定理与正则性引理从有限群推广至任意紧致阿贝尔群。
• 引入一种新的阿贝尔群上函数的极限理论，类比图极限理论，利用超积群与 nilspace 因子。
• 通过 nil $\sigma$-代数表征函数的结构部分，并通过 nilspace 同态的逆极限证明其可测性。

提出的方法

• 利用超积群构造高阶傅里叶分析的精确版本，避免近似。
• 引入紧致 $k$-步 nilspace 的概念，并将它们之间的连续同态定义为高阶傅里叶分析的代数基础。
• 应用对应原理，将超积群上的结果转移至标准紧致阿贝尔群。
• 运用高阶对偶群与傅里叶分解分析 Gowers 范数及其结构。
• 利用立方体上的卷积恒等式与支集分析验证 nilspace 公理，并构造 nilspace 因子。
• 通过将函数序列投影至 nil $\sigma$-代数，并利用 nilspace 同态的逆极限构造极限对象，将理论应用于函数序列。

实验结果

研究问题

• RQ1 如何利用 nilspace 之间的同态，代数化地形式化高阶傅里叶分析？
• RQ2 在紧致阿贝尔群上，Gowers 范数的精确逆定理与正则性引理是什么？
• RQ3 能否发展一种类比于图极限理论的阿贝尔群上函数的极限理论？
• RQ4 nilspace 因子与 nil $\sigma$-代数如何通过 Gowers 一致范数表征函数的结构部分？
• RQ5 超积群在实现高阶傅里叶结构的精确、非近似分析中起到什么作用？

主要发现

• 本文建立了紧致阿贝尔群上 Gowers 范数的完整逆定理，表明 $U_{k+1}$-范数较小意味着与结构部分的相关性也较小。
• 证明了任意满足 $\|f\|_{U_{k+1}} \geq \epsilon$ 的函数 $f$，均可分解为 $f = f_s + f_e + f_r$，其中 $f_s$ 具有有界复杂度，且 $\|f_s\|_{U_{k+1}} \geq \epsilon^{2^k}/2$。
• 证明了阿贝尔群上收敛函数序列的极限对象属于无限阶 nil $\sigma$-代数，且其矩在投影下保持不变。
• 每个具有有界 $L^\infty$ 范数的函数序列，均存在一个由 nilspace 因子构成的极限对象，该对象通过 nilspace 同态的逆极限构造。
• 该理论构造了一个 nilspace 因子 $\gamma: \mathbf{A} \to N$，使得投影 $g = \mathbb{E}(f|\mathcal{F})$ 属于由 $\gamma$ 生成的 $\sigma$-代数，且对所有简单矩 $M$，有 $M(g) = M(h)$。
• 本文证明：对任意可分子 $\sigma$-代数 $\mathcal{B}$，均存在一个包含 $\mathcal{B}$ 的可分无限阶 nil $\sigma$-代数，从而保证了结构近似的存在性。