평면 서명 그래프에서 해밀토니안 원의 부호 탐구

본 논문은 “단순 평면 서명 그래프에서 해밀토니안 원의 부호가 어떻게 결정되는가?”라는 질문을 중심으로 전개된다. 서론에서는 Zaslavsky의 질문을 인용하며, 평면 임베딩이 해밀토니안 원의 경로를 제한하고, 동시에 면 구조를 통해 부호를 제어할 수 있다는 점을 강조한다. 저자는 먼저 기본 정의들을 정리한다. 외부 면(F₀), 외부 변, 내부·외부 정점 등을 정의하고, 2‑연결성을 유지하면서 외부 면에 인접한 변을 차례로 삭제하는 ‘공해밀토니안(edge) 시퀀스’를 도입한다. 각 삭제 단계에서 외부 면과 병합되는 내부 면을 기록하면 ‘공해밀토니안(face) 시퀀스’가 생성된다. 최종 그래프는 모든 정점이 외부 면에 속하고, 정확히 하나의 해밀토니안 원을 포함한다. 이때 남아 있는 내부 면들의 집합을 ‘해밀토니안 집합’이라 부른다. 다음으로 면‑기반 부호 관계를 증명한다. Lemma 2.3은 외부 경계 원 C₀의 부호가 내부 모든 면의 부호 곱과 동일함을 보이며, 이는 내부 변이 두 면에 동시에 기여해 부호가 소거되는 성질을 이용한다. 이 결과는 해밀토니안 원의 부호를 면 부호의 전역 곱으로 변환함으로써, 면 구조만으로 부호를 판단할 수 있게 만든다. 그 후 ‘Peeling Lemma’(Lemma 2.4)를 제시한다. 해밀토니안 원이 외부 경계와 일치하지 않을 경우, 외부 면에 속하지만 해밀토니안 원에 포함되지 않은 변을 하나 삭제하면 그래프는 여전히 2‑연결성을 유지한다. 이를 반복하면 외부 면에 포함된 모든 내부 면을 차례로 외부 면에 병합시켜 공해밀토니안 시퀀스를 구성할 수 있다. Lemma 2.5는 이 과정을 역으로 보이며, 그래프가 해밀토니안 원을 포함한다는 것과 공해밀토니안(face) 시퀀스가 존재한다는 것이 동치임을 증명한다. 본 논문의 핵심은 두 개의 서로 다른 공해밀토니안 시퀀스가 존재하고, 그들이 만든 면 부호 곱이 서로 반대일 때, 그래프는 양·음 두 부호의 해밀토니안 원을 동시에 가짐을 보이는 기준이다. 이는 면‑부호 곱이 해밀토니안 원 부호와 일치한다는 Lemma 2.3과 직접 연결된다. 따라서 전체 시퀀스를 일일이 찾지 않아도, 두 개의 ‘반대 부호 면 곱’ 시퀀스를 찾으면 바로 결론을 얻을 수 있다. 이론적 틀을 바탕으로 저자는 구체적인 구조적 정리를 제시한다. 첫 번째는 ‘사다리형(ladder‑type) 구성’이다. 격자 그래프에서 두 개의 4‑사이클을 교차시켜 토글하면, 해당 4‑사이클이 포함하는 면의 부호가 전환되고, 결과적으로 두 개의 공해밀토니안 시퀀스가 생성된다. 두 번째는 ‘육각형(hexagon) 구성’이다. 6‑사이클을 이용해 비슷한 토글을 수행하면, 면 부호가 교대로 바뀌어 반대 부호의 시퀀스를 만들 수 있다. 이러한 지역 구조는 격자 그래프의 작은 부분만 확인하면 전체 그래프가 양·음 두 부호의 해밀토니안 원을 포함한다는 것을 보장한다. 즉, 복잡한 전역 탐색 없이도 사다리형 혹은 육각형 패턴이 존재하면 바로 부호 다양성을 인증할 수 있다. 마지막으로, 외부 평면 그래프의 약한 이중(weak dual) 구조를 분석한다. Lemma 2.1은 외부 평면 그래프의 약한 이중이 트리임을 보이며, Lemma 2.2는 이러한 그래프가 외부 경계 원 하나만을 해밀토니안 원으로 갖는다는 것을 증명한다. 이 두 결과는 공해밀토니안 시퀀스가 존재하기 위한 기본적인 토폴로지적 조건을 제공한다. 전체적으로, 면‑기반 부호 해석, 공해밀토니안 시퀀스 개념, 그리고 지역 구조 정리가 결합되어, 평면 서명 그래프에서 해밀토니안 원의 부호 다양성을 판단하는 새로운 이론 체계를 구축한다. 이 체계는 특히 서명 격자 그래프에서 실용적으로 적용 가능하며, 향후 더 복잡한 평면 서명 구조에도 확장될 가능성을 제시한다.