이진 범주 계산의 혼돈

초록

본 논문은 이진 범주 C₂에서 발생하는 무한 이진 문자열을 대상으로, 알고리즘적으로 압축 불가능한 무작위 패턴이 지역 연결 규칙에 의해 짧은 이진 프로그램으로 압축될 수 있음을 보이고, 이를 통해 전역적인 형태소 연결이 혼돈적 동역학을 형성한다는 점을 이론적으로 증명한다.

상세 분석

논문은 먼저 범주 이론의 기본 개념을 정리하고, 객체와 화살표(모픽)를 이용해 연산 구조를 정의한다. 특히 C₂라는 두 객체(0, 1)와 두 비동일 모픽 ˆ0, ˆ1을 갖는 이진 범주를 도입한다. ˆ0은 입력 비트를 그대로 전달하고, ˆ1은 비트를 반전시키는 X‑OR 연산에 해당한다. 이 구조는 ‘자동동형’과 ‘동형 정체성’ 사이의 관계를 두 유형으로 구분하고, C₂는 두 번째 유형(정체성 모픽이 자동동형을 포함)으로 분류한다.

무한 모픽 체인 M을 s₀ ˆu₁⇄s₁ ˆu₂⇄s₂… 형태로 기술하고, 연산자 문자열 P=ˆu₁ˆu₂…를 ‘형태소 프로그램’이라 부른다. 객체 문자열 S=s₀s₁s₂…와 함께, P와 S 사이의 전역 변환을 하나의 모픽 f: P ⇄ S 로 표현한다. 여기서 핵심은 P가 알고리즘적으로 압축 불가능한 랜덤 비트열이라 할지라도, C₂의 지역 연결 규칙에 의해 매우 짧은 이진 문자열(예: 000011100111)로 완전히 기술될 수 있다는 점이다.

이러한 현상은 전통적인 튜링 기계가 무작위 문자열을 압축할 수 없다는 코흐‑차드노프 정리와 대비된다. 범주 계산에서는 ‘시스템적’ 연결 고리가 존재해, 무작위성 위에 결정론적 규칙이 숨어 있다. 저자는 이를 ‘형태소 압축성’이라 명명하고, 무한 체인이 결국 베르누이 맵(2x mod 1)과 동등한 전이 규칙을 갖는 셀룰러 자동자와 동형임을 증명한다.

특히, 2^ω(무한 이진 문자열 공간)를 하나의 범주로 보고, 각 비트 위치마다 로컬 모픽 fₙ을 정의함으로써 전역 변환을 구성한다. 이때 거리 함수 d(X,Y)=2^{-n}을 도입해 문자열 간의 프리픽스 일치를 정량화하고, ‘점근적 주기성’과 ‘비주기성’(즉, 혼돈)을 구분한다. 비주기적 체인에서는 사이클 수가 ℵ₀이며, 이는 전형적인 혼돈 시스템의 특성이다.

결과적으로, C₂ 내 모든 비주기적 무한 체인은 짧은 형태소 프로그램에 의해 완전히 기술될 수 있으면서도, 외부 관찰자에게는 통계적으로 무작위하게 보인다. 이는 ‘범주적 혼돈’이라는 새로운 개념을 제시하며, 알고리즘적 난해성(무압축성)과 시스템적 규칙성(압축 가능성)의 이중성을 강조한다.