두 번째 거리 고유값이 마이너스 반 이하인 그래프의 완전 특성화

초록

본 논문은 연결 그래프 G에 대해 거리 행렬 D(G)의 두 번째로 큰 고유값 λ₂(G)가 −½보다 작은 경우를 완전히 규명한다. 핵심 결과는 이러한 그래프가 반드시 chordal이며, 최소 정점 구분자(minimal vertex separator)의 크기와 중복도에 따라 구조가 제한된다. 구체적으로 직경이 2인 경우는 “완화된 블록 스타” 그래프의 유도 부분그래프이며, 직경이 3인 경우는 두 종류의 Ptolemaic 그래프 Pt₁ 또는 Pt₂(p,q) (p,q ≥ 2)의 유도 부분그래프이다. 또한 모든 이러한 그래프는 직경이 3을 초과하지 않으며, 제시된 구조가 실제로 λ₂ < −½ 조건을 만족함을 스펙트럼 이론(Descartes’ Rule, Sturm’s Theorem)으로 증명한다.

상세 분석

논문은 먼저 거리 행렬 D(G)의 스펙트럼 특성을 이용해 λ₂(G) < −½인 그래프는 chordal임을 기존 연구(Guo‑Zhou)로부터 인용한다. chordal 그래프의 핵심 특성인 최소 정점 구분자(mvs)가 모두 클리크이며, 그 다중도 µ(S) 가 그래프 구조를 결정한다는 점을 활용한다. Lemma 1에 따라 mvs가 클리크가 아니면 chordal이 아니므로 배제된다. 이어서 최소 구분자의 크기가 3이면 λ₂가 −½보다 크게 된다(Prop 1). 크기가 2이면서 중복도 µ≥2인 경우도 λ₂ > −½(Prop 2)이며, 이는 Figure 5(b)에서 가장 작은 반례를 통해 확인한다. 따라서 λ₂ < −½를 만족하려면 모든 mvs의 크기가 1 또는 2이며, 크기 2인 경우는 중복도가 1이어야 한다.

이 조건을 만족하는 chordal 그래프는 Ptolemaic 그래프와 동치임을 Lemma 2와 Prop 3을 통해 보인다. Ptolemaic 그래프는 gem‑free chordal 그래프이며, 거리 상속성(distance hereditary)도 갖는다. 따라서 구조적 분석을 진행할 때 Ptolemaic 그래프의 특수한 블록 구조(클리크, 다이아몬드, “full house”)를 활용한다.

직경 2인 경우, 최소 구분자가 하나라도 크기 2이면 그래프는 “완화된 블록 스타(relaxed block star)”의 유도 부분그래프가 된다. 이 클래스는 보편 정점(universal vertex)을 중심으로, 모든 블록이 클리크, 다이아몬드, 혹은 full house(집 그래프에 두 대각선 변을 추가한 형태)인 구조이다. Theorem 2는 이러한 그래프가 λ₂ < −½를 만족함을 증명한다(Section 5에서 Descartes’ Rule와 Sturm’s Theorem을 적용).

직경 3인 경우는 두 가지 패밀리로 나뉜다. 첫 번째는 Pt₁ 그래프(특정 형태의 Ptolemaic 그래프)이며, 두 번째는 Pt₂(p,q) 그래프(두 개의 클리크가 각각 p, q개의 정점으로 구성되고, 하나의 공통 정점으로 연결된 형태)이다. 두 그래프 모두 최소 구분자가 정확히 두 개이며 각각 중복도 1을 갖는다. Theorem 3은 이들 그래프가 직경 3을 초과하지 않으며, λ₂ < −½ 조건을 만족함을 보인다.

마지막으로 Corollary 1·2는 앞서 제시된 구조적 결과와 스펙트럼 검증을 종합해, “직경 2인 완화된 블록 스타”와 “직경 3인 Pt₁, Pt₂(p,q)”가 λ₂ < −½를 만족하는 유일한 연결 chordal 그래프임을 선언한다. 전체 흐름은 (1) chordal 필요조건, (2) 최소 구분자 크기·중복도 제한, (3) Ptolemaic 구조 도출, (4) 직경별 구체적 그래프 패밀리 정의, (5) 스펙트럼적 검증 순으로 전개된다.