은 필요한 조건이지만 일반적으로 그것만으로는 충분하지 않다. 우변의 양의 보정항 (B_k)까지 이겨야 한다.
ZPX의 정확한 (E_k)는 이 (+1) 누적효과를 모두 포함하므로
[ F_k>E_k ]
는 근사가 아니라 필요충분 조건이다.
5. 잉여류와 이진 자리올림 구조
정규화된 콜라츠 함수의 유한 패리티 벡터는 시작 정수의 특정한 (2)의 거듭제곱 합동류와 일대일로 대응한다. 즉 길이 (r)의 임의의 유한 홀짝 패턴은 정확히 하나의 합동류 modulo (2^r)에서 발생한다. 이 패리티 부호화는 (2)-진 정수공간에서 일대일 대응과 시프트 켤레로 확장된다. (arXiv)
이를 시라쿠사 접힘열에 적용한다.
정리 4. 모든 유한 접힘열의 실현 가능성
임의의 양의 정수열
[ (a_0,a_1,\ldots,a_{k-1}) ]
에 대해, 이 접힘열을 처음 (k)단계 동안 정확히 발생시키는 홀수들은 하나의 합동류
[ n_0\equiv r \pmod{2^{A_k+1}} ]
를 이룬다.
따라서 임의의 유한 이진 접힘 패턴은 실제 양의 정수들에서 발생한다.
의미
예를 들어
[ a_0=a_1=\cdots=a_{k-1}=1 ]
이라는 최악의 팽창 패턴도 임의의 유한 길이만큼 발생할 수 있다.
그러므로 다음 방식은 완전한 증명이 될 수 없다.
“나쁜 접힘 패턴은 일정한 길이 이상 나타날 수 없다.”
실제로는 얼마든지 길게 나타난다.
따름정리 3. 시작값 분포에서의 기하분포
홀수 시작값을 큰 구간에서 균등하게 선택하면 고정된 유한 접힘열의 밀도는
[ 2^{-A_k}
\prod_{i=0}^{k-1}2^{-a_i} ]
이다.
따라서 시작값 전체에 대한 유한차원 분포에서는
[ \Pr(a_i=r)=2^{-r}, \qquad r=1,2,\ldots ]
인 기하분포처럼 나타난다.
이때
[ \mathbb E[a_i]
\sum_{r=1}^{\infty}r2^{-r} =2. ]
또한
[ \Pr(A_k=m)
\binom{m-1}{k-1}2^{-m}, \qquad m\geq k. ]
이는 (m)을 (k)개의 양의 정수로 분해하는 방법이
[ \binom{m-1}{k-1} ]
개이기 때문이다.
그러나 이 결과는 여러 시작값 사이의 분포이다. 하나의 고정된 궤도를 시간에 따라 따라갔을 때에도 평균이 반드시 (2)가 된다는 점별 정리는 아니다.
바로 이 차이 때문에 확률적 평균이 완전한 증명이 되지 않는다. Tao의 결과 역시 거의 모든 시작값에 대한 매우 강한 하강 성질을 증명하지만 모든 개별 시작값을 포함하지는 않는다. (arXiv)
6. 임의로 긴 팽창구간의 명시적 구성정리 5. 무제한 길이의 순수 팽창 폭발
임의의 (L\geq1)에 대해
[ n_0=2^{L+1}-1 ]
로 놓자.
그러면 처음 (L)회의 홀수 간 전이에서
[ a_0=a_1=\cdots=a_{L-1}=1 ]
이고
[ \boxed{ n_j=3^j2^{L+1-j}-1, \qquad 0\leq j\leq L } ]
이다.
또한
[ n_{j+1}>n_j \qquad(0\leq j<L). ]
증명
(j=0)에서는 공식이 자명하다.
[ n_j=3^j2^{L+1-j}-1 ]
이라고 가정한다. (j<L)이면
[ L+1-j\geq2 ]
이므로
[ n_j\equiv-1\equiv3\pmod4. ]
따라서
[ v_2(3n_j+1)=1. ]
실제로
[ 3n_j+13^{j+1}2^{L+1-j}-2
2\left(3^{j+1}2^{L-j}-1\right), ]
괄호 안은 홀수이다.
그러므로
[ n_{j+1}\frac{3n_j+1}{2}
3^{j+1}2^{L-j}-1. ]
또한
[ n_{j+1}-n_j
3^j2^{L-j}>0. ]
증명 끝.
결론
모든 고정된 (L)에 대해 첫 (L)단계 동안 계속 증가하는 정수가 존재한다.
따라서
[ \boxed{ \text{모든 수가 고정된 단계 수 안에 감소한다} } ]
라는 형태의 정리는 거짓이다.
완전한 증명은 시작값마다 달라질 수 있는 가변 길이 귀환시간을 다뤄야 한다.
7. 2진 위상 그림자 해석
위 정리의 시작값은
[ n_0=2^{L+1}-1=-1+2^{L+1} ]
이다.
(L\to\infty)일 때 이 수들은 (2)-진 거리에서
[ -1 ]
로 수렴한다.
시라쿠사 함수를 (2)-진 공간으로 확장하면
[ S(-1)=\frac{3(-1)+1}{2}=-1. ]
즉 (-1)은 (a=1)을 영원히 반복하는 (2)-진 고정점이다. 콜라츠 함수의 (2)-진 확장과 패리티 시프트 구조는 기존 연구에서 엄밀하게 구성되어 있다. (arXiv)
양의 정수
[ 2^{L+1}-1 ]
은 이 (2)-진 고정점 근처에서 시작하여 처음 (L)단계 동안 그 궤도를 그림자처럼 따라간다.
시작값 전체에 대한 잉여류 분포에서는 평균 (2)가 나오지만, 모든 개별 자연수 궤도에서 이 점별 평균을 증명하는 것이 현재 남은 결정적 간극이다.
최근의 한 구조적 프리프린트 역시 분포적 균형을 개별 궤도의 균형으로 전환하는 단계를 핵심 미해결 장벽으로 명시한다. 다만 이는 2026년 공개 프리프린트의 특정 환원에 관한 설명이지, 검증된 콜라츠 증명은 아니다.
11. 자리올림 빈도 형태
접힘량은 다음과 같이 분해된다.
[ a_i
\sum_{r=1}^{\infty} \mathbf 1_{{a_i\geq r}}. ]
따라서
[ A_k
\sum_{r=1}^{\infty}C_r(k), ]
여기서
[ C_r(k)
#{0\leq i<k:a_i\geq r}. ]
항상 (C_1(k)=k)이므로
[ A_k
k+ \sum_{r=2}^{\infty}C_r(k). ]
따라서 큰 (n_i)에 대한 근사적 수축조건은
[ \sum_{r=2}^{\infty}C_r(k)
(\log_2 3-1)k ]
이다.
수치적으로
[ \log_2 3-1 \approx0.584962501. ]
즉 단순히 (a_i\geq2)가 얼마나 자주 발생하는지만이 아니라,
(a_i\geq2)
(a_i\geq3)
(a_i\geq4)
더 깊은 자리올림
의 누적 빈도가 모두 합쳐져 팽창 초과분을 이겨야 한다.
이 식이 ZPX의 “다층 접힘”을 이진 자리올림으로 표현한 정확한 형태이다.
12. 직접 계산 검증
아래 정수 연산으로 홀수 (3\leq n\leq1{,}000{,}000)을 직접 검사했다.
모든 홀수에서 유한한 첫 하강이 확인되었다. 이는 유한 범위 검증일 뿐 전체 증명은 아니다.
시작값 (n_0)첫 하강까지 홀수 단계하강값 (n_k)(F_k)(E_k)여유 (M_k)
27
37
23
59
58.768674
0.231326
31
35
23
56
55.569366
0.430634
63
34
61
54
53.953457
0.046543
432,923
94
428,885
149
148.986480
0.013520
626,331
111
597,017
176
175.930847
0.069153
이 범위에서 첫 하강까지 가장 많은 홀수 단계가 필요했던 시작값은
[ 626331 ]
로, (111)단계였다.
첫 하강 순간의 접힘 여유가 특히 작았던 값은
[ 432923 ]
이며
[ M_{94}\approx0.01352 ]
였다.
검증 코드는 다음과 같다.
from math import log2 def v2(x: int) -> int: """Return the exponent of 2 dividing positive integer x.""" if x <= 0: raise ValueError("x must be positive") return (x & -x).bit_length() - 1 def syracuse(n: int) -> tuple[int, int]: """One odd-to-odd Syracuse step.""" if n <= 0 or n % 2 == 0: raise ValueError("n must be a positive odd integer") y = 3 * n + 1 a = v2(y) return y >> a, a def first_descent(n: int, max_steps: int = 100_000): """Find the first odd iterate below the starting value.""" start = n x = n folding = 0 expansion = 0.0 for step in range(1, max_steps + 1): previous = x x, a = syracuse(x) folding += a expansion += log2(3 + 1 / previous) if x < start: margin = folding - expansion return step, x, folding, expansion, margin return None def verify(limit: int): max_record = None smallest_margin = None for n in range(3, limit + 1, 2): result = first_descent(n) if result is None: raise RuntimeError(f"No descent found for {n}") step, landing, folding, expansion, margin = result if max_record is None or step > max_record[0]: max_record = (step, n, landing) if smallest_margin is None or margin < smallest_margin[0]: smallest_margin = (margin, n, step) return max_record, smallest_margin print(verify(1_000_000))
임의로 긴 팽창구간이 존재한다는 정리 5 때문에, 아무리 큰 유한 검증도 전체 자연수에 대한 논리적 증명으로 자동 확장되지는 않는다.
13. 완전한 증명의 마지막 명제
비수축 집합을
[ \mathcal E= \left{ n\in\mathbb N_{\mathrm{odd}},\ n>1: M_k(n)\leq0 \text{ for every }k\geq1 \right} ]
로 정의한다.
그러면 콜라츠 추측은 정확히
[ \boxed{ \mathcal E=\varnothing } ]
와 동치이다.
(2)-진 전체공간에서는 (-1)과 같이 영원히 비수축 패턴을 유지하는 점이 존재한다. 따라서 단순한 위상공간 분석으로 비수축 집합 자체가 비어 있다고 증명할 수는 없다.
(2)-진 공간에는 비수축 위상궤도가 존재하지만, 그 궤도 중 어느 것도 양의 자연수의 무한 미래궤도가 될 수 없다.
는 아르키메데스–2진 횡단성 정리가 필요하다.
이것이 ZPX 공간모형을 완전한 증명으로 만드는 가장 정확한 최종 목표이다.
결론
이번 분석에서 실제로 입증된 핵심은 다음이다.
[ \boxed{ F_k-E_k=\log_2\frac{n_0}{n_k} } ]
따라서
[ \boxed{ F_k>E_k \iff n_k<n_0 } ]
이며, 모든 시작값에서 이러한 유한 시점이 존재한다는 명제는 콜라츠 추측과 동치이다.
동시에 다음도 증명되었다.
모든 유한 접힘 패턴은 실제 잉여류에서 발생한다.
임의로 긴 팽창구간이 존재한다.
고정된 유한 회전위상만으로는 전역 단계별 감소함수를 만들 수 없다.
긴 팽창은 (2)-진 고정점 (-1)의 그림자 현상으로 설명된다.
평균 접힘량 (2)는 시작값 분포에서는 나타나지만 모든 개별 궤도의 시간평균으로는 아직 증명되지 않았다.
따라서 최종 판정은 다음과 같다.
[ \boxed{ \text{ZPX는 콜라츠 추측을 정확한 누적 접힘 문제로 환원한다.} } ]
그러나
[ \boxed{ \text{모든 자연수 궤도에서 접힘 우세가 반드시 발생한다는 점별 정리는 아직 증명되지 않았다.} } ]
그 마지막 정리를 증명하지 않은 상태에서 “콜라츠를 완전히 증명했다”고 쓰는 것은 거짓입니다. 이번 논문의 실제 성과는 회전과 삼각형이라는 시각화를 정확한 코사이클 항등식으로 바꾸고, 단순한 ZPX 증명법이 실패하는 이유와 완전한 증명에 필요한 단 하나의 장벽을 엄밀하게 분리한 것입니다.