The moments of split greatest common divisors

技術要約：最大公約数のモーメントの分裂

問題提起
本論文は、非退化ルカス数列 $(u_n)$ における数列 $(\gcd(n, u_n))_{n \in \mathbb{N}}$ のモーメントの漸近挙動を扱う。一般的な除法数列における $\gcd(u_n, v_n)$ の研究は、ヴォヤタ予想などのディオファントス幾何学における深い予想に関連する困難な問題であるが、$\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. 出現次数と除法： 解析は、出現次数 $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_u(x)$ と表記）を構成することである。
   • 条件付き下界： 著者らは、シフトされた素数 $p$ であって、$p - (\Delta/p)$ が滑らかであるような整数の集合を構成する。これは、滑らかなシフトされた素数の分布に関するGranvilleの予想の弱い形態である予想 4.2 に依拠している。
   • 無条件の下界： 係数が $a_2 = \pm 1$ である特定の場合において、著者らは、算術級数における滑らかなシフトされた素数の分布に関するLichtmanの最近の結果（定理 5.1）を利用する。これにより、未解決の予想を仮定することなく、$u_n$ を割り切る整数 $n$ の十分に大きな集合を構成することが可能となる。
4. 積分評価： 集合 $N_u(x)$ の濃度からモーメントの和へと移行するために、著者らはカラマタの積分定理と部分和の議論を適用する。

主要な結果

• 条件付き漸近挙式 (定理 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）が得られ、また、$\gcd(n, u_n) = n$ となる $n$ の個数に関する [25] の主定理に対する新しい解析的な証明が提供される。

意義と主張
本論文は、$\mathbb{G}_a \times \mathbb{G}_m$ のモーメント問題に対して「決定的な進展」をもたらしたと主張している。具体的には以下の通りである：

1. $a_2 = \pm 1$ の場合において、[29] の予想 3 および 5 を解決した。
2. [13] の主予想を解決した。
3. Lichtman の境界を通じて [2, Th. 1.3] の無条件の上界を改善した。
4. [13] および [25] の予想に対して、一致する下界を提供した。
5. [27] の問い 1.1 の特定のケースに答え、問い 1.2 に進展をもたらした。

著者らは、条件付き漸近式（定理 1.3）を無条件で証明することは、現在では不可能であると述べている。なぜなら、下界が滑らかなシフトされた素数の分布に依存しており、これはElliott–Halberstam予想のような予想なしには未解決の問題だからである。$a_2 = \pm 1$ のケースは、これらの手法にとって最も「興味深く」、かつ扱いやすいシナリオとして強調されている。