Heath-Brown identities for fractional powers of $ζ$

技術要約：ゼータ関数の分数冪に対するヒース＝ブラウン恒等式

問題設定
本論文は、リーマン・ゼータ関数の分数冪、具体的には $S_z(x, \alpha) = \sum_{n \le x} d_z(n) e(n\alpha)$ に関する指数和の評価を扱っている。ここで $d_z$ は、$\zeta(s)^z$ のディリクレ係数によって定義される乗法的関数である。整数指数（例：約数関数 $\tau_k = d_k$ やメビウス関数 $\mu = d_{-1}$）の場合、これらの和の挙動はよく理解されているが、分数的な場合 $z \in (-1, 1) \setminus \mathbb{Z}$ については空白が存在する。因数分解に依存する古典的な手法（例：$\tau_k = 1^{*k}$）は、非整数の場合には直接適用できない。既存の部分的な結果（例えば [MV, Exercise 9] における $d_{1/2}$ の評価）では、マイナーアーク（小弧）の推定において $6/7$ という劣目標な中間指数が得られていた。これに対し、整数ケースでは「ヴィノグラドフ級」のベンチマークである $4/5$ の指数が達成されている。中心となる問題は、$x^\varepsilon$ という因子を持たず、純粋に対数的な損失のみで $4/5$ の最適指数を導出することを可能にする、$\zeta(s)^{\pm a/b}$ に対する有限の組合せ論的恒等式を構築することである。

手法
著者は、「代数的構成」と「解析的推定」という二層のアプローチを採用している。

1. 代数的構成（ヒース＝ブラウン型の恒等式）：
   核となる革新は、算術関数の代数におけるニュートンの二項級数を用いて、$\zeta(s)^{\pm a/b}$ に対する有限の恒等式を構成することである。

• 分数冪 $\zeta(s)^{-h/b}$ に対して、著者は截断されたディリクレ多項式 $F(s) = \sum_{n \le V} d_{-h/b}(n)n^{-s}$ を定義する。
• $H = 1 - \zeta(s)^h F(s)^b$ を考えることで、 $H$ が $V$ より大きい整数上に台を持つことを利用する。その結果、$H^K$ は $V^K$ より大きい整数上に台を持つ。
• 截断されたニュートン二項展開 $(1-H)^{-1/b}$ に $H$ を代入することで、$n \le V^K$ に対して有効な $\zeta(s)^{-h/b}$ の厳密な恒等式が得られる。
• 本論文では、深さ $K=5$ および $V = x^{1/5}$ を選択している。これにより、恒等式はすべての $n \le x$ に対して成立することが保証される。得られる恒等式は、$\zeta(s)$ のべき乗（定数関数 1）と $F$ の畳み込みの有限な線形結合として $\zeta(s)^{-h/b}$ を表現する。決定的なのは、これらの畳み込みにおけるすべての「長い（long）」因子が $\zeta(s)$ の正の冪であり、滑らかさが保証されている点である。一方で、「短い（short）」因子は 1 によって抑えられている。
• 正の指数 $z = h/b$ の場合、恒等式は $\zeta(s)^{h/b} = \zeta(s) \cdot \zeta(s)^{-(b-h)/b}$ を通じて間接的に導かれ、長い因子の滑らかさが保持される。
• 端点ケース $z = -1$（メビウス関数）は、恒等式が古典的なヒース＝ブラウン恒等式へと退化する特殊なケースとして回収される。

2. 解析的推定：
   構成された恒等式は、指数和 $S_z(x, \alpha)$ を多重線形形式 $T_{J,L}(x, \alpha)$ の和へと還元する。

• 双冪分解（Dyadic Decomposition）： 変数は双冪区間に局在化される。
• 組合せ論的二分法： 「ウィンドウまたは長い変数」の補題が適用される。積 $P \in (x^{4/5}, x]$ である任意の双冪構成に対して、「タイプ II ウィンドウ」$[x^{2/5}, x^{3/5}]$ に一部の変数をグループ化できるか、あるいは単一の変数が長く（$> x^{3/10}$）、残りの積が短い（$< x^{7/10}$）かのいずれかが成立する。
• 推定：
  • タイプ II： ウィンドウ条件が満たされる場合、双線形推定が適用され、$x^{4/5}$ の項が得られる。
  • タイプ I： 長い滑らかな変数が存在する場合、和はタイプ I の和として扱われる。著者は、約数重み付きのタイプ I の和が対数的な損失しか持たないという誤った仮定を避け、二段階の戦略を用いている。
    • $q \le x^{3/10}$ および $q \ge x^{7/10}$ の範囲では、平均二乗のタイプ I 推定が用いられる。
    • 中間範囲 $x^{3/10} < q < x^{7/10}$ では、$x^{o(1)}$ の損失を伴う点推定が用いられる。$x^{7/10}$ と目標の $x^{4/5}$ の間のギャップがこの損失を吸収するため、最終的な評価は $x^\varepsilon$ 因子なしで、対数因子のみで $4/5$ の指数を維持できる。

主要な結果

1. マイナーアークの評価（定理 1.1 および 1.3）：
   簡約された分数 $a/b$ （ただし $0 < a/b < 1$）に対し、$z = \pm a/b$ のとき、以下が成り立つ：
   $$\sum_{n \le x} d_{\pm a/b}(n) e(n\alpha) \ll_{a,b} \left( \frac{x}{\sqrt{q}} + x^{4/5} + \sqrt{xq} \right) (\log 2x)^C$$
   ここで $|\alpha - r/q| \le 1/q^2$ である。

• この評価は $x^\varepsilon$ の損失を持たず、ヴィノグラドフによる $\Lambda(n)$ の評価や既知の整数冪の評価と同じ形状である。
• 定理 1.3 は、これを端点 $z = -1$（メビウス関数）に拡張し、絶対定数を用いて、$\varepsilon$ を除去することで従来の推定を洗練させている。

2. メジャーアーク展開（定理 1.5）：
   実数 $0 < |z| < 1$ に対し、本論文は $S_z(x, \alpha)$ の任意の対数精度でのメジャーアーク展開を提供する。主項は、局所因子 $g_z(q)$（特異級数を一般化したもの）と、セルベルグ・デランジュ法から導かれる係数を含む。誤差項は任意の $A > 0$ に対して $O(x (\log x)^{-A})$ であるが、シエルゲル・ワリス定理への依存により、随伴定数は非有効（ineffective）である。

3. 一様評価およびモーメント（定理 1.6 および 1.7）：

• 上限（Supremum）： 本論文は $\sup_\alpha |S_z(x, \alpha)|$ のオーダーを決定している。$z > 0$ の場合、上限は $\alpha=0$ で達成され、平均値に漸近する。$z < 0$ の場合、打ち消し合いにより、上限は $\ell^1$ ノルムと比較して因子 $(\log x)^{1+|z|}$ だけ減少する。
• モーメント： 有理数 $z \in (-1, 1)$ および実数 $s > 2$ に対し、$\int_0^1 |S_z(x, \alpha)|^s d\alpha$ のモーメントに関する漸近公式を証明している。主項は、パンデイの結果と同様に、$g_z(q)$ を含む特異級数によって決定される。制限 $s > 2$ は、特異級数が $s=2$ で発散するため必要である。

意義および主張
本論文は、指数和の文脈における、ゼータ関数の整数冪と分数冪の間の空白を解消することを目的としている。その主な意義は以下の通りである：

• 最適性： 分数冪に対して $x^{4/5}$ の指数を達成した。これは以前は未解決の問題であり、より弱い評価しか知られていなかった。
• 効率性： $x^\varepsilon$ の損失を排除した。これは、精密な誤差項を必要とする応用（例：円法）において極めて重要である。
• 代数的斬新さ： ニュートンの二項級数と台の議論を用いた、分数冪のための有限なヒース＝ブラウン恒等式の構成。これは、算術関数の代数における非整数指数を扱うための新しい代数的ツールを提供する。
• 有効性： マイナーアークの評価および恒等式の構成は、完全に有効（effective）である。メジャーアークへの適用における非有効性は、シエルゲル・ワリス定理に起因するものであり、本手法によるものではないことが明示されている。

著者は、有理数指数の制限が代数的構成に不可ントであること（整数のべきの $b$ 乗根に依存するため）、および $|z| \le 1$ という制限が短い係数を 1 以下に抑えるために不可欠であることを強調している。本論文は、大幅な修正なしに、無理数指数や $[-1, 1]$ 外の指数へこれらの結果を拡張することを主張していない。