3‑연결 클로프‑프리 그래프와 3‑하이퍼그래프 라인 그래프의 해밀턴 성질

초록

본 논문은 3‑연결 클로프‑프리 그래프에서 지배수(γ)≤5이면 거의 모든 경우에 해밀턴 사이클을, γ≤4이면 해밀턴 연결성을 보장한다는 최적의 상한을 제시한다. 또한 3‑연결 3‑하이퍼그래프의 라인 그래프에 대해 γ≤4이면 해밀턴임을 증명한다. 예외 그래프는 Petersen 그래프와 Wagner 그래프에서 유도된 특수 클래스(P′, W′)로 명확히 규정한다.

상세 분석

논문은 Thomassen의 라인 그래프 추측을 출발점으로, 클로프‑프리 그래프에서 지배수(γ)와 연결성 사이의 미세한 관계를 탐구한다. 기존 결과인 Ageev(1994)의 “2‑연결, γ≤2 ⇒ 해밀턴”을 3‑연결 수준으로 끌어올리면서, γ의 최적 상한을 각각 5와 4로 설정한다. 핵심 정리는 두 가지 예외 클래스를 정의한다. 첫 번째는 Petersen 그래프에서 일부 정점에 펜던트 엣지 또는 분할을 가한 그래프 군(P′)이며, 두 번째는 Wagner 그래프에 유사한 변형을 가한 그래프 군(W′)이다. 이 두 클래스는 클로프‑프리 그래프의 폐쇄 연산(cl) 혹은 강화 폐쇄 연산(M‑closure) 후에도 라인 그래프 형태를 유지한다는 특성을 가진다.

증명 전략은 Ryjáček의 클로저 이론과 M‑closure의 성질을 활용한다. 클로저는 클로프‑프리 그래프를 삼각‑프리 그래프의 라인 그래프로 변환시키며, 해밀턴성은 폐쇄 그래프와 동등함을 보인다. 그러나 해밀턴‑연결성은 일반 클로저가 보존되지 않으므로, 저자들은 M‑closure를 도입해 “정점 집합은 변하지 않으며, 간선 집합은 확대”되는 특성을 이용한다. 이를 통해 G가 3‑연결이고 γ≤4이면 M‑closure가 라인 그래프 형태가 되고, 라인 그래프의 해밀턴‑연결성 조건(모든 두 간선 사이에 내부 지배 트레일 존재)과 동등함을 보인다.

라인 그래프와 3‑하이퍼그래프 사이의 연결 고리는 Li·Ozeki·Ryjáček·Vrána(2020)의 결과를 인용한다. 그들은 4‑연결 라인 그래프가 3‑하이퍼그래프에서 유도될 경우 해밀턴‑연결성과 동치임을 증명했으며, 본 논문은 이를 3‑연결 수준으로 약화하고, 지배수 제한 γ≤4를 추가함으로써 새로운 충분조건을 제공한다. 핵심 도구는 “지배 폐쇄 트레일”(dominating closed trail)과 “내부 지배 트레일”(IDT)이며, Harary‑Nash‑Williams 정리와 Li·Lai·Zhan의 확장을 통해 라인 그래프의 해밀턴성/연결성을 다중 그래프의 트레일 존재 문제로 전환한다. 또한 Nine‑Point 정리와 그 강화판을 이용해 핵심 그래프(코어)의 구조를 분석하고, 예외 경우가 Petersen 그래프로 수축될 때만 반례가 발생함을 보인다. 최종적으로, γ≤5이면 해밀턴 사이클, γ≤4이면 해밀턴 경로가 모든 정점 쌍 사이에 존재함을 입증함으로써 기존 연구를 일반화하고, 상한이 최적임을 Petersen·Wagner 예외를 통해 증명한다.