[論文レビュー] An implementation of Runge's method for Diophantine equations

Frits Beukers, Sz. Tengely|ArXiv.org|Dec 17, 2005

Algebraic Geometry and Number Theory参考文献 4被引用数 7

ひとこと要約

この論文は、ルンゲの条件を満たす場合に、プアセューシェリーズを避けて $ℚ$ 上で完全に動作する、ディオファントス方程式 $F(x,y) = 0$ を解く実用的なアルゴリズム的実装を提示する。重み付き次数、ノイズン多角形、および結果式を用いて、すべての整数解を有効に境界付け・計算する。非自明な3つの例題を成功裏に解き、そのうち1つは $x=2, y=3$ に解を持つ。この手法は、中程度の次数と係数サイズの多項式に対して有効である。

ABSTRACT

In this paper we suggest an implementation of Runge's method for solving Diophantine equations satisfying Runge's condition. In this implementation we avoid the use of Puiseux series and algebraic coefficients.

研究の動機と目的

• ルンゲの条件を満たす場合に、ディオファントス方程式 $F(x,y) = 0$ を解く実用的でコンピュータに実装可能なアルゴリズムを、ルンゲの方法に基づいて開発すること。
• プアセューシェリーズや代数的係数に依存せず、切り捨てられたべき級数と有理数演算を用いること。
• ノイズン多角形がルンゲの条件を満たす場合に、すべての整数解を効果的に計算する方法を提供すること。
• 中程度の次数と係数サイズを持つ非自明な例題に対して、このアルゴリズムの有効性を示すこと。

提案手法

• ノイズン多角形の傾きによって定義される重み付き次数を用いて、無限遠点における挙動を分析する。
• 多項式 $F$ の初期形 $F_E$ を、無限遠点における異なる分岐に対応する、互いに素な2つの因子 $G_0$ と $H_0$ に因数分解する。
• 切り捨てられた級数展開のヘンゼルの持ち上げを用いて、特定の分岐上で消失する多項式 $P_i(x,y)$ を構築する。
• 結果式を $F$ と $P_i \pm k$ の間に用いて、整数解が存在する可能性がある $x$-値の範囲を境界付ける。
• 各々の有界な $x$-範囲に対して、$F(x,y) = 0$ を直接整数解 $y$ について解く。
• 各分岐タイプに対して再帰的にこの手法を適用し、有効な境界を用いてすべての可能性のある解を網羅すること。

実験結果

リサーチクエスチョン

• RQ1 ルンゲの方法を、プアセューシェリーズを用いずに、ディオファントス方程式を解く実用的アルゴリズムとして実装可能か？
• RQ2 重み付き次数とノイズン多角形をどのように系統立てて、無限遠点における分岐上で消失する多項式を構築できるか？
• RQ3 ルンゲの条件が満たされた場合に、整数解への有効な境界は何か、そしてそれがアルゴリズム的にどのように計算できるか？
• RQ4 この手法は、複数の分岐と初期形の非自明な因数分解を持つ方程式に適用可能か？
• RQ5 中程度の次数と係数サイズの多項式に対して、このアルゴリズムの計算上の実行可能性は何か？

主な発見

• アルゴリズムは3つのテスト方程式について、すべての整数解を効果的に計算した。そのうち1つは $x=2, y=3$ に解を持つ。
• 最初の例題では整数解は存在せず、この手法は有界な $x$-範囲における全数探索によってこれを確認した。
• 2番目の例題では、4つの整数解 $(-1, -4), (-1, -1), (-1, 1), (-1, 2)$ が同定された。
• 3番目の例題では、$x$-値が $-1 \leq x \leq 36$ に境界付けられ、解 $x=2, y=3$ が見つかった。
• この手法はプアセューシェリーズを避け、$ℚ$ 上で完全に動作するため、コンピュータ代数システムへの実装に適している。
• 結果式と切り捨てられた級数の使用により、現実的でない大きな理論的上限に依存せずに、解集合の有効な境界が得られる。