[논문 리뷰] The Erdős-Straus conjecture New modular equations and checking up to $N=10^{17}$

Serge E. Salez|arXiv (Cornell University)|2014. 06. 24.

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

한 줄 요약

이 논문은 에르되시-스트라우스 추측을 발전시켜, 3개의 새로운 방정식을 포함한 7개의 완전한 모듈러스 방정식 집합을 도입함으로써 C++에서 매우 최적화된 소수 걸러내기 알고리즘을 가능하게 하였다. 이 방법은 $N = 10^{17}$까지 추측을 효율적으로 검증하며, 스웨트(2000)의 150시간에서 표준 64비트 AMD 터리온 II 프로세서에서 16시간 이내로 런타임을 단축시켰으며, $n \leq 10^{17}$에 대해 추측이 참임을 확인하였다.

ABSTRACT

In 1999 Allan Swett checked (in 150 hours) the Erdős-Straus conjecture up to $N=10^{14}$ with a sieve based on a single modular equation. After having proved the existence of a "complete" set of seven modular equations (including three new ones), this paper offers an optimized sieve based on these equations. A program written in C++ (and given elsewhere) allows then to make a checking whose running time, on a typical computer, range from few minutes for $N=10^{14}$ to about 16 hours for $N=10^{17}$.

연구 동기 및 목표

• 에르되시-스트라우스 추측의 확장 및 최적화된 검증을 위해, 모든 정수 $n > 1$에 대해 $4/n$이 세 개의 단위 분수의 합으로 표현 가능하다는 추측을 다루는 것.
• 모든 $4/n$이 3- Egyptians인 경우를 커버하는 완전한 모듈러스 조건 집합을 식별하여, 더 효율적인 계산적 소수 걸러내기 알고리즘을 개발하는 것.
• 기존의 한계를 초월하여, 특히 $N = 10^{17}$까지 추측의 검증 범위를 확장하기 위해 최적화된 모듈러스 산술과 알고리즘 개선을 사용하는 것.
• 재사용하거나 향후 추측의 추가 검증 또는 이론적 탐구를 위해 활용할 수 있는 실용적이고 고성능의 계산 프레임워크를 제공하는 것.

제안 방법

• 논문은 소수 $p \equiv 1 \pmod{24}$에 대해 $4/p$의 3-Egyptian 표현을 특성화하는 7개의 모듈러스 방정식 집합을 도입하며, 이 중 3개는 새로운 것이다.
• 정수 $A, B, C, D$가 $4ABCD = p(A + B) + C$를 만족하고 $\gcd(ABCD, p) = 1$임을 조건으로 삼아 추측을 대수적 항등식으로 재구성함으로써, 모듈러스 제약 조건 하에서 디오판틴 방정식을 푸는 문제로 환원한다.
• 보조 변수 $E = (A + B)/C$와 $F = 4BCD - p$를 도입하여, 해 공간을 유지하면서도 효율적인 모듈러스 걸러내기를 가능하게 하는 등가 방정식 시스템으로 변형한다.
• C++ 기반의 소수 걸러내기 알고리즘을 구현하여, 7개의 모듈러스 방정식을 활용해 $n$의 후보 값을 효율적으로 걸러내며, 검색 공간을 크게 줄였다.
• 모든 $n \leq 10^{17}$을 $G_7 = 24\times7!$에 대한 잔여류를 순회하면서 검사하며, 사전에 계산된 모듈러스 조건을 사용해 각 $n$을 $O(1)$ 시간 내에 검증한다.
• 소수 걸러내기는 약 16.5조 개의 정수를 처리하도록 최적화되었으며, 이 중 $5170만$ 개 이상의 완전제곱수를 포함하고 있으며, 표준 64비트 AMD 터리온 II 프로세서에서 약 16시간의 성능을 기록하였다.

실험 결과

연구 질문

• RQ1 에르되시-스트라우스 추측의 해를 완전하고 최소한의 모듈러스 방정식 집합으로 유도할 수 있는가?
• RQ2 이러한 모듈러스 방정식을 사용하여 $10^{17}$까지 추측을 검증하는 데 있어 계산적으로 효율적인 소수 걸러내기를 설계할 수 있는가?
• RQ3 스웨트의 이전 작업에서 단일 방정식을 사용한 것과 비교해, 다수의 모듈러스 방정식을 사용할 경우 성능 향상은 어느 정도인가?
• RQ4 $N = 10^{17}$ 이하의 정수 중에서 추측을 만족하는 수는 몇 개인가? 그리고 이들은 어떤 모듈러스 잔여류에 분포되어 있는가?
• RQ5 알고리즘적 및 수학적 최적화를 통해 추측 검증의 계산 비용을 150시간에서 16시간 이내로 줄일 수 있는가?

주요 결과

• 논문은 에르되시-스트라우스 추측의 해를 완전히 특성화하는 7개의 모듈러스 방정식 집합(3개의 새로운 것 포함)이 존재함을 증명하였다.
• 최적화된 소수 걸러내기 알고리즘이 $N = 10^{14}$에 대해 몇 분 내로, $N = 10^{17}$에 대해 표준 64비트 AMD 터리온 II 프로세서에서 약 16시간 내로 검증 시간을 단축시켰다.
• 알고리즘은 $n \leq 10^{17}$에 대해 추측을 성공적으로 검증하였으며, 총 $16,512,783,482,880$개의 정수를 다루었으며, 이 중 $51,732,427$개의 완전제곱수가 포함되어 있었다.
• 모듈러스 $G_7 = 24 \times 7!$에 대한 480개의 잔여류에 분포된 검증된 정수의 분포가 명시적으로 표기되었으며, 가장 큰 수(9.22조 개)는 $G_7$에 대한 잔여류 7에 존재하였다.
• 이 방법은 $n \leq 10^{17}$에 대해 추측이 성립함을 확인하였으며, 반례는 발견되지 않았으며, 이는 이전의 $10^{14}$ 이론적 한계를 크게 초월하였다.
• 계산 프레임워크는 효율적이고 확장 가능하며, 모듈러스 걸러내기와 사전 계산된 잔여류 검증을 통해 런타임이 선형 이하로 증가함을 확인하였다.