펜로즈 타일링에서 보편적 반전체주의 셀룰러 오토마톤

초록

본 논문은 펜로즈의 카이트·다트 타일링 위에 정의된 반전체주의 셀룰러 오토마톤(CA)이 비주기적 격자 구조에도 불구하고 모든 불리언 회로를 시뮬레이션할 수 있음을 증명한다. 불규칙한 이웃 관계를 상태 전이 규칙에 포함시켜, 신호 전파와 논리 게이트 구현을 가능하게 하는 보편적 CA 모델을 제시한다.

상세 분석

이 연구는 두 가지 핵심 문제에 초점을 맞춘다. 첫째, 카이트·다트 펜로즈 타일링은 전통적인 격자와 달리 각 타일이 47개의 이웃을 가지는 비정규 구조를 가진다. 이러한 이웃 수의 변동은 전통적인 셀룰러 오토마톤 설계에서 사용되는 고정된 주변 셀 개념을 무력화한다. 저자들은 이를 해결하기 위해 ‘반전체주의(semi‑totalistic)’ 규칙을 채택한다. 반전체주의 규칙은 각 셀의 현재 상태와 주변 셀들의 상태 개수만을 고려하므로, 이웃의 정확한 위치나 개수에 의존하지 않는다. 따라서 47개의 이웃을 가진 어느 타일에든 동일한 전이 함수를 적용할 수 있다.

둘째, 보편성을 확보하기 위해서는 논리 회로를 구현할 수 있는 기본 구성 요소—와이어, 신호, 논리 게이트—를 펜로즈 타일링 위에 배치해야 한다. 저자들은 ‘매크로셀’ 개념을 도입한다. 매크로셀은 일정한 형태의 타일 군집으로, 내부에서 일정한 패턴(예: 신호 전파용 파동, 충돌을 통한 논리 연산)을 유지한다. 매크로셀의 설계는 타일 종류(카이트·다트)와 그들의 접합 방식에 따라 달라지며, 각 매크로셀은 주변 매크로셀과의 접촉면을 통해 신호를 전달한다.

구체적으로, 신호는 두 가지 활성 상태(‘전파’와 ‘대기’)를 번갈아 가며 이동한다. 전파 상태는 인접 매크로셀로 전이될 때마다 주변 셀들의 ‘활성’ 개수를 증가시켜, 다음 타일에서 전파 상태가 생성되도록 한다. 와이어는 연속된 매크로셀 배열로 구성되며, 신호가 일정한 속도로 이동하도록 설계된다. 논리 게이트는 충돌 기반 메커니즘을 이용한다. 예를 들어, AND 게이트는 두 신호가 동시에 도착했을 때만 출력 신호가 생성되도록, 충돌 지점의 셀 전이 규칙을 조정한다. OR 게이트는 어느 한쪽 신호만 도착해도 출력이 발생하도록 설계된다. NOT 게이트는 신호의 부재를 감지해 반대 상태를 생성한다. 이러한 게이트들은 모두 반전체주의 규칙 안에서 구현되며, 타일의 비주기성에도 불구하고 일관된 동작을 보장한다.

또한, 저자들은 시간 동기화 문제를 해결하기 위해 ‘시계 신호’를 도입한다. 시계 신호는 전체 타일링을 가로지르는 주기적인 파동으로, 모든 매크로셀에 동일한 타이밍 기준을 제공한다. 이를 통해 신호 전파 지연이나 충돌 타이밍 오류를 최소화한다.

마지막으로, 논문은 이 CA가 튜링 완전성을 갖는다는 증명을 제시한다. 저자들은 기존에 알려진 1‑차원 보편적 CA인 Rule 110을 펜로즈 타일링 위에 매크로셀 형태로 구현하고, 이를 통해 임의의 튜링 기계 시뮬레이션이 가능함을 보인다. 따라서, 비주기적 격자에서도 반전체주의 CA만으로 보편적 계산이 가능함을 이론적으로 확립한다.

이 연구는 비정규 격자 위에서의 계산 모델 설계에 새로운 패러다임을 제시하며, 물리적 구현 가능성(예: 광학 격자, 나노구조)에도 시사점을 제공한다.