The moments of split greatest common divisors

技术摘要：分裂最大公约数的矩

问题陈述
本文研究了序列 $(\gcd(n, u_n))_{n \in \mathbb{N}}$ 的矩的渐近行为，其中 $(u_n)$ 是一个非退化卢卡斯序列（Lucas sequence）。虽然研究一般除性序列的 $\gcd(u_n, v_n)$ 是一个与 Diophantine 几何中深层猜想（如 Vojta 猜想）相关的难题，但 $\gcd(n, u_n)$ 的特定情况对应于源自代数群 $\mathbb{G}_a \times \mathbb{G}_m$ 的除性序列。

此前，Sanna 确定了对数矩 $\sum_{n \le x} (\log \gcd(n, u_n))^\lambda$ 的渐近性质。然而，该序列本身的矩 $\sum_{n \le x} \gcd(n, u_n)^\lambda$ 在很大程度上仍未解决，仅有部分上界可用（例如由 Mastrostefano 提供的结果）。主要目标是确定这些矩的精确渐近估计，提供无条件的结论以及基于解析数论标准猜想的条件结论。

方法论
作者结合了解析数论、卢卡斯序列的性质以及涉及光滑数（smooth numbers）的组合构造。

1. 出现秩（Rank of Appearance）与整除性： 分析依赖于出现秩 $z(m)$，即满足 $m \mid u_n$ 的最小 $n$。条件 $n' = \gcd(n'k, u_{n'k})$ 被转化为涉及 $z(n')$ 和 $n'k$ 整除性的条件。总和根据涉及 $(n', k)$ 的对进行分解，其中 $n = n'k$。
2. 上界： 无条件的上界通过将求和定义域划分为基于辅助变量大小的情况来导出。一个关键组成部分是限制使得 $\gcd(n, z(n))$ 较大的整数 $n$ 的数量。这利用了 Gordon 和 Pomerance 关于具有固定出现秩的整数计数的结论。
   • 对于条件上界，作者假设了猜想 3.2，该猜想提出了一个关于具有固定出现秩的整数的更强密度估计，类似于伪素数的界限。
3. 下界： 策略是构造一个由满足 $n \mid u_n$ 的整数 $n$ 组成的极大子集（记作 $N_u(x)$）。
   • 条件下界： 作者构造了一个由移位素数 $p$ 组成的整数集合，其中 $p - (\Delta/p)$ 是光滑的。这依赖于 猜想 4.2，即 Granville 猜想关于光滑移位素数分布的一个弱实例。
   • 无条件下界： 对于系数 $a_2 = \pm 1$ 的特定情况，作者利用了 Lichtman 关于算术级数中光滑移位素数分布的最新结果（定理 5.1）。这使得在不假设未证明猜想的情况下，构造一个足够大的满足 $n$ 整除 $u_n$ 的整数集合成为可能。
4. 积分估计： 为了从集合 $N_u(x)$ 的基数过渡到矩之和，作者应用了 Karamata 积分定理和部分求和法。

关键结果

• 条件渐近性 (定理 1.3)： 在假设猜想 3.2 和 4.2 且对于系数 $a_2 = \pm 1$ 的非退化卢卡斯序列的情况下，矩满足：
  $$\sum_{n \le x} \gcd(n, u_n)^\lambda = x^{\lambda+1 - (1+o_\lambda(1)) \frac{\log \log \log x}{\log \log x}}$$
  这解决了 $\mathbb{G}_a \times \mathbb{G}_m$ 情况下的矩问题。

• 无条件上界 (定理 1.4)： 对于任何非退化卢卡斯序列，作者证明了：
  $$\sum_{n \le x} \gcd(n, u_n)^\lambda \le x^{\lambda+1 - (1/2+o_\lambda(1)) \frac{\log \log \log x}{\log \log x}}$$
  指数 $1/2$ 被指出是当前方法的产物。

• 无条件下界 (定理 1.4)： 如果 $a_2 = \pm 1$，作者建立了下界：
  $$\sum_{n \le x} \gcd(n, u_n)^\lambda \ge x^{\lambda + 0.715}$$
  该结果是通过使用 Lichtman 关于光滑移位素数的定理导出的。

• 精炼猜想 (猜想 1.5)： 基于与卢卡斯伪素数的类比，作者提出了一个涉及迭代对数指数项的更精确的渐近形式，表明当前的界限并非精度的最终极限。

• 推论： 这些方法得到了 $\gcd(n, u_n)$ 分布的改进界限（推论 1.6），并为 [25] 中关于 $\gcd(n, u_n) = n$ 的计数的主定理提供了新的解析证明。

意义与主张
本文声称在 $\mathbb{G}_a \times \mathbb{G}_m$ 的矩问题上取得了“关键进展”。具体而言，它：

1. 解决了 [29] 中关于 $a_2 = \pm 1$ 情况下的猜想 3 和 5。
2. 解决了 [13] 的主要猜想。
3. 通过 Lichtman 的界限改进了 [2, Th. 1.3] 的无条件上界。
4. 为 [13] 和 [25] 中的猜想提供了匹配的下界。
5. 回答了 [27] 中的特定问题 1.1，并对问题 1.2 取得了进展。

作者指出，在不假设如 Elliott–Halberstam 等猜想的情况下，无条件证明条件渐近性（定理 1.3）目前是不可行的，因为下界依赖于光滑移位素数的分布，而这是一个尚未解决的问题。$a_2 = \pm 1$ 的情况被强调为这些方法最“有趣”且最易处理的情景。