[论文解读] Gowers norms, regularization and limits of functions on abelian groups

Balázs Szegedy|arXiv (Cornell University)|Oct 29, 2010

Limits and Structures in Graph Theory参考文献 17被引用 16

一句话总结

本文通过 Gowers 一致范数 $U_{k+1}$，将紧阿贝尔群上的有界可测函数分解为结构化、准随机和误差三部分，其中结构化部分被表征为有界复杂度的 $k$ 次 nilspace-多项式。关键贡献在于建立了 $U_{k+1}$ 范数的一般逆定理，并通过超积群引入极限对象，统一了高阶傅里叶分析与 nilspace 理论，将图/超图极限概念扩展至阿贝尔群。

ABSTRACT

For every natural number k we prove a decomposition theorem for bounded measurable functions on compact abelian groups into a structured part, a quasi random part and a small error term. In this theorem quasi randomness is measured with the Gowers norm U(k+1) and the structured part is a bounded complexity ``nilspace-polynomial'' of degree k. This statement implies a general inverse theorem for the U(k+1) norm. (We discuss some consequences in special families of groups such as bounded exponent groups, zero characteristic groups and the circle group.) Along these lines we introduce a convergence notion and corresponding limit objects for functions on abelian groups. This subject is closely related to the recently developed graph and hypergraph limit theory. An important goal of this paper is to put forward a new algebraic aspect of the notion ``higher order Fourier analysis''. According to this, k-th order Fourier analysis is regarded as the study of continuous morphisms between structures called compact k-step nilspaces. All our proofs are based on an underlying theory of topological nilspace factors of ultra product groups.

研究动机与目标

• 通过 $U_{k+1}$ 范数，建立紧阿贝尔群上有界可测函数向结构化、准随机和误差三部分的分解。
• 通过 $k$ 次有界复杂度的结构化 nilspace-多项式，发展 $U_{k+1}$ 范数的一般逆定理。
• 为阿贝尔群上函数序列引入收敛性概念及其对应的极限对象，类比图与超图极限。
• 将高阶傅里叶分析形式化为紧 $k$ 步 nilspace 之间连续态射的研究，提供代数框架。
• 将超积群与 nilspace 因子理论扩展，统一遍历理论、加性组合论与极限结构理论。

提出的方法

• 利用超积群与拓扑 nilspace 因子分析紧阿贝尔群上的函数。
• 应用 Gowers 范数 $\|f\|_{U_{k+1}}$ 衡量准随机性，小范数表示结构化行为。
• 采用分解 $f = f_s + f_e + f_r$，其中 $f_s$ 为有界复杂度的 nilspace-多项式，$f_r$ 的 $U_{k+1}$ 范数较小，$f_e$ 的 $L^1$ 范数较小。
• 通过超积群的 nilspace 因子的逆极限构造极限对象，确保矩收敛。
• 利用 nil-σ-代数与态射 $\Psi: \mathbf{A} \to N$ 表示结构化部分，并将函数投影至极限空间。
• 应用正则化技术与误差校正，近似超积空间中的态射，确保在范数与测度意义下的收敛。

实验结果

研究问题

• RQ1 紧阿贝尔群上任意有界可测函数是否可分解为结构化部分、由 $U_{k+1}$ 衡量的准随机部分与小误差项？
• RQ2 高阶傅里叶分析中结构化部分的精确代数结构是什么？其与 nilspace 的关系如何？
• RQ3 如何形式化阿贝尔群上函数的收敛性？其对应的极限对象是什么？
• RQ4 $U_{k+1}$ 范数在分解中起多大作用？其如何导出逆定理？
• RQ5 超积群与 nilspace 因子理论在多大程度上统一了高阶傅里叶分析与加性组合论中的极限理论？

主要发现

• 对任意紧阿贝尔群上的有界可测函数，存在分解 $f = f_s + f_e + f_r$，其中 $f_s$ 为 $k$ 次有界复杂度的 nilspace-多项式，$\|f_r\|_{U_{k+1}}$ 较小，且 $\|f_e\|_1$ 较小。
• 结构化部分 $f_s$ 可表示为复合形式 $\Psi \circ h$，其中 $\Psi: A \to N$ 是映射到有界复杂度的紧 $k$ 步 nilspace $N$ 的态射。
• 建立了 $U_{k+1}$ 范数的逆定理：若 $\|f\|_{U_{k+1}}$ 远离零，则 $f$ 显著与 $k$ 次 nilspace-多项式相关。
• 对任意在阿贝尔群上收敛的函数序列 $\{f_i\}$，其超极限 $f$ 可投影至一个 nil-σ-代数，且存在 $h: N \to \mathbb{C}$ 使得 $g = h \circ \Psi$，从而保证矩收敛。
• 极限对象 $N$ 是一个紧 $k$ 步 nilspace，且对所有 $k$ 次简单矩，均有 $M(f_i) \to M(h)$，从而确立了极限理论。
• 证明依赖于在超积空间中将近似态射校正为精确态射，确保沿余有限超滤子有 $\|f_r^{(i)}\|_{U_{k+1}} \to 0$ 与 $\|f_e^{(i)}\|_1 \to 0$。