[论文解读] 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$ 的验证及构造具有大解的方程组，为该猜想提供证据。

提出的方法

• 形式化一个猜想：对于任意满足 $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+1$ 亦失效，方法是通过平方一个大解在扩展方程组中生成更大的解。
• 构造 $n=1,2,3$ 的显式方程组，并验证所有解均位于所提议的界内。
• 应用戴维斯-普特南-罗宾逊-马蒂亚谢维奇定理，通过受控解集的丢番图方程表示递归可枚举集合。
• 利用拉格朗日四平方定理，将存在量词转化为解数受控的多项式方程。
• 设计一个递归算法，对任意可计算函数 $f$，生成一个具有无穷多整数解的丢番图方程组，且所有解均满足 $x_1 = f(n)$（当 $n$ 足够大时）。

实验结果

研究问题

• 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)$，可构造一个含 $n$ 个变量的丢番图方程组，其具有无穷多整数解，且所有解均满足 $x_1 = f(n)$。
• 该猜想意味着具有无穷多整数解的丢番图方程组集合是递归可枚举的，从而将解界与可计算性联系起来。
• 若将该猜想推广至任意可计算界，则其与马蒂亚谢维奇关于有限重丢番图表示的猜想相矛盾，揭示了丢番图逻辑基础中深层的张力。
• 本文提供了一种构造性算法，可生成具有无穷多解的方程组，其解完全位于 $[-2^{2^{n-1}}, 2^{2^{n-1}}]^n$ 范围之外，即使对较大的 $n$ 亦成立，表明该界在可缩小的意义上是紧的。