[논문 리뷰] A hypothetical upper bound for the solutions of a Diophantine equation with a finite number of solutions

Apoloniusz Tyszka|arXiv (Cornell University)|2009. 01. 14.

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)$ 을 만족하는 무한한 정수 해를 가진 디오판틴 시스템을 생성하는 재귀적 알고리즘을 설계하는 것.

실험 결과

연구 질문

• RQ1 모든 해가 유한한 디오판틴 시스템에 대해, 정수 해의 높이에 대해 통일된 계산 가능한 상한을 확립할 수 있는가?
• RQ2 그 최소 상한은 무엇이며, 일반적인 $n$에 대해 $2^{2^{n-1}}$ 이하로 개선할 수 있는가?
• RQ3 이러한 상한의 존재가 마티야세비치의 유한 다중 디오판틴 표현 추측과 모순되는가?
• RQ4 해의 상한은 기저이 되는 디오판틴 시스템의 구조와 변수 수와 어떻게 관련되는가?
• RQ5 실험적 증거는 해가 유한한 경우 '높이가 작다'는 통상적 믿음에 어느 정도 지지하는가?

주요 결과

• 해가 유한한 모든 시스템과 그 해 집합을 체계적으로 조사한 결과, 추측은 $n \leq 3$ 에서 성립함을 입증하였다.
• $n \geq 2$ 에서는 $ (2, 4, 16, \dots, 2^{2^{n-1}}) $ 와 같은 해를 가진 시스템을 통해 $2^{2^{n-1}}$ 이 상한으로서 정확히 달성됨을 보여, 이 상한이 날카로움을 입증하였다.
• 모든 계산 가능한 함수 $f$에 대해, $n \geq m(f)$ 인 모든 $n$ 에 대해 $x_1 = f(n)$ 을 만족하는 무한한 정수 해를 가진 디오판틴 시스템을 구성할 수 있음을 보였다.
• 이 추측은 해가 무한한 디오판틴 방정식의 집합이 재귀적으로 열거 가능하다는 것을 시사하며, 해의 상한과 계산 가능성 간의 연관성을 연결한다.
• 이 추측은 일반화된 임의의 계산 가능한 상한으로 확장될 경우 마티야세비치의 유한 다중 디오판틴 표현 추측과 모순되며, 디오판틴 논리의 기초에 깊은 갈등을 드러낸다.
• 논문은 큰 $n$ 에 대해서도 $[-2^{2^{n-1}}, 2^{2^{n-1}}]^n$ 상자 외부에 무한한 해를 가진 시스템을 구성할 수 있는 구축 알고리즘을 제공하여, 이 상한이 줄일 수 없이 날카로움을 보였다.