[논문 리뷰] Complete Proof of the Collatz Conjecture

Farzali Izadi|arXiv (Cornell University)|2021. 01. 08.

Benford’s Law and Fraud Detection참고 문헌 3인용 수 4

한 줄 요약

이 논문은 6, 12, 24, 36, 48, 60, 72, 84, 96, 108 모듈로에서 정수의 잔여류를 분석함으로써, 모든 홀수 양의 정수가 콜라츠 함수를 통해 결국 1에 도달함을 보여주는 완전한 증명을 제시한다. 증명은 귀납법과 잔여류 기반의 케이스 분석을 사용하여, 각 홀수 정수에 대해 콜라츠 사상 하에서 더 작은 전이상이 존재하거나 궁극적으로 더 작은 홀수로 감소함을 보여, 최종적으로 1에 도달함을 입증한다.

ABSTRACT

The extit{Collatz's conjecture} is an unsolved problem in mathematics. It is named after Lothar Collatz in 1973. The conjecture also known as Syrucuse conjecture or problem. Take any positive integer $ n $. If $ n $ is even then divide it by $ 2 $, else do "triple plus one" and get $ 3n+1 $. The conjecture is that for all numbers, this process converges to one. In the modular arithmetic notation, define a function $ f $ as follows: \[f(x)= \left\{ \begin{array}{lll} \frac{n}{2} &if & n\equiv 0 \pmod 2\\ 3n+1& if& n\equiv 1 \pmod 2. \end{array} ight. \] In this paper, we present the proof of the Collatz conjecture for many types of sets defined by the remainder theorem of arithmetic. These sets are defined in mods $6, 12, 24, 36, 48, 60, 72, 84, 96, 108$ and we took only odd positive remainders to work with. It is not difficult to prove that the same results are true for any mod $12m, $ for positive integers $m$.

연구 동기 및 목표

• 잔여류에 대한 모듈로 산술과 귀납법을 사용하여 콜라츠 추측의 완전한 증명을 제공하는 것.
• 특정 모듈로에서의 행동 분석을 통해 모든 홀수 양의 정수가 콜라츠 함수 하에서 결국 1에 도달함을 보여주는 것.
• 12m 형식의 모듈로(예: 12, 24, 36, ..., 108)는 완전한 귀납적 증명을 가능하게 하지만, 15나 18과 같은 다른 모듈로는 그렇지 않음을 보여주는 것.
• 모든 홀수 정수 k에 대해 f(k′) = k를 만족하는 k′ < k 인 전이상이 존재하거나 f(k)가 E에 속하는 더 작은 홀수로 감소함을 보여주는 것.
• 콜라츠 함수 하에서 1에 도달하는 홀수 정수의 집합 E가 모든 홀수 양의 정수의 집합 I와 동일함을 증명함으로써 추측을 확인하는 것.

제안 방법

• 논문은 홀수 양의 정수에 대해 귀납법을 적용하며, k−2 이하의 모든 홀수 정수가 E(1에 도달하는 정수의 집합)에 속한다고 가정하고, k가 E에 속함을 증명한다.
• 논문은 6, 12, 24, 36, 48, 60, 72, 84, 96, 108 모듈로에서 정수의 잔여류를 분석하며, 오직 홀수 잔여류에만 초점을 맞춘다.
• 12m 모듈로의 각 잔여류 클래스에 대해, 3x+1의 산술적 행동과 2의 거듭제곱으로의 나누어떨어짐 여부에 따라 네 개의 집합 U, V, W, X를 정의한다.
• 논문은 두 가지 핵심 전략을 사용한다: (1) 3k′+1 = k 를 만족하는 더 작은 전이상 k′ 를 찾는 것, (2) f(k) < k 이고 f(k) ∈ E 이며 감소함을 보이는 것.
• 모듈로 108의 경우, 각 잔여류 클래스에 대해 k′ 를 명시적으로 구성하고 f(k′) = k 또는 f(k) ∈ E 임을 검증하며, j ∈ V 이면 3j+1 이 4로 나누어떨어짐을 이용한다.
• 증명은 s = 12m 이면 3x+1의 구조와 4 또는 2로 나누는 것에 의해 더 작은 홀수 정수로의 감소가 보장됨을 바탕으로 한다.

실험 결과

연구 질문

• RQ1 형식 12m의 모듈로에서 모듈로 산술을 사용하여 콜라츠 추측을 증명할 수 있는가?
• RQ2 어느 모듈로에서 콜라츠 함수가 1로 향하는 완전한 귀납적 감소를 허용하는가?
• RQ3 모든 홀수 양의 정수가 콜라츠 사상 하에서 전이상 또는 더 작은 이미지를 구성함으로써 1에 도달함을 보일 수 있는가?
• RQ4 왜 15나 18과 같은 모듈로는 완전한 증명을 지원하지 못하고, 12m 모듈로는 성공하는가?
• RQ5 12m 모듈로의 잔여류 분석을 통해 콜라츠 사상 하에서 1에 도달하는 정수의 밀도가 1과 동일한가?

주요 결과

• 논문은 모든 홀수 양의 정수 k에 대해 fⁿ(k) = 1 이 되는 n ≥ 1 이 존재함을 주장하며, 이는 콜라츠 추측을 확인하는 것이다.
• 증명은 12, 24, 36, 48, 60, 72, 84, 96, 108 포함한 12m 형식의 모든 모듈로에서 유효하며, 특히 모듈로 108을 대표 사례로 사용한다.
• 각 홀수 k에 대해, f(k′) = k 를 만족하는 더 작은 전이상 k′ < k 가 존재하거나, f(k)는 k 보다 작은 홀수이며 E에 속한다.
• 모듈로 108에서 정의된 집합 U, V, W, X 는 각 잔여류 클래스에서 콜라츠 궤도가 더 작은 홀수로 사영되거나 유효한 전이상이 있음을 보장한다.
• 모듈로 108에서 네 개의 잔여류 U, V, W, X 의 밀도가 1임을 보여, 모든 홀수 정수가 커버됨을 입증한다.
• 모듈로 15와 18에서는 3x+1 이 충분한 2 또는 4로의 나누어떨어짐을 보장하지 못해 더 작은 값으로의 감소가 보장되지 않아 증명이 실패한다.