[論文レビュー] On the Diophantine equation F_{n}-F_{m}=2^{a}

Zafer Şi̇ar, Refık Keskin|arXiv (Cornell University)|Dec 29, 2017

Mathematical Dynamics and Fractals被引用数 9

ひとこと要約

この論文は、非負整数 $ m, n, a $ におけるディオファントス方程式 $ F_n - F_m = 2^a $ を解き、唯一の解は明示的に列挙された16組の三つ組であることを証明している。下界の線形形式の対数とベイカー＝ダベンポートの還元法を組み合わせることで、大きな解を有効に境界付け、排除し、最終的に有限の探索に還元し、計算的検証と理論的分析によってすべての解を確認した。

ABSTRACT

In this paper, we solve Diophantine equation in the tittle in nonnegative integers m,n, and a. In order to prove our result, we use lower bounds for linear forms in logarithms and and a version of the Baker-Davenport reduction method in diophantine approximation.

研究の動機と目的

• フィボナッチ数 $ F_n $ として定義される $ n $-番目のフィボナッチ数を用いた、ディオファントス方程式 $ F_n - F_m = 2^a $ の非負整数解 $ (n, m, a) $ をすべて特定すること。
• 特に $ F_n \pm F_m = 2^a $ の形をとる指数型ディオファントス方程式に関する先行研究を拡張すること。
• 超越数論の高度な道具、特に対数の線形形式の下界とベイカー＝ダベンポート還元法を用いて、解空間を有効に境界づけること。
• 初期の指数的推定値から得られる $ n $ の上界を、計算的に取り扱える有限範囲にまで縮小することにより、すべての解を完全に探索可能にする。
• 境界付け後に残る場合を、合同条件の分析とフィボナッチ数およびラウス数の性質を用いて解明すること。特に $ n - m = 1, 2, 4, 12 $ の場合に注目する。

提案手法

• 代数的独立性に基づき、$ 2 $, $ \alpha = (1+\sqrt{5})/2 $, および $ \sqrt{5} $ を用いて、マトヴェエフの定理による線形形式の対数の下界を適用し、$ n $ の初期上界を導出する。
• レムマ2を用いて、$ \gamma = \log 2 / \log \alpha $ の連分数近似を用いるベイカー＝ダベンポート還元法を適用し、$ n $ や $ n - m $ の大きな値を排除する。
• バイネの公式 $ F_n = (\alpha^n - \beta^n)/\sqrt{5} $ と $ |\beta| < 1 $ の推定を用いて、差 $ |F_n - F_m - 2^a| $ を評価し、$ \alpha^{-n} $ および $ \alpha^{-(n-m)} $ を含む不等式を導出する。
• $ n \equiv m \pmod{4} $ に応じて、$ F_n - F_m = F_{(n-m)/2} L_{(n+m)/2} $ または $ F_{(n+m)/2} L_{(n-m)/2} $ という恒等式を用いて、差の構造を分析する。
• 線形形式における係数の境界を保証するため、対数高さ関数 $ h(\eta) $ を用いて、下界定理の適用可能性を確保する。
• 還元法を繰り返し適用し、まず $ n - m $ に対して、次に $ n $ に対して適用することで、解空間を段階的に縮小し、計算的に取り扱える範囲にまで縮小する。

実験結果

リサーチクエスチョン

• RQ1 方程式 $ F_n - F_m = 2^a $ の非負整数解 $ (n, m, a) $ はすべて何か？
• RQ2 特に線形形式の対数を用いた解析的数論的手法により、解集合を有効に境界づけることができるか？
• RQ3 ベイカー＝ダベンポート還元法を、フィボナッチ数を含む指数型ディオファントス方程式の大きな解を排除するためにどのように適用できるか？
• RQ4 $ n - m = 12 $ である解は存在するか？ もし存在するならば、どのような条件下で現れるか？
• RQ5 ラウス数 $ L_k $ の性質が、$ F_n - F_m = 2^a $ の可解性を決定づける役割を果たすか？

主な発見

• ディオファントス方程式 $ F_n - F_m = 2^a $ は、非負整数 $ m < n $ および $ a $ に対して、正確に16個の解を持つ。これらは定理5に明示的に列挙されている。
• 解は $ (n, m, a) = (1,0,0), (2,0,0), (3,0,1), (6,0,3), (3,1,0), (4,1,1), (5,1,2), (3,2,0), (4,3,0), (4,2,1), (5,2,2), (9,3,5), (5,4,1), (7,5,3), (8,5,4), (8,7,3) $ である。
• 最初のベイカー＝ダベンポート還元の適用により、$ n $ の初期上界は $ 2.91 \times 10^{28} $ から $ 7.56 \times 10^{15} $ にまで縮小された。
• 二度目の還元法の適用により、$ n $ の上界はさらに $ n \leq 98 $ にまで縮小され、$ n > 200 $ という仮定と矛盾したため、有限のケース解析に帰着された。
• $ n - m = 1 $ の場合、方程式は $ 2^a = F_{m-1} $ に帰着され、解 $ (3,2,0), (4,3,0), (8,7,3) $ が得られ、既知のフィボナッチ数のべき乗と整合的である。
• $ n - m = 4 $ の場合、方程式は $ 2^a = L_{m+2} $ に帰着され、ラウス数列における唯一の完全乗数は $ L_1 = 1 $ と $ L_3 = 4 $ であるため、$ m = 1 $, $ a = 2 $, $ n = 5 $ のみが有効である。