[논문 리뷰] Sharp Bounds for the Signless Laplacian Spectral Radius in Terms of Clique Number

Bian He, Ya-Lei Jin외 1명|arXiv (Cornell University)|2012. 09. 14.

Graph theory and applications참고 문헌 11인용 수 7

한 줄 요약

이 논문은 클리크 수 ω에 따라 연결 그래프의 부호 없는 라플라스 스펙트럼 반경에 대한 날카운 상한과 하한을 확립한다. 극값으로 투란 그래프와 킷티 그래프를 사용하여, ω ≥ 3일 때 최대 스펙트럼 반경은 투란 그래프 $T_{n, ho}$에서, ω = 2일 때는 완전 이분 그래프에서 달성되며, 최소는 킷티 그래프 $Ki_{n, ho}$에서 달성됨을 증명한다. 이러한 결과는 한센과 루카스(2010)의 두 추측을 반증한다.

ABSTRACT

In this paper, we present a sharp upper and lower bounds for the signless Laplacian spectral radius of graphs in terms of clique number. Moreover, the extremal graphs which attain the upper and lower bounds are characterized. In addition, these results disprove the two conjectures on the signless Laplacian spectral radius in [P. Hansen and C. Lucas, Bounds and conjectures for the signless Laplacian index of graphs, Linear Algebra Appl., 432(2010) 3319-3336].

연구 동기 및 목표

• 연결 그래프의 부호 없는 라플라스 스펙트럼 반경 $q_1(G)$에 대한 날카운 상한과 하한을 클리크 수 $\omega$에 따라 유도하는 것.
• 특히 투란 그래프와 킷티 그래프에 초점을 맞춰 이러한 경계를 달성하는 극값 그래프를 특성화하는 것.
• 한센과 루카스(2010)가 제기한 $q_1 - \omega$와 $q_1 / \omega$에 대한 상한에 관한 두 추측을 극값 그래프 구성으로 반증하는 것.
• 클리크 수를 스펙트럼 반경 경계와 연결함으로써 스펙트럼 극값 그래프 이론에 기여하며, 투란 유형의 극값 문제를 부호 없는 라플라스 행렬로 확장하는 것.

제안 방법

• 투란 그래프 $T_{n,\omega}$의 구조를 이용하여 $q_1(G)$에 대한 상한을 유도하며, $n = k\omega + r$, $0 \leq r < \omega$일 때, $k$, $r$, $\omega$를 포함한 닫힌 형태의 표현식을 통해 경계를 기술한다.
• 연결 그래프에서 간선 추가에 따라 $q_1(G)$가 엄격히 증가함을 보이기 위해 정점 복제와 간선 추가 방법을 적용함으로써 극값 그래프와의 비교를 가능하게 한다.
• 킷티 그래프 $Ki_{n,\omega}$(즉, $K_\omega$가 경로 $P_{n-\omega}$에 다리로 연결된 그래프)의 스펙트럼 반경에 관한 기존 결과를 하한 기준으로 활용한다.
• 행렬 분석과 고유값의 교차 기법을 활용하여 $q_1(G)$를 $q_1(Ki_{n,\omega})$ 및 $q_1(T_{n,\omega})$와 비교한다.
• 상한이 오직 $\omega \geq 3$일 때 $T_{n,\omega}$에서, $\omega = 2$일 때는 완전 이분 그래프에서만 달성됨을 증명함으로써 등호 조건을 확립한다.
• 특정 그래프 $T_{10,3}$과 7개 정점으로 구성된 그래프 $G_2$에 대한 수치적 예시를 통해 경계의 타당성을 검증하며, 기존 경계(11)–(14)와의 비교를 수행한다.

실험 결과

연구 질문

• RQ1 클리크 수 $\omega$에 따라 연결 그래프의 부호 없는 라플라스 스펙트럼 반경 $q_1(G)$에 대한 가장 날카운 상한은 무엇인가?
• RQ2 주어진 $n$과 $\omega$에 대해 $q_1(G)$의 최대 및 최소값을 달성하는 그래프는 무엇인가?
• RQ3 극값 그래프 구성으로 인해 한센과 루카스(2010)의 $q_1 - \omega \leq \frac{3}{2}n - 4$ 및 $\frac{q_1}{\omega} \leq \frac{n}{2}$에 대한 추측을 반증할 수 있는가?
• RQ4 투란 그래프와 킷티 그래프의 스펙트럼 성질은 $q_1(G)$에 대한 다른 알려진 경계와 어떻게 비교되는가?
• RQ5 클리크 수 $\omega$를 갖는 순서 $n$의 연결 그래프에 대해 $q_1(G)$의 최소 가능한 값은 무엇인가?

주요 결과

• 부호 없는 라플라스 스펙트럼 반경 $q_1(G)$에 대한 날카운 상한은 $\frac{(3\omega-4)k + 3r - 2 + \sqrt{k^2\omega^2 + [(2r+4)\omega - 8r]k + (r-2)^2}}{2}$로 주어지며, 여기서 $n = k\omega + r$, $0 \leq r < \omega$이며, 등호는 $\omega \geq 3$일 때 $G$가 투란 그래프 $T_{n,\omega}$이거나 $\omega = 2$일 때 완전 이분 그래프일 때에만 성립한다.
• 부호 없는 라플라스 스펙트럼 반경 $q_1(G)$에 대한 하한은 $q_1(Ki_{n,\omega})$이며, 여기서 $Ki_{n,\omega}$는 $K_\omega$가 경로 $P_{n-\omega}$에 다리로 연결된 킷티 그래프이며, 등호는 $G = Ki_{n,\omega}$일 때에만 성립한다.
• $\omega \geq 3$일 때, 최소 스펙트럼 반경은 $\frac{2\omega - 1 + \sqrt{4\omega^2 - 12\omega + 17}}{2}$로 아래에서 유계이며, 등호는 $\omega = n - 1$이고 $G = Ki_{n,n-1}$일 때에만 성립한다.
• 상한은 $2n(1 - \frac{1}{\omega})$로 단순화되어 $q_1(G) \leq 2n(1 - \frac{1}{\omega})$이며, 등호는 $T_{n,\omega}$에서 성립한다.
• 결과적으로 한센과 루카스(2010)의 추측 1.1이 반증되며, 경계를 달성하는 극값 그래프가 완전 매칭의 여집합이 아님을 보여준다.
• 수치적 비교 결과, 제안된 경계(4)는 $T_{10,3}$과 $G_2$와 같은 특정 그래프에서 기존 경계(11)–(14)보다 더 날카로운 상한 추정을 제공함을 보여준다.