타일 차이 43 이하에서도 평면 타일링 문제는 불가능

초록

이 논문은 와앙 타일 집합의 타일 수와 색상 수 차이가 43 이하일 때도 평면 전체를 타일링할 수 있는지 여부가 결정 불가능함을 증명한다. 핵심 도구로 ‘와앙 바’라는 개념을 도입해 기존 타일링 문제를 변형·축소한다.

상세 분석

본 연구는 와앙 타일링 문제의 복잡도 경계를 새로운 관점에서 탐구한다. 기존에는 타일 수 자체가 유한하면 문제는 자동적으로 결정 가능하다는 사실이 알려져 있었으며, 색상 수가 제한된 경우에도 마찬가지로 결정 가능하다는 결과가 있었다. 그러나 저자들은 “타일 수와 색상 수의 차이”라는 새로운 파라미터를 도입함으로써, 이 차이가 작게 제한되더라도 문제의 불가능성을 유지할 수 있음을 보였다. 핵심 아이디어는 ‘와앙 바(Wang bar)’라는 구조물이다. 와앙 바는 하나의 타일을 가로 혹은 세로 방향으로 늘린 형태로, 본질적으로는 얇은 폴리오미노에 해당한다. 이 바는 기존 타일의 경계 조건을 보존하면서도, 여러 바를 조합해 복잡한 전역 구조를 만들 수 있게 한다. 논문은 먼저 일반적인 와앙 타일 집합을 와앙 바 집합으로 변환하는 절차를 제시하고, 이 변환이 타일링 가능성에 대해 동치임을 증명한다. 그 다음, 알려진 튜링 기계 시뮬레이션 타일링 인코딩을 와앙 바 형태로 압축한다. 이 과정에서 타일 수와 색상 수 사이의 차이를 43 이하로 제한할 수 있는 정교한 코딩 스킴을 설계한다. 특히, 색상 라벨을 재사용하고, 바의 길이를 조절함으로써 불필요한 색상 폭을 최소화한다. 결과적으로, 차이가 43 이하인 경우에도 튜링 기계의 무한 실행을 요구하는 평면 타일링 인스턴스를 구성할 수 있음을 보인다. 이는 “고정 파라미터 언디시더블리티(Fixed Parameter Undecidability)”라는 새로운 복잡도 클래스를 정의하는 데 기여한다. 또한, 와앙 바라는 도구는 기존의 타일링 불가능성 증명에 비해 더 간결하고 직관적인 구조를 제공하므로, 향후 다른 파라미터화된 타일링 문제에도 적용 가능성이 높다. 논문은 마지막으로 차이 43이라는 구체적인 상수가 기술적 선택에 기반함을 명시하고, 이 값을 더 낮추는 것이 현재의 증명 기법으로는 어려우며, 향후 연구에서 최적화 가능성을 제시한다.