A Bombieri-Vinogradov theorem for exponential sums over products of k primes

技術的要約：「$k$ 個の素数の積に対する指数和に関するボンビエリ・ヴィノグラドフの定理」

問題提起
本論文は、固定された個数の素因数（重複を含めてカウント）を持つ整数に対する指数和の分布を扱う。具体的には、以下の和を調査する：
$$\Pi_k(x; \alpha) := \sum_{n \le x} f_k(n) e(\alpha n),$$
ここで、$f_k(n) = \mathbf{1}_{\Omega(n)=k}$ は、ちょうど $k$ 個の素因数を持つ整数を示す指示関数であり、$e(\beta) = e^{2\pi i \beta}$ である。

$k \le (2-\varepsilon)\log\log x$ における計数 $\Pi_k(x) = \sum_{n \le x} f_k(n)$ の漸近的挙動は、サテ・セレクトの定理を通じて十分に理解されているが、これらの和の算術級数における分布、および無理数 $\alpha$ に対する指数和 $\Pi_k(x; \alpha)$ の挙動はより複雑である。本論文の目的は、これらの指数和に関するボンビエリ・ヴィノグラドフ型の定理を確立することであり、算術級数上の和をその期待される主項によって近似する際の平均誤差に対する評価を与えることである。副次的な目標は、これらの指数和の極大値に対する非自明な下限を導出するために、この評価を用いることである。

手法
証明戦略は、問題をディリクレ指標和の評価へと還元し、その後、ヴォーンの手法（Vaughan's method）の一般化を適用することに基づいている。

1. 指標和への還元:
   著者らはまず、算術級数 $a/q$ 上の指数和をディリクレ指標を用いて表現する。周期関数の分解を用いることで、和を主項（gcd構造に関連するもの）と、非主指標に関する和を含む誤差項に分離する。これにより、ボンビエリ・ヴィノグラドフの評価は、以下の量を評価することへと還元される：
   $$\Xi(f, x, Q, \theta) := \sum_{q \le Q} \frac{q}{\phi(q)} \sum_{\chi \pmod q}^* \max_{|\lambda| \le \theta} \left| \sum_{n \le x} f(n) \chi(n) e(\lambda n) \right].$$
   論文では、古典的な設定との決定的な違いが指摘されている。指数和の場合、還元によって得られる係数は $Q^{-1}$ ではなく $Q^{-1/2}$ であり、これにより $Q$ の範囲が古典的な $x^{1/2-\varepsilon}$ ではなく $x^{1/3-\varepsilon}$ に制限される。

2. 一般化されたヴォーンの評価:
   $\Xi(f_k, x, Q, \theta)$ を評価するために、本論文は「タイプI」および「タイプII」の関数（ディリクレ畳み込みとして表現可能なもの）に対する一般的な定理（定理8）を証明する。

• タイプI: 法（modulus）に対して一様に良好な指標和の評価を持つ関数。
• タイプII: 特定の範囲（ここでは $[1, x^{2/3}]$）に支持される関数。
  証明は、畳み込みにおける因子のサイズに基づいて和を分割するヴォーンの手法を利用している。また、タイプIの和を指標を用いて評価する補題9、およびコーシー＝シュワルツの不等式と零点密度評価を用いてタイプIIの和を評価する補題10を用いている。

3. $f_k$ の分解:
   $f_k$（$[1, x]$ に制限されたもの）を、タイプIおよびタイプIIの関数の畳み込みの線形結合として表現することが、核心的な技術的貢献である。これは以下の手順で行われる：

• 素因数の大きさ（$x^{1/2}$）に基づいて、整数を「粗い（rough）」部分と「滑らかな（friable）」部分に分割する。
• これらの部分を関連付けるために、恒等式 $1 * (\mu f^-) = f^+$ を用いる。
• 変数を分離するための積分表示（[6] の補題13.11）を用いて、サポートを $[1, x^{2/3}]$ 内に確保しつつ、条件 $P^-(a) \ge P^+(b)$ を処理することで、結果として得られる項をさらに分解する。

4. 下限への適用:
   確立されたボンビエリ・ヴィノクラドフの評価は、著者の先行研究 [2]（定理11）の結果と組み合わされる。この定理は、算術級数における平均誤差と、短区間における指数和の $L^2$ ノルムの下限を関連付けるものである。著者は、サテ・セレクトの評価から導かれる主項の係数 $g_{k,x}(q)$ を解析することで、定理11に必要な条件を検証する。

主要な結果

• 定理2 (ボンビエリ・ヴィノグラドフの評価):
  $Q \le x^{1/3}(\log x)^{-B}$ かつ $\theta \le Q^{-3}(\log x)^{-B}$、および $k \le (2-\varepsilon)\log\log x$ のとき、本論文は以下を証明する：
  $$\sum_{q \le Q} \max_{(a,q)=1} \max_{|\lambda| \le \theta} \left| \sum_{n \le x} f_k(n) e\left(\left(\frac{a}{q} + \lambda\right)n\right) - \frac{1}{\phi(q)} \sum_{st=q} \mu(s)t \sum_{n \le x, t|n} f_k(n) e(\lambda n) \right| \ll \frac{x}{(\log x)^C}.$$
  この結果は、$Q \ge x^{c_0}$（ここで $c_0 \approx 0.3294$）において失敗していた Yao [17] の先行研究を改善し、有効な範囲を $x^{1/3-\varepsilon}$ まで拡張した。

• 定理3 (下限):
  応用として、本論文は指数和に関する一様な下限を確立する：
  $$\sup_{n \le x} |\Pi_k(n; \alpha)| \gg x^{1/6-\varepsilon}$$
  これは $2 \le k \le (2-\varepsilon)\log\log x$ および任意の $\alpha \in \mathbb{R}$ に対して成立する。この下限は、$k$ の $\log\log x$ からの偏差に依存する因子を含めることで精緻化されている。

意義と主張
本論文は、$k$ 個の素数の積に対する指数和に関するボンビエリ・ヴィノグラドフの評価における文献上の空白を解消したと主張している。具体的には、範囲 $Q \in [x^{c_0}, x^{1/3}]$ において不十分であった零点密度評価に依存していた Yao [17] の証明の限界を修正した。ヴォーンの指標和の評価（Liu と Zhan [7] が $\Lambda$ 関数に対して用いたもの）を $f_k$ に適応させることで、著者は $Q$ の範囲をこの設定における最適値である $x^{1/3-\varepsilon}$ まで拡張した。

また、本研究は、素数（$k=1$ のケース）に用いられる手法が、適切に分解さえすれば、$k$ 個の素数の積という関数に対しても成功裏に一般化できることを示している。論文では、これらの結果が、より広い $k$ の範囲において関数 $h_k = \mathbf{1}_{\omega(n)=k}$（異なる $k$ 個の素因数を持つ整数）にも容易に適応できることが述べられている。

下限（定理3）の意義は、これらの指数和の最大値のサイズに対して非自明な評価を与え、無理数 $\alpha$ に対してもそれらが一様に消滅しないことを示していることである。これは、定理2で確立された算術級数における分布の質から直接導かれている。