불안정 그래프와 TF‑친척을 연결하는 리프팅·폴딩 프레임워크

이 논문은 그래프 이론에서 두 가지 오래된 문제—정규 이중 피복(CDC) 의 자동군이 Aut(G) × ℤ₂ 보다 큰 경우(‘불안정 그래프’)와 서로 다른 그래프가 동일한 CDC 를 공유하는 경우—를 하나의 통합 프레임워크로 묶는다. 핵심 도구는 두‑접 이형동형(TF‑isomorphism)이며, 이는 두 전단사 (α,β) 로 정의된다. (α,β) 가 그래프 G와 H 사이에 존재하면, G와 H는 TF‑동형이며, 그 경우 CDC(G)와 CDC(H)는 동형이다(정리 3.1). 반대로, CDC(G)와 CDC(H)가 동형이면 G와 H는 TF‑동형이다. ‘리프팅(lifting)’ 단계에서는 주어진 TF‑이형동형 (α,β) 로부터 새로운 방향 그래프 ~G_{α,β} 를 만든다. 정점 집합은 α(V(G))∪β(V(G)) 로, 아크는 (α(u),β(v)) 로 정의한다. 이 그래프는 교대 이중 피복 ADC(G) 와 동형이며, 색 클래스가 α와 β에 의해 구분된다. 리프팅은 G가 비이분이면 연결성을 유지하고, 이분이면 두 개의 컴포넌트로 분리된다는 명제 4.1·4.2가 증명된다. 다음 ‘가이드 폴딩(guided folding)’ 단계에서는 색 클래스 사이의 전치 φ 를 선택한다. φ 가 CDC(G) 의 전환 전치(involution)이면, φ 로 정의된 사상 ˆφ 가 ~G_{α,β} 의 정점을 쌍으로 합쳐 새로운 무방향 그래프 H′ 를 만든다. φ 가 자명 전치이면 H′는 원래 G와 동형(‘trivial folding’)이며, 비자명 전치이면 H′는 G와 TF‑친척 관계에 있다(정리 4.4·4.5). 정리 4.6은 이 과정을 군론적으로 요약한다. G와 H′가 TF‑이형동형 (α,β) 로 연결될 때, G와 H′를 각각 ADC 로부터 복원하는 모든 가이드는 CDC(G) 의 자동군 안에서 같은 켤레류에 속하는 전환 전치에 해당한다. 따라서 CDC(G) 의 자동군 내 강하게 전환되는 전치의 켤레류 수가 동일한 CDC를 공유하는 비동형 그래프의 개수와 정확히 일치한다. 이는 Pacco‑Scapellato가 제시한 ‘루프가 없는 그래프’에 대한 결과를 일반화한 것으로, 자동군의 구조가 그래프의 불안정성 및 TF‑친척 관계를 완전히 지배한다는 중요한 통찰을 제공한다. 구성 방법은 가장 단순한 씨드 쌍 (C_k∪C_k, C_{2k}) 로 시작한다. 여기서 C_k와 C_{2k}는 각각 길이 k와 2k인 사이클이며, k는 홀수로 가정한다. 씨드 쌍은 TF‑이형동형 α,β 로 연결되며, 그 리프팅은 두 개의 동일한 2k‑길이 방향 사이클을 만든다. 이후 ‘핀(pins)’(α(x)=β(x))와 ‘엉킴(entangled pair)’(α(x)=β(y), α(y)=β(x)) 개념을 도입해 정점과 간선을 체계적으로 추가한다. 이 과정을 반복하면 임의의 차수와 크기의 불안정 그래프와 TF‑친척 쌍을 생성할 수 있다. 특히 저자는 ‘클로 그래프’ CG(n) 가족을 정의한다. CG(n)은 n개의 ‘발톱’ 구조가 중심에 연결된 3‑정규 그래프이며, CG′(n)은 그에 대응하는 변형 그래프이다. 논문은 CG(n)과 CG′(n) 가 TF‑친척이 되기 위한 필요충분조건이 n이 홀수임을 증명한다. n=1인 경우 CG(1)은 피터슨 그래프, CG′(1) 은 10‑정점의 또 다른 3‑정규 그래프이며, 두 그래프는 모두 CDC 로 데자르크스 그래프(20‑정점) 를 공유한다. n≥3(홀수) 에서는 이전에 알려지지 않은 새로운 3‑정규 그래프 쌍을 얻게 된다. 마지막으로 저자는 모든 연결 그래프(정점 ≤9)에 대해 전산 탐색을 수행하여, ‘불안정’ 혹은 ‘TF‑친척’ 관계가 존재한다면 반드시 어떤 홀수 k에 대해 C_k 와 C_{2k} 가 부분 그래프로 포함된다는 가설을 제시하고 검증한다. 이는 현재까지 알려진 모든 사례와 일치하며, 향후 더 큰 그래프에 대한 일반화 가능성을 시사한다.