論文「ゼロ係数を含む漸化式からの分解におけるガウス挙動と幾何学的ギャップ」の技術的概要

著者: S. Salami
対象分野: 数論（加法的数論）、確率論、組み合わせ論
主要キーワード: ゼッケンドルフの定理、ゼロ線形漸化関係（ZLRR）、ラグナッチ数列、貪欲分解、ガウス分布、幾何学的ギャップ分布、アンサンブルの等価性

1. 研究の背景と問題設定

1.1 従来の知見

ゼッケンドルフの定理（Zeckendorf's theorem）は、すべての正整数が連続しないフィボナッチ数の和として一意に表現できることを示しています。この枠組みは、正の係数を持つ線形漸化関係（PLRS: Positive Linear Recurrence Sequences）に一般化されており、以下の統計的性質が確立されています。

• ガウス分布: 整数の分解における項数（summands）の分布は、大数の法則に従い正規分布（ガウス分布）に収束する。
• 幾何学的ギャップ分布: 項のインデックス間のギャップ（間隔）の分布は、大きなギャップに対して幾何学的に減衰する。

これらは、分解の一意性が保証されている場合に成り立つ結果とされてきました。

1.2 本研究の課題

本研究は、漸化式の先頭係数 $c_1$ がゼロとなる**ゼロ線形漸化関係（ZLRR: Zero Linear Recurrence Relations）**を扱います。

• 問題点: $c_1 = 0$ の場合、正整数の分解の一意性が失われます（一つの整数に対して複数の法的な分解が存在する）。
• 核心的な問い: 分解の一意性が失われた場合でも、PLRS において観測される「項数のガウス分布」や「ギャップの幾何学的減衰」といった統計的規則性は維持されるのか？また、非一意性の度合いはどの程度か？

2. 対象とする数列と手法

2.1 主要なケーススタディ：ラグナッチ数列（Lagonacci Sequence）

本研究では、以下の漸化式を満たす「ラグナッチ数列」$\{Z_n\}$ を主要な対象とします。
$$Z_{n+1} = Z_{n-1} + Z_{n-2}$$
初期条件：$Z_0=1, Z_1=2, Z_2=3$。

• 特性多項式：$P(x) = x^3 - x - 1$
• 支配的な実根（プラスティック比）：$\lambda_1 \approx 1.324718$
• この数列は、$c_1=0$ であるため、分解の一意性が成立しません。

2.2 手法

1. 貪欲分解（Greedy Decomposition）の分析:
   一意性は失われますが、標準的な貪欲アルゴリズム（残りの数から最大の項を繰り返し引く）を用いることで、各整数に対して一意な「標準的な（canonical）」分解を定義し、これを解析対象とします。
2. 母関数と漸化式の導出:
   項数やギャップの分布を解析するために、分解の構造に基づく母関数を構築し、漸化式を導出します。
3. レヴィの連続性定理（Lévy's Continuity Theorem）:
   特性関数の収束性を示すことで、項数の分布が正規分布に収束することを証明します。
4. 転送行列法（Transfer Matrix Method）:
   分解の非一意性（法的な分解の総数）の成長率を評価するために、禁止パターン（「1100」）を避ける文字列の数を数える転送行列を用います。
5. アンサンブルの等価性の原理（Principle of Equivalence of Ensembles）:
   統計力学の概念を借用し、「微視的アンサンブル（特定の範囲の整数を一様分布）」と「正準アンサンブル（無限列の定常分布）」が統計的に等価であることを示し、局所的な統計量の挙動を一般化します。

3. 主要な結果

3.1 項数のガウス分布への収束（定理 3.6）

ラグナッチ数列に対する貪欲分解において、区間 $[Z_N, Z_{N+1})$ から一様に選ばれた整数の項数 $K_N$ は、正規化すると標準正規分布 $N(0, 1)$ に収束します。

• 期待値: $E[K_N] \sim C_1 N$ （$C_1 \approx 0.288675$）
• 分散: $Var(K_N) \sim C_2 N$ （$C_2 \approx 0.079578$）
• 意義: 分解の一意性が失われても、項数の分布がガウス分布になるという統計的性質は、線形漸化構造そのものに起因する本質的なものであり、一意性の有無には依存しないことが示されました。

3.2 ギャップ分布の幾何学的減衰（定理 3.7）

分解における項のインデックス間のギャップ $g$ の分布は、$g \ge 2$ において支配的な根 $\lambda_1$ を用いて幾何学的に減衰します。
$$\lim_{N \to \infty} P(g = k) = C \cdot \lambda_1^{-k}$$

• 具体的には、$k=0$ で約 0.68、$k=1$ で約 0.18、$k \ge 2$ で指数関数的に減少します。
• これもまた、一意性がなくても PLRS と同様の統計的規則性が保たれることを示しています。

3.3 非一意性の定量化と指数関数的成長（定理 3.9）

ある整数 $N$ に対して、ラグナッチ数列を用いた「法的な分解」の総数 $d(N)$ を調べました。

• 分解の総数の成長: 長さ $N$ の法的な二進文字列の総数 $D(Z_N)$ は、$D(Z_N) \sim C \cdot 2^N$ として成長します。
• 成長率の比較:
  • 数列自体の成長率（プラスティック比）：$\lambda_1 \approx 1.32$
  • 分解の総数の成長率（転送行列のペロン・フロベニウス固有値）：$\alpha = 2$
• 平均分解数: 典型的な整数 $N$ に対して、分解の平均数は $\bar{d}_N \sim (\alpha / \lambda_1)^N \approx (1.509755)^N$ となり、指数関数的に増加します。
• 結論: 一意性が失われることにより、分解の数は数列の成長よりも遥かに速い指数関数的な速度で増大します。

3.4 一般化とアンサンブルの等価性（定理 3.8, 4.7, 4.10）

• 一般化: 上記の結果（ガウス分布、幾何学的ギャップ）は、特性多項式が単一の支配的な実根を持つ広範な ZLRR に対して成り立ちます。
• アンサンブルの等価性: 局所的な統計量（項数、ギャップなど）について、微視的アンサンブル（有限区間からの一様サンプリング）と正準アンサンブル（定常過程）の期待値は漸近的に一致します。これにより、統計的規則性の頑健性が保証されます。
• 対数平均の集中: 典型的な整数における分解数の対数 $\frac{1}{L} \log d(N)$ は、定数 $K = \log(\alpha/\lambda_1)$ の周りに確率収束します。

4. 学術的意義と結論

本研究は、数論における分解の統計的性質に関する理解を大きく前進させました。

1. 一意性の非必要性の証明: ゼッケンドルフ型分解の統計的性質（ガウス分布、幾何学的ギャップ）は、分解の「一意性」に依存するのではなく、**線形漸化関係の代数構造（特に特性多項式の支配的な根）**に本質的に依存していることを示しました。
2. 非一意性システムの定量化: 分解が一意でない場合でも、貪欲アルゴリズムによる標準的な分解は統計的に安定しており、一方で「法的な分解の総数」は指数関数的に爆発する傾向があることを定量的に示しました。
3. 方法論的貢献: 統計力学の「アンサンブルの等価性」の原理を数論的分解問題に応用し、複雑な非一意性システムにおける統計的挙動を解析する新しい枠組みを提供しました。

結論:
ゼロ係数を含む漸化式（ZLRR）において、分解の一意性は失われますが、項数の分布がガウス分布に収束し、ギャップ分布が幾何学的に減衰するという「統計的規則性」は維持されます。これは、これらの法則が線形漸化構造そのものの強力な帰結であることを示唆しており、一意性の制約がなくても統計的予測が可能であることを意味します。一方で、非一意性の度合いは非常に大きく、分解の数は数列の成長を凌駕する指数関数的速度で増加します。