Sign changes of the Liouville function in arithmetic progressions

技術的概要：算術級数におけるリウヴィル関数の符号変化

問題提起
本論文は、算術級数における最小素数に関するリニク（Linnik）の定理に対する乗法的関数の類似を扱っている。リニクの定理は、$p \ll q^L$（現在 $L=5$）を満たす素数 $p \equiv a \pmod q$ の存在を保証するが、本研究は算術級数内におけるリウヴィル関数 $\lambda(n)$ の分布を調査するものである。具体的には、素数法則 $q$ と既約剰余類 $a \pmod q$ に対して、$n \equiv m \equiv a \pmod q$ かつ $\lambda(n) = -1$、$\lambda(m) = +1$ となる整数 $n, m \le N$ の存在を保証するために $N$ がどの程度大きくなければならないか、すなわち、固定された算術級数内でリウヴィル関数が必然的に符号を変えるのはどのスケールか、という問いが提起されている。

手法
証明は背理法によって進められる。著者らは、十分大きな素数 $q$ に対して、リウヴィル関数が $n \le q^{5/2+\varepsilon}$ かつ $n \equiv a \pmod q$ となるすべての $n$ において、一定の符号 $\kappa \in \{-1, +1\}$ を保つと仮定する。議論は以下の 3 つの主要な段階に構成されている。

1. 組合せ論的議論による周期性と均衡性：
   補題 7 を用いて、$\lambda(n)$ が $N \ge q^{2+\varepsilon}$ までの級数上で一定であるならば、$n \le N/q$ に対して $\lambda(n)$ は $q$-周期的でなければならない（具体的には $(n,q)=1$ に対して $\lambda(n+q) = \lambda(n)$）ことを示す。さらに、この仮定は法 $q$ に関する既約剰余類上の $\lambda(n)$ の和が厳密にゼロとなることを強制する。この段階は、長さ $q$ の区間における $+1$ と $-1$ の値の数が不均衡であれば、その級数内の整数の積を構成することで一定符号の仮定に違反することを示すために、組合せ集合論（補題 6、鳩の巣原理の応用）に依存している。

2. ディリクレ指標による近似：
   周期性と零和条件が成り立つと仮定すると、補題 8 は大篩不等式とポアソン和公式を用いて、$\lambda(n)$ が実ディリクレ指標 $\chi_q$（ルジャンドル記号）を定数 $\kappa' \in \{-1, 1\}$ でスケーリングしたものと本質的に一致することを示す。具体的には、高々 $O(q^{1-\varepsilon/4})$ 個の例外を除き、すべての $n \le q$ に対して $\lambda(n) = \kappa' \chi_q(n)$ となる。

3. 2 つの場合の排除：
   証明は、$\kappa'$ の可能な値の両方を排除することで結論付けられる。

   • 場合 $\kappa' = -1$：$\lambda(n) \approx -\chi_q(n)$ である場合、著者らは $\chi_q(p) = \pm 1$ となる素数 $p \le q^{1/2}$ の分布を分析する。そのような素数の積を考慮することで、仮定を満たすために必要な例外の数が、素数定理を通じて既知の素数の密度と矛盾することを示す。
   • 場合 $\kappa' = +1$：$\lambda(n) \approx \chi_q(n)$ である場合、著者らは乗法的関数 $g(n) = \sum_{d|n} \chi_q(d)$ を構成する。この仮定の下では、$g(n)$ がほとんどの非平方整数で消滅することを示す。しかし、補題 5（メリン逆変換）と $L(1, \chi_q)$ に対するシゲル（Siegel）の下限（補題 3）を用いることで、$\sum g(n)W(n/q)$ の和に対する下限を導き出し、これは消滅性から導かれる上限と矛盾する。

主要な結果
主要定理（定理 1）は、任意の $\varepsilon > 0$ に対して、$1/\varepsilon$ に関して十分大きな任意の素数 $q$ と、任意の剰余類 $(a, q)=1$ に対して、$n \equiv m \equiv a \pmod q$ かつ $\lambda(n) = -1$、$\lambda(m) = +1$ となる整数 $n, m \le q^{5/2+\varepsilon}$ が存在することを確立する。

意義と限界
著者らは、この結果を算術級数における乗法的関数の符号変化の理解における重要な一歩として位置づけている。境界 $q^{5/2+\varepsilon}$ は、一般的な乗法的関数に対する以前の無条件の結果を改善し、特定のケースに対して一般化リーマン予想（GRH）の下でのみ以前に知られていた結果の質と一致する。

本論文は、結果の実効性に関する明確な限界を指摘している。指数と隐含される定数が実効的に計算可能なリニクの定理とは異なり、ここでの議論はシゲルの定理に依存している。したがって、$1/\varepsilon$ に関する「十分大きな」$q$ の閾値は計算不可能である。

著者らは、そのアプローチをマトマキ（Matomäki）とテレバイネン（Teräväinen）[7] の同時研究と区別している。彼らの研究は、一般的な実数値乗法的関数（リウヴィル関数については無条件で）に対して $q^{2+\varepsilon}$ というより強い境界を達成している。著者らは、自らの議論が短く、異なる路線で進められるものであり、特に大篩、ポアソン和公式、およびリウヴィル関数の固有の性質との相互作用を利用して $q^{5/2}$ の閾値を導出したことを強調している。