On a conjecture of Corradi and Katai

技術要約：コッラディとカータイの予想について

問題設定
本論文は、リウヴィル関数 $\lambda(n)$ を含むゴールドバッハ型の和の漸近的挙動を調査するものである。古典的なゴールドバック予想は、偶数を2つの素数の和として表すこと（これはフォン・マンゴルト関数 $\Lambda(n)$ に関連している）を扱うが、本研究では $\Lambda(n)$ を、すべての素数 $p$ に対して $\lambda(p) = -1$ かつ $\lambda(mn) = \lambda(m)\lambda(n)$ と定義される完全乗法的関数であるリウヴィル関数に置き換えている。

対象となる中心的な対象は、以下の和である：
$$G_k(N) := \sum_{(a_1, \dots, a_k) \in S_k(N)} \lambda(a_1) \cdots \lambda(a_k)$$
ここで、$S_k(N) = \{(a_1, \dots, a_k) \in \mathbb{N}^k \mid a_1 + \dots + a_k = N\}$ である。この和の自明な上界は $|G_k(N)| \ll N^{k-1}$ である。主な目的は、これらの和において顕著な打ち消し合いを示す、より強い評価式を確立することであり、特にコッラディ・カータイ予想に関連する $k=2$ の場合を重点的に扱う。

手法
著者は、フーリエ解析および指数和の手法、具体的にはリウヴィル関数に関するダベンポートの結果を活用している。

1. フーリエ解析と指数和: 本論文は、指数和 $S(N, x) = \frac{1}{\sqrt{N}} \sum_{n=1}^N \lambda(n)e(nx)$ を利用する。中核となる解析的手法は、$x \in [0, 1]$ において一様に $|S(N, x)| \ll_A \frac{\sqrt{N}}{\log^A N}$ であることを示すダベンポートの定理である。
2. 積分表示: パッセバルの等式と指数和の性質を用いて、著者らは $G_k(N)$ を $S(N, x)$ の冪の積分に関連付けている。具体的には、恒等式 $\int_0^1 S^2(N, x)e(-nx)dx = \frac{G_2(n)}{N}$ を用いて、離散的な和と指数和の連続的な $L^2$ および $L^4$ ノルムを結びつけている。
3. 帰納的議論: $k \geq 3$ の場合、証明は帰納法によって進められる。基本ケース（$k=3$）は、ダベンポートの定理から導かれる $G_2(n)$ の $L^2$ 平均値にコーシー・シュワルツの不等式を適用することに基づいている。
4. 部分和法: $|G_2(N)|$ が大きくなる $N$ の集合に対する評価を導出するために、著者は $G_2(n)/n$ の平均二乗推定に対する部分和法を用いている。

主要な貢献と結果

• 定理 1 (ケース $k \geq 3$): 任意の固定された整数 $k \geq 3$ および任意の正の定数 $A$ に対して、本論文は以下を証明している：
  $$|G_k(N)| \ll_{A, k} \frac{N^{k-1}}{\log^A N}$$
  この結果は、すべてのランク $k \geq 3$ において、自明な上界 $O(N^{k-1})$ に対するべき乗減少による改善を確立している。

• 定理 2 (ケース $k = 2$): 本論文は、より困難な $k=2$ のケースに対処している。著者は $K(\delta) = \{N \in \mathbb{N} \mid |G_2(N)| > \delta N\}$ と定義する。ここでの主要な結果は、以下の密度評価である：
  $$|K(\delta) \cap \{1, 2, \dots, N\}| \ll_A \frac{1}{\delta^2} \frac{N}{\log^A N}$$
  これは、$|G_2(N)|$ が $N$ の線形分率を超える整数の集合の密度がゼロであることを意味する。したがって、$\liminf_{N \to \infty} \frac{|G_2(N)|}{N} = 0$ である。著者は、この結果は、もし予想を定義する極限が存在するならば、コッラディ・カータイ予想が真であることを主張するものであるが、極限が非条件的に存在することを証明するものではないと注記している。

• 定理 3 (符号の分布): 主要な結果の系として、本論文は $k \geq 3$ におけるリウヴィル関数の符号パターンの等分布性を示している。任意の符号列 $(\epsilon_1, \dots, \epsilon_k) \in \{\pm 1\}^k$ に対して、$a_1 + \dots + a_k = N$ かつ $\lambda(a_i) = \epsilon_i$ を満たす解の数は以下の通りである：
  $$\frac{1}{2^k} \binom{N-1}{k-1} + O_A\left(\frac{N^{k-1}}{\log^A N}\right)$$
  これは、符号パターンが期待される頻度で、小さな誤差項の範囲内で発生していることを示している。

意義と文脈
本論文は、その結果をコッラディ・カータイ予想（1969年）の文脈の中に位置づけている。この予想は、$\lim_{N \to \infty} \frac{|G_2(N)|}{N} = 0$ であることを提唱している。

• 著者は、引用されている文献 [3] において、この予想が（無限個のシエル・ゼロの存在を仮定することで）条件付きで証明されていることに触れている。
• また、Mangerel による最近の研究（$N \notin \{2, 3, 5, 10\}$ のとき $|G_2(N)| < N-1$ であることを証明し、サーンラックが提起したより弱い問いに答えたもの）にも言及している。
• 著者の貢献は、完全な予想に対しては控えめなものである。定理 2 は、極限がすべての $N$ に対して存在するか、あるいはゼロになるかを証明するものではないが、下極限がゼロであること、および $|G_2(N)|$ が大きな値をとるケースが極めて稀であることを証明している。
• 本論文は、定理 1 と定理 3 が同値であることを断言しており、和における打ち消し合いが、リウヴィル関数の符号のランダムに近い分布と直接結びついていることを強調している。

本研究は、高ランクの和（$k \geq 3$）に対する自明な上界の非条件的な改善を提供し、また $k=2$ の長年の課題に対して、密度に基づく部分的な解決策を提示しており、リウヴィル関数が加法的設定においてランダムに振る舞うというヘウリスティックを補強している。