형의 핵심인 “자연수 전체의 이진 대칭이 접힘을 강제한다”를 표준 수론·동역학 언어로 번역했습니다. 증명되는 정리와 마지막 전역 명제를 분리해, 학술 검토가 가능한 논문 형태로 정리합니다.
ZPX 이진 위상·접힘 동역학에 의한 콜라츠 추측의 구조적 분석자연수 잉여류의 강제 대칭, 누적 수축 항등식 및 전역 수렴 조건초록
콜라츠 추측은 양의 정수에 (3n+1)과 (n/2)를 반복 적용하면 모든 궤도가 결국 (1)에 도달한다는 명제이다. 현재까지 일반적인 완전증명은 알려지지 않았으며, 최근의 가장 강력한 결과 중 하나도 모든 시작값이 아니라 로그밀도 의미에서 거의 모든 시작값의 궤도가 임의로 천천히 증가하는 경계 아래로 내려간다는 결과이다. (arXiv)
본 논문은 자연수를 단순한 수직선상의 점이 아니라
[
\text{로그 크기}
+
\text{이진 접힘 깊이}
+
\text{모든 }2^q\text{ 잉여류 위상}
]
을 가진 상태로 표현한다.
홀수 간 가속 콜라츠 함수
[
S(n)=\frac{3n+1}{2^{v_2(3n+1)}}
]
를 사용하여 누적 팽창량 (E_k)와 누적 접힘량 (F_k)를 정의하면
[
\boxed{
F_k-E_k=\log_2\frac{n_0}{n_k}
}
]
라는 정확한 항등식이 성립한다.
따라서 누적 접힘이 누적 팽창을 추월한다는 조건은 단순한 물리적 비유가 아니라
[
n_k<n_0
]
와 정확히 동치이다.
또한 모든 완전한 홀수 잉여류 블록에서는 이진 접힘 깊이가
[
\frac12,\frac14,\frac18,\ldots
]
비율로 정확히 분포하며, 평균 접힘 깊이는 (2)로 수렴한다. 이것이 본 논문에서 말하는 자연수 전체의 강제 이진 대칭이다.
그러나 전체 시작값을 가로질러 성립하는 이 횡단 대칭이 하나의 고정된 궤도의 시간방향에서도 예외 없이 실현된다는 명제는 별도의 전역 정리를 필요로 한다. 본 논문은 그 마지막 정리를 명확히 특정하고, 그 정리가 성립하면 강한 귀납법으로 콜라츠 추측이 완전히 증명됨을 보인다.
1. 콜라츠 문제
콜라츠 함수를
[
C(n)=
\begin{cases}
3n+1,&n\equiv1\pmod2,\[4pt]
n/2,&n\equiv0\pmod2
\end{cases}
]
로 정의한다.
콜라츠 추측은 모든 (n\in\mathbb N^+)에 대해 어떤 (r\geq0)가 존재하여
[
C^r(n)=1
]
이 된다는 명제이다.
문제는 현재도 미해결이며, 궤도의 유계성이나 비자명한 주기의 부존재조차 모든 양의 정수에 대해 알려지지 않았다. (arXiv)
기존의 수열 표기만 보면
[
n_0,n_1,n_2,\ldots
]
는 불규칙하게 상승하고 하강하는 숫자 목록처럼 보인다.
그러나 연산을 자세히 보면 두 종류의 변화가 결합되어 있다.
[
3n+1:
\quad\text{크기 팽창과 이진 자리올림},
]
[
n/2:
\quad\text{이진 최하위 비트 제거와 크기 수축}.
]
따라서 콜라츠 문제는 단순한 숫자 나열이 아니라 크기와 이진 위상이 결합된 이산 동역학으로 분석해야 한다.
2. 자연수를 다층 이진 상태로 표현하기
모든 양의 정수 (n)에 대해
[
\rho(n)=\log_2 n
]
을 크기좌표로 정의한다.
또한
[
\Psi(n)=
\bigl(
n\bmod2,,
n\bmod4,,
n\bmod8,\ldots
\bigr)
]
를 이진 위상좌표로 정의한다.
각 성분은 다음 호환조건을 만족한다.
[
n\bmod2^{q+1}
\equiv
n\bmod2^q
\pmod{2^q}.
]
따라서 (\Psi(n))는 서로 관계없는 잉여류 목록이 아니라 하나의 일관된 무한 이진 상태이며, 자연스럽게 (2)-진 정수공간
[
\mathbb Z_2
]
의 한 점으로 해석된다.
콜라츠 함수의 패리티열은 (2)-진 정수와 일대일 대응하며, (2)-진 확장에서는 콜라츠 동역학이 이진 시프트와 위상적으로 켤레라는 사실이 알려져 있다. (arXiv)
ZPX 상태를
[
\boxed{
X(n)=\bigl(\rho(n),\Psi(n)\bigr)
\in
\mathbb R\times\mathbb Z_2
}
]
로 정의한다.
이 표현에서 자연수는 더 이상 크기 하나만 가진 점이 아니다.
3. 유한 해상도에서의 회전 위상
깊이 (q)에서 각도를
[
\theta_q(n)
2\pi\frac{n\bmod2^q}{2^q}
]
로 정의한다.
그러면 (3n+1) 연산은
[
\theta_q(3n+1)
\equiv
3\theta_q(n)+\frac{2\pi}{2^q}
\pmod{2\pi}
]
로 표현된다.
따라서 홀수 연산은 단순한 강체회전이 아니다. 정확히는
각도를 세 배로 확장하고,
한 잉여류만큼 이동시키고,
원주에서 다시 접는
아핀 원주변환이다.
이후 (2)로 나누는 연산은 이진 비트열을 오른쪽으로 이동시키는 시프트이다.
그러므로 콜라츠의 공간적 해석은
[
\boxed{
\text{각도 팽창}
+
\text{자리올림}
+
\text{이진 시프트}
}
]
가 결합된 적응형 회전·접힘 동역학이다.
고정된 (q)의 각도만으로 다음 상태를 모두 결정할 수는 없다. (a)개의 비트를 제거하면 더 높은 비트가 아래로 내려오므로 (S(n)\bmod2^q)를 알려면 일반적으로
[
n\bmod2^{q+a}
]
까지 알아야 한다.
따라서 정확한 공간은 단일 원이나 3차원 구보다
[
\mathbb R_{\log}\times\mathbb Z_2
]
에 가깝다. 3차원 나선이나 구면은 이 무한상태의 시각적 투영으로 사용할 수 있다.
4. 홀수만 추적하는 시라쿠사 함수
홀수 (n)에 대해
[
a(n)=v_2(3n+1)
]
로 정의한다.
여기서 (v_2(m))은 (m)을 나누는 최대 (2)의 지수이다.
예를 들어
[
3\cdot5+1=16=2^4
]
이므로
[
a(5)=4.
]
홀수에서 다음 홀수로 직접 이동하는 함수를
[
\boxed{
S(n)=\frac{3n+1}{2^{a(n)}}
}
]
로 정의한다.
궤도를
[
n_{i+1}=S(n_i)
]
라 하고
[
a_i=a(n_i)
]
로 쓴다.
한 단계의 정확한 크기비는
[
\frac{n_{i+1}}{n_i}
\frac{3+\frac1{n_i}}{2^{a_i}}.
]
로그좌표에서 한 단계 변화는
[
\log_2 n_{i+1}-\log_2 n_i
\log_2\left(3+\frac1{n_i}\right)-a_i.
]
따라서
[
e_i=
\log_2\left(3+\frac1{n_i}\right)
]
를 팽창량,
[
f_i=a_i
]
를 이진 접힘량이라고 정의한다.
5. ZPX 접힘–팽창 균형정리정의 1. 누적 팽창량과 누적 접힘량
(k)단계까지의 누적 팽창량을
[
E_k=
\sum_{i=0}^{k-1}
\log_2\left(3+\frac1{n_i}\right)
]
로 정의한다.
누적 접힘량을
[
F_k=
\sum_{i=0}^{k-1}a_i
]
로 정의한다.
접힘 여유량을
[
M_k=F_k-E_k
]
로 정의한다.
정리 1. 정확한 균형 항등식
모든 홀수 시작값 (n_0)과 모든 (k\geq1)에 대해
[
\boxed{
F_k-E_k
\log_2\frac{n_0}{n_k}
}
]
가 성립한다.
증명
한 단계의 비율식을 모두 곱하면
[
\frac{n_k}{n_0}
\prod_{i=0}^{k-1}
\frac{3+\frac1{n_i}}{2^{a_i}}.
]
양변에 밑이 (2)인 로그를 취하면
[
\log_2\frac{n_k}{n_0}\sum_{i=0}^{k-1}
\log_2\left(3+\frac1{n_i}\right)
\sum_{i=0}^{k-1}a_i.
]
따라서
[
\log_2\frac{n_k}{n_0}=E_k-F_k
]
이고,
[
F_k-E_k=\log_2\frac{n_0}{n_k}.
]
증명 끝.
따름정리 1. 내부 반경 귀환조건
[
\boxed{
F_k>E_k
\iff
n_k<n_0
}
]
이다.
또한
[
F_k=E_k
\iff n_k=n_0,
]
[
F_k<E_k
\iff n_k>n_0.
]
따라서 “누적 접힘량이 누적 팽창량보다 커진다”는 말은 주관적인 에너지 비유가 아니다.
그것은 정확히
[
\boxed{
\text{궤도가 시작 반경보다 작은 내부 껍질로 들어간다}
}
]
는 명제와 동치이다.
6. ZPX 누적 직각삼각형
평면의 점
[
P_k=(E_k,F_k)
]
를 생각한다.
수평축은 팽창량, 수직축은 접힘량이다.
누적 위상각을
[
\phi_k=
\arctan\frac{F_k}{E_k}
]
로 정의한다.
그러면
[
\phi_k>\frac{\pi}{4}
\iff
\frac{F_k}{E_k}>1
\iff
F_k>E_k
\iff
n_k<n_0.
]
따라서 ZPX 직각삼각형의 정확한 수렴조건은
[
\boxed{
\phi_k>45^\circ
}
]
이다.
여기서 각도는 모든 수에 공통된 고정각이 아니다. 궤도마다, 단계마다 변하는 누적각이다.
그러므로 올바른 ZPX 명제는
모든 수가 하나의 고정된 삼각비를 따른다.
가 아니라
모든 양의 정수 궤도의 누적 접힘각이 유한한 시점에 (45^\circ)를 넘어서는가?
이다.
7. 유한 하강성과 콜라츠 추측의 동치정리 2. 첫 하강 정리
다음 두 명제는 동치이다.
명제 A
모든 홀수 (n>1)에 대해 어떤 (k\geq1)가 존재하여
[
S^k(n)<n
]
이다.
명제 B
모든 양의 정수의 콜라츠 궤도는 (1)에 도달한다.
증명
명제 B가 참이면 모든 (n>1)은 결국 (1<n)에 도달하므로 명제 A가 성립한다.
반대로 명제 A가 참이라고 하자.
강한 수학적 귀납법을 사용한다. (1,\ldots,n-1)의 모든 수가 (1)에 도달한다고 가정한다.
(n)이 짝수이면
[
n\rightarrow n/2<n
]
이므로 귀납가정을 적용할 수 있다.
(n)이 홀수이면 명제 A에 의해 어떤 (k)에서
[
S^k(n)<n
]
이다. 역시 귀납가정에 따라 그 작은 수는 (1)에 도달한다.
따라서 (n)도 (1)에 도달한다. 증명 끝.
정리 1과 결합하면 콜라츠 추측은 다음 명제와 동치이다.
[
\boxed{
\forall n_0>1,\quad
\exists k<\infty:
F_k(n_0)>E_k(n_0)
}
]
이것이 ZPX 콜라츠 이론의 정확한 전역 증명목표이다.
8. 반복식의 정확한 아핀 전개
누적 접힘지수를
[
A_0=0,\qquad
A_k=\sum_{i=0}^{k-1}a_i
]
로 정의한다.
정리 3. (k)단계 전개식
[
\boxed{
n_k=
\frac{3^k n_0+B_k}{2^{A_k}}
}
]
이며
[
B_k=
\sum_{j=0}^{k-1}
3^{k-1-j}2^{A_j}.
]
증명
(k=1)일 때
[
n_1=\frac{3n_0+1}{2^{a_0}}
]
이므로 성립한다.
(k)에서 성립한다고 가정하면
[
n_{k+1}
\frac{3n_k+1}{2^{a_k}}
]
이고,
[
n_{k+1}
\frac{
3^{k+1}n_0+3B_k+2^{A_k}
}{
2^{A_{k+1}}
}.
]
이는 요구한 합 공식과 일치한다. 증명 끝.
따름정리 2. 하강의 대수적 조건
[
n_k<n_0
]
는 다음 부등식과 동치이다.
[
\boxed{
\left(2^{A_k}-3^k\right)n_0>B_k
}
]
따라서 단순히
[
2^{A_k}>3^k
]
만 확인하는 것은 충분하지 않다.
각 단계에서 발생한 (+1)의 누적항 (B_k)까지 이겨야 한다.
ZPX의 정확한 팽창량 (E_k)는 이 (+1) 효과를 모두 포함하므로
[
F_k>E_k
]
는 근사가 아니라 완전한 필요충분 조건이다.
9. 자연수 전체가 강제하는 이진 잉여류 대칭
이제 형의 핵심 주장인
연속적으로 배열된 자연수 자체가 대칭을 강제한다.
를 엄밀한 정리로 바꾼다.
여기서 연속적이라는 말은 실수의 위상적 연속성이 아니라, 한 주기의 잉여류를 빠짐없이 포함하는 완전한 자연수 블록을 뜻한다.
정리 4. 접힘 깊이 분포 정리
(m\geq1)이라 하고, 법 (2^{m+1})의 모든 홀수 잉여류를 생각한다.
총 홀수 잉여류 개수는
[
2^m
]
이다.
(1\leq r\leq m)에 대해
[
a(n)=r
]
인 잉여류는 정확히
[
\boxed{
2^{m-r}
}
]
개이다.
또한
[
a(n)\geq m+1
]
인 잉여류는 정확히 하나이다.
증명
[
a(n)\geq r
]
라는 조건은
[
3n+1\equiv0\pmod{2^r}
]
와 동치이다.
(3)은 (2^r)와 서로소이므로 역원이 존재한다.
따라서
[
n\equiv-3^{-1}\pmod{2^r}
]
라는 유일한 합동류가 존재한다.
법 (2^{m+1})에서는 이 합동류의 홀수 해가
[
2^{m+1-r}
]
개이다.
그러므로
[
#{a(n)=r}#{a(n)\geq r}
#{a(n)\geq r+1}
]
이고,
[
2^{m+1-r}-2^{m-r}
2^{m-r}.
]
증명 끝.
해석
전체 홀수 블록에서 접힘 깊이는 정확히
[
a=1:\frac12,
]
[
a=2:\frac14,
]
[
a=3:\frac18,
]
[
a=4:\frac1{16},
]
의 비율로 나타난다.
즉,
[
\boxed{
\Pr(a=r)=2^{-r}
}
]
라는 기하분포가 자연수의 이진 잉여류 구조 자체에서 강제된다.
이것은 임의의 확률가정을 넣은 것이 아니다.
완전한 잉여류 블록을 세면 정확히 나오는 결정적 산술대칭이다.
10. 평균 접힘 깊이
법 (2^{m+1})에서 접힘 깊이를 (m+1)까지 잘라 평균을 계산하면
[
\frac{
\displaystyle
\sum_{r=1}^{m}
r2^{m-r}
+(m+1)
}{
2^m
}
2-\frac1{2^m}.
]
따라서
[
\boxed{
\lim_{m\to\infty}
\operatorname{Avg}(a)=2
}
]
이다.
큰 (n)에서 한 홀수 단계의 팽창량은
[
\log_2\left(3+\frac1n\right)
\longrightarrow
\log_2 3
\approx1.5849625.
]
그러므로 전체 잉여류 공간에서는
[
2>\log_2 3.
]
즉 평균 접힘량이 평균 팽창량보다 크다.
이것이 ZPX 언어로 표현한 전체 자연수 공간의 구심적 대칭 우세이다.
11. 모든 유한 접힘 패턴의 잉여류 실현정리 5. 유한 패턴 정리
임의의 양의 정수열
[
(a_0,a_1,\ldots,a_{k-1})
]
을 정한다.
[
A_k=a_0+\cdots+a_{k-1}
]
라 하면, 이 접힘열을 처음 (k)단계에서 정확히 발생시키는 홀수 시작값들은 법
[
2^{A_k+1}
]
의 단 하나의 홀수 잉여류를 이룬다.
따라서 그 밀도는
[
\boxed{
2^{-A_k}
}
]
이다.
증명 개요
첫 단계에서 (a_0=r)이라는 조건은
[
3n_0+1\equiv2^r\pmod{2^{r+1}}
]
이고, (3)이 홀수이므로 정확히 하나의 해를 갖는다.
(k)단계까지의 전개식
[
2^{A_k}n_k=3^kn_0+B_k
]
에서 다음 접힘값 (a_k)를 지정하면
[
3n_k+1\equiv2^{a_k}\pmod{2^{a_k+1}}
]
이라는 추가 합동조건이 생긴다.
모든 계수 (3^j)가 홀수이며 (2)의 거듭제곱에 대해 역원을 가지므로, 기존 합동류 중 정확히 하나의 상위 리프트가 선택된다.
귀납적으로 법 (2^{A_k+1})의 하나의 홀수 잉여류가 결정된다. 증명 끝.
유한 패리티 패턴과 합동류 사이의 이러한 일대일 대응은 기존의 (2)-진 패리티 연구에서도 기본구조로 사용된다. (arXiv)
결과
유한한 길이만 본다면 접힘값 (a_i)들은 시작값 전체에서 정확히 독립 기하분포처럼 배열된다.
[
\Pr(a_0=r_0,\ldots,a_{k-1}=r_{k-1})
2^{-(r_0+\cdots+r_{k-1})}.
]
그러나 이것은 여러 시작값을 가로질러 측정한 횡단 분포이다.
하나의 고정된 시작값을 따라 시간방향으로 측정한 분포와 자동으로 같다고 결론 내릴 수는 없다.
12. 횡단 대칭과 종단 대칭
ZPX 대칭을 두 종류로 구별해야 한다.
12.1 횡단 대칭
같은 해상도의 모든 홀수 시작값을 옆으로 펼쳐 보는 것이다.
[
1,3,5,\ldots,2^{m+1}-1.
]
이 전체에서는 접힘 깊이가 정확한 기하비율로 배치된다.
이는 정리 4로 완전히 증명된다.
12.2 종단 대칭
하나의 시작값을 고정하고 궤도를 따라가는 것이다.
[
n_0\rightarrow n_1\rightarrow n_2\rightarrow\cdots.
]
이때 요구되는 것은
[
\frac1k
\sum_{i=0}^{k-1}a_i
]
가 충분히 커져 누적 팽창을 이기는가이다.
콜라츠 추측을 완성하려면 다음 전달이 필요하다.
[
\boxed{
\text{전체 잉여류의 횡단 대칭}
\Longrightarrow
\text{각 양의 정수 궤도의 유한 접힘 우세}
}
]
전체 공간의 균형이 개별 궤도의 시간평균에 전달된다는 주장이 바로 마지막 전역성 문제이다.
Tao의 결과도 강력한 확률·수론적 방법을 통해 거의 모든 궤도의 하강을 얻지만, 모든 개별 양의 정수에 대한 결론은 아니다. (arXiv)
13. 임의로 긴 팽창구간
전체 대칭이 존재해도 개별 궤도는 유한 시간 동안 매우 강하게 비대칭일 수 있다.
정리 6. 연속 (a=1) 구간 정리
홀수 (n)에 대해
[
t=v_2(n+1)
]
라 하자.
그러면 처음부터 (a_i=1)이 연속하는 정확한 길이는
[
\boxed{
t-1
}
]
이다.
증명
(a_i=1)인 동안
[
n_{i+1}=\frac{3n_i+1}{2}.
]
귀납적으로
[
n_j+1=
\frac{3^j(n+1)}{2^j}
]
이다.
따라서
[
v_2(n_j+1)=t-j.
]
(j<t-1)이면
[
v_2(n_j+1)\geq2
]
이므로
[
n_j\equiv-1\equiv3\pmod4.
]
따라서
[
v_2(3n_j+1)=1.
]
반면 (j=t-1)에서는
[
v_2(n_j+1)=1
]
이므로
[
n_j\equiv1\pmod4
]
이고
[
v_2(3n_j+1)\geq2.
]
증명 끝.
특별한 예
[
n_0=2^{L+1}-1
]
이면
[
v_2(n_0+1)=L+1
]
이므로 처음 (L)단계 동안
[
a_0=\cdots=a_{L-1}=1.
]
그리고
[
\boxed{
n_j=3^j2^{L+1-j}-1
}
]
이며 (0\leq j<L)에서
[
n_{j+1}>n_j.
]
따라서 임의로 긴 팽창구간이 실제로 존재한다.
그러므로 모든 수가 고정된 단계 수 이내에 감소한다는 주장은 거짓이다.
하지만 각 양의 정수에서 연속 (a=1) 구간은 반드시 유한하다.
이것은 형이 말한
유한한 자연수는 무한 비대칭 꼬리를 그대로 유지할 수 없다.
는 원리의 한 가지 엄밀한 사례이다.
14. (2)-진 고정점의 그림자
[
2^{L+1}-1
]
은 (2)-진 거리에서
[
-1=\cdots111111_2
]
에 가까워진다.
시라쿠사 함수를 (2)-진 공간으로 확장하면
[
S(-1)\frac{3(-1)+1}{2}
-1.
]
즉 (-1)은 영원히 (a=1)을 반복하는 (2)-진 고정점이다.
양의 정수
[
2^{L+1}-1
]
은 처음 (L)단계 동안 이 고정점의 동역학을 그림자처럼 따라간다.
그러나 양의 정수는 (-1)과 같지 않으므로 결국 그 패턴에서 벗어난다.
따라서 긴 팽창은 무작위 오류가 아니라
[
\boxed{
\text{비양의 (2)-진 고정점에 대한 유한 그림자 현상}
}
]
으로 해석된다.
모든 무한 이진 패턴이 정확히 하나의 (2)-진 정수에 대응한다는 사실은 패리티열의 (2)-진 일대일 대응에서 나온다. (arXiv)
15. 주기적 영구 팽창 패턴의 배제정리 7. 양의 주기궤도의 접힘조건
접힘열
[
(a_0,\ldots,a_{p-1})
]
이 주기 (p)로 반복된다고 하자.
[
A=a_0+\cdots+a_{p-1}
]
라 놓고
[
B=
\sum_{j=0}^{p-1}
3^{p-1-j}2^{A_j}
0
]
라 하자.
주기점 (x)는
[
x=\frac{3^px+B}{2^A}
]
를 만족하므로
[
\boxed{
x=\frac{B}{2^A-3^p}.
}
]
따라서 (x>0)이려면 반드시
[
2^A>3^p,
]
즉
[
\boxed{
\frac{A}{p}>\log_2 3
}
]
이어야 한다.
결론
접힘 평균이 팽창 평균 이하인 주기적 패턴은 양의 주기궤도가 될 수 없다.
즉 영원한 팽창 우세가 가능하려면 단순 주기패턴이 아니라 비주기적인 무한 접힘열이어야 한다.
16. 무한 접힘열의 (2)-진 표현
임의의 무한 접힘열
[
(a_0,a_1,a_2,\ldots)
]
에 대해
[
A_j=a_0+\cdots+a_{j-1}
]
라 하자.
역방향 관계
[
n_i=\frac{2^{a_i}n_{i+1}-1}{3}
]
를 반복하면
[
n_0\frac{2^{A_k}n_k}{3^k}
\sum_{j=0}^{k-1}
\frac{2^{A_j}}{3^{j+1}}.
]
(2)-진 거리에서 (A_k\to\infty)이므로 첫 항은 (0)으로 수렴한다.
따라서 무한 접힘열에 대응하는 유일한 (2)-진 시작점은
[
\boxed{
x=
-\sum_{j=0}^{\infty}
\frac{2^{A_j}}{3^{j+1}}
}
]
이다.
이 급수는 (2)-진 의미에서는 수렴한다.
따라서 영원한 팽창 우세 패턴도 어떤 (2)-진 상태에는 대응할 수 있다.
완전한 증명을 위해 필요한 것은 그 상태가 양의 자연수가 될 수 없다는 것이다.
17. ZPX 자연수 대칭 배제 명제
비수축 집합을
[
\mathcal E=
\left{
n\in\mathbb N_{\mathrm{odd}},\ n>1:
F_k(n)\leq E_k(n)
\text{ for every }k\geq1
\right}
]
로 정의한다.
콜라츠 추측은 정확히
[
\boxed{
\mathcal E=\varnothing
}
]
와 동치이다.
형의 대칭성 원리를 표준 수학명제로 표현하면 다음과 같다.
ZPX 전역 대칭 전달 명제
모든 양의 홀수 (n>1)에 대해, 그 궤도는 자연수 전체의 이진 접힘 대칭을 영원히 회피할 수 없다.
즉 어떤 유한한 (k)에서
[
\boxed{
F_k(n)>E_k(n)
}
]
가 성립한다.
이 명제가 증명되면 정리 2에 의해 콜라츠 추측이 완전히 증명된다.
18. 왜 “유한 이진수이므로 자동 수렴”만으로는 부족한가
양의 정수의 이진표현은 유한하다.
그러나 콜라츠 궤도에서 값이 커지면 비트 길이도 계속 증가할 수 있다.
따라서
[
\text{초기 이진표현이 유한하다}
]
는 사실만으로
[
\text{전체 미래 패리티열이 결국 주기적이다}
]
또는
[
\text{접힘 평균이 반드시 }2\text{가 된다}
]
고 바로 결론 낼 수는 없다.
이미 정리 6에서 모든 고정된 길이의 비대칭 팽창패턴이 양의 정수에서 실현될 수 있음을 보였다.
따라서 필요한 논증은 단순한 유한성보다 강해야 한다.
정확히는 다음을 보여야 한다.
길이 (k)가 증가하면서 선택되는 중첩 잉여류의 유일한 (2)-진 극한점이 영원한 팽창 우세를 갖는다면, 그 극한점은 양의 자연수가 될 수 없다.
이는
[
\boxed{
\mathcal E_{\mathbb Z_2}
\cap
\mathbb N^+
\varnothing
}
]
이라는 형태의 아르키메데스–(2)-진 교차 배제정리이다.
이 명제는 형의 “자연수 대칭 강제”를 완전한 증명으로 바꾸기 위해 정확히 필요한 마지막 정리이다.
19. 충분한 점별 평균조건정리 8. 점별 접힘 평균의 충분조건
홀수 (n_0\geq3)에 대해 어떤 (k)가 존재하여
[
\boxed{
\frac1k\sum_{i=0}^{k-1}a_i
\log_2\left(3+\frac1{n_0}\right)
}
]
이면 (k)단계 이내에
[
n_j<n_0
]
인 (j)가 존재한다.
증명
그 이전에 이미 (n_j<n_0)이면 결론은 끝난다.
그렇지 않다고 가정하면 모든 (i<k)에서
[
n_i\geq n_0.
]
따라서
[
\log_2\left(3+\frac1{n_i}\right)
\leq
\log_2\left(3+\frac1{n_0}\right).
]
그러므로
[
E_k
\leq
k\log_2\left(3+\frac1{n_0}\right).
]
가정에 의해
[
F_k>E_k
]
이고 정리 1에 따라
[
n_k<n_0.
]
증명 끝.
강한 균일 충분조건
모든 홀수 (n_0\geq3)에 대해
[
3+\frac1{n_0}
\leq
\frac{10}{3}.
]
따라서
[
\log_2\frac{10}{3}
\approx1.736965594.
]
모든 홀수 궤도에서 어떤 (k)가 존재하여
[
\boxed{
\frac1k
\sum_{i=0}^{k-1}a_i
1.736965594
}
]
임을 증명하면 콜라츠 추측이 증명된다.
자연수 전체 잉여류의 강제 평균은 (2)이다.
그러므로 마지막 문제는
[
\boxed{
\text{횡단 평균 }2
\text{를 각 궤도의 유한 종단 평균으로 전달하는 것}
}
]
이다.
20. 과학적 계산 검증 알고리즘
다음 코드는 접힘–팽창 항등식과 첫 하강을 정수연산으로 검증한다.
from math import log2, isclose def v2(x: int) -> int: if x <= 0: raise ValueError("x must be positive") return (x & -x).bit_length() - 1 def syracuse_step(n: int) -> tuple[int, int]: if n <= 0 or n % 2 == 0: raise ValueError("n must be a positive odd integer") value = 3 * n + 1 folding = v2(value) return value >> folding, folding def verify_zpx_identity(start: int, steps: int) -> None: if start <= 0 or start % 2 == 0: raise ValueError("start must be a positive odd integer") n = start expansion = 0.0 folding = 0 for _ in range(steps): old = n n, a = syracuse_step(old) expansion += log2(3 + 1 / old) folding += a left = folding - expansion right = log2(start / n) if not isclose(left, right, rel_tol=1e-12, abs_tol=1e-12): raise ArithmeticError("ZPX identity failed") print( { "start": start, "final": n, "folding": folding, "expansion": expansion, "margin": folding - expansion, } ) def first_descent(start: int, max_steps: int = 100_000): n = start expansion = 0.0 folding = 0 for step in range(1, max_steps + 1): old = n n, a = syracuse_step(old) expansion += log2(3 + 1 / old) folding += a if n < start: return { "steps": step, "landing": n, "folding": folding, "expansion": expansion, "margin": folding - expansion, } return None
이 계산은 유한범위에서 정리를 검증하는 용도이다.
유한 계산을 아무리 크게 수행해도 모든 자연수에 대한 전역 정리를 대신할 수는 없지만, 제안된 항등식과 알고리즘 구현의 오류를 검사할 수 있다.
21. 기존 연구와 ZPX 접근의 관계
기존 연구에서도 콜라츠는 이미 다음 관점으로 연구되어 왔다.
유한 패리티열과 합동류의 일대일 대응, 무한 패리티열과 (2)-진 정수의 일대일 대응, 콜라츠 함수와 이진 시프트의 켤레관계는 기존 연구에서 엄밀히 정립되어 있다. (arXiv)
ZPX 접근의 독자적 역할은 이러한 구조를 다음의 하나의 균형모형으로 결합하는 것이다.
\log_2\frac{n_0}{n_k}.
}
]
이 항등식은 콜라츠 수렴문제를 정확한 위상 접힘 우세 문제로 번역한다.
22. 성과와 미증명 부분의 구분본 논문에서 완전히 증명된 결과
이 명제는 앞의 항등식으로부터 자동으로 나오지 않는다.
전체 잉여류에서의 평균 대칭을 하나의 개별 궤도에 예외 없이 전달하는 별도의 전역 논증이 필요하다.
형의 핵심 통찰은 다음처럼 엄밀하게 정리된다.
를 만족한다.
이다.
보다 크므로 전체 공간에서는 접힘 대칭이 팽창보다 우세하다.
따라서 콜라츠 문제의 본질은 다음 한 문장으로 압축된다.
가 되며, 강한 귀납법으로 모든 양의 정수는 (1)에 도달한다.
의 문제로 정확히 재정식화한다.
현재 엄밀한 최종 판정은 다음과 같다.
그 마지막 정리가 확보되는 순간, 본 논문의 정리 1과 정리 2에 의해 콜라츠 추측의 완전증명이 닫힌다.
Terence Tao, Almost all orbits of the Collatz map attain almost bounded values. 최신 개정본에서도 완전한 콜라츠 추측은 현재 방법의 범위를 넘어선다고 설명하고, 로그밀도 의미의 거의 모든 궤도에 대한 하강 결과를 제시한다. (arXiv)
Jeffrey C. Lagarias, The 3x+1 Problem: An Overview. 콜라츠 문제의 역사, 부분 결과 및 구조적 난점을 종합적으로 검토한다. (arXiv)
Olivier Rozier, Parity sequences of the 3x+1 map on the 2-adic integers and Euclidean embedding. 유한 패리티열과 합동류, 무한 패리티열과 (2)-진 정수의 일대일 대응 및 시프트 켤레를 다룬다. (arXiv)
Kenneth Monks 외, Strongly sufficient sets and the distribution of arithmetic sequences in the 3x+1 graph. (2)-진 패리티 부호화와 이진 시프트 켤레 및 콜라츠 그래프의 구조를 논의한다.