[논문 리뷰] Signless Laplacian spectral radius and matching in graphs

Chang Liu, Yingui Pan외 1명|arXiv (Cornell University)|2020. 07. 08.

Graph theory and applications참고 문헌 20인용 수 4

한 줄 요약

이 논문은 짝수 차수의 연결 그래프에서 완전 매칭의 존재를 보장하는 날카운 스펙트럼 조건을 서명 없는 라플라시안 스펙트럼 반경을 통해 수립한다. 만약 서명 없는 라플라시안 행렬의 최대 고유값이 특정 임계값을 초과하면, 이는 n ≥ 10 또는 n = 4인 경우 삼차방정식의 최대 근으로 정의되며, n = 6 및 n = 8인 경우 명시적인 값으로 주어진다. 이 조건을 만족할 경우 그래프는 반드시 완전 매칭을 가져야 하며, 이 임계값은 $K_{n-3}\vee K_1\vee \overline{K_2}$와 같은 극한 그래프를 통해 날카로움이 입증된다.

ABSTRACT

The signless Laplacian matrix of a graph $G$ is given by $Q(G)=D(G)+A(G)$, where $D(G)$ is a diagonal matrix of vertex degrees and $A(G)$ is the adjacency matrix. The largest eigenvalue of $Q(G)$ is called the signless Laplacian spectral radius, denoted by $q_1=q_1(G)$. In this paper, some properties between the signless Laplacian spectral radius and perfect matching in graphs are establish. Let $r(n)$ be the largest root of equation $x^3-(3n-7)x^2+n(2n-7)x-2(n^2-7n+12)=0$. We show that $G$ has a perfect matching for $n=4$ or $n\geq10$, if $q_1(G)>r(n)$, and for $n=6$ or $n=8$, if $q_1(G)>4+2\sqrt{3}$ or $q_1(G)>6+2\sqrt{6}$ respectively, where $n$ is a positive even integer number. Moreover, there exists graphs $K_{n-3}\vee K_1 \vee \overline{K_2}$ such that $q_1(K_{n-3}\vee K_1 \vee \overline{K_2})=r(n)$ if $n\geq4$, a graph $K_2\vee\overline{K_4}$ such that $q_1(K_2\vee\overline{K_4})=4+2\sqrt{3}$ and a graph $K_3\vee\overline{K_5}$ such that $q_1(K_3\vee\overline{K_5})=6+2\sqrt{6}$. These graphs all have no prefect matching.

연구 동기 및 목표

• 짝수 차수의 연결 그래프에서 완전 매칭의 존재를 보장하는 서명 없는 라플라시안 스펙트럼 반경 기반 충분 조건을 도출하는 것.
• 이전의 매칭에 대한 스펙트럼 조건 연구를 확장하여, 인접행렬이나 라플라시안 행렬이 아닌 서명 없는 라플라시안 행렬을 중심으로 하는 것.
• 완전 매칭이 없는 극한 그래프를 식별하여, 상한이 날카로움을 입증하는 것.
• 이전 연구에서의 간선 수와 스펙트럼 반경 결과를 통합하여 통일된 스펙트럼 임계값을 도입하는 것.

제안 방법

• 서명 없는 라플라시안 행렬 $ Q(G) = D(G) + A(G) $를 정의하며, 여기서 $ D(G) $는 차수 행렬이고 $ A(G) $는 인접행렬이다.
• n ≥ 10 또는 n = 4인 경우, 삼차방정식 $ x^3 - (3n-7)x^2 + n(2n-7)x - 2(n^2 - 7n + 12) = 0 $의 최대 근인 $ r(n) $을 스펙트럼 임계값으로 도입한다.
• n = 6 및 n = 8인 경우, 각각 명시적인 값인 $ 4 + 2\sqrt{3} $ 및 $ 6 + 2\sqrt{6} $를 임계값으로 사용한다.
• 극한 그래프인 $ K_{n-3} \vee K_1 \vee \overline{K_2} $, $ K_2 \vee \overline{K_4} $, $ K_3 \vee \overline{K_5} $의 서명 없는 라플라시안 행렬에 등차분할 기법을 적용하여 스펙트럼 반경을 계산한다.
• 스펙트럼 반경 비교를 위해 상호작용 성질과 비음수 행렬 이론을 활용하여 상한의 날카로움을 입증한다.
• 극한 그래프의 스펙트럼 반경이 임계값과 정확히 일치함을 확인하여, 상한 조건을 만족하는 그래프라도 완전 매칭이 없을 수 있음을 검증한다.

실험 결과

연구 질문

• RQ1 짝수 차수의 연결 그래프에서 서명 없는 라플라시안 스펙트럼 반경에 어떤 스펙트럼 조건이 존재하면 완전 매칭이 보장되는가?
• RQ2 특히 작은 짝수 $ n $에 대해, 임계 스펙트럼 반경은 정점 수에 어떻게 의존하는가?
• RQ3 완전 매칭이 없는 극한 그래프가 존재하여 상한의 날카로움을 입증하는가?
• RQ4 n ≥ 4인 경우, $ K_{n-3} \vee K_1 \vee \overline{K_2} $의 스펙트럼 반경은 $ r(n) $과 어떻게 관련이 있는가?
• RQ5 왜 $ n = 6 $ 및 $ n = 8 $의 임계값이 일반 공식 $ r(n) $과 다를까? 그리고 이들은 어떻게 유도되는가?

주요 결과

• 짝수 $ n \geq 4 $에 대해, 만약 $ q_1(G) > r(n) $이며 $ r(n) $이 삼차방정식 $ x^3 - (3n-7)x^2 + n(2n-7)x - 2(n^2 - 7n + 12) = 0 $의 최대 근이라면, $ n \geq 10 $ 또는 $ n = 4 $일 경우 $ G $는 완전 매칭을 가진다.
• n = 6일 경우, 임계값은 $ 4 + 2\sqrt{3} \approx 7.464 $이며, $ q_1(G) $가 이를 초과하면 $ G $는 완전 매칭을 가진다.
• n = 8일 경우, 임계값은 $ 6 + 2\sqrt{6} \approx 10.899 $이며, 이를 초과하면 완전 매칭이 보장된다.
• 상한은 날카롭다: $ q_1(G) = r(n) $이지만 완전 매칭이 없는 그래프 $ K_{n-3} \vee K_1 \vee \overline{K_2} $가 존재한다.
• $ K_2 \vee \overline{K_4} $의 스펙트럼 반경은 정확히 $ 4 + 2\sqrt{3} $이며, $ K_3 \vee \overline{K_5} $의 스펙트럼 반경은 정확히 $ 6 + 2\sqrt{6} $이다. 이는 특수 케이스의 임계값이 날카로움을 확인한다.
• 극한 그래프인 $ K_{n-3} \vee K_1 \vee \overline{K_2} $, $ K_2 \vee \overline{K_4} $, $ K_3 \vee \overline{K_5} $는 스펙트럼 임계값에 도달하지만 완전 매칭이 없으며, 이는 상한이 향상될 수 없음을 입증한다.