자기참조 고정점 기반 비주기 타일 집합

논문은 비주기 타일 집합의 존재를 새로운 관점에서 접근한다. 먼저, 타일링 문제를 색이 지정된 정사각형 타일들의 집합 τ와 그 매크로‑타일 집합 ρ 사이의 구현 관계로 정의한다. τ가 ρ를 구현한다는 것은 τ‑타일링을 고유하게 M×M 블록으로 분할할 수 있고, 각 블록이 ρ의 매크로‑타일과 일대일 대응한다는 의미이다. 이러한 자기유사(self‑similar) 구조가 존재하면, 어떤 주기 벡터 T가 존재한다면 T는 M의 배수가 되고, 다시 확대하면 T는 M²의 배수가 되는 식으로 무한히 나누어져 결국 T는 영벡터가 된다. 따라서 자기유사 타일 집합은 반드시 비주기적이다. 이제 임의의 타일 집합 σ를 입력으로 받아 σ를 구현하는 새로운 타일 집합 τ를 구성하는 방법을 제시한다. σ는 k비트 문자열을 색으로 하는 4‑ary 관계 S(x,y,z,w) 로 표현될 수 있다. τ는 매크로‑타일의 각 변에 k비트 “매크로‑색”을 배치하고, 매크로‑타일 내부에 고정된 보편 튜링 기계(UTM)의 시공간 다이어그램을 구현한다. 이 다이어그램은 매크로‑색을 입력으로 받아 S를 검사하고, 검사 결과가 참이면 매크로‑타일이 허용된다. 즉, τ는 σ의 규칙을 계산적으로 검증하는 역할을 수행한다. 구체적인 구현은 다음과 같다. 매크로‑타일의 네 변 중 가운데 부분에 k비트 문자열을 넣고, 이 문자열들을 각각 x, y, z, w라 하자. 매크로‑타일 내부의 “계산 영역”은 UTM이 수행하는 시공간 다이어그램을 타일 규칙으로 강제한다. 타일은 각 셀에 UTM의 상태, 헤드 위치, 테이프 심볼 등을 인코딩하고, 인접 셀 간에 전이 규칙을 만족하도록 설계한다. 계산 영역은 M/2 단계 이내에 종료하도록 제한한다. 계산이 종료될 때 S(x,y,z,w)가 참이면 매크로‑타일이 유효하고, 거짓이면 매크로‑타일이 존재할 수 없게 된다. 이러한 방식으로 τ는 σ의 규칙을 “검증”하는 매크로‑타일 집합을 구현한다. 그러나 τ는 σ와 동일한 형태가 아니므로, 최종 목표인 자기유사 타일 집합을 얻기 위해서는 τ와 σ 사이의 고정점을 찾아야 한다. 이를 위해 고전적인 고정점 정리와 자기참조 기법을 이용한다. τ의 매크로‑색을 구성할 때, 색 자체에 τ를 기술하는 프로그램 코드를 포함시킨다. 즉, 매크로‑색은 “내가 어떤 타일인지”를 기술하는 비트열이며, 이 비트열은 τ의 정의에 직접 들어간다. 구현 단계는 다음과 같다. (1) τ의 매크로‑색을 읽어들이는 계산 영역은 먼저 이 비트열을 자신의 프로그램 코드로 인식한다. (2) 프로그램은 자신이 구현하려는 규칙 S를 계산하고, 매크로‑색이 해당 규칙을 만족하는지 확인한다. (3) 확인 결과가 참이면 매크로‑타일이 허용되고, 거짓이면 불가능하게 된다. 이 과정에서 프로그램은 자신의 코드를 읽어들이는 “자기 복제” 동작을 수행한다. 따라서 매크로‑타일 수준에서 수행되는 계산은 바로 τ 자체를 정의하는 계산과 동일하다. 결과적으로 τ는 자신을 구현하는 매크로‑타일 집합 ρ와 동형이 된다. 즉, τ는 자기유사 타일 집합이며, 앞서 증명한 바와 같이 모든 τ‑타일링은 비주기적이다. 이 논증은 기존의 기하학적 구성(예: Berger, Robinson, Penrose 등)과는 달리, 전적으로 계산 이론의 도구—보편 튜링 기계, 고정점 정리, 자기참조—만을 사용한다. 논문은 또한 이 방법이 다양한 응용에 확장될 수 있음을 언급한다. 예를 들어, 동일한 아이디어를 이용해 도미노 문제의 불가능성을 재증명하거나, 셀룰러 오토마톤의 복잡도 경계와 연결할 수 있다. 저자들은 이 접근법이 “당시(1960년대)에도 충분히 가능했을 텐데, 역사의 우연으로 놓쳤다”고 주장한다. 마지막으로, 자기복제 자동장치와 비주기 타일링 사이의 깊은 연관성을 강조하며, von Neumann의 초기 아이디어와도 일맥상통함을 지적한다.