[论文解读] The abelian arithmetic regularity lemma

Sean Eberhard|arXiv (Cornell University)|Jun 29, 2016

Analytic Number Theory Research参考文献 3被引用 3

一句话总结

本文在 $s=1$ 情况下给出了阿贝尔算术正则性引理的自包含证明，表明任意 $[N]$ 上的有界函数均可分解为结构部分（复杂度受控）、均匀部分（$U^2$ 范数下的均匀性）和一个小误差。关键贡献在于仅使用 $U^2$ 范数的逆定理，避免了高阶傅里叶分析，从而实现更简化、更初等的处理方式。

ABSTRACT

We give a brief exposition and proof of the arithmetic regularity lemma of Green and Tao in the abelian ($U^2$) case, over $\{1,\dots,N\}$. This may be useful to those who need just the $U^2$ case of the lemma, as the general case is significantly more involved. It may also be useful as an introduction to the general case. No originality is claimed.

研究动机与目标

• 提供阿贝尔算术正则性引理在 $s=1$ 情况下的简化、易懂的证明，重点聚焦于 $U^2$ 范数。
• 提供一个独立完整的阐述，避免使用高阶傅里叶分析的完整理论体系，使其适合初学者阅读。
• 证明 $U^2$ 逆定理足以处理阿贝尔情形，从而实现更初等且更清晰的论证。
• 通过使用 $1$-复杂度与增长函数 $\mathcal{F}$ 的 $1$-可测性，形式化函数分解为结构、均匀与小误差部分的过程。

提出的方法

• 通过平行多面体上的平均值定义 $U^2$ 范数：$\|f\|_{U^2([N])} = \left( \mathbf{E}_{a,h_1,h_2} f(a)\overline{f(a+h_1)}\overline{f(a+h_2)}f(a+h_1+h_2) \right)^{1/4}$。
• 应用 $U^2$ 的逆定理，表明较大的 $U^2$ 范数意味着与线性相位函数 $e(-\theta n)$ 相关。
• 引入 $1$-复杂度的概念：$f(n) = F(\theta n)$，其中 $F:\mathbf{T}^d \to \mathbf{R}$ 且具有有界利普希茨范数，维度为 $d$。
• 定义与增长函数 $\mathcal{F}$ 的 $1$-可测性，确保通过受控 $1$-复杂度的函数在 $L^2$ 范数下实现逼近。
• 利用 $\theta$ 的 $(A,N)$-无理性，通过等分布理论控制结构函数在等差数列上的平均值。
• 使用截断傅里叶展开与几何级数估计来控制指数和，证明 $\theta n$ 模 $\mathbf{T}^d$ 的等分布性。

实验结果

研究问题

• RQ1 如何仅使用 $U^2$ 逆定理而无需高阶理论，证明阿贝尔算术正则性引理？
• RQ2 给定一个增长函数 $\mathcal{F}$，逼近 $L^2$ 范数下给定误差所需的最小结构复杂度是什么？
• RQ3 $U^2$-均匀性与有限阿贝尔群上线性相位的等分布性之间有何关系？
• RQ4 能否仅通过初等傅里叶分析，量化函数分解为结构、均匀与小误差部分的过程？

主要发现

• 若 $\|f\|_{U^2} \geq \delta$，则存在 $\theta \in \mathbf{T}$，使得 $\left|\mathbf{E}_{n\in[N]} f(n)e(-\theta n)\right| \gg_\delta 1$。
• 对任意 $f:[N] \to [-1,1]$ 满足 $\|f\|_{U^2} \geq \delta$，存在一个增长 $\ll_\delta 1$ 的 $1$-可测集 $E \subset [N]$，使得 $\left|\mathbf{E}_{n\in[N]} f(n)1_E(n)\right| \gg_\delta 1$。
• 若 $\theta \in \mathbf{T}^d$ 是 $(A,N)$-无理的，且 $F:\mathbf{T}^d \to \mathbf{C}$ 的利普希茨范数 $\leq M$，则对长等差数列 $P$（密度为 $\eta$），只要 $A$ 足够大，就有 $\left|\mathbf{E}_{n\in P} F(\theta n) - \int F \, d\mu\right| \leq \delta$。
• 对 $F:[0,1] \times \mathbf{Z}/q\mathbf{Z} \times \mathbf{T}^d \to \mathbf{C}$，若其利普希茨范数 $\leq M$，则当 $A,N \to \infty$ 时，平均值 $\mathbf{E}_{n\leq N} F(n/N, n\bmod q, \theta n)$ 一致地收敛于积分 $\int F \, d\mu$，对 $M,q,d,\delta$ 均成立。