등변 삼각분할에서 수축 가능한 해밀턴 순환

이 논문은 “q‑등변 삼각분할”이라는 특수한 표면 분할 형태를 연구한다. q‑등변 삼각분할이란 모든 정점이 정확히 q개의 삼각형에 인접하는 삼각분할을 의미한다. 1972년 Altshuler가 토러스에서 이러한 분할이 해밀턴 회로를 가진다는 결과를 발표했지만, 그 회로가 표면 위에서 수축 가능한지, 즉 디스크 안에 완전히 포함되는지에 대한 조건은 알려지지 않았다. 본 연구는 이러한 질문에 답하기 위해, 이중 지도(M)와 “적절한 트리”(proper tree)라는 새로운 개념을 도입한다. 먼저, 표면 S 위의 삼각분할 K를 이중 지도 M으로 변환한다. M의 정점은 K의 삼각형에 대응하고, M의 면은 K의 정점에 대응한다. K가 q‑등변이면 M은 {q,3}형 다각형 맵이 되며, 모든 정점의 차수가 3이다. 그런 다음, M 안에서 n‑2개의 정점을 갖는 트리 T를 선택한다. 이때 T가 “적절한” 것이란 두 가지 조건을 만족해야 한다. 첫째, T의 두 정점이 같은 면 F에 속하면, 그 면의 경계에 있는 정점 사이의 경로가 T 안에 포함된다. 둘째, T 안의 어떤 경로가 면 F에 완전히 포함될 경우 그 길이는 q‑2 이하이어야 한다. 이러한 조건은 트리가 M의 구조와 조화롭게 배치되어, 나중에 K의 해밀턴 사이클을 재구성할 수 있게 만든다. Lemma 4.1은 T의 모든 정점 차수가 3 이하임을 보이며, 이는 M 자체가 차수 3인 정점만을 갖기 때문에 자명하다. Lemma 4.2는 T에 차수 3인 정점이 m개라면, 차수 1인 정점은 m+2개임을 증명한다. 이는 트리의 말단 정점 수와 내부 정점 수 사이의 관계를 이용한 전형적인 트리 이론 결과이다. Lemma 4.3은 T가 M의 어떤 면을 완전히 차지하지 않음을 보인다. 즉, T가 차지하는 면의 수는 n‑e이며, 여기서 e는 T의 차수 1인 정점 수이다. 이를 통해 T의 말단 정점이 서로 다른 면에 고유하게 배치된다는 사실을 얻는다. Lemma 4.4는 위에서 정의한 T를 이용해 K 안에 삼각형들로 이루어진 2‑디스크 D를 만든다. D는 T의 정점에 대응하는 삼각형들의 집합이며, 그 경계 ∂D는 정확히 n개의 정점을 포함하는 순환이다. 이 순환이 바로 K의 해밀턴 사이클이며, D가 2‑디스크이므로 사이클은 수축 가능하다. Theorem 1은 “EG(K) 가 수축 가능한 해밀턴 사이클을 갖는다 ⇔ M 의 이중 지도에 적절한 트리가 존재한다”는 필요충분조건을 공식화한다. “if” 방향은 Lemma 4.4를 통해 바로 증명된다. “only‑if” 방향에서는 주어진 수축 가능한 해밀턴 사이클 H를 경계로 하는 디스크 안의 삼각형들을 선택하고, 그 삼각형들의 이중점들로 구성된 그래프가 적절한 트리임을 확인한다. Euler 특성식 χ=V−E+F를 이용해 디스크 안의 삼각형 수가 n‑2임을 보이고, 이는 트리 정점 수와 일치한다. 논문은 또한 기존 연구와의 연관성을 논한다. Altshuler의 토러스 해밀턴 회로 결과를 일반 표면으로 확장하고, Barnette가 제시한 3‑연결 그래프에서 수축 가능한 사이클 존재 결과와 연결한다. 특히, “proper tree” 개념은 Barnette가 사용한 3‑트리와 유사하지만, 표면의 차수와 면 구조를 고려한 추가 제약을 포함한다. 결론적으로, 저자는 q‑등변 삼각분할이 주어졌을 때, 이중 지도에 적절한 트리를 찾는 것이 수축 가능한 해밀턴 사이클 존재 여부를 판단하는 완전한 기준임을 증명한다. 이는 위상학적 복잡성을 그래프 이론적 구조로 환원함으로써, 표면 위의 복합적인 삼각분할 문제를 보다 체계적으로 분석할 수 있는 새로운 도구를 제공한다.