Improved Averaged Distribution of $d_3(n)$ in Prime Arithmetic Progressions

1. 研究の背景と問題設定

対象関数:
本論文の中心は、3 重約数関数 $d_3(n)$ です。これは、$n$ を 3 つの正の整数の積として表す方法の数を数える関数です（$d_3(n) = \sum_{n_1 n_2 n_3 = n} 1$）。

分布の指数（Exponent of Distribution）:
$d_k(n)$ が算術級数 $n \equiv a \pmod q$ においてどの程度均等に分布しているかを表す指標として「分布の指数 $\theta$」が用いられます。具体的には、誤差項が $x^{\theta - \varepsilon}$ のオーダーで抑えられるような最大の $\theta$ を指します。

• 古典的な結果（Selberg, Linnik, Hooley）では、2 重約数関数 $d(n)$ に対して $\theta = 2/3$ が知られていました。
• $d_3(n)$ については、Friedlander-Iwaniec や Heath-Brown などの研究により、$1/2$ をわずかに超える値（例：$1/2 + 1/230$）が得られてきましたが、$2/3$ に到達することは困難でした。

平均化アプローチ:
個々の剰余類 $a$ に対してではなく、すべての互いに素な剰余類 $a \pmod q$ に対して平均化を行うことで、より大きな $q$ の範囲で分布の指数を改善する手法が注目されています。

• Nguyen (2005) は、$d_3(n)$ について平均化された分布の指数を $2/3$ まで改善しました。これは、$q \ll x^{2/3-\varepsilon}$ の範囲で誤差項が相殺されることを意味します。
• 近年、Parry (2023) は $d_4(n)$ について、Petrow-Young の副凸性（subconvexity）境界を用いて平均化された指数を $4/7$ まで改善しました。

本研究の目的:
Parry の手法を $d_3(n)$ に適用し、素数法則 $q$ に対して平均化された分布の指数を $2/3$ から $8/11$ へ改善することです。

---

2. 主要な結果

定理 1.1 (主要定理):
素数 $q$ に対して、$q \le x^{8/11}$ の範囲において、以下の誤差項の二乗和が成立します。
$$\sum_{a=1}^{q} |\Delta(a/q)|^2 \ll_{\varepsilon} x^{3/2+\varepsilon} q^{11/16}$$
ここで、$\Delta(a/q)$ は $d_3(n)$ の算術級数における和と、その主項（期待値）との差を表します。

定理 1.2 (平均的な均等分布):
上記の結果から、$q \le x^{8/11}$ の範囲で $d_3(n)$ が平均的に均等に分布することが示されます。
$$\sum_{a=1}^{q} |E_x(q, a)| \ll_{\varepsilon} x^{3/4+\varepsilon} q^{11/32}$$
これは、従来の $2/3$（すなわち $x^{1/2} \cdot x^{1/6}$ のようなスケール）から、$8/11 \approx 0.727$ というより大きな範囲への拡張を意味します。

---

3. 手法と技術的アプローチ

本研究は、Parry が $d_4(n)$ で用いた手法を $d_3(n)$ に適応・拡張するものであり、以下の技術的要素を組み合わせています。

A. Voronoi 総和公式と Ivić の補題

$d_3(n)$ の算術級数における和を評価するために、Ivić の Voronoi 総和公式（Lemma 1）を使用します。これにより、元の和は、ラマヌジャン和（Ramanujan sum）$c_q(n)$ や、特定の指数和 $A_{h/q}(n), B_{h/q}(n)$ を含む双線形形式に変換されます。

• 変換後の式は、$d_3(n)$ の積分的な性質と、$q$ に関する振る舞いを分離して扱える形になります。

B. Petrow-Young の副凸性境界（Subconvexity Bound）

本研究の核心的な革新は、Petrow と Young (2020) によって証明された Dirichlet $L$ 関数の副凸性境界の利用です。

• 素数 $q$ に対して、$L(1/2+it, \chi) \ll_{\varepsilon} (q(1+|t|))^{1/6+\varepsilon}$ という強い境界が利用可能です。
• これを用いることで、$L$ 関数の 3 乗の平均値（3rd moment）に関する評価（Lemma 7）が可能になります。具体的には、$\sum_{\chi} |\int L(1/2+it, \chi)^3 dt|^2 \ll q^{11/8}$ という評価が得られ、これが誤差項の制御に決定的な役割を果たします。

C. ラマヌジャン和と指数和の評価

変換された式に含まれる指数和 $A_{h/q}(n)$ の性質を詳細に解析します（Lemma 2, 3）。

• $q \nmid n$ の場合、$A_{h/q}(n)$ はクロステルマン和（Kloosterman sum）を用いて表現され、その平均値はラマヌジャン和 $c_q(n \pm m)$ に帰着されます。
• これにより、問題が $d_3(n)d_3(m)c_q(n-m)$ のような双線形和の評価に還元されます。

D. 双線形和の制御（Lemma 10, 11）

得られた双線形和を評価するために、$L$ 関数の 3 乗の平均値を用いた新しい補題（Lemma 10）を導出します。

• この補題により、$q$ が比較的大きい場合でも、和が $q$ のべき乗で適切に抑えられることを示します。
• 特に、$q^{11/8}$ という指数が現れることが、最終的な分布の指数 $8/11$ を導く鍵となります（$1 - 11/16 = 5/16$ などの計算を経て最適化されます）。

---

4. 論文の構成と証明の概要

1. 準備（第 2 章）:

   • Voronoi 公式による変換（Lemma 1）。
   • $A_{h/q}(n)$ の具体的な評価とラマヌジャン和への帰着（Lemma 2, 3）。
   • $L$ 関数のモーメント評価、特に Petrow-Young 境界を用いた 3 乗平均の評価（Lemma 6, 7）。
   • 双線形和の一般化された評価（Lemma 10, 11）。

2. 定理 1.1 の証明（第 3 章）:

   • 誤差項 $\Delta(a/q)$ を、Voronoi 公式を用いて双線形和の形に書き換えます。
   • 和を $n, m$ の範囲に応じて分割し、各領域（$n, m$ が小さい場合、片方が大きい場合など）で Lemma 11 の評価を適用します。
   • 得られた誤差項の総和を $Y$（カットオフパラメータ）の関数として表し、$Y$ を最適化することで、誤差項のオーダーを最小化します。
   • 最終的に、$q \le x^{8/11}$ の条件で誤差項が支配的にならないことを示し、定理を証明します。

---

5. 意義と貢献

• 分布の指数の改善: $d_3(n)$ の平均化された分布の指数を、従来の $2/3$ から $8/11$ へ向上させました。これは、算術級数における約数関数の分布に関する長年の課題に対する重要な進展です。
• Petrow-Young 境界の応用: 数論的な問題（特に高次約数関数の分布）に対して、最新の $L$ 関数の副凸性結果を効果的に適用する手法を確立しました。Parry が $d_4(n)$ で成功させたアプローチを $d_3(n)$ に拡張し、その汎用性を示しました。
• 将来的な展望: この手法は、より高い次数の約数関数 $d_k(n)$ ($k \ge 5$) への拡張や、他の数論的関数の分布問題への応用が期待されます。また、$8/11$ という値が最終的な限界なのか、さらなる改善が可能かという点も今後の研究課題となります。

総じて、本論文は解析的整数論の最先端の技術（Voronoi 公式、副凸性境界、指数和の精密評価）を統合し、古典的な問題に対して新しい記録を打ち立てた重要な研究です。