[论文解读] Quadratic Uniformity of the Mobius Function

Ben Green, Terence Tao|arXiv (Cornell University)|Jun 4, 2006

Analytic Number Theory Research参考文献 11被引用 4

一句话总结

本文證明了1-和2-步尼爾序列的Möbius與尼爾序列猜想，證明Möbius函數與此類尼爾流形上的Lipschitz函數具有強漸近正交性。該結果推廣了Davenport的指數和估計，並為素數數論中的漸近公式（包括四項素數等差數列與至多兩維餘維的非退化仿射格點問題）提供了關鍵工具。

ABSTRACT

This paper is a part of our programme to generalise the Hardy-Littlewood method to handle systems of linear questions in primes. This programme is laid out in our paper Linear Equations in Primes [LEP], which accompanies this submission. In particular, the results of this paper may be used, together with the machinery of [LEP], to establish an asymptotic for the number of four-term progressions p_1 < p_2 < p_3 < p_4 <= N of primes, and more generally any problem counting prime points inside a ``non-degenerate'' affine lattice of codimension at most 2. The main result of this paper is a proof of the Mobius and Nilsequences Conjecture for 1 and 2-step nilsequences. This conjecture is introduced in [LEP] and amounts to showing that if G/Γis an s-step nilmanifold, s <= 2, if F : G/Γ-> [-1,1] is a Lipschitz function, and if T_g : G/Γ-> G/Γis the action of g \in G on G/Γ, then the Mobius function μ(n) is orthogonal to the sequence F(T_g^n x) in a fairly strong sense, uniformly in g and x in G/Γ. This can be viewed as a ``quadratic'' generalisation of an exponential sum estimate of Davenport, and is proven by the following the methods of Vinogradov and Vaughan.

研究动机与目标

• 證明1-和2-步尼爾流形的Möbius與尼爾序列猜想，推廣Davenport的古典指數和估計。
• 建立Möbius函數與尼爾流形上Lipschitz函數之間的強漸近正交性，且界以快於任何log N的冪次衰減。
• 為Hardy-Littlewood方法在素數上的線性方程組系統中提供基礎工具，特別是針對餘維至多為二的問題。
• 將Vinogradov與Vaughan的指數和技術推廣至尼爾序列設定，以分析Möbius函數中的高階相關性。
• 支援非退化仿射格點中素點的漸近計數，例如四項素數等差數列。

提出的方法

• 將Vinogradov與Vaughan的方法適應於處理尼爾流形上的二次指數和，使用主要弧與次要弧的分解。
• 採用坐標變換將尼爾序列表示為二次型與分數部分的形式，將問題簡化為估計振蕩和。
• 應用2-步幂零李群及其齊次空間的理論，以模擬尼爾旋轉在尼爾流形上的動力學。
• 利用尼爾流形上的Lipschitz函數及其均勻分佈性質，控制其與Möbius函數的相關性。
• 應用除數矩生成估計（例如 $\mathbb{E}_{n\leq N} \tau(n)^m \ll_m (\log N)^{2^m - 1}$）以控制篩法論證中的碰撞機率。
• 將主項估計與除數打包引理結合，以控制算術配置中重疊解的數量。

实验结果

研究问题

• RQ1 能否證明Möbius函數與2-步尼爾序列具有強漸近正交性，從而推廣Davenport對線性相位的結果？
• RQ2 Lipschitz函數在1-和2-步尼爾流形上，相關性 $\mathbb{E}_{n\leq N} \mu(n) F(T_g^n \cdot x)$ 的定量衰減速率為何？
• RQ3 如何利用尼爾序列正交性將Hardy-Littlewood方法推廣至素數上的線性方程組系統？
• RQ4 幂零群動力學在控制乘法函數在多項式序列上的抵消現象中扮演何種角色？
• RQ5 能否對所有尼爾旋轉均勻量化Möbius函數的抵消效果，使得誤差項衰減快於任何log N的冪次？

主要发现

• Möbius函數與1-和2-步尼爾序列具有強漸近正交性：$\left| \mathbb{E}_{n\leq N} \mu(n) F(T_g^n \cdot x) \right| \ll_A \|F\|_{\text{Lip}} \log^{-A} N$，對所有 $g \in G$ 和 $x \in G/\Gamma$ 一致成立。
• 該結果將Davenport的估計 $\mathbb{E}_{n\leq N} \mu(n) e(-\alpha n) \ll_A \log^{-A} N$ 推廣至二次相位與尼爾序列。
• 證明依賴於主要弧與次要弧的分解，其中次要弧貢獻由Vinogradov型估計控制。
• 使用除數打包引理 $|\bigcup_{d\in\mathfrak{D}} A_d| \gg_\kappa \delta^2 |\mathfrak{D}|^2 |A| \alpha^\kappa \log^{-2^{2/\kappa}} N$ 以控制篩法設定中的碰撞。
• 主結果使四項素數等差數列 $p_1 < p_2 < p_3 < p_4 \leq N$ 及更一般的至多兩維餘維非退化仿射格點中素點的漸近計數成為可能。
• 界中隱含的常數為無效常數，這是因可能存在Landau-Siegel零點所致，與篩法理論中的經典結果一致。