Exponential sums over primes are unbounded

技術要約：素数上の指数和は非有界である

問題提起
本論文は、Aymoneによって提起され、Ramaréによって伝達された、素数の指数和の振る舞いに関する問いを扱っている。具体的には、
$$\pi(x; \alpha) := \sum_{p \le x} e(\alpha p)$$
が、すべての実数 $\alpha$ に対して非有界であるかどうかを調査している。ここで $e(\beta) = e^{2\pi i \beta}$ である。これらの和の上界については（例えば、ヴィノグラドフの定理は $\alpha$ のディオファントス近似の性質に依存する非自明な上界を与える）、よく理解されている。しかし、固定された $\alpha$ に対する非自明な下界については、これまで未解明のままであった。自明な $L^2$ 平均は $x \log x$ のオーダーであることが知られているが、Vaughanによる $L^1$ 平均の結果を除いて、固定された $\alpha$ に対する点的な下界はこれまで分かっていなかった。

手法
著者は、短区間における挙動を分析することによって、指数和 $\sum f(n)e(\alpha n)$ の下界を確立するための新しい手法を開発している。核心となる戦略は以下の通りである：

1. 短区間分析： 全局的なディオファントス近似パラメータ $R(x, \alpha)$ が小さいこと（これは $\alpha$ が小さな分母を持つ有理数に近いことを意味する）を要求する代わりに、この手法では、短区間の長さ $y$ に対して局所的なパラメータ $R(y, \alpha)$ が小さいことを要求する。これにより、区間 $[n, n+y]$ 上の指数和を、有理点 $a/q$ における和で近似することが可能になる。
2. 大篩法の適用： 著者は、算術関数 $F$ の部分和である関数 $g(n) = F(n, n+y; \alpha)$ に対して、モンゴメリー＝ヴォーンの大篩法を適用する。これにより、短区間和の二乗絶対値の平均 $\frac{1}{x} \sum |F(n, n+y; \alpha)|^2$ の下限を、有理点における全域的な和 $F(x; a/q)$ の値を用いて得ることができる。
3. 主要弧（Major Arc）の推定： 下限は、近似区間内における「主要弧」（$\alpha$ に近い有理数 $a/q$）の存在に依存する。
   • 約数関数 $\tau$ の場合、著者は $\sum \tau(n)e(an/q)$ に関する精密な漸近公式を用いて、主項が支配的であることを示す。
   • フォン・マンゴルト関数 $\Lambda$ （素数）の場合、著者は、平均的なケース（$y \ll x^{1/3}$）を扱うために、ボニエリ・ヴィノグラドフの定理（LiuとZhanによるもの）を利用する。
   • より大きな $y$ （具体的には $y \gg x^{1/3}$）の場合、すべての主要弧を個別に制御するために、著者は一般化リーマン予想（GRH）を仮定し、ディオファントス近似における平方フリーな分母に関するHeath-Brownの結果を組み合わせる。

主な結果

1. 素数指数和の非有界性：
   本論文は、任意の $\varepsilon > 0$ に対して、素数の指数和が非有界であることを、以下の定量的な下限とともに証明している：
   $$\inf_{\alpha \in \mathbb{R}} \sup_{n \le x} |\psi(n; \alpha)| \gg x^{1/6-\varepsilon}$$
   ここで $\psi(x; \alpha) = \sum_{n \le x} \Lambda(n)e(\alpha n)$ である。これは $\pi(x; \alpha)$ （素数上の和）についても同様の結果を意味する。

2. 短区間における平均下限：
   主要な技術的定理（定理2）は、$y \le x^{1/3-\varepsilon}$ のとき、短区間における二乗和の平均が次を満たすことを確立している：
   $$\frac{1}{x} \sum_{-y < n \le x} \left| \sum_{n < m \le n+y} \Lambda(m)e(\alpha m) \right|^2 \gg y \log x$$
   これは、「平方根の打ち消し（square root cancellation）」（ランダムな和に期待される挙動）が、これらの区間において平均的に最善であることを示している。すなわち、これらの和はこれ以上の打ち消しを示すことはない。

3. GRHの下での結果：
   一般化リーマン予想（GRH）を仮定すると、$y$ の範囲を拡張できる。適切なディオファントス近似を持つ無理数 $\alpha$ に対して、下限は $y \le x^{5/9-\varepsilon}$ まで成立し、以下の系を導く：
   $$\limsup_{n \to \infty} n^{-5/18+\varepsilon} |\psi(n; \alpha)| > 0$$

4. 約数関数の場合：
   この手法は約数関数 $\tau$ にも適用される。本論文は、無理数 $\alpha$ に対して、和 $\sum_{n \le x} \tau(n)e(\alpha n)$ が非有界であり、その下限が $x^{1/2}(\log x)(\log \log x)^{-2}$ のオーダーであることを示している。著者は、Carleson-Huntの不等式に基づき、ほとんどすべての $\alpha$ に対して、この結果が対数因子を除いてシャープであることを述べている。

意義と主張
本論文は、素数の指数和がすべての $\alpha$ に対して非有界であるというAymoneとRamaréの問いに対し、肯定的に答えていると主張している。その意義は以下の点にある：

• 固定された $\alpha$ に対する素数の指数和について、平均的な結果を超えて、初の非自明な下限を提供したこと。
• 要求事項を、グローバルなディオファントス特性（$R(x, \alpha)$）からローカルな特性（$R(y, \alpha)$）へと転換し、短区間における和の解析を可能にする手法を導入したこと。
• 素数を含む短区間において、「平方根の打ち消し」のヒューリスティックが平均的にタイトであることを示し、特に、これらの和が $y^{1/2}$ よりも有意に小さくなることはないことを示したこと。

著者は、この手法が一般的であり、別の著作において他の算術関数（$1_{\Omega(n)=k}$ や一般的な乗法的関数など）にも適用されていることを明記しているが、本論文では $\Lambda$ と $\tau$ のケースに焦点を当てている。結果は、$y \le x^{1/3-\varepsilon}$ の範囲では無条件であり、拡張された $y$ の範囲については標準的な予想（GRH）に依存している。