거리와 부라플라스라스 스펙트럼으로 보는 분수 k‑연장 가능 그래프의 새로운 조건

초록

**
본 논문은 최소 차수 δ를 가진 그래프가 분수 k‑연장 가능(frac‑k‑extendable)임을 보장하는 충분조건을 제시한다. 기존의 인접 행렬 스펙트럼 대신 거리 행렬의 스펙트럼 반경(µ)과 부라플라스라스 행렬의 스펙트럼 반경(q)을 이용한다. 주요 결과는 (1) 그래프의 간선 수가 특정 조인 그래프 K₂k ∨ (K_{n‑2k‑1}∪K₁)보다 크면 분수 k‑연장 가능, (2) q(G)가 동일 조인 그래프의 q값 이상이면 분수 k‑연장 가능, (3) µ(G)가 조인 그래프 K_δ ∨ (K_{n‑2δ+2k‑1}∪(δ‑2k+1)K₁)의 µ값 이하이면 분수 k‑연장 가능이다. 증명은 균등 분할을 통한 공정 행렬(quotient matrix) 분석과 기존의 i(G‑S) ≤ |S|‑2k 조건을 결합한다.

**

상세 분석

**
본 연구는 그래프 이론에서 ‘연장 가능성(extendability)’이라는 고전적인 개념을 ‘분수 매칭(fractional matching)’이라는 현대적인 프레임워크와 결합한다. 기존 문헌에서는 주로 인접 행렬의 스펙트럼 반경(ρ)이나 최소 차수 조건을 이용해 k‑연장 가능성을 다루었으며, 특히 Zhou(2022)의 결과가 대표적이다. 그러나 ρ는 그래프의 전역적인 연결성을 반영하지만, 거리 행렬(D)이나 부라플라스라스 행렬(Q)의 스펙트럼은 정점 간 거리 구조와 차수 분포를 동시에 포착한다는 점에서 차별화된다.

논문은 먼저 Lemma 2.1을 통해 “G가 분수 k‑연장 가능 ⇔ 모든 S⊆V(G) (S에 k‑매칭 포함) 에 대해 i(G‑S) ≤ |S|‑2k”이라는 구조적 등가성을 제시한다. 이는 기존의 매칭 확장 조건을 ‘정점 제거 후 독립 성분 수’와 연결시켜, 스펙트럼 불평등을 적용할 수 있는 기반을 만든다.

다음으로, Lemma 2.2·2.3·2.4를 활용해 Q와 D 행렬의 스펙트럼이 부분 그래프 혹은 간선 추가에 대해 단조적으로 변한다는 사실을 정리한다. 특히, 균등 분할(equitable partition)을 이용해 Q(G)와 D(G)의 공정 행렬을 구성하고, 이들의 특성 다항식이 원 행렬의 고유값을 포함한다는 점을 이용한다. 이를 통해 복잡한 원 그래프 대신 작은 차원(3×3)의 공정 행렬을 분석함으로써 스펙트럼 상한·하한을 정확히 계산한다.

주요 정리인 Theorem 1.5, 1.6, 1.7은 각각 (i) 간선 수, (ii) 부라플라스라스 스펙트럼 반경 q, (iii) 거리 스펙트럼 반경 µ에 대한 충분조건을 제시한다. 증명 흐름은 다음과 같다.

1. 가정: G가 분수 k‑연장 가능하지 않다고 가정하고 Lemma 2.1에 의해 존재하는 최소 집합 S를 선택한다.
2. S의 크기 s≥2k를 이용해 G를 조인 형태 K_s ∨ (K_{n‑2s+2k‑1}∪(s‑2k+1)K₁)의 스패닝 서브그래프 G₁으로 포함시킨다.
3. G₁과 목표 조인 그래프 G₂=K_{2k} ∨ (K_{n‑2k‑1}∪K₁) 사이의 간선 수, q값, µ값을 비교한다. 여기서 공정 행렬을 통해 각각의 스펙트럼을 명시적으로 구하고, 차이 함수를 정의해 양의 부호를 보인다.
4. 차이가 양이면 e(G)≤e(G₁)<e(G₂) 혹은 q(G)≤q(G₁)<q(G₂) 등 모순이 발생, 따라서 초기 가정이 틀렸음이 증명된다.

특히, Theorem 1.6의 증명에서는 q(G)와 q(G₂) 사이의 차이를 다항식 f₁(x)−f₂(x) 형태로 전개하고, 그 계수들의 부호와 대칭축 위치를 정밀히 분석해 모든 가능한 n, s에 대해 양성을 확보한다. 이는 기존 연구에서 간과되던 “부라플라스라스 스펙트럼이 조인 그래프에서 최대”라는 사실을 정량적으로 입증한 것이다.

Theorem 1.7은 거리 스펙트럼을 다루면서, Lemma 2.5의 Rayleigh 비율을 이용해 µ(G)≥2W(G)/n(여기서 W는 Wiener 지수)라는 하한을 활용한다. 이후 G₁의 Wiener 지수를 계산해 목표 그래프와 비교함으로써 µ(G)≤µ(G_target) 조건이 충분함을 보인다.

전체적으로 논문은 “특정 조인 그래프가 extremal”이라는 아이디어를 세 가지 스펙트럼 관점에서 일관되게 전개한다. 이는 기존의 인접 행렬 기반 결과와는 다른, 거리·차수 구조를 직접 반영하는 새로운 방법론을 제공한다. 또한, 증명에 사용된 공정 행렬 기법은 다른 그래프 파라미터(예: 라플라스 스펙트럼, 코시 스펙트럼)에도 확장 가능성을 시사한다.

**