van der Laan-Padovan数の2つの累乗の比

基本情報

• 論文ID: 2510.06192
• タイトル: Ratios of two powers of van der Laan-Padovan numbers
• 著者: Yamada Tomohiro（大阪大学日本語言文化センター）
• 分類: math.NT（数論）
• 発表日時: 2025年10月12日（arXiv preprint v2）
• 論文リンク: https://arxiv.org/abs/2510.06192

要旨

van der Laan-Padovan数列 $P_n$（$n = 0, 1, \ldots$）は、$P_0 = 1$、$P_1 = P_2 = 0$、および漸化式 $P_{n+3} = P_{n+1} + P_n$（$n \geq 0$）により定義される。本論文は、$P_m^b = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a$ を満たすすべての整数対 $(P_m, P_n)$ を決定する。ここで $g_1, g_2, g_3, g_4, a, b$ は整数である。より一般的には、主根条件を満たす線形漸化数列 $u_n$ と与えられた素数集合 $p_1, \ldots, p_k$ に対して、$u_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a$ を満たす解の対 $(u_m, u_n)$ は有限個のみである。

研究背景と動機

問題の背景

1. 線形漸化数列の算術的性質: 線形漸化数列の算術的性質とディオファントス方程式は、数論研究の重要な領域である。最も広く研究されているのはLucas数列であり、多くの深い結果が知られている。
2. van der Laan-Padovan数列: この数列は、もともとDom Hans van der Laanが建築学の研究で導入し、その後Richard Padovanがさらに一般化した。数列は以下の通りである：1, 0, 0, 1, 0, 1, 1, 1, 2, 2, 3, 4, 5, 7, 9, 12, 16, 21, 28, 37, 49, 65, 86, 114, 151, 200, ...
3. 既存理論の限界: 一般的な線形漸化数列に対しては、Lucas数列と比較して既知の結果が少ない。特に累乗関係の研究において、すべての解を決定するための有効な方法が不足している。

研究の動機

1. 理論的空白の埋補: 一般的な線形漸化数列における累乗関係の問題に対する有効な解決方法を提供する
2. 実用的応用: van der Laan-Padovan数列は建築学および幾何学において重要な応用を持つ
3. 方法論的貢献: より広範な線形漸化数列に適用可能な技術を開発する

核心的貢献

1. 一般的な有限性定理の確立: 主根条件を満たす線形漸化数列に対して、$u_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a$ 形式の解が有限個のみであることを証明した
2. 有効な上界の提供: 定理4.1において解の有効で計算可能な上界を与えた。上界は非常に大きいが、実際の計算では実行可能である
3. van der Laan-Padovan数列問題の完全解決: $P_m^b = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a$ を満たすすべての解を決定した
4. 新しい計算技術の開発: Baker方法、格簡約技術、およびコンピュータ検証を組み合わせ、実用的な求解戦略を提供した

方法の詳細

タスク定義

線形漸化数列 $u_n$ と素数集合 $\{p_1, \ldots, p_k\}$ が与えられたとき、以下の方程式を満たすすべての整数対 $(m,n)$ を求める： $u_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a$ ここで $g_1, \ldots, g_k, a, b$ は整数であり、$a > 0$ である。

理論的枠組み

1. 線形漸化数列の表現

r階線形漸化数列の一般項公式は以下の通りである： $u_n = \sum_{i=1}^t q_i(n)\alpha_i^n$ ここで $\alpha_1, \ldots, \alpha_t$ は特性多項式の根であり、$q_i(n)$ は多項式である。

2. 主根条件

$|\alpha_1| > |\alpha_2| \geq \cdots \geq |\alpha_t|$ と仮定し、$\kappa_1 \neq 0$ である。ここで $\kappa_1$ は $\alpha_1$ に対応する係数である。

3. 線形対数形式の下界

核心的な技術はMatveevの線形対数形式下界定理（補題2.1）である：

代数数 $\alpha_1, \ldots, \alpha_n$ と整数 $b_1, \ldots, b_n$ に対して、線形形式 $\Lambda = b_1 \log \alpha_1 + \cdots + b_n \log \alpha_n$ は以下を満たす：$\Lambda = 0$ または $\log |\Lambda| > -C(n)\Omega \log(c_1B)$

アルゴリズムの流れ

第1段階：前処理と特殊ケース

1. $P_n = 2^{f_1} 3^{f_2} 5^{f_3} 7^{f_4}$ のケースを処理する（補題5.1）
2. 直接計算を使用して $n \in \{0, 1, \ldots, 18, 20, 25, 36\}$ を決定する

第2段階：一般ケースの上界推定

$P_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b$ に対して：

1. 線形対数形式の構築： $\Lambda = g_1 \log 2 + \cdots + g_4 \log 7 + (a-b) \log \kappa_1 + (an-bm) \log \alpha_1$
2. Matveev定理の適用：$m, n$ の理論的上界を得る
3. 格簡約による改善：LLLアルゴリズムと補題2.3を使用して上界を改善する

第3段階：コンピュータ検証

1. 各可能な $m$ 値に対して、対応する線形対数形式を構築する
2. 格簡約技術を使用してより精密な下界を得る
3. 残りのケースを逐一検証する

技術的革新点

1. 有効性: 以前の無効性の結果とは異なり、本論文は有効で計算可能な上界を提供する
2. 格簡約技術: 格簡約方法を創新的に組み合わせ、理論的上界を大幅に改善する
3. 分類的議論: 問題を特殊ケースと一般ケースに巧妙に分解し、計算複雑度を大幅に削減する

実験設定

数学定数

• 塑性比: $\alpha_1 = 1.324717\ldots$（方程式 $X^3 - X - 1 = 0$ の実根）
• 複素根: $\alpha_2, \alpha_3 = -0.662358\ldots \pm 0.562279\ldots i$
• 係数: $\kappa_i = 1/(2\alpha_i + 3)$（$i = 1, 2, 3$）
• パラメータ: $K = 5.599815\ldots$、$\delta = 1.524702\ldots$

計算パラメータ

• 初期点: $n_1 = 27$
• 精度パラメータ: $\mu = 10$
• 誤差界: $\epsilon < 6.3413 \times 10^{-5}$

格簡約設定

• 異なる段階で異なる格パラメータ $(C, \gamma)$ を使用する
• 第1段階：$(C, \gamma) = (10^{150}, 11)$
• 後続段階では必要に応じてパラメータを調整する

実験結果

主要結果（定理1.3）

$P_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b$ がある整数 $g_1, g_2, g_3, g_4, a, b$ に対して成立し、$a > 0$ である場合、以下のいずれかが成立する必要がある：

1. $m, n \in \{1, 2, 4\}$、または
2. $m, n \in \{0, 3, 5, 6, \ldots, 18, 20, 25, 36\}$、または
3. $m, n \in \{21, 27, 49\}$

中間結果

補題5.1

$P_n = 2^{f_1} 3^{f_2} 5^{f_3} 7^{f_4}$ である場合、$n \in \{0, 1, \ldots, 18, 20, 25, 36\}$ である。

補題5.2

$P_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b$ かつ $\gcd(a,b) = 1$ である場合、以下が成立する：

• $m \leq 988$
• $bm \leq 3.850562 \times 10^{29}$
• $an < 5.5553 \times 10^{29}$

計算検証

$m \leq 988$ のすべてのケースを逐一検証することにより、上記の3つの解集合のみが存在することを確認した。検証過程において以下が判明した：

• $H_m = P_m/(2^{e_1} \cdots 7^{e_4})$ に対して、$0 \leq m \leq 1012$ かつ $H_m \notin \{0,1\}$ の場合、$H_m$ は完全累乗ではない
• これにより、ほとんどのケースで $a = 1$ であることが保証される

関連研究

古典的結果

1. Lucas数列: Bilu-Hanrot-Voutier定理はLucas数列に対して強力なツールを提供する
2. 一般的な線形漸化: van der Poorten-Schlickeweiの増長条件、Evertsの素因子結果
3. 有効性結果: Mignotte、Stewart、Pethöらの有効界

最近の進展

1. Odjoumani-Ziegler: 素数累乗が線形漸化数列に現れることに関する研究
2. Bugeaud-Kaneko: 完全累乗に関する有効界
3. Gómez Ruiz-Luca: 異なる漸化数列間の乗法的関係

本論文の貢献

既存の研究と比較して、本論文はvan der Laan-Padovan数列の累乗関係の完全な解を初めて与え、主根条件を満たす一般的な線形漸化数列に適用可能な有効な方法を提供する。

結論と考察

主要な結論

1. 完全性: van der Laan-Padovan数列の累乗関係問題を徹底的に解決した
2. 一般性: 主根条件を満たす線形漸化数列に適用可能な一般理論を確立した
3. 有効性: 実際に計算可能な上界とアルゴリズムを提供した

限界

1. 過度に大きな上界: 理論的上界 $C^{\prime\prime} \Psi \log(c_2 C^\prime \Psi^\prime)$ は実際の応用では過度に大きい可能性がある
2. 計算複雑度: パラメータが非常に大きい場合、計算量は依然として膨大である
3. 特定の素数: 現在の結果は素数集合 $\{2, 3, 5, 7\}$ に限定されている

今後の方向

1. 上界の改善: より厳密な理論的上界を探索する
2. 素数集合の拡張: より大きな素数集合のケースを研究する
3. 他の漸化数列: 方法を他の重要な漸化数列に適用する
4. アルゴリズムの最適化: より効率的な計算アルゴリズムを開発する

深い評価

長所

1. 理論的貢献: 具体的な3階線形漸化数列の累乗関係問題を初めて完全に解決した
2. 方法的革新: Baker方法、格簡約技術、およびコンピュータ検証を巧妙に組み合わせた
3. 実用的価値: 実行可能なPARI-GPコードを提供し、再現性を強化した
4. 明確な記述: 論文構造が明確で、技術的詳細が充分である

不足

1. 理論的限界: 主根条件の要件は方法の適用範囲を制限する
2. 計算への依存: 最終結果はコンピュータ検証に大きく依存し、理論的分析が十分ではない
3. 一般化の困難さ: 他の漸化数列への一般化は直接的ではない

影響力

1. 学術的価値: 線形漸化数列のディオファントス方程式研究に新しい技術的道筋を提供した
2. 実用的意義: van der Laan-Padovan数列の建築学における応用により、結果は学際的価値を持つ
3. 方法論的意義: 格簡約技術の数論問題への応用は示範的である

適用場面

1. 数論研究: 線形漸化数列の算術的性質の研究
2. 計算数学: ディオファントス方程式の精密解を必要とする場合
3. 応用数学: 漸化数列を含む実際の問題

参考文献

論文は線形漸化数列理論、Baker方法、格簡約技術など複数の領域の古典的および最先端の研究を含む37篇の重要な文献を引用しており、研究に堅実な理論的基礎を提供している。