삼과 삼거듭제곱 일반화와 콜라츠 수열의 스케일링 관계

초록

본 논문은 전통적인 콜라츠 함수 T₀을 3n+3ᵏ 형태의 함수 Tₖ로 확장한다. Tₖ의 궤적이 3ᵏ를 포함하는 주기로 수렴한다는 것을, T₀가 1을 포함하는 주기로 수렴한다는 가정 하에 증명한다. 핵심은 Tₖ(3ᵏ·n)=3ᵏ·T₀(n)이라는 스케일링 관계이며, 이를 통해 정수 주기와 유리수 주기의 구조가 3ᵏ 배로 변환됨을 보인다. 또한 O≡±1(mod 6)인 일반화 T_O에 대해서도 동일한 결과를 확장한다.

상세 분석

논문은 먼저 기존 콜라츠 함수 T₀(n)=⎧(3n+1)/2 (n 홀수), n/2 (n 짝수)⎫를 소개하고, 이를 3n+3ᵏ 형태로 일반화한 Tₖ(n)=⎧(3n+3ᵏ)/2 (n 홀수), n/2 (n 짝수)⎫를 정의한다. 핵심 정리(Theorem 1)는 “T₀의 모든 궤적이 1을 포함하는 1‑2‑1 사이클로 수렴한다면, Tₖ의 모든 궤적은 3ᵏ를 포함하는 3ᵏ‑2·3ᵏ‑3ᵏ 사이클로 수렴한다”는 주장이다. 증명은 Tₖ를 3ᵏ배 스케일링 연산 L₍₃ᵏ₎(n)=n/3ᵏ와 그 역함수와 결합해 Tₖ = L₍₃ᵏ₎⁻¹ ∘ T₀ ∘ L₍₃ᵏ₎ 로 표현함으로 시작한다. 이 식은 Tₖ가 T₀와 정확히 3ᵏ배 동형임을 보여준다. 저자는 이를 통해 Tₖ(3ᵏ·n)=3ᵏ·T₀(n)이라는 직접적인 관계식을 도출하고, 이는 모든 짝수·홀수 분기에서 동일하게 유지됨을 확인한다.

다음으로, 정수 사이클에 대한 Corollary 1.3을 증명한다. 여기서는 Tₖ의 정수 주기가 존재한다면, 그 원소를 3ᵏ로 나누면 T₀의 정수 주기에 해당한다는 점을 보인다. 이는 L₍₃ᵏ₎와 T₀의 반복 작용이 교환 가능함을 이용한 교환도(commutative diagram)와, 라가리어스(Lagarias)의 유리수 사이클 결과를 활용해 “분모가 3의 배수인 유리수 사이클은 존재하지 않는다”는 보조정리를 적용한다.

또한 논문은 O≡±1(mod 6)인 일반화 T_O(n)=⎧(3n+O)/2 (홀수), n/2 (짝수)⎫를 도입하고, T₍₃ᵏO₎와 T_O 사이의 스케일링 관계를 동일하게 확장한다. 여기서도 L 연산의 결합법칙 L_A∘L_B = L_{AB}를 이용해 T₍₃ᵏO₎ = L₍₃ᵏ₎⁻¹ ∘ T_O ∘ L₍₃ᵏ₎ 로 나타내어, 정수 사이클이 3ᵏ배로 변환된다는 결론을 얻는다.

비판적으로 보면, 주요 결과는 “T₀가 수렴한다면 Tₖ도 수렴한다”는 논리적 귀결에 머물며, 실제로 T₀의 수렴을 증명하지는 않는다. 증명 과정에서 “모든 n은 유한 단계 후 3ᵏ의 배가 된다”는 주장은 Tₖ의 짝수·홀수 분기에서 2의 인수를 제거하는 과정으로 보이지만, 무한히 큰 2의 인수가 존재할 경우를 명시적으로 다루지 않는다. 또한, 라가리어스의 정리(분모가 3의 배수가 아닌 유리수 사이클만 존재)와의 연결은 충분히 엄밀히 증명되지 않아, 정수 사이클이 실제로 3ᵏ배만큼 늘어나는지에 대한 구체적 예시가 부족하다.

결론적으로, 논문은 스케일링 관점에서 3n+3ᵏ 문제를 콜라츠 문제와 동형임을 명확히 보여주어 이론적 통찰을 제공한다. 그러나 새로운 알고리즘적 아이디어나 콜라츠 추측 자체에 대한 진전은 제시하지 못한다는 점에서, 기존 연구에 대한 정리와 재표현에 머무른다.