콜라츠와 드 브루인 그래프의 연결 고리

초록

본 논문은 3n+1 함수의 동작을 합동류에 적용해 만든 변형 콜라츠 그래프를 연구한다. 2의 거듭제곱 모듈러에 대해 이 그래프는 이진 드 브루인 그래프와 동형임을 증명하고, 2‑adic 정수로 확장했을 때는 Bernstein‑Lagarias가 제시한 공역 사상과 동일함을 보인다. 또한 p‑adic 경우에도 유사한 구조적 관계가 성립함을 제시한다.

상세 분석

논문은 먼저 전통적인 콜라츠 그래프를 정의하고, 이를 정수의 합동류에 대한 작용으로 제한한다. n을 2^k 로 나눈 나머지 r(0≤r<2^k)라 하면, 3n+1 함수는 r에 대해 두 가지 경우로 나뉜다: r가 짝수이면 r/2, 홀수이면 (3r+1)/2 (mod 2^k). 이때 생성되는 유향 그래프 G_k는 정점 집합이 Z/2^kZ이며, 각 정점은 정확히 두 개의 전이(0‑비트와 1‑비트를 나타내는)로 연결된다. 저자들은 G_k가 이진 드 브루인 그래프 B(2,k)와 동형임을 보이기 위해, 각 정점을 k‑비트 문자열로 식별하고, 3n+1 연산이 문자열을 오른쪽으로 한 비트 이동하고 새로운 비트를 앞에 붙이는 연산과 일치함을 증명한다. 이 동형성은 G_k가 완전한 디지털 시프트 레지스터 구조를 갖는다는 의미이며, 따라서 G_k는 매우 규칙적인 사이클 구조와 에드거스턴(Edwards) 형태를 가진다.

다음으로 저자들은 2‑adic 정수 Z_2 위에서 정의된 무한 그래프 G_∞를 고려한다. 여기서는 각 2‑adic 수를 무한 비트열로 보고, 3n+1 연산이 동일한 시프트‑삽입 연산을 수행한다. Bernstein와 Lagarias가 제시한 공역 사상 φ: Z_2 → Z_2는 각 2‑adic 수의 비트열을 역순으로 읽어 새로운 2‑adic 수를 만든다. 논문은 φ가 G_∞와 이진 무한 드 브루인 그래프 B(2,∞) 사이의 그래프 동형임을 직접 계산을 통해 확인한다. 즉, φ는 3n+1 함수와 시프트‑삽입 연산을 서로 교환하는 컨주게이션(conjugacy) 역할을 한다.

마지막으로 3n+1 함수의 일반화인 T_{a,b}(n)= (an+b)/2^{ν_2(an+b)} (여기서 a,b는 정수, ν_2는 2‑adic 평가) 를 도입하고, 이를 p‑adic 정수 Z_p에 확대한다. 저자들은 a가 p와 서로소이면, 동일한 논리를 적용해 T_{a,b}가 p‑adic 드 브루인 그래프 B(p,∞)와 동형임을 보인다. 이때 핵심은 a·n+b 모듈로 p^k 에서의 동작이 p‑진법 시프트와 비트(또는 자리) 삽입 연산에 대응한다는 점이다. 전체적으로 논문은 콜라츠 문제의 복잡성을 단순한 디지털 시프트 구조와 연결시켜, 기존의 난해한 동역학을 새로운 대수적·조합론적 시각으로 해석한다.