[논문 리뷰] A limit-computable function which does not have any single-fold Diophantine representation and whose computability is an open question

Apoloniusz Tyszka|arXiv (Cornell University)|2013. 09. 11.

Computability, Logic, AI Algorithms참고 문헌 2인용 수 1

한 줄 요약

이 논문은 E_n 상에서 임의의 디오판틴 방정식계의 유일한 음이 아닌 정수해에서 최댓값을 상한으로 제시하는 극한-계산 가능한 함수 f(n)을 제안한다. 이는 f(n)이 단일-접힘 디오판틴 표현을 가진 모든 함수를 지배함을 증명하며, 무한 루프를 통해 점차 정확도가 향상되는 근사치를 반환하는 MuPAD 구현을 제시한다.

ABSTRACT

Let E_n={x_k=1, x_i+x_j=x_k, x_i \cdot x_j=x_k: i,j,k \in {1,...,n}}. For any integer n \geq 2214, we define a system T \subseteq E_n which has a unique integer solution (a_1,...,a_n). We prove that the numbers a_1,...,a_n are positive and max(a_1,...,a_n)>2^(2^n). For a positive integer n, let f(n) denote the smallest non-negative integer b such that for each system S \subseteq E_n with a unique solution in non-negative integers x_1,...,x_n, this solution belongs to [0,b]^n. We prove that if a function g:N-->N has a single-fold Diophantine representation, then f dominates g. We present a MuPAD code which takes as input a positive integer n, performs an infinite loop, returns a non-negative integer on each iteration, and returns f(n) on each sufficiently high iteration.

연구 동기 및 목표

• E_n 상에서 임의의 디오판틴 방정식계의 유일한 음이 아닌 정수해에서 최댓값을 상한으로 제시하는 함수 f(n)을 정의하기.
• f(n)이 단일-접힘 디오판틴 표현을 가진 모든 함수 g:N→N를 지배함을 증명하기.
• f(n)을 무한 루프를 통해 계산하는 MuPAD 알고리즘을 구성하여, 충분히 높은 반복에서 f(n)을 반환하기.
• f(n)이 극한-계산 가능하지만 단일-접힘 디오판틴 표현을 가질 수 없음을 입증하기.
• 정의의 명확성에도 불구하고 f(n)의 계산 가능성은 여전히 열린 문제임을 규명하기.

제안 방법

• 논문은 E_n을 변수 x_1에서 x_n까지 포함하는 등식, 덧셈 및 곱셈 제약 조건을 포함하는 방정식의 집합으로 정의한다.
• n ≥ 2214일 때, 유일한 정수해 (a_1, ..., a_n)를 가지는 특정 부분계 T ⊆ E_n을 구성한다.
• 모든 a_i가 양수임을 증명하고, max(a_1, ..., a_n) > 2^(2^n)임을 입증하여 해의 크기 하한을 확립한다.
• 함수 f(n)은 모든 유일한 해가 [0, b]^n 내에 존재하는 최소의 b로 정의된다.
• 모든 함수가 단일-접힘 디오판틴 표현을 가질 경우 f(n)에 의해 지배되어야 한다는 성질을 이용하여, f(n)의 지배 결과를 도출한다.
• 무한 계산을 시뮬레이션하는 MuPAD 코드를 구현하여, 충분히 높은 반복에서 f(n)을 반환한다.

실험 결과

연구 질문

• RQ1 극한-계산 가능한 함수 f(n) 중 단일-접힘 디오판틴 표현을 가지지 않는 것이 존재하는가?
• RQ2 모든 단일-접힘 디오판틴 표현을 가진 함수를 지배하는 방식으로 f(n)을 정의할 수 있는가?
• RQ3 f(n)은 계산 가능한가, 아니면 그 정의에도 불구하고 계산 가능성은 여전히 열린 문제인가?
• RQ4 모든 유일한 해가 [0, b]^n 내에 존재하는 최소의 상한 b는 무엇인가?
• RQ5 MuPAD에서 무한 루프를 사용하여 충분히 높은 반복에서 f(n)을 반환함으로써 f(n)을 근사할 수 있는가?

주요 결과

• n ≥ 2214일 때, T ⊆ E_n은 모든 a_i가 양수이며 max(a_1, ..., a_n) > 2^(2^n)인 유일한 정수해 (a_1, ..., a_n)을 가진다.
• 함수 f(n)은 모든 유일한 해가 [0, b]^n 내에 존재하는 최소의 음이 아닌 정수 b로 정의된다.
• 모든 함수 g:N→N가 단일-접힘 디오판틴 표현을 가질 경우, 충분히 큰 모든 n에 대해 g(n) < f(n)을 만족한다.
• MuPAD 코드는 무한 루프를 구현하여 충분히 높은 반복에서 f(n)을 반환하며, 이는 f(n)이 극한-계산 가능함을 시연한다.
• 그럼에도 불구하고 f(n)은 단일-접힘 디오판틴 표현을 가지지 않으며, 그 계산 가능성은 여전히 열린 문제이다.
• 이 구성은 f(n)이 모든 단일-접힘 디오판틴 표현을 가진 함수를 지배함을 입증하며, 극한-계산 가능성과 표현 가능성 사이의 격차를 드러낸다.