論文要約：GCD ベースの写像 $f(a, b)$ の漸近密度と構造

1. 問題の定義

本論文は、2 変数関数 $f: \mathbb{N} \times \mathbb{N} \to \mathbb{N}$ に関する研究である。この関数は以下のように定義される。
$$f(a, b) = \frac{\gcd(ab, a+b)}{\gcd(a, b)}$$
ここで、$\gcd$ は最大公約数を表す。
主な研究課題は以下の通りである：

1. この関数が全射（surjective）であることの証明。
2. 任意の自然数 $n$ に対して $f(a, b) = n$ となる整数対 $(a, b)$ の特徴付け（解の構造の記述）。
3. 写像 $f(a, b)$ が $1$となる整数対$(a, b)$ の漸近密度（limiting density）の導出。
4. 一般化された関数 $f_r(a, b)$ における $r \ge 2$ の場合の挙動の解析。

2. 手法と理論的枠組み

2.1 基本変形とパラメータ化

まず、$d = \gcd(a, b)$ とおき、$a = da', b = db'$（ただし$\gcd(a', b') = 1$）と分解する。このとき、関数は以下のように簡略化される。
$$f(a, b) = \gcd(d, a' + b')$$
この変形により、$f(a, b) = n$ となる条件は、$d$ と $a' + b'$ の最大公約数が $n$ になることと同値である。これに基づき、解の一般形を導出した。

2.2 $SL_2(\mathbb{Z})$ 作用と対称性

解の構造を記述する際、$SL_2(\mathbb{Z})$（整数係数で行列式が 1 の 2 次行列の群）の作用が鍵となる。

• 原始対（primitive pairs）$(a', b')$ に対して $SL_2(\mathbb{Z})$ が作用すると、互いに素である性質が保存される。
• 関数 $f$ の値を一定に保つためには、$a' + b'$ が一定の直線（$x+y=c$）上の点に制限される必要がある。この直線を固定する部分群（安定化部分群）の作用が、解の対称性（ヒートマップの対称性）を生み出している。

2.3 中国剰余定理と解の構成

$n$ が平方因子を持たない（squarefree）場合、解は中国剰余定理を用いて構成される。

• $n$ を素因数分解 $n = p_1 p_2 \cdots p_k$ とする。
• 各素数 $p_i$ に対して、最小解 $(s_i, t_i)$ と周期 $g_i$ を定義する。
• 各素数に対して「$a$ を変化させるか $b$ を変化させるか」という選択を行うことで、$2^k$ 個の等差数列族（arithmetic progression families）が生成され、これらがすべての解を網羅する。

2.4 密度の解析

漸近密度 $\rho = \lim_{N \to \infty} \frac{1}{N^2} |\{(a, b) \in [1, N]^2 : f(a, b) = 1\}|$ を求めるために、素数ごとの独立性を利用したオイラー積（Euler product）の手法を用いた。

• 条件 $f(a, b) = 1$ は、任意の素数 $p$ に対して $p \nmid \gcd(a' + b', d)$ であることを意味する。
• 確率論的なアプローチ（$p$ が $d$ を割り、かつ $a' + b'$ を割る確率の計算）を用いて、各素数 $p$ における「除外される確率」を導き出した。

3. 主要な結果

3.1 全射性と解の一般形（定理 2.1, 2.3）

• 全射性: 任意の自然数 $n$ に対して $f(a, b) = n$ となる $(a, b)$ が存在することが証明された。
• 解の一般パラメータ化: $f(a, b) = n$ となるすべての解は、以下の 3 変数 $(k, m, a')$ によって一意に記述される。
  • $a = n k a'$
  • $b = n k (nm - a')$
  • 条件: $m \ge 1$, $1 \le a' \le nm-1$, $\gcd(a', nm) = 1$, $\gcd(k, m) = 1$。
  • このパラメータ化は、$SL_2(\mathbb{Z})$ の作用と整合性を持つ。

3.2 $f(a, b) = 1$ の漸近密度（定理 3.2）

$f(a, b) = 1$ となる整数対の漸近密度 $\rho$ は、以下のオイラー積で与えられる。
$$\rho = \prod_{p} \left( 1 - \frac{1}{p^2(p+1)} \right) \approx 0.88151$$
この値は、**二次体の類数定数（quadratic class number constant）**として知られている。

• 意義: この結果は、加法数論（GCD 写像の密度）と代数数論（実二次体の類数分布、Cohen-Lenstra 予想）の間に深い関連性があることを示唆している。具体的には、実二次体 $\mathbb{Q}(\sqrt{D})$ において類数 $h(D)$ が奇数となる確率（約 88.15%）と一致する。

3.3 一般化された写像 $f_r(a, b)$ の結果（定理 4.2）

$r \ge 2$ に対して $f_r(a, b) = \frac{\gcd(a^r + b^r, ab)}{\gcd(a, b)}$ を定義した場合、その漸近密度は以下のようになる。
$$\rho_r = \frac{6}{\pi^2} \approx 0.60793$$

• これは、2 つの正整数が互いに素である確率（$\gcd(a, b) = 1$ の密度）と完全に一致する。
• 理由: $r \ge 2$ の場合、$a^r + b^r$ と $ab$の共通素因数は、$a$と$b$の共通素因数以外には存在しないことが示された（サイクロトミック多項式の性質による）。したがって、$f_r(a, b) = \gcd(a, b)$ となり、問題が「2 つの数が互いに素である確率」に帰着される。

4. 結論と意義

本論文は、単純な GCD 演算に基づく写像 $f(a, b)$ が、驚くほど豊かな数論的構造を持っていることを明らかにした。

1. 構造の解明: $SL_2(\mathbb{Z})$ の作用と中国剰余定理を用いることで、解の集合が明確にパラメータ化され、対称性の起源が理解された。
2. 定数の発見: $f(a, b) = 1$ の密度が、代数数論における重要な定数（二次類数定数）と一致することは、異なる数論分野間の予期せぬ接点を示している。
3. 一般化: 指数 $r$ を変化させることで、密度が「類数定数」から「互いに素な数の確率（$6/\pi^2$）」へと遷移する現象を解明した。

これらの結果は、数論的関数の漸近的な振る舞いを理解する上で新たな視点を提供し、特に加法と乗法の相互作用が生成する構造の解析において、群論的アプローチと確率的アプローチの統合の重要性を強調している。