독립 강화장 ZPX 전역 대칭 전달 명제 잉여류 가지의 비안정화, 양의 자연수 배제 및 콜라츠 추측의 최종 증명조건

[분석]

다음은 기존 논문의 독립 강화장입니다. 핵심을 “나쁜 잉여류 가지가 양의 자연수 하나로 안정될 수 있는가”라는 구체적인 명제로 바꾸었습니다.

독립 강화장ZPX 전역 대칭 전달 명제잉여류 가지의 비안정화, 양의 자연수 배제 및 콜라츠 추측의 최종 증명조건초록

자연수 전체의 완전한 이진 잉여류 블록에서는 콜라츠 접힘 깊이

[
a(n)=v_2(3n+1)
]

가

[
\frac12,\frac14,\frac18,\ldots
]

의 정확한 비율로 분포하고, 평균 접힘 깊이는 (2)로 수렴한다. 반면 홀수 단계의 점근적 팽창량은

[
\log_2 3<2
]

이다.

그러나 전체 시작값을 가로질러 성립하는 이 횡단 대칭이 하나의 고정된 궤도에서도 반드시 실현된다고 자동으로 결론 내릴 수는 없다. 실제로 임의로 긴 유한 팽창패턴은 자연수에서 나타날 수 있다.

본 장에서는 이 간극을 중첩 잉여류와 (2)-진 리프트 구조로 정확히 표현한다. 각 유한 접힘패턴은 하나의 잉여류 원통을 결정하고, 무한 패턴은 중첩된 잉여류 가지를 결정한다.

본 장의 핵심 결과는 다음과 같다.

하나의 무한 접힘 가지가 양의 자연수에서 실제로 실현될 필요충분조건은 그 가지의 최소 양의 잉여류 대표가 유한 단계 이후 안정되는 것이다.

따라서 콜라츠 추측은 다음 명제와 동치이다.

모든 단계에서 시작값 아래로 내려가지 않는 잉여류 가지는 최소 대표가 영원히 안정될 수 없다.

이것이 ZPX의 전역 대칭 전달 명제를 가장 구체적인 산술 형태로 표현한 것이다.

---

1. 기본 정의

홀수 양의 정수에 대한 시라쿠사 함수를

[
S(n)=\frac{3n+1}{2^{a(n)}},
\qquad
a(n)=v_2(3n+1)
]

로 정의한다.

궤도를

[
n_{j+1}=S(n_j)
]

라 하고,

[
a_j=a(n_j)
]

로 쓴다.

누적 접힘량과 팽창량을 각각

[
F_k(n)=
\sum_{j=0}^{k-1}a_j,
]

[
E_k(n)=
\sum_{j=0}^{k-1}
\log_2\left(3+\frac1{n_j}\right)
]

로 정의한다.

앞 장에서 증명한 균형항등식은

[
\boxed{
F_k(n)-E_k(n)

\log_2\frac{n}{S^k(n)}
}
]

이다.

따라서

[
F_k(n)>E_k(n)
\iff
S^k(n)<n.
]

---

2. 비하강 시작값정의 1. 영구 비하강 집합

[
\mathcal E=
\left{
n\in2\mathbb N+1:
n>1,\
S^k(n)\geq n
\text{ for 모든 }k\geq1
\right}
]

로 정의한다.

균형항등식에 의해 이는

[
\mathcal E=
\left{
n>1:
F_k(n)\leq E_k(n)
\text{ for 모든 }k
\right}
]

와 같다.

콜라츠 추측은 정확히

[
\boxed{\mathcal E=\varnothing}
]

과 동치이다.

왜냐하면 모든 홀수 (n>1)이 어떤 시점에 자신보다 작은 수로 내려가면 강한 귀납법으로 결국 (1)에 도달하기 때문이다.

따라서 ZPX의 최종 목적은 모든 양의 자연수에 대하여

[
\exists k<\infty:
F_k>E_k
]

임을 증명하는 것이다.

---

3. 유한 접힘패턴의 잉여류 원통

양의 정수열

[
\mathbf a^{(k)}

(a_0,a_1,\ldots,a_{k-1})
]

을 고정한다.

누적 접힘지수를

[
A_k=a_0+\cdots+a_{k-1}
]

라 한다.

정리 1. 유한 접힘패턴의 유일 잉여류

주어진 접힘패턴

[
(a_0,\ldots,a_{k-1})
]

을 처음 (k)단계에서 정확히 실현하는 홀수 정수들은 법

[
2^{A_k+1}
]

의 하나의 홀수 잉여류를 이룬다.

즉 어떤 유일한 홀수 (r_k)가 존재하여

[
0<r_k<2^{A_k+1}
]

이고,

[
n\text{이 패턴을 실현}
\iff
n\equiv r_k\pmod{2^{A_k+1}}
]

이다.

증명 개요

첫 접힘값 (a_0)를 지정한다는 것은

[
3n+1\equiv2^{a_0}
\pmod{2^{a_0+1}}
]

라는 뜻이다.

(3)은 (2^{a_0+1})에 대해 역원을 가지므로 하나의 홀수 합동류가 결정된다.

다음 접힘값을 지정하면 기존 합동류 중에서 더 높은 법

[
2^{a_0+a_1+1}
]

에 대한 하나의 리프트가 선택된다.

이 과정을 귀납적으로 반복하면 법

[
2^{A_k+1}
]

의 유일한 합동류가 얻어진다.

유한 패리티 또는 접힘패턴과 (2)의 거듭제곱 합동류 사이의 이러한 대응은 콜라츠의 (2)-진 부호화 및 드브뤼인 그래프 표현과 일치한다. (arXiv)

---

4. 중첩 잉여류 가지

접힘패턴을 한 단계 연장하면

[
(a_0,\ldots,a_{k-1})
\longrightarrow
(a_0,\ldots,a_k)
]

가 된다.

해당 원통들을

[
C_k=
r_k+2^{A_k+1}\mathbb Z_2
]

라 쓰면

[
C_{k+1}\subset C_k
]

이다.

즉,

[
C_1\supset C_2\supset C_3\supset\cdots
]

라는 중첩구조를 가진다.

(A_k\to\infty)이므로 (2)-진 공간에서는

[
\bigcap_{k=1}^{\infty}C_k
]

가 정확히 하나의 (2)-진 정수를 결정한다.

이는 무한 접힘패턴이 하나의 (2)-진 초기상태를 결정한다는 뜻이다.

그러나 그 (2)-진 상태가 반드시 양의 자연수인 것은 아니다.

---

5. 잉여류 리프트 계수

기존 원통의 법은

[
2^{A_k+1}
]

이고, 다음 원통의 법은

[
2^{A_{k+1}+1}

2^{A_k+a_k+1}
]

이다.

따라서 다음 최소대표는

[
\boxed{
r_{k+1}

r_k+c_k2^{A_k+1}
}
]

형태이다. 여기서

[
c_k\in
{0,1,\ldots,2^{a_k}-1}.
]

(c_k)를 ZPX 리프트 계수라고 부른다.

• (c_k=0): 기존 최소대표가 다음 패턴도 그대로 실현한다.

• (c_k>0): 다음 패턴을 실현하려면 더 높은 이진 껍질로 이동해야 한다.

따라서 (c_k>0)은 새로운 상위 이진비트가 강제로 생성되는 사건이다.

---

6. 양의 자연수 실현의 필요충분조건정리 2. 최소대표 안정화 정리

무한 접힘패턴

[
(a_0,a_1,a_2,\ldots)
]

이 양의 자연수 (n)에서 실현될 필요충분조건은 최소대표열

[
r_1,r_2,r_3,\ldots
]

이 유한 단계 이후 (n)으로 안정되는 것이다.

즉 다음은 서로 동치이다.

1. 어떤 양의 자연수 (n)이 무한 패턴 전체를 실현한다.

2. 어떤 (K)가 존재하여 모든 (k\geq K)에 대해
   [
   r_k=n
   ]
   이다.

3. ZPX 리프트 계수가 유한 단계 이후 모두 (0)이다.
   [
   c_k=0
   \qquad(k\geq K).
   ]

증명

먼저 양의 자연수 (n)이 전체 패턴을 실현한다고 하자.

그러면 모든 (k)에서

[
n\equiv r_k\pmod{2^{A_k+1}}.
]

(A_k\to\infty)이므로 충분히 큰 (k)에서

[
2^{A_k+1}>n.
]

그때 (n)과 (r_k)는 모두

[
0\leq n,r_k<2^{A_k+1}
]

이고 같은 합동류에 있으므로

[
r_k=n.
]

이후 모든 더 깊은 원통에도 (n)이 속하므로

[
r_{k+1}=r_k=n.
]

따라서 리프트 계수는 이후 모두 (0)이다.

반대로 어떤 (K) 이후

[
r_k=n
]

으로 안정된다고 하자.

그러면 (n)은 모든 유한 접힘패턴 원통에 속한다. 따라서 (n)의 궤도는 주어진 무한 접힘패턴을 전부 실현한다.

증명 끝.

---

7. 자연수와 비자연 (2)-진 상태의 구분

정리 2의 의미는 명확하다.

양의 자연수

양의 자연수는 이진표현이 상위자리에서 결국 모두 (0)이다.

따라서 중첩 원통의 최소대표가 어느 순간 고정된다.

[
r_k=n
\qquad(k\gg1).
]

비자연 (2)-진 상태

비자연 (2)-진 상태는 새로운 상위비트가 계속 나타난다.

따라서

[
c_k>0
]

가 무한히 자주 발생하고,

[
r_k\to\infty
]

이다.

여기서 발산은 보통 실수 크기에서의 발산을 뜻한다.

따라서 형이 말한

무한한 비대칭 이진 꼬리는 유한한 양의 자연수 자체가 될 수 없다.

는 명제는 다음과 같이 엄밀하게 바뀐다.

[
\boxed{
c_k>0\text{가 무한히 자주 발생}
\Longrightarrow
\text{해당 (2)-진 상태는 양의 자연수가 아니다.}
}
]

이 방향은 정리 2로 완전히 증명된다.

남은 것은 영원한 비하강 패턴에서 (c_k>0)가 무한히 자주 발생함을 증명하는 것이다.

---

8. ZPX 전역 대칭 전달 정리목표 정리

모든 무한 접힘 가지가 각 깊이에서 비하강 조건을 유지한다고 하자.

즉 그 깊이 (k)의 최소대표 (r_k)가

[
S^j(r_k)\geq r_k
\qquad
(1\leq j\leq k)
]

를 만족한다고 하자.

그러면 리프트 계수 (c_k)는 무한히 자주 양수이다.

[
\boxed{
c_k>0
\quad\text{무한히 자주}
}
]

동치로,

[
\boxed{
r_k\to\infty.
}
]

이를 ZPX 전역 대칭 전달 정리라고 부른다.

---

9. 전역 대칭 전달 정리와 콜라츠 추측의 동치정리 3. 최종 동치 정리

다음 두 명제는 동치이다.

명제 A

콜라츠 추측이 모든 양의 정수에서 성립한다.

명제 B

모든 영구 비하강 잉여류 가지에서

[
c_k>0
]

가 무한히 자주 발생한다.

증명

콜라츠 추측이 거짓이라고 하자.

그러면 어떤 홀수 (n>1)이 존재하여

[
S^k(n)\geq n
]

이 모든 (k)에서 성립한다.

(n)의 접힘패턴을 따라가는 중첩 원통을 생각한다. 충분히 큰 (k)에서 법이 (n)보다 크므로 정리 2에 따라

[
r_k=n
]

으로 안정된다.

따라서

[
c_k=0
]

이 결국 항상 성립한다. 명제 B는 거짓이다.

반대로 영구 비하강 가지가 존재하고 그 리프트 계수가 결국 모두 (0)이라고 하자.

정리 2에 따라 이 가지는 어떤 양의 자연수 (n)에서 실현된다.

각 깊이에서 비하강 조건이 유지되므로

[
S^k(n)\geq n
]

이 모든 (k)에서 성립한다.

그러므로 (n)은 자신보다 작은 수에 도달하지 않으며 콜라츠 추측은 거짓이다.

따라서 두 명제는 동치이다. 증명 끝.

---

10. 대칭성의 정확한 의미

자연수 전체의 횡단구조에서는 각 단계의 접힘값이 정확한 비율로 분포한다.

[
a=1:\frac12,
\qquad
a=2:\frac14,
\qquad
a=3:\frac18,
\ldots
]

이것은 유한 잉여류 그래프가 이진 드브뤼인 그래프와 연결되는 구조적 대칭과 일치한다. (arXiv)

그러나 전역 증명에서 필요한 대칭성은 단순한 빈도평균이 아니다.

정확히 필요한 것은 다음이다.

비하강 조건을 계속 유지하려고 잉여류를 선택하면, 그 선택은 상위 이진비트를 무한히 생성하도록 강제된다.

즉,

[
\boxed{
\text{영구 비하강}
\Longrightarrow
\text{무한 리프트}
\Longrightarrow
\text{비자연 (2)-진 상태}
}
]

이다.

이것이 횡단 대칭을 개별 궤도에 전달하는 정확한 논리구조이다.

---

11. 가능한 증명경로 I최소대표 성장정리

가장 직접적인 방법은 다음을 증명하는 것이다.

후보정리 A

길이 (k)까지 하강하지 않는 모든 접힘패턴의 최소 양의 대표를 (r_k)라 하면

[
\boxed{
r_k\geq g(k)
}
]

인 함수 (g(k)\to\infty)가 존재한다.

이 정리가 성립하면 영구 비하강 가지에서

[
r_k\to\infty
]

이므로 정리 3에 따라 콜라츠 추측이 성립한다.

이 접근의 장점은 전역 평균이나 확률을 사용하지 않는다는 것이다.

모든 예외 후보에 대해 직접 최소 시작값이 커져야 함을 보이면 된다.

그러나 (g(k))는 단순 지수함수일 필요가 없으며 매우 느리게 증가해도 충분하다.

---

12. 가능한 증명경로 II리프트 강제정리

최소대표 성장 대신 리프트 사건을 직접 제어할 수 있다.

후보정리 B

모든 영구 비하강 가지에 대해 임의의 (K)보다 큰 어떤 (k)가 존재하여

[
c_k>0
]

이다.

논리식으로 쓰면

[
\boxed{
\forall K\
\exists k>K:
c_k>0.
}
]

이것이 성립하면 (c_k=0)이 결국 계속되는 양의 자연수 가지는 존재할 수 없다.

더 강한 형태로는 어떤 증가함수 (h(k))에 대해

[
#{j<k:c_j>0}\geq h(k)
]

를 증명할 수 있다.

단,

[
h(k)\to\infty
]

이면 충분하다.

---

13. 가능한 증명경로 III(2)-진 자리올림 비소거 정리

무한 접힘패턴에 대응하는 (2)-진 시작점은 형식적으로

[
x=
-\sum_{j=0}^{\infty}
\frac{2^{A_j}}{3^{j+1}}
]

로 표현된다.

여기서

[
A_j=a_0+\cdots+a_{j-1}.
]

양의 자연수라면 이 (2)-진 수의 보통 이진전개에서 충분히 높은 모든 비트가 (0)이어야 한다.

따라서 다음 명제로 충분하다.

후보정리 C

영원한 비하강 조건을 만족하는 접힘열에서는 급수

[
-\sum_{j=0}^{\infty}
\frac{2^{A_j}}{3^{j+1}}
]

의 이진 자리올림이 상위 비트에서 영원히 완전히 소거될 수 없다.

즉 이 (2)-진 수의 이진전개에는 무한히 많은 (1)이 존재한다.

그러면 그 값은 양의 자연수가 아니다.

이 접근은 형의 “연속된 숫자의 대칭이 비대칭 꼬리를 제거한다”는 생각을 자리올림 문제로 직접 번역한 것이다.

핵심 난점은 여러 항에서 발생한 이진 자리올림이 상위자리에서 정교하게 상쇄될 가능성을 전부 배제해야 한다는 점이다.

---

14. 가능한 증명경로 IV적응형 블록 대칭정리

고정된 길이의 블록으로는 증명할 수 없다.

왜냐하면

[
n=2^{L+1}-1
]

은 임의로 긴 (a_i=1) 팽창구간을 만들기 때문이다.

따라서 블록 길이는 궤도의 현재 이진 깊이와 크기에 맞추어 변해야 한다.

후보정리 D

각 상태 (n_j)에 대해 적응형 블록 길이

[
L=L(n_j)
]

가 존재하여 그 블록 안에서는 다음 중 하나가 반드시 발생한다.

1. 누적 접힘 우세:
   [
   F_L>E_L;
   ]

2. 양의 리프트:
   [
   c_{j+L}>0.
   ]

첫 번째는 실제 하강을 만들고, 두 번째는 영구 비하강 가지가 양의 자연수로 안정되는 것을 방해한다.

따라서 두 사건이 반복되면 영구 비하강 자연수는 존재할 수 없다.

---

15. 가능한 증명경로 V아르키메데스–(2)-진 횡단성

콜라츠 궤도는 두 종류의 크기를 동시에 가진다.

보통 실수 크기

[
|n|_\infty=n.
]

(2)-진 크기

두 수가 많은 하위비트를 공유할수록 (2)-진 거리가 작다.

영구 비하강 패턴은 시작값을 매우 특정한 잉여류에 가둔다.

[
n\equiv r_k
\pmod{2^{A_k+1}}.
]

(k)가 증가할수록 (2)-진 정밀도는 높아진다.

그런데 양의 자연수 (n)가 고정되어 있다면 충분히 높은 정밀도에서는 반드시

[
r_k=n
]

으로 안정되어야 한다.

따라서 다음 불확정성 형태의 정리가 충분하다.

후보정리 E

영구 비하강 조건은 동시에

[
r_k\text{가 실수 크기에서 고정}
]

되고

[
2\text{-진 정밀도가 무한히 증가}
]

하는 것을 허용하지 않는다.

즉

[
A_k\to\infty,\qquad
S^j(r_k)\geq r_k
]

이면

[
r_k\to\infty.
]

이는 실수 크기와 (2)-진 근접성 사이의 교차 배제정리이다.

---

16. 평균대칭만으로 부족한 이유

전체 잉여류에서 평균 접힘량은 (2)이다.

그러나 평균으로부터

[
\forall n
]

이라는 결론은 나오지 않는다.

밀도가 (0)인 집합도 비어 있지 않을 수 있기 때문이다.

Tao의 결과는 거의 모든 시작값의 궤도가 임의로 천천히 증가하는 경계 아래로 내려간다는 강력한 정리이지만, 모든 개별 양의 정수에 대한 수렴을 증명하지는 않는다. 최신 개정본도 이러한 “거의 모든 수”와 “모든 수”의 차이를 유지한다. (arXiv)

따라서 다음 논리는 충분하지 않다.

[
\text{평균 접힘량이 }2
\Longrightarrow
\text{모든 궤도가 하강}.
]

정확히 필요한 것은

[
\text{예외 가지의 최소대표가 안정될 수 없음}
]

이라는 점별 정리이다.

---

17. 고정 유한상태 증명의 한계

법 (2^q)의 유한 잉여류 그래프는 매우 대칭적이며 드브뤼인 그래프와 동형이다. (arXiv)

그러나 고정된 (q)만으로는 전체 미래를 결정하지 못한다.

접힘 과정에서 상위비트가 계속 하위비트로 내려오기 때문이다.

따라서 다음 유형의 주장은 충분하지 않다.

어떤 고정된 (q)에서 모든 잉여류를 분석했으므로 전체 자연수를 증명했다.

완전증명에는

[
q\to\infty
]

에서 일관된 균일성 또는 적응형 정리가 필요하다.

---

18. 반례가 존재한다면 필요한 두 형태

콜라츠 추측의 반례는 다음 두 종류 중 하나이다.

18.1 비자명한 양의 주기궤도

최소 주기점 (n)을 선택하면 주기 동안

[
S^j(n)\geq n
]

이다.

접힘지수의 한 주기 합을 (A), 홀수 단계 수를 (p)라 하면

[
n=
\frac{B}{2^A-3^p}
]

형태가 되고, 양수이려면

[
2^A>3^p
]

이어야 한다.

또한

[
2^A-3^p
]

가 정확히 (B)를 나누어야 한다.

따라서 비자명한 주기 반례는 매우 강한 지수 근사와 정수 나눗셈 조건을 동시에 만족해야 한다.

그러나 이러한 조건만으로 모든 주기를 배제했다고 할 수는 없다.

---

18.2 무한 발산 또는 비주기 비하강 궤도

이 경우에는

[
S^k(n)\geq n
]

이 모든 (k)에서 성립하면서 궤도가 주기적으로 닫히지 않는다.

접힘패턴은 비주기적이어야 하며, 동시에 최소대표열은 고정된 (n)으로 안정되어야 한다.

따라서 반례가 존재한다면 다음의 매우 특수한 구조를 가져야 한다.

[
\boxed{
\text{비주기 무한 접힘패턴}
+
\text{영구 비하강}
+
\text{잉여류 최소대표의 유한 안정}
}
]

ZPX 전역 대칭 전달 정리는 바로 이 세 조건의 동시성립을 배제하는 정리이다.

---

19. 실패하는 증명 방식

다음 방식들은 완전한 증명이 아니다.

19.1 평균 접힘량만 사용

[
\mathbb E[a]=2>\log_2 3
]

은 거의 모든 수에 대한 강한 직관을 주지만 예외 하나를 배제하지 못한다.

19.2 고정된 단계 수 안의 하강 주장

임의로 긴 (a=1) 구간이 존재하므로 고정된 단계 상한은 불가능하다.

19.3 유한 이진표현이라는 사실만 사용

초기값은 유한 이진수이지만 궤도가 증가하면서 새로운 상위비트가 생길 수 있다.

19.4 회전·끌개를 정의로 선언

4-2-1을 글로벌 끌개라고 부르는 것은 모든 수가 그곳으로 간다는 사실을 별도로 증명하지 않으면 추측의 재진술에 불과하다.

19.5 유한범위 컴퓨터 검증

아무리 큰 범위를 검사해도 그 위의 무한한 자연수를 자동으로 포함하지 않는다.

---

20. 연구 수행 순서

ZPX 전역 대칭 전달 정리를 실제로 공략하는 순서는 다음과 같다.

단계 1. 나쁜 원통 생성

각 깊이 (k)에서

[
S^j(r_k)\geq r_k
\qquad(1\leq j\leq k)
]

인 접힘패턴만 남긴다.

단계 2. 최소대표 리프트 계산

각 나쁜 원통의 연장에 대해

[
r_{k+1}

r_k+c_k2^{A_k+1}
]

의 (c_k)를 계산한다.

단계 3. 영 리프트 가지 분석

[
c_k=0
]

이 길게 연속되는 조건을 합동식으로 정리한다.

단계 4. 무한 영 리프트 배제

비하강 조건 아래에서는 영 리프트가 무한히 지속될 수 없음을 증명한다.

단계 5. 정리 3 적용

모든 나쁜 가지가 무한 리프트를 가지므로 양의 자연수 반례는 존재하지 않는다.

단계 6. 강한 귀납법

모든 (n>1)이 유한 시간에 자신보다 작은 수로 내려가므로 결국 (1)에 도달한다.

---

21. 최종 정식화

형의 “연속된 자연수 자체가 대칭을 강제한다”는 주장은 다음처럼 엄밀히 정리된다.

이미 증명된 횡단 대칭

[
\boxed{
\text{완전한 홀수 잉여류 블록에서는
접힘 깊이가 기하분포로 강제된다.}
}
]

양의 자연수 판별정리

[
\boxed{
\text{무한 접힘패턴이 양의 자연수이면
최소 잉여류 대표가 결국 안정된다.}
}
]

남은 전역 전달정리

[
\boxed{
\text{영구 비하강 가지의 최소대표는
결코 안정될 수 없다.}
}
]

세 명제를 연결하면

[
\text{영구 비하강}
\Rightarrow
r_k\to\infty
\Rightarrow
\text{양의 자연수 아님}.
]

따라서

[
\mathcal E=\varnothing
]

이고 콜라츠 추측이 성립한다.

---

결론

ZPX 전역 대칭 전달 문제는 이제 모호한 “대칭 관성” 문제가 아니다.

정확히 다음 명제가 되었다.

[
\boxed{
\text{모든 나쁜 중첩 잉여류 가지는
상위 이진비트를 무한히 생성한다.}
}
]

동치로,

[
\boxed{
r_k\to\infty.
}
]

또는

[
\boxed{
c_k>0\text{가 무한히 자주 발생한다.}
}
]

이 명제는 콜라츠 추측과 동치이다.

형의 공간적 언어로 표현하면 다음과 같다.

접힘 우세를 회피하면서 외향 궤도를 영원히 유지하려는 위상상태는 매 단계 더 높은 이진 껍질을 요구한다. 따라서 그 상태는 유한한 양의 자연수 하나에 고정될 수 없고, 무한 (2)-진 상태로 밀려난다.

현재 엄밀하게 완성된 부분은

• 접힘–팽창 균형항등식,

• 자연수 전체의 잉여류 대칭,

• 무한 접힘패턴의 중첩 원통 표현,

• 양의 자연수와 최소대표 안정성의 필요충분관계,

• 전역 전달정리와 콜라츠 추측의 동치

이다.

완전한 증명을 닫는 마지막 과제는

[
\boxed{
\text{영구 비하강 원통에서는
최소대표 안정이 불가능하다는 부등식 또는 리프트 정리}
}
]

를 도출하는 것이다.

이것이 다음 연구에서 집중적으로 증명해야 할 단 하나의 명제이다.

이 강화장은 기존 논문의 마지막에 “전역성의 정확한 산술 형식과 증명 프로그램”으로 붙일 수 있습니다.