[论文解读] A quantitative inverse theorem for the $U^4$ norm over finite fields

W. T. Gowers, Luka Milićević|arXiv (Cornell University)|Dec 1, 2017

Limits and Structures in Graph Theory参考文献 8被引用 7

一句话总结

本文为有限域 $\mathbb{F}_p^n$ 上的 $U^4$ 范数提供了有限、定量的逆定理证明，建立了有界函数在 $U^4$ 范数较大时与次数不超过 3 的多项式相位函数之间相关性的显式下界。该下界在 $c^{-1}$ 的准多项式函数中呈双指数增长，其中 $c$ 是 $U^4$ 范数的下界，证明依赖于双线性 Bogolyubov 方法、对称性论证以及多重线性型的稳定性定理。

ABSTRACT

A remarkable result of Bergelson, Tao and Ziegler implies that if $c>0$, $k$ is a positive integer, $p\geq k$ is a prime, $n$ is sufficiently large, and $f:\mathbb F_p^n o\mathbb C$ is a function with $\|f\|_\infty\leq 1$ and $\|f\|_{U^k}\geq c$, then there is a polynomial $π$ of degree at most $k-1$ such that $\mathbb E_xf(x)ω^{-π(x)}\geq c'$, where $ω=\exp(2πi/p)$ and $c'>0$ is a constant that depends on $c,k$ and $p$ only. A version of this result for low-characteristic was also proved by Tao and Ziegler. The proofs of these results do not yield a lower bound for $c'$. Here we give a different proof in the high-characteristic case when $k=4$, which enables us to give an explicit estimate for $c'$. The bound we obtain is roughly doubly exponential in the other parameters.

研究动机与目标

• 在高特征值情形（$p \geq 5$）下，为 $\mathbb{F}_p^n$ 上的 $U^4$ 范数提供一个有限、定量的逆定理证明。
• 建立函数在 $U^4$ 范数较大时与三次相位函数之间相关性的显式、有效下界。
• 通过克服 Bergelson、Tao 和 Ziegler 的先前无穷论证中缺乏定量估计的不足，实现这一目标。
• 开发新工具，如 Bogolyubov 方法的双线性类比，以及在高秩双线性水平集上几乎双线性函数的稳定性定理。

提出的方法

• 改编并简化 Gowers 证明长度为 5 的等差数列的 Szemerédi 定理时所用的技术，特别是涉及 $U^4$ 范数的部分。
• 引入 Bogolyubov 方法的双线性类比，以构造一个高秩双线性 Bohr 集，使得函数在该集合上与双线性相位函数的相关性良好。
• 应用受 Green 和 Tao 启发的对称性论证，处理三线性型，并将其分解为对称部分与低秩部分。
• 利用函数在高秩双线性函数的水平集上几乎双线性时的稳定性定理，以控制分解中的误差项。
• 采用改进的容斥原理来界定所得 Bohr 集的余维数，该余维数影响最终的相关性估计。
• 追踪相关性界对初始 $U^4$ 范数 $c$ 和素数 $p$ 的依赖关系，最终得到在 $c^{-1}$ 的准多项式函数中呈双指数增长的估计。

实验结果

研究问题

• RQ1 函数在 $U^4$ 范数较大时与三次相位函数之间的相关性，对初始 $U^4$ 范数 $c$ 的定量依赖关系如何？
• RQ2 能否使 $\mathbb{F}_p^n$ 上 $U^4$ 范数的无穷逆定理变得有效，并对相关性给出显式界？
• RQ3 如何利用有限域上函数的双线性和多重线性结构，以实现对均匀性范数的定量控制？
• RQ4 多重线性型的解析秩在构造有效逆定理中起什么作用？
• RQ5 该证明技术能否推广到更高的 $U^k$ 范数，或推广到其他群（如 $\mathbb{Z}_N$）？

主要发现

• 本文建立了 $\mathbb{F}_p^n$ 上 $U^4$ 范数的定量逆定理，并给出了函数 $f$ 与三次相位函数之间相关性的显式下界。
• 相关性下界至少为 $\exp\big(\exp(2^{500}(\log(c^{-1}) + \log p)^6)\big)^{-1}$，该下界在 $c^{-1}$ 的准多项式函数中呈双指数增长。
• 该下界是有效且显式的，与 Bergelson、Tao 和 Ziegler 的原始无穷论证不同，后者未给出任何定量估计。
• 本文发展了一种新的双线性 Bogolyubov 引理，可在高秩双线性 Bohr 集上构造出函数与双线性相位函数相关性良好的集合，仅存在小的 $L_2$ 误差。
• 证明了在高秩双线性函数的水平集上，几乎双线性函数的稳定性定理，从而能够控制分解过程中的误差项。
• 通过简化关键部分并引入新的分析工具，避免了依赖 Gowers 原始论文中的技术性章节 §10。