[論文レビュー] A hypothetical upper bound for the solutions of a Diophantine equation with a finite number of solutions

Apoloniusz Tyszka|arXiv (Cornell University)|Jan 14, 2009

Mathematical Dynamics and Fractals参考文献 20被引用数 7

ひとこと要約

本稿では、整数解が有限個である任意のディオファントス方程式系について、すべての解が絶対値で $2^{2^{n-1}}$ 以内に収束するとする予想を提示する。ここで $n$ は変数の数である。この予想は、有限個の解を持つディオファントス方程式の解が有効的に計算可能な有界性を持つことを示唆し、一般化された任意の計算可能上限に拡張された場合、マティアセヴィッチの有限重複ディオファントス表現に関する予想と矛盾する。

ABSTRACT

We conjecture that if a system S \subseteq {x_i=1, x_i+x_j=x_k, x_i \cdot x_j=x_k: i,j,k \in {1,...,n}} has only finitely many solutions in integers x_1,...,x_n, then each such solution (x_1,...,x_n) satisfies |x_1|,...,|x_n| \leq 2^{2^{n-1}}. By the conjecture, if a Diophantine equation has only finitely many solutions in integers (non-negative integers, rationals), then their heights are bounded from above by a computable function of the degree and the coefficients of the equation. The conjecture implies that the set of Diophantine equations which have infinitely many solutions in integers (non-negative integers) is recursively enumerable. The conjecture stated for an arbitrary computable bound instead of 2^{2^{n-1}} remains in contradiction to Matiyasevich's conjecture that each recursively enumerable set M \subseteq {\mathbb N}^n has a finite-fold Diophantine representation.

研究の動機と目的

• 有限個の整数解を持つディオファントス方程式系の絶対値に関する計算可能な上界を確立すること。
• このような上界がディオファントス表現理論および再帰的可算性の理論に与える影響を調査すること。
• この予想がマティアセヴィッチの有限重複ディオファントス表現に関する予想と整合するかを検討すること。
• 小規模な $n$ に対する検証および大きな解を持つ系の構成を通じて、予想の根拠を提供すること。

提案手法

• 変数数 $n$ に対して、解が有限個である系 $S \subseteq \{x_i=1, x_i+x_j=x_k, x_i\cdot x_j=x_k\}$ のすべての整数解が $|x_i| \leq 2^{2^{n-1}}$ を満たすという予想を形式化すること。
• $n$ に関する帰納法を用い、もし予想が $n$ で成り立たないならば、$n+1$ でも成り立たないことを示す。具体的には、大きな解を二乗することで、拡張された系においてより大きな解を生成する。
• $n=1,2,3$ に対して明示的な系を構成し、すべての解が提案された有界内にあることを検証すること。
• デイビス＝プットナム＝ロビンソン＝マティアセヴィッチの定理を応用し、解集合を制御可能なディオファントス方程式で再帰的可算集合を表現すること。
• ラグランジュの四平方定理を用いて、存在記号を多項式方程式に変換し、解の個数が有界になるようにすること。
• 任意の計算可能関数 $f$ に対して、$f$ を満たす無限個の整数解を持つディオファントス系を生成する再帰的アルゴリズムを設計すること。

実験結果

リサーチクエスチョン

• RQ1 すべての有限個の整数解を持つディオファントス方程式系について、解の高さに対する一様な計算可能上界を確立できるか？
• RQ2 その最小の上界は何か？ 一般の $n$ に対して $2^{2^{n-1}}$ よりも改善可能か？
• RQ3 このような上界の存在が、マティアセヴィッチの有限重複ディオファントス表現に関する予想と矛盾するか？
• RQ4 解の有界性は、元のディオファントス方程式系の構造および変数の数とどのように関係するか？
• RQ5 実験的証拠は、有限個の解は「高さが小さい」という伝統的信念をどの程度支持するか？

主な発見

• $n \leq 3$ に対して、すべての有限個の解を持つ系とその解集合を網羅的に列挙することで、予想が成立することが確認された。
• $n \geq 2$ に対して、有界性 $2^{2^{n-1}}$ はタイトであることが示された。具体的には、解が $ (2, 4, 16, \dots, 2^{2^{n-1}}) $ である系が、正確にその有界値に達することを示した。
• 任意の計算可能関数 $f$ に対して、$m(f)$ が存在し、すべての $n \geq m(f)$ に対して、$x_1 = f(n)$ を満たす無限個の整数解を持つ $n$ 変数のディオファントス系を構成可能である。
• この予想は、無限個の整数解を持つディオファントス方程式の集合が再帰的可算であることを示唆し、解の有界性と計算可能性の関係を結びつける。
• この予想は、一般化された任意の計算可能上限に拡張された場合、マティアセヴィッチの有限重複ディオファントス表現に関する予想と矛盾し、ディオファントス論理の基礎に深い矛盾を露呈する。
• 本稿は、$n$ が大きくても、$[-2^{2^{n-1}}, 2^{2^{n-1}}]^n$ のボックス外に無限個の解を持つ系を構成する構成的アルゴリズムを提供しており、有界性が「小さくできない」ことを示しており、有界性が鋭いことを示している。