On a conjecture of Corradi and Katai

技术摘要：关于 Corrádi-Kátai 猜想的研究

问题陈述
本文研究了涉及 Liouville 函数 $\lambda(n)$ 的类 Goldbach 型和的渐近行为。经典的 Goldbach 猜想关注偶数表示为两个素数之和（这与 von Mangoldt 函数 $\Lambda(n)$ 相关），而这项工作则用完全乘性函数 Liouville 函数替换了 $\Lambda(n)$，该函数定义为对于所有素数 $\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}$。主要目标是建立更强的界限，以展示这些和式中的显著抵消现象，特别是针对与 Corrádi-Kátai 猜想相关的 $k=2$ 的情况。

方法论
作者采用了傅里叶分析和指数和技术，特别是利用了 Davenport 关于 Liouville 函数的研究结果。

1. 傅里叶分析与指数和： 本文利用指数和 $S(N, x) = \frac{1}{\sqrt{N}} \sum_{n=1}^N \lambda(n)e(nx)$。核心分析工具是 Davenport 定理，该定理指出对于 $x \in [0, 1]$，一致满足 $|S(N, x)| \ll_A \frac{\sqrt{N}}{\log^A N}$。
2. 积分表示： 利用 Parseval 等式和指数和的性质，作者将和式 $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$）依赖于应用于 $k=2$ 情况的 Cauchy-Schwarz 不等式，而 $k=2$ 的情况通过 Davenport 定理导出的 $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$。论文指出，如果定义该猜想的极限确实存在，则此结果断言 Corrádi-Kátai 猜想成立，但并未证明该极限无条件存在。

• 定理 3 (符号分布)： 作为主要结果的推论，本文展示了 Liouville 函数中符号模式的等分布性。对于任何符号序列 $(\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)$$
  这表明符号模式以预期的频率出现，误差项极小。

意义与背景
本文将研究结果置于 Corrádi-Kátai 猜想（1969）的背景下，该猜想假设 $\lim_{N \to \infty} \frac{|G_2(N)|}{N} = 0$。

• 作者指出，虽然在引用的文献 [3] 中，该猜想在假设存在无穷多个 Siegel 零点的情况下得到了证明，但无条件的证明仍然难以实现。
• 本文引用了 Mangerel 最近的工作，他证明了当 $N \notin \{2, 3, 5, 10\}$ 时 $|G_2(N)| < N-1$，回答了 Sarnak 提出的一个较弱的问题。
• 本文对完整猜想的贡献是适度的：定理 2 并没有证明极限对每个 $N$ 都存在或为零，但它证明了下极限为零，并且 $|G_2(N)|$ 的大值是非常稀疏的。
• 本文断言定理 1 和定理 3 是等价的，强调了这些和式中的抵消现象直接与 Liouville 函数符号的类随机分布相关联。

该工作为高阶和（$k \geq 3$）提供了严谨的无条件改进，并为长期的 $k=2$ 情况提供了基于密度的部分解决，强化了 Liouville 函数在加法设定下表现出随机性的启发式观点。