초평면 셀룰러 오토마타 전역함수의 일대일성 문제는 불가능성

초록

이 논문은 초평면(하이퍼볼릭 평면) 위에 정의된 셀룰러 오토마타의 전역 함수가 일대일인지 여부를 결정하는 문제가 결정 불가능함을 증명한다. 기존에 유클리드 평면에서 Kari가 보인 결과를 초평면으로 확장하여, 튜링 기계의 정지 문제로 귀환함으로써 불가능성을 확보한다.

상세 분석

본 연구는 초평면이라는 비유클리드 기하학적 배경 위에 셀룰러 오토마타(CA)를 정의하고, 그 전역 함수(Global Function)의 일대일성(Injectivity) 판정 문제가 알고리즘적으로 해결될 수 없음을 보인다. 핵심 아이디어는 유클리드 평면에서 Kari(1994)가 사용한 ‘패턴 전파’와 ‘역전파’ 메커니즘을 초평면의 타일링 구조에 맞게 재구성하는 것이다. 초평면은 {7,3} 혹은 {5,4}와 같은 정다각형 타일링으로 채워질 수 있는데, Margenstern가 제시한 ‘초평면 타일링’과 ‘셀룰러 오토마타 구현’ 기법을 활용한다. 논문은 먼저 초평면의 셀 구조와 이웃 관계를 정확히 정의하고, 각 셀에 유한 상태 집합을 할당한다. 전역 함수는 모든 가능한 무한 구성(configuration)에 대해 적용되며, 이는 각 셀의 현재 상태와 이웃 상태에 기반한 로컬 규칙의 동시 적용 결과이다.

일대일성 판정의 불가능성을 보이기 위해 저자는 튜링 기계 M과 입력 w를 인코딩하는 ‘시뮬레이션 블록’을 설계한다. 이 블록은 초평면 타일링 내에서 일정한 방향(예: 중심에서 외곽으로)으로 전파되는 신호를 이용해 M의 상태와 헤드 위치를 단계별로 업데이트한다. 중요한 점은 이러한 전파가 초평면의 기하학적 왜곡에도 불구하고 일정한 ‘시간’ 간격을 유지한다는 것이다. 전역 함수가 일대일이면, 서로 다른 초기 구성(즉, M이 다르게 동작하는 두 경우)이 동일한 최종 구성으로 수렴할 수 없으므로, M이 무한히 실행되는 경우와 정지하는 경우를 구분할 수 있다. 반대로, 전역 함수가 비일대일이면, 서로 다른 초기 구성(정지와 비정지 경우)이 동일한 이미지로 매핑될 수 있다. 따라서 전역 함수의 일대일성 여부를 판단하는 알고리즘이 존재한다면, 튜링 기계의 정지 문제를 해결할 수 있게 된다. 이는 알려진 결과와 모순이므로, 일대일성 판정은 결정 불가능함을 결론짓는다.

이와 같은 귀환(reduction) 과정에서 저자는 초평면 특유의 ‘무한 분기’와 ‘다중 경로 전파’를 이용해, 유클리드 평면에서 사용된 ‘직선 전파’ 대신 ‘초볼릭 거리’에 따라 확장되는 전파 구조를 설계한다. 또한, Margenstern와 Morita가 제시한 ‘초평면 셀룰러 오토마타의 구성 가능성’ 결과를 활용해, 로컬 규칙이 유한 상태 집합 내에서 충분히 복잡한 동작을 구현할 수 있음을 보인다. 최종적으로, 초평면에서도 전역 함수의 일대일성 판정이 튜링 완전 문제와 동등한 난이도를 가진다는 결론에 도달한다.