[论文解读] An algorithm which transforms any Diophantine equation into an equivalent system of equations of the form x_i=1, x_i+x_j=x_k, x_i*x_j=x_k

Apoloniusz Tyszka|arXiv (Cornell University)|Sep 18, 2011

Computability, Logic, AI Algorithms被引用 1

一句话总结

本文提出一个猜想，将某些丢番图方程组解的有限性与由快速增长函数 f(n) 定义的显式上界联系起来。若该猜想成立，则可构造算法来判定丢番图方程的整数解与有理数解的有限性，且有限重丢番图表示蕴含可计算性，从而推进数论中的可判定性与可计算性理论。

ABSTRACT

Let f(1)=1, and let f(n+1)=2^{2^{f(n)}} for every positive integer n. We conjecture that if a system S \subseteq {x_i \cdot x_j=x_k: i,j,k \in {1,...,n}} \cup {x_i+1=x_k: i,k \in {1,...,n}} has only finitely many solutions in non-negative integers x_1,...,x_n, then each such solution (x_1,...,x_n) satisfies x_1,...,x_n \leq f(2n). We prove: (1) the conjecture implies that there exists an algorithm which takes as input a Diophantine equation, returns an integer, and this integer is greater than the heights of integer (non-negative integer, positive integer, rational) solutions, if the solution set is finite, (2) the conjecture implies that the question whether or not a Diophantine equation has only finitely many rational solutions is decidable with an oracle for deciding whether or not a Diophantine equation has a rational solution, (3) the conjecture implies that the question whether or not a Diophantine equation has only finitely many integer solutions is decidable with an oracle for deciding whether or not a Diophantine equation has an integer solution, (4) the conjecture implies that if a set M \subseteq N has a finite-fold Diophantine representation, then M is computable.

研究动机与目标

• 研究整数与有理数上丢番图方程的有限性问题的可判定性。
• 探讨丢番图系统中解大小的猜想上界所蕴含的含义。
• 确定有限重丢番图表示是否蕴含集合的可计算性。
• 建立解高度界与丢番图逻辑中算法可判定性之间的联系。

提出的方法

• 本文定义了一个快速增长函数 f(n) = 2^{2^{f(n-1)}}，其中 f(1)=1，该函数作为解大小的候选上界。
• 考虑形如 x_i = 1、x_i + x_j = x_k 和 x_i * x_j = x_k 的方程组，限制在非负整数范围内。
• 该猜想提出：若此类方程组仅有有限多个解，则所有变量均满足 x_i ≤ f(2n)。
• 本文推导了该猜想的逻辑后果，特别是与预言机相关的可判定性。
• 它利用丢番图方程的结构及其转化为标准形式的特性，分析了解的界与可计算性。
• 它应用了可计算性理论中的结果，尤其是有限重丢番图表示的概念，将解的界与集合的可计算性联系起来。

实验结果

研究问题

• RQ1 猜想中的解大小上界 f(2n) 是否意味着整数解的有限性问题可判定？
• RQ2 能否使用有理数可解性预言机来判定丢番图方程的有理数解是否有限？
• RQ3 该猜想是否意味着任何具有有限重丢番图表示的集合都是可计算的？
• RQ4 是否存在一个算法，给定一个丢番图方程，若解集有限，则返回其整数解大小的上界？
• RQ5 解高度界与丢番图逻辑中可判定性之间存在何种逻辑关系？

主要发现

• 若该猜想成立，则存在一个算法，给定一个丢番图方程，若其解集有限，则可返回一个大于所有整数解高度的整数。
• 该猜想意味着：若拥有有理数可解性预言机，则可判定一个丢番图方程是否仅有有限多个有理数解。
• 该猜想意味着：若拥有整数可解性预言机，则可判定一个丢番图方程是否仅有有限多个整数解。
• 该猜想意味着：任何具有有限重丢番图表示的集合 M ⊆ ℕ 都是可计算的。
• 该猜想在未证明该上界本身的情况下，仍建立了解大小界与可判定性之间的强关联。
• 结果表明，一个关于解界的单一猜想可统一并扩展丢番图分析中多个可判定性与可计算性结果。