삼각 격자 슬리더링크와 전부 짝수 부분집합의 완전 특성화

초록

본 논문은 평면 그래프인 삼각 격자 (T_n) 에서 사이클의 슬리더링크 서명(signature)을 정의하고, 동일한 서명을 갖는 두 사이클의 대칭 차집합이 “전부 짝수(totally even)”라는 특성을 가진다는 사실을 이용한다. 저자는 전부 짝수 부분집합을 완전히 규명하고, 그 크기를 정확히 계산하며, 두 사이클의 대칭 차집합 크기가 항상 12의 배수임을 보인다.

상세 분석

논문은 먼저 기존 연구인 Beluhov가 사각 격자에 대해 제시한 “전부 짝수(totally even) 부분집합” 개념을 삼각 격자 (T_n) 에 확장한다. 여기서 전부 짝수란 그래프의 모든 정점이 해당 부분집합에 포함된 인접 간선 수가 짝수이며, 모든 면(삼각형)도 포함된 간선 수가 짝수인 경우를 말한다. 저자는 먼저 두 사이클 (C_1, C_2) 가 같은 슬리더링크 서명을 가질 때, 그 대칭 차집합 (A=C_1\triangle C_2) 가 전부 짝수임을 간단히 증명한다. 이는 정점과 면 각각에 대해 짝수 개의 간선이 포함된다는 정의에서 바로 따라온다.

다음으로 전부 짝수 부분집합의 구조적 특성을 파악한다. 핵심 정리는 모든 전부 짝수 부분집합이 “중간선(middle line)”에 대해 대칭을 만족한다는 것이다. 중간선은 삼각 격자의 한 변을 연결하는 대각선으로 정의되며, 저자는 정밀한 좌표 체계 ((x,y))를 이용해 이 대칭을 수식적으로 표현한다. 증명은 위쪽 가장자리 두 간선을 기준으로 시작해, 각 층을 내려가면서 정점·면의 짝수 조건을 이용해 대칭 관계를 귀납적으로 확장한다. 특히, 중간선 위에 위치한 간선은 어떤 전부 짝수 부분집합에도 포함될 수 없다는 보조 정리(Corollary 1)를 얻는다.

전부 짝수 부분집합의 자유도는 격자 크기 (n) 에 따라 (\lfloor n/2\rfloor) 개의 독립적인 선택으로 결정된다. 저자는 (T_6)에서 세 개의 기본 전부 짝수 부분집합을 제시하고, 이를 기반으로 모든 전부 짝수 부분집합이 선형 결합(대칭 차집합)으로 표현될 수 있음을 보인다. 따라서 전체 전부 짝수 부분집합의 개수는 (2^{\lfloor n/2\rfloor})가 된다.

또한, 전부 짝수 부분집합은 하단 변(바닥 변)의 간선 배치를 완전히 결정하면 전체 구조가 유일하게 정해진다(Theorem 2). 이는 “하단 변에 대한 일치가 전체 일치를 강제한다”는 의미이며, 실제로 하단 변을 따라 차례로 정점·면의 짝수 조건을 적용해 나가면 남은 간선의 포함 여부가 강제로 결정된다.

마지막으로 두 사이클의 대칭 차집합 크기의 가법성을 연구한다. 전부 짝수 부분집합의 크기는 항상 12의 배수이며, 이는 격자 전체에 존재하는 6개의 대칭축(두 개의 반대각선과 한 변을 포함한 세 축)과 각 축에 대한 회전 대칭이 결합된 결과이다. 저자는 구체적인 예시와 구성으로 12가 가능한 최소 공배수임을 증명한다. 이는 사각 격자에서의 8배수 결과와 대비되어, 격자 형태에 따라 최소 공배수가 달라짐을 보여준다. 전체적으로 논문은 전부 짝수 부분집합의 대칭성, 자유도, 크기 제한을 체계적으로 정리함으로써, 삼각 격자에서 슬리더링크 문제를 완전하게 이해할 수 있는 토대를 제공한다.