[論文レビュー] On integral points on biquadratic curves and near-multiples of squares in Lucas sequences

Max A. Alekseyev, Tengely, Szabolcs|arXiv (Cornell University)|Jun 4, 2013

Algebraic Geometry and Number Theory参考文献 26被引用数 11

ひとこと要約

本稿では、biquadratic曲線 $y^2 = ax^4 + bx^2 + c$ 上の整数点の探索を、有限個のThue方程式への還元によって容易にする初等的なアルゴリズムを提示する。これにより、既存のソルバーを用いた効率的な計算が可能になる。本手法は、Lucas列における平方数に近い項の特定に応用され、Fibonacci数においては $2m^2 + 2$ の形をとるものは2と34のみ、$m^2 - 3$ の形をとるものは1、13、1597のみであることが証明された。本手法は新規的であり実用的であり、代数的数論的手法に代わる構成的代替手段を提供する。

ABSTRACT

We describe an algorithmic reduction of the search for integral points on a curve y^2 = ax^4 + bx^2 + c with nonzero ac(b^2-4ac) to solving a finite number of Thue equations. While existence of such reduction is anticipated from arguments of algebraic number theory, our algorithm is elementary and to best of our knowledge is the first published algorithm of this kind. In combination with other methods and powered by existing software Thue equations solvers, it allows one to efficiently compute integral points on biquadratic curves. We illustrate this approach with a particular application of finding near-multiples of squares in Lucas sequences. As an example, we establish that among Fibonacci numbers only 2 and 34 are of the form 2m^2+2; only 1, 13, and 1597 are of the form m^2-3; and so on. As an auxiliary result, we also give an algorithm for solving a Diophantine equation k^2 = f(m,n)/g(m,n) in integers m,n,k, where f and g are homogeneous quadratic polynomials.

研究の動機と目的

• biquadratic曲線 $y^2 = ax^4 + bx^2 + c$ に於いて $ac(b^2 - 4ac) \neq 0$ を満たす整数点を求めるためのアルゴリズム的還元を開発すること。
• 従来の理論的取り扱いとは異なり、高度な代数的数論を避ける実用的で初等的な手法を提供すること。
• Lucas列における平方数の倍数に近い項の効率的計算を可能とすること、たとえば $am^2 + b$ の形の項を対象とする。
• 還元プロセスにおいて、既約および可約なThueに類似した方程式を両方取り扱うことで、既存の手法を拡張すること。
• Fibonacci数、Lucas数、Pell数、Pell-Lucas数の各列における明示的計算を通じて、本手法の実用性を示すこと。

提案手法

• biquadratic曲線 $y^2 = ax^4 + bx^2 + c$ を、斉次な二次多項式 $f$ と $g$ を用いたディオファントス方程式 $k^2 = f(m,n)/g(m,n)$ に還元する。
• 初等的な代数的変形を用いて、有限個の四次Thue方程式に変換する。
• 既知のThue方程式の解法アルゴリズムを適用し、SAGEに組み込まれたPARI/GPやMAGMAのソルバーを活用する。
• Lucas列の理論と基本的恒等式 $V_n^2 - D U_n^2 = 4Q^n$ を用いて、$am^2 + b$ の形の項をThue方程式の解と結びつける。
• 特別な場合として $V(P, \pm 1)$ 列における $b = \pm 2$ の場合、必要に応じてThue方程式とPell-Fermat方程式に還元する。
• SAGEにアルゴリズムを実装し、楕円曲線とThue方程式の手法を統合し、必要に応じてThueソルバーにフォールバックする。

実験結果

リサーチクエスチョン

• RQ1 初等的手法を用いて、$y^2 = ax^4 + bx^2 + c$ 上の整数点の探索を、有限個のThue方程式への還元することは可能か？
• RQ2 Lucas列 $U(P, \pm 1)$ および $V(P, \pm 1)$ において、$am^2 + b$ の形の項を効率的に計算する方法は存在するか？
• RQ3 Lucas列における $am^2 + b$ の解の構造はどのようなものか？また、このような項が有限個または無限個存在するのはいつか？
• RQ4 本手法は実用的かつ既存のThue方程式ソルバーと統合可能か？
• RQ5 アクセス性と計算可能性の観点から、代数的数論的手法と比較して本手法はどのように異なるか？

主な発見

• Fibonacci数においては、$2m^2 + 2$ の形をとるものは2と34のみであり、$m^2 - 3$ の形をとるものは1、13、1597のみである。
• Lucas列 $V(1, -1)$（Lucas数）には、恒等式 $V_{4n+2} = V_{2n+1}^2 + 2$ および $V_{4n} = V_{2n}^2 - 2$ のため、$m^2 + 2$ および $m^2 - 2$ の形の項が無限に存在する。
• $V(P, \pm 1)$ 列において $b = \pm 2$ の場合、本手法は有限個のThue方程式とPell-Fermat方程式に還元され、後者は無限個の解をもたらす可能性がある。
• 本アルゴリズムは、Fibonacci数、Lucas数、Pell数、Pell-Lucas数において、$1 \leq a \leq 3$ および $-3 \leq b \leq 3$ の範囲で $am^2 + b$ の形のすべての項を正しく計算でき、表1に要約されている。
• 本手法はSAGEに実装され、公開されており、楕円曲線とThue方程式の手法を統合することで、耐障害性と効率性を両立している。
• 本手法は、一般のbiquadratic曲線をThue方程式に還元する初等的アルゴリズムとして、初めて出版されたものであり、代数的数論的手法に代わる実用的代替手段を提供する。