[논문 리뷰] Integer Representations and Trajectories of the 3x + 1 Problem

Roy Burson|arXiv (Cornell University)|2019. 01. 01.

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

한 줄 요약

이 논문은 2와 3의 거듭제곱을 이용한 홀수 양의 정수의 새로운 표현 방식을 제안한다. 만약 모든 홀수 정수 n이 n ∼ 3n + 2를 만족한다면(즉, 궤적들이 융합된다면), 모든 홀수 정수는 특정한 형태로 표현 가능하며, 이는 콜라츠 추측이 성립함을 의미한다. 주요 기여는 전체 추측을 모든 홀수 n에 대해 이 융합 조건을 증명하는 것으로 단순화하는 데 있다.

ABSTRACT

This paper studies certain trajectories of the Collatz function. I show that if for each odd number $n$, $n\sim 3n+2$ then every positive integer $n \in \mathbb{N}\setminus 2^{\mathbb{N}}$ has the representation $$n=\left(2^{a_{k+1}}-\sum_{i=0}^{k}{2^{a_i}3^{k-i}} ight)/ 3^{k+1}$$ where $0\le a_0 \le a_1 \le \cdot \cdot \cdot \le a_{k+1}$. As a consequence, in order to prove Collatz Conjecture I illustrate that it is sufficient to prove $n\sim 3n+2$ for any odd $n\in \mathbb{N}\setminus 2^{\mathbb{N}} $. This is the main result of the paper.

연구 동기 및 목표

• 2와 3의 거듭제곱을 사용하여 홀수 양의 정수에 대한 새로운 정수 표현을 수립하기.
• 모든 홀수 n이 n ∼ 3n + 2를 만족한다면(궤적 융합), 모든 홀수 n이 특정한 형태로 표현 가능하다는 것을 보여주기.
• 전체 콜라츠 추측을 모든 홀수 n에 대해 n ∼ 3n + 2 조건을 증명하는 것으로 단순화하기.
• 역행 반복과 닫힘 성질을 이용하여 3x+1 문제의 궤적에 대한 구조적 특성 기술하기.

제안 방법

• 비감소하는 지수 a_i를 갖는 (2^{a_{k+1}} - Σ_{i=0}^k 2^{a_i} 3^{k-i}) / 3^{k+1} 형태로 표현 가능한 정수의 집합 R을 정의하기.
• R가 두 배하기 연산 n → 2n 과 역 콜라츠 연산 (2n-1)/3 에 대해 닫혀 있음을 증명하기.
• 홀수 정수의 순서집합에 대한 귀납법을 사용하여, n ∼ 3n + 2이면 n ∈ R임을 보여주기.
• 2의 거듭제곱에서 1을 뺀 수의 궤적(2^a - 1)을 분석하고, 이들이 R의 원소 또는 2의 거듭제곱으로 끝나게 됨을 보여주기.
• 3^{a/2 +1} + 2 와 2^a 사이의 부등식을 이용하여 T에 대한 2^a + 1의 반복 적용 결과를 한계화하기.
• 1에서 시작하여 역행 반복을 통해 n → 2n 및 n → (n-1)/3 연산의 수열을 이용해 R에 속하는 모든 정수를 생성하기.

실험 결과

연구 질문

• RQ1 모든 홀수 양의 정수는 비감소 지수 a_i를 갖는 (2^{a_{k+1}} - Σ_{i=0}^k 2^{a_i} 3^{k-i}) / 3^{k+1} 형태로 표현될 수 있는가?
• RQ2 모든 홀수 n에 대해 n ∼ 3n + 2 조건이 성립한다면, 모든 홀수 n이 표현 가능한 정수의 집합 R에 속하는가?
• RQ3 1에서 시작하는 역행 반복이 콜라츠 유사 연산을 통해 모든 홀수 정수를 생성하는 데 어떤 역할을 하는가?
• RQ4 2^a + 1과 같은 수의 궤적이 콜라츠 함수에 대해 어떻게 행동하는가? 그리고 이들이 R 또는 2의 거듭제곱으로 도달함을 보일 수 있는가?
• RQ5 a ≥ 8일 때 3^{a/2 +1} + 2 < 2^a + 1 이 성립하는가? 이를 통해 반복 적용 결과를 한계화하고 수렴성을 보장할 수 있는가?

주요 결과

• 2로 나누어지지 않는 모든 홀수 양의 정수는 비감소 지수 a_i를 갖는 (2^{a_{k+1}} - Σ_{i=0}^k 2^{a_i} 3^{k-i}) / 3^{k+1} 형태로 표현 가능하다.
• 집합 R은 연산 n → 2n 및 n → (2n-1)/3 에 대해 닫혀 있다.
• 모든 홀수 n에 대해 n ∼ 3n + 2 조건이 성립한다면, 모든 홀수 n은 R에 속하게 되며, 따라서 콜라츠 추측이 성립한다.
• a ≥ 8일 때, 2^a + 1은 T에 대해 자신보다 작은 값으로 수렴하며, 이는 2의 거듭제곱이거나 R의 원소이다.
• a ≥ 8일 때 부등식 3^{a/2 +1} + 2 < 2^a + 1 가 항상 성립하며, 이는 2^a + 1의 반복 적용 결과를 한계화하고 수렴성을 뒷받침한다.
• a < 8인 경우는 직접 계산으로 검증되었으며, 이는 모든 홀수 정수에 대한 귀납 단계를 완성한다.