[论文解读] An inverse theorem for the Gowers U^{s+1}[N]-norm (announcement)

Ben Green, Terence Tao+1 more|arXiv (Cornell University)|Jun 1, 2010

Limits and Structures in Graph Theory参考文献 21被引用 15

一句话总结

本文宣布了对所有 $ s \geq 3 $ 的 Gowers $ U^{s+1}[N] $-范数的逆猜想的证明，表明任何有界函数若具有较大的 Gowers 范数，则会与复杂度受控的 $ s $-阶 nilsequence 相关。该结果完成了加法组合学中一个长期存在的猜想，意味着对所有 $ k \geq 3 $，素数中 $ k $-项等差数列的渐近公式成立。证明依赖于通过高阶傅里叶分析和基于柯西-施瓦茨不等式的改进技术，将方括号多项式相位分解为 nilsequence 的新方法。

ABSTRACT

In this note we announce the proof of the inverse conjecture for the Gowers U^{s+1}[N]-norm for all s => 3; this is new for s => 4, the cases s = 1,2,3 having been previously established. More precisely we outline a proof (details of which will appear in a forthcoming paper) that if f : [N] -> [-1,1] is a function with || f ||_{U^{s+1}[N]} => δthen there is a bounded-complexity s-step nilsequence F(g(n)Γ) which correlates with f, where the bounds on the complexity and correlation depend only on s and δ. From previous results, this conjecture implies the Hardy-Littlewood prime tuples conjecture for any linear system of finite complexity. In particular, one obtains an asymptotic formula for the number of k-term arithmetic progressions p_1 < p_2 < ... < p_k <= N of primes, for every k => 3.

研究动机与目标

• 解决所有 $ s \geq 3 $ 的 Gowers $ U^{s+1}[N] $-范数的逆猜想，扩展此前对 $ s = 1,2,3 $ 的结果。
• 确立具有大 Gowers 范数的函数必须与结构化对象——具体而言，有界复杂度的 $ s $-步 nilsequence —— 相关。
• 提供具有大 Gowers 范数的函数的结构表征，表明它们不仅与多项式相位相关，还与更一般的 nilsequence 相关。
• 完成格林与陶此前工作的程序，最终得出 $ U^{s+1}[N] $-范数的完整逆定理。
• 将逆定理应用于推导出所有 $ k \geq 3 $ 的素数中 $ k $-项等差数列数量的渐近公式，从而证实有限复杂度系统的哈代-李特尔伍德素数元组猜想。

提出的方法

• 通过高阶傅里叶分析分析其结构，将方括号多项式相位分解为 nilsequence。
• 应用广义冯·诺依曼不等式的新型形式，将 Gowers 范数与与 nilsequence 的相关性联系起来。
• 该方法涉及柯西-施瓦茨不等式的递归应用，以消除 nilsequence 近似中的低阶误差项。
• 引入一种形式化方法，将“方括号双线性”函数视为近似多重线性，从而能够利用幂零群结构。
• 论证通过 $ s $ 的归纳法进行，利用 Gowers 导数的对称性与多重线性性质，整合 nilsequence 结构。
• 利用 Gowers 范数控制函数的均匀性这一事实，并借助逆定理表明此类函数必须通过 nilsequence 实现结构化。

实验结果

研究问题

• RQ1 对于 $ s \geq 3 $，大 $ U^{s+1}[N] $-范数是否意味着函数与 $ s $-次 nilsequence 相关？
• RQ2 Gowers 范数的逆猜想能否扩展至此前已知的 $ s = 1,2,3 $ 之外的情况？
• RQ3 nilsequence 类是否足以捕捉高阶情形下 Gowers 范数均匀性障碍的全部？
• RQ4 在逆定理的背景下，方括号多项式相位的结构能否被 nilsequence 完全捕捉？
• RQ5 Gowers 范数的大小与与 nilsequence 相关性的强度之间是否存在精确的定量关系？

主要发现

• 对所有 $ s \geq 3 $，逆猜想 $ \operatorname{GI}(s) $ 成立，完成了早期工作中启动的程序。
• 对于任意函数 $ f: [N] \to [-1,1] $，若满足 $ \|f\|_{U^{s+1}[N]} \geq \delta $，则存在一个与 $ f $ 相关度至少为 $ c(s,\delta) $ 的 $ s $-步 nilsequence $ F(g(n)\Gamma) $。
• 该 nilmanifold $ G/\Gamma $ 的复杂度以及函数 $ F $ 的利普希茨常数仅由 $ s $ 和 $ \delta $ 决定，与 $ N $ 无关。
• 该结果表明，大 Gowers 范数的唯一障碍是 nilsequence，从而确认了幂零群在高阶傅里叶分析中的结构性作用。
• 作为推论，哈代-李特尔伍德素数元组猜想对所有有限复杂度的线性系统成立，从而为所有 $ k \geq 3 $ 的素数中 $ k $-项等差数列数量提供了渐近公式。
• 该证明表明，此前被认为更一般的方括号多项式相位实际上可被 nilsequence 有效建模，从而解决了高阶均匀性理论中的一个关键技术障碍。