무한 콜람 패턴의 수학적 해법

초록

본 논문은 남인도 전통 무늬인 콜람 중 ‘무한 콜람’이라 불리는 일선 그리기 문제를 수학적으로 모델링하고, 특히 다이아몬드 형태의 점 배열(1‑3‑5‑3‑1, 1‑3‑5‑7‑5‑3‑1)에 대해 결절 이론과 템플러리‑리브 알게브라를 이용해 정확히 셈하는 알고리즘을 제시한다. 이를 통해 무한 콜람 문제는 NP‑complete가 아니라 다항시간에 해결 가능함을 보이고, 일반적인 복잡도 논의에 대한 실마리를 제공한다.

상세 분석

콜람은 격자상의 점을 선으로 연결해 만든 전통 무늬이며, ‘무한 콜람’은 모든 선이 하나의 연속된 루프를 이루는 경우를 말한다. 이 문제를 단순히 모든 가능한 선 연결을 전수 조사하는 브루트포스 방식으로 접근하면 경우의 수가 급격히 늘어나 NP‑complete 수준의 난이도로 보일 수 있다. 그러나 저자들은 콜람을 평면 그래프의 4‑정도 정점(점마다 최대 4개의 선이 연결)으로 모델링하고, 이를 결절 이론에서 다루는 ‘플랫 리버스’(flat Reidemeister) 변환과 동일시한다. 특히, 각 점을 ‘플러그‑소켓’(plug‑socket) 구조로 해석해 템플러리‑리브 대수(Temperley‑Lieb algebra)의 생성자 e_i 로 표현한다. 이 대수는 두 인접한 선이 교차하거나 연결되는 경우를 행렬 연산으로 기술하며, 전체 콜람 패턴은 이러한 연산들의 곱으로 나타난다.

다이아몬드 형태의 격자(예: 1‑3‑5‑3‑1)는 대칭성이 강해 전이 행렬(transfer matrix)을 한 줄씩 적용해 상태 공간을 축소할 수 있다. 저자는 ‘상태 벡터’(state vector)를 정의하고, 각 행(row)마다 가능한 연결 상태를 템플러리‑리브 기저에 매핑한다. 전이 행렬은 이 기저 사이의 변환을 나타내며, 행렬의 거듭제곱을 통해 전체 격자의 연결 가능성을 계산한다. 핵심은 ‘루프 수’(loop number)를 추적하는 변수 a 를 도입해, 최종 행렬식에서 a^0 항만을 추출하면 무한 콜람(단일 루프) 경우의 수가 얻어진다.

이 방법은 상태 수가 격자 폭에 대해 지수적으로 증가하지만, 다이아몬드 격자의 경우 폭이 O(n)이고 높이도 O(n)인 구조이므로 전체 복잡도는 O(poly(n)) 수준이다. 따라서 무한 콜람 문제는 일반적인 그래프의 해밀턴 사이클 문제와 달리, 특수한 대칭과 결절 대수적 성질을 이용해 다항시간에 해결 가능함을 증명한다. 또한, 저자는 이 접근법이 ‘NP‑complete’ 증명에 필요한 ‘다항 시간 환원’이 불가능함을 시사하며, 무한 콜람이 복잡도 이론에서 별도의 클래스에 속할 가능성을 제시한다.