기울기 타일링의 비밀

초록

본 논문은 평면 타일링에서 한 방향으로만 주기성을 갖는 “기울기”를 정의하고, 이러한 기울기의 집합이 정확히 재귀적으로 열거 가능한 유리수 집합과 일치함을 증명한다.

상세 분석

논문은 먼저 타일링 이론에서 “주기성”과 “기울기”라는 개념을 엄밀히 정의한다. 전통적인 타일링은 전체 평면에 대해 두 개 이상의 독립적인 주기 벡터가 존재하면 다중 주기성을 가진다. 여기서는 한 개의 비영벡터 v 에 대해 모든 셀 x 에 대해 T(x)=T(x+v) 가 성립하면서, 다른 어떠한 비영벡터 w 에 대해서는 T(x)≠T(x+w) 인 경우를 “기울기 타일링”이라고 명명한다. 이때 v 의 기울기, 즉 v 의 방향을 유리수 p/q (또는 무한대)로 표현한다.

주요 정리는 “가능한 기울기의 집합은 재귀적으로 열거 가능한(Recursively Enumerable, RE) 유리수 집합과 정확히 일치한다”는 것이다. 이를 보이기 위해 두 방향의 함의를 각각 구성한다. 첫 번째는 임의의 RE 집합 S⊆ℚ 에 대해, S에 속하는 기울기만을 허용하는 타일링 시스템을 설계한다는 것이다. 여기서는 튜링 기계 M 의 실행을 타일링에 인코딩하고, M 이 특정 입력에 대해 멈추면 해당 기울기를 허용하도록 하는 “시뮬레이션 레이어”와 “기울기 검증 레이어”를 겹쳐 놓는다. 멈춤 여부는 RE 집합의 정의와 일치하므로, M 이 멈출 때만 해당 기울기가 실제로 타일링을 만들 수 있다.

반대 방향, 즉 어떤 타일링이 특정 기울기 r 를 갖는다면 r 는 RE 집합에 속한다는 것을 보이기 위해, 주어진 타일링 시스템을 기반으로 기울기 r 에 대한 “증명 프로그램”을 구성한다. 타일링이 존재한다면, 그 타일링을 유한히 검증 가능한 패턴으로 분해해 r 을 추출할 수 있다. 이 과정을 튜링 기계가 시뮬레이션하도록 하면, r 이 RE 집합에 열거될 수 있음을 보인다.

증명 과정에서 핵심적인 기술은 “대각선 전파”와 “동기화 라인”이다. 대각선 전파는 타일들의 색상을 대각선 방향으로 전파시켜 기울기 p/q 에 맞는 격자 구조를 강제하고, 동기화 라인은 전체 평면에 걸쳐 동일한 주기성을 유지하도록 보장한다. 또한, “비주기성 검증”을 위해 무한히 늘어나는 “방해 패턴”을 삽입해 다른 방향의 주기성을 차단한다. 이러한 구성은 기존의 Wang 타일링과 유사하지만, 기울기 제한이라는 새로운 제약을 만족하도록 변형되었다.

결과적으로, 논문은 타일링 이론과 계산 복잡도 이론을 교차시켜, 기울기라는 기하학적 속성이 재귀적으로 열거 가능한 집합과 정확히 대응한다는 깊은 통찰을 제공한다. 이는 타일링이 단순히 평면을 채우는 퍼즐을 넘어, 계산 가능성의 지표가 될 수 있음을 시사한다.