[论文解读] The inverse conjecture for the Gowers norm over finite fields in low characteristic

Terence Tao, Tamar Ziegler|arXiv (Cornell University)|Jan 7, 2011

Limits and Structures in Graph Theory参考文献 34被引用 5

一句话总结

该论文在低特征值的有限域上确立了格罗夫斯均匀性范数的逆猜想，证明了具有大格罗夫斯范数的有界函数会与次数至多为 s 的非经典多项式相关联。该证明结合了非经典多项式的结构性结果与等分布理论，将先前在高特征值情况下的工作扩展到了低特征值情形，此时非经典多项式是必不可少的。

ABSTRACT

We establish the \emph{inverse conjecture for the Gowers norm over finite fields}, which asserts (roughly speaking) that if a bounded function $f: V o \C$ on a finite-dimensional vector space $V$ over a finite field $\F$ has large Gowers uniformity norm $\|f\|_{U^{s+1}(V)}$, then there exists a (non-classical) polynomial $P: V o \T$ of degree at most $s$ such that $f$ correlates with the phase $e(P) = e^{2πi P}$. This conjecture had already been established in the "high characteristic case", when the characteristic of $\F$ is at least as large as $s$. Our proof relies on the weak form of the inverse conjecture established earlier by the authors and Bergelson, together with new results on the structure and equidistribution of non-classical polynomials, in the spirit of the work of Green and the first author and of Kaufman and Lovett.

研究动机与目标

• 解决有限域低特征值设定下的格罗夫斯均匀性范数的逆猜想。
• 将具有大格罗夫斯范数的有界函数表征为与非经典多项式相关联。
• 将逆猜想从高特征值情形（此时经典多项式已足够）扩展到低特征值情形，此时非经典多项式是必需的。
• 发展有限域上非经典多项式的结构性与等分布结果。

提出的方法

• 以作者与伯杰松在低特征值情形下建立的弱逆猜想作为基础输入。
• 应用非经典多项式的结构性结果，推广了格林与陶以及考夫曼与洛夫特的早期工作。
• 使用福尔斯特恩伯格对应原理分析对称多项式的极限，并定义如 $ S_1 $ 和 $ S_2 $ 这类遍历类比对象。
• 使用平移导数 $ \Delta_h f $ 和高阶导数对多项式按次数进行分类。
• 应用上链恒等式 $ \Delta_h P + T_h \Delta_h P = 0 $ 推出：若函数的导数很小，则其为常数或仅依赖于有限个坐标。
• 使用分类引理（例如引理 E.4、E.5）将次数 ≤ 2 和 ≤ 3 的多项式分解为包含 $ |x_i| $、$ |x_i||x_j| $、$ |x_i||S_1| $、$ |S_1| $ 和 $ S_2 $ 的显式形式。

实验结果

研究问题

• RQ1 在低特征值的有限域中，与具有大格罗夫斯 $ U^{s+1} $ 范数的有界函数相关联的正确函数类是什么？
• RQ2 为何在低特征值情形下需要非经典多项式？它们在结构与行为上与经典多项式有何不同？
• RQ3 能否将逆猜想从高特征值情形扩展到低特征值有限域？需要哪些新的结构性工具？
• RQ4 次数为 s 的非经典多项式在平移导数作用下如何表现？其等分布性质是什么？
• RQ5 函数 $ S_1 $ 和 $ S_2 $ 在分类高次非经典多项式中起什么作用？

主要发现

• 在低特征值的有限域上，格罗夫斯范数的逆猜想成立：若 $ \|f\|_{U^{s+1}(V)} $ 较大，则 $ f $ 与某个次数至多为 $ s $ 的非经典多项式 $ P: V \to \mathbb{T} $ 相关。
• 次数 ≤ 3 的非经典多项式被分类为特定函数的整系数线性组合，包括 $ |x_i| $、$ |x_i||x_j| $、$ |x_i||S_1| $、$ |S_1| $ 和 $ S_2 $，其中 $ S_1 $ 与 $ S_2 $ 通过模 2 和模 4 条件定义。
• 函数 $ \iota_4(t) = |t|/4 \mod 1 $ 是一个次数为 3 的非经典多项式，无法表示为任意次数 ≤ 3 的多项式 $ P $ 的 $ 2P $ 形式，证明其在多项式层次结构中并非经典对象。
• 若函数的 $ \Delta_2 $ 导数恒为零，则其仅依赖于有限个坐标，从而可简化为有限维情形。
• 对次数 ≤ 2 和 ≤ 3 多项式的分类依赖于高阶导数的消失性，以及利用上链恒等式消除多余项。
• 该证明表明，在低特征值情形下，非经典多项式的结构比在高特征值情形下更丰富，因此需要超越经典多项式理论的新工具。