On mixed $b$-concatenations of Fibonacci and Lucas numbers that are Lucas numbers

この論文「On mixed b-concatenations of Fibonacci and Lucas numbers that are Lucas numbers（フィボナッチ数とルカス数の混合 b 進連結表現として表されるルカス数について）」は、数論、特にディオファントス方程式と対数線形形式の理論を用いた研究です。以下に、論文の技術的な要約を問題設定、手法、主要な貢献、結果、そして意義の観点から詳細に記述します。

1. 問題設定 (Problem Statement)

本研究は、フィボナッチ数列 $(F_n)_{n \ge 0}$ とルカス数列 $(L_n)_{n \ge 0}$ の混合連結（mixed concatenation）に焦点を当てています。
具体的には、ある整数 $b$ ($2 \le b \le 10$) を底とする $b$ 進法において、あるルカス数 $L_n$ が、別のルカス数 $L_m$ とフィボナッチ数 $F_k$、あるいはフィボナッチ数 $F_m$ とルカス数 $L_k$ を連結することで表現できるかどうかを決定する問題を扱います。

数学的には、以下の 2 つのディオファントス方程式の非負整数解 $(n, m, k)$ をすべて求めることを目的としています。ここで、$d$ は $F_k$ または $L_k$ の $b$ 進法における桁数を表します。

1. 式 (1.1): $L_n = L_m \cdot b^d + F_k$
   • これは、$L_m$ の後に $F_k$ を連結した形（$L_m$ が上位桁、$F_k$ が下位桁）を表します。
2. 式 (1.2): $L_n = F_m \cdot b^d + L_k$
   • これは、$F_m$ の後に $L_k$ を連結した形を表します。

過去の研究では、同じ数列内の項の連結（例：フィボナッチ数同士の連結）や、ペル数・ペル・ルカス数の連結に関する結果が存在しましたが、異なる数列（フィボナッチとルカス）の混合連結を一般の底 $b$ で扱った本研究は新しい試みです。

2. 手法 (Methodology)

本研究では、ディオファントス近似の強力な 2 つのツールを組み合わせて、解の存在範囲を絞り込み、最終的に有限個の解を特定しています。

A. 対数線形形式の下限評価 (Lower bounds for linear forms in logarithms)

• Matveev の定理 (Theorem 2.2): 代数的数の対数の非ゼロ線形形式に対する下限評価を用います。
• 方程式を変形し、$\Lambda = b_1 \log \gamma_1 + \dots + b_t \log \gamma_t$ の形に持ち込みます。ここで $\gamma_i$ は $\mathbb{Q}(\sqrt{5})$ 内の数（$b, \alpha, \sqrt{5}$ など）です。
• この定理により、変数 $n, m, k$ に関する非常に大きな上限（例：$n < 10^{30}$ 程度）が導かれます。これにより、解が無限に存在しないこと、かつ探索範囲が有限であることが保証されます。

B. 連分数に基づく縮小法 (Reduction methods based on continued fractions)

• Baker-Davenport 縮小法 (Dujella & Pethő による改良): 上記で得られた巨大な上限は計算機で直接探索するには依然として大きすぎます。そこで、連分数展開の性質を用いてこの上限を実用的な範囲まで縮小します。
• Lemma 2.3 (Dujella & Pethő) と Lemma 2.4 (Legendre): 不等式 $0 < |u\tau - v + \mu| < AB^{-w}$ の解の存在性を判定するために使用します。
  • $\tau = \frac{\log b}{\log \alpha}$ などの無理数を連分数展開し、その収束分数（convergents）を調べることで、変数の上限を劇的に減少させます（例：$n < 1500$ 程度まで）。
• SageMath の活用: 連分数の計算、収束分数の探索、および最終的な解の全探索（brute-force search）はすべて SageMath を用いて高精度（1000 桁まで）で行われました。

3. 主要な貢献と証明の概要 (Key Contributions & Proof Outline)

論文は以下のステップで証明を構成しています。

1. 変数間の不等式関係の確立:
   • フィボナッチ数とルカス数のビネの公式（Binet formulae）およびその近似値（$\alpha^n$ による評価）を用いて、$n, m, k, d$ の間の不等式（例：$k+m-5 < n < k+m+7\log b$）を導出しました。
2. 大域的な上限の導出:
   • Matveev の定理を適用し、$n$ が $b$ に依存する巨大な定数（例：$4.4 \times 10^{27} (\log b)^4$）以下であることを示しました。
3. 局所的な上限への縮小:
   • 連分数法を用いて、上記の巨大な上限を $n \le 229$ (式 1.1 の場合) や $n \le 214$ (式 1.2 の場合) 程度まで縮小しました。
4. 最終的な解の探索:
   • 縮小された範囲（$n \le 1500$）内で、コンピュータによる全探索を行い、すべての解を列挙しました。

4. 結果 (Results)

$2 \le b \le 10$ のすべての底に対して、方程式 (1.1) と (1.2) の解は有限個であり、それらは完全に決定されました。

• 定理 1.1 (式 1.1 の解):

  • 各底 $b$ に対して、解 $(n, m, k, b, d)$ のリストが提供されています。
  • 特に $b=10$ (10 進法) の場合:
    • $L_5 = 11$ は、$L_1$ と $F_1$ (または $F_2$) の連結 ($101 \cdot 1 + 1 = 11$) として表現されます。
    • $L_6 = 18$ は、$L_1$ と $F_6$ の連結 ($101 \cdot 1 + 8 = 18$) として表現されます。
    • これらが 10 進法における唯一の解です。

• 定理 1.2 (式 1.2 の解):

  • 同様に、各底 $b$ に対する解のリストが提供されています。
  • 特に $b=10$ (10 進法) の場合:
    • $L_5 = 11$ は、$F_1$ (または $F_2$) と $L_1$ の連結 ($101 \cdot 1 + 1 = 11$) として表現されます。
    • これが 10 進法における唯一の解です。

5. 意義 (Significance)

• 既存研究の拡張: これまでの研究は主に「単一の漸化式数列内の項の連結」に限定されていましたが、本研究は「異なる数列（フィボナッチとルカス）の混合連結」を扱い、その解の有限性を証明しました。
• 一般化可能性: 本研究で用いられた手法（Matveev の定理と Baker-Davenport 縮小法の組み合わせ）は、他の線形漸化式数列（ペル数など）の混合連結問題や、より一般的な数列への応用が可能であることを示唆しています。
• 数論的構造の解明: 特定の数の表現（連結）が、数列の漸化式構造とどのように相互作用するかについて、具体的な数値例を通じて深く理解する手がかりを提供しています。

結論として、この論文は $2 \le b \le 10$ の範囲において、フィボナッチ数とルカス数の混合連結として表されるルカス数が有限個しか存在しないことを厳密に証明し、その具体的な解をすべて列挙することに成功しました。