연결도 5 미만 정점 전이성 그래프 완전 분류

초록

본 논문은 정점-전이성인 유한 연결 그래프를 “본질적으로 5-연결”이거나, 명시된 열 개의 그래프 군에 속하도록 완전히 규정한다. 핵심 도구는 Tutte‑형 전형 분해와 4‑연결 그래프에 대한 새로운 “테트라‑분해”이며, 이를 통해 quasi‑4‑연결·quasi‑5‑연결 그래프를 세밀히 분석한다. 결과적으로 모든 연결도 4 이하의 정점‑전이성 그래프가 구체적인 확장·사이클‑가방 형태로 기술된다.

상세 분석

논문은 먼저 정점‑전이성 그래프의 연결도에 따른 기존 연구를 정리한다. Droms‑Servatius‑Servatius는 연결도 2 이하, Carmesin‑Kurkofka는 연결도 3 이하에 대한 완전한 분류를 제시했으며, 저자들은 이를 연결도 4까지 확장한다. 핵심 개념은 quasi‑4‑연결(모든 3‑분리에서 한쪽 파트가 단일 정점)과 quasi‑5‑연결(모든 4‑분리에서 한쪽 파트가 최대 두 정점)이다.

새로운 도구인 “테트라‑분해”(tetradecomposition)는 4‑연결 그래프를 2‑분리 기준으로 고유하게 분해하여 각 파트를 3‑연결, 사이클, K₂ 로 표현한다. 이 분해는 Tutte‑형 분해의 4‑차원 확장으로, 분해 트리가 아닌 사이클 형태도 허용한다(‘사이클‑분해’).

정점‑전이성 그래프 G가 4‑연결이면, 모든 테트라‑분리의 분리자 집합은 정확히 네 개의 간선이며, 최소한 한 쪽 파트는 K₄ 로 동형이다(정리 2.5). 이를 이용해 “본질적으로 5‑연결”인 그래프를 정의하고, 완전히 네 개의 간선만을 공유하는 분리들이 모두 중첩될 경우 G는 본질적으로 5‑연결임을 보인다(정리 2.6).

그 다음, 두 개의 교차하는 테트라‑분리가 존재할 때 발생할 수 있는 경우들을 차례로 배제한다. 교차 링크가 비어 있으면 G는 K₄,₄(=K₂,₂의 4‑사이클)이며, 링크가 하나이면 모든 가방(bag)이 ‘나쁜’ 형태가 되며 결국 K₄,₄와 동형임을 보인다(정리 2.7‑2.10).

이러한 구조적 제약을 바탕으로, quasi‑4‑연결이면서 2‑quasi‑5‑연결이 아닌 경우는 다음과 같은 열 가지 형태로만 나타난다: (i) ≥4‑정규 quasi‑5‑연결 그래프, (ii) 3‑정규 2‑quasi‑5‑연결 그래프, (iii) K₄‑확장 또는 C₄‑확장의 quasi‑5‑연결 4‑정규 아크‑전이성 그래프, (iv) K₄‑가방의 사이클, (v) K₄‑가방과 C₄‑가방이 교대로 배치된 사이클, (vi) 삼각형‑가방 사이클, (vii) K₂,₂‑가방과 C₄‑토르소가 교대로 나타나는 사이클, (viii) C₄‑가방 사이클 혹은 K₃□K₂, (ix) K₂,₂‑가방 사이클 및 그들의 K₄‑확장·C₄‑확장, (x) 정육면체의 라인‑그래프와 그 K₄‑확장·세 개의 C₄‑확장.

정리 1.2와 결합하면, 위 목록에 K₃‑확장(특히 3‑정규 아크‑전이성 그래프)과 정육면체 라인‑그래프만이 추가로 허용된다. 최종적으로 Corollary 2는 “연결도 5 미만의 모든 정점‑전이성 유한 연결 그래프는 위에 열거된 형태 중 하나이거나, 단순히 사이클, K₂, K₁”임을 선언한다.

전체 증명은 복잡한 교차‑분리 분석, ‘도움이 되는 정리(Helpful Lemma)’를 통한 가방 수 제한, 그리고 Y‑Δ 변환을 통한 quasi‑4‑연결 → 4‑연결 전환(특히 3‑정규 경우 라인‑그래프와 동일) 과정을 포함한다. 이러한 방법론은 기존 Tutte‑분해를 고차원으로 일반화한 최초의 사례라 할 수 있다.