거리 스펙트럼 반경으로 보는 완전 k 매칭 및 일반화된 인수 임계 그래프 조건

초록

본 논문은 거리 행렬의 최대 고유값(거리 스펙트럼 반경)을 이용해 그래프가 완전 k‑매칭을 갖는 충분조건과, k‑d‑임계, 일반화된 인수‑임계(GFCₖ), 일반화된 양임계(GBCₖ) 그래프가 되는 조건을 제시한다. 주요 결과는 특정 극값 그래프(예: (S_{n,\frac{n}{2}-1}), (K_{1}\vee(K_{n-3}\cup2K_{1})), (K_{1}\vee(K_{n-2}\cup K_{1})))와의 거리 스펙트럼 반경 비교를 통해 얻어진다.

상세 분석

논문은 먼저 거리 행렬 (D(G))의 첫 번째 고유값 (\lambda_{1}(D(G)))가 그래프 구조와 어떻게 연관되는지를 살펴본다. 비음수·비가역 행렬에 대한 Perron‑Frobenius 정리를 이용해 (\lambda_{1})가 그래프의 Wiener 지수와 직접적인 하한 관계((\lambda_{1}\ge 2W(G)/n))를 가짐을 언급한다. 핵심 도구는 균등 분할(equitable partition)과 그에 대응하는 quotient 행렬이다. Lemma 2.1에 따라 quotient 행렬의 고유값은 원 행렬의 고유값이므로, 복잡한 거리 행렬을 작은 차원의 행렬로 축소해 (\lambda_{1})를 정확히 계산하거나 비교할 수 있다.

완전 k‑매칭 존재 조건은 k‑Berge‑Tutte 공식(Lemma 2.3)으로 표현된다. k가 홀수일 때는 (\operatorname{odd}(G-S)+k\cdot i(G-S)\le k|S|)가, 짝수일 때는 (k\cdot i(G-S)\le k|S|)가 필요 충분조건이다. 이를 바탕으로 Lemma 2.4·2.5가 제시하는 일반화된 인수‑임계(GFCₖ, GBCₖ)와 k‑d‑임계 그래프의 구조적 특징을 거리 스펙트럼과 연결한다.

주요 정리 1.1은 (\lambda_{1}(D(G))\le\lambda_{1}(D(S_{n,\frac{n}{2}-1})))이면 (G)가 완전 k‑매칭을 갖는다고 주장한다(단, 동형인 경우 제외). 여기서 (S_{n,\frac{n}{2}-1}=K_{\frac{n}{2}-1}\vee (n-\frac{n}{2}+1)K_{1})은 거리 스펙트럼이 최소인 그래프 중 하나이며, Lemma 2.2를 이용해 간선 삭제가 (\lambda_{1})를 증가시킨다는 사실을 활용한다.

정리 1.2·1.3·1.4는 k가 홀수일 때 k‑d‑임계, GFCₖ, GBCₖ 그래프에 대한 충분조건을 제시한다. 핵심은 (\lambda_{1}(D(G))\le\lambda_{1}(D(K_{1}\vee(K_{n-2}\cup K_{1}))))이면 해당 성질을 만족한다는 점이다. 이때 (K_{1}\vee(K_{n-2}\cup K_{1}))는 두 개의 단일 정점이 완전 그래프와 조인된 형태로, 거리 행렬이 비교적 단순해 정확한 고유값을 구할 수 있다.

k가 짝수인 경우 정리 1.5는 동일한 거리 스펙트럼 상한이 GFCₖ와 GBCₖ를 동시에 보장함을 보여준다. 짝수 k에서는 완전 k‑매칭과 분수 완전 매칭이 동치이므로, 기존의 분수 매칭 결과와도 일관된다.

증명 과정에서 저자는 주로 두 단계로 진행한다. 첫째, 균등 분할을 통해 목표 그래프와 비교 대상 그래프의 quotient 행렬을 구성하고, 고유다항식의 근을 비교해 (\lambda_{1})의 크기 관계를 확립한다. 둘째, 위에서 얻은 스펙트럼 부등식을 k‑Berge‑Tutte 조건에 대입해 구조적 결론을 도출한다. 특히 Lemma 2.8은 (K_{1}\vee(K_{n-2}\cup K_{1}))와 일반적인 (K_{s}\vee(K_{n-2s}\cup sK_{1})) 사이의 스펙트럼 순서를 명시함으로써, s=1이 최적임을 보인다.

이 논문의 강점은 거리 스펙트럼이라는 비교적 새로운 매개변수를 이용해 전통적인 매칭 이론을 확장한 점이다. 그러나 충분조건만을 제공하고 필요조건은 제시하지 않아, 실제 그래프가 경계에 있을 때의 정확한 판정은 남아 있다. 또한 극값 그래프가 제한적이므로, 다른 그래프 클래스(예: 트리, 플랜러 그래프)에서의 일반화 가능성은 추후 연구 과제로 남는다.