[논문 리뷰] Spectral radius minus average degree: a better bound

Felix Goldberg|arXiv (Cornell University)|2014. 07. 16.

Graph theory and applications참고 문헌 16인용 수 5

한 줄 요약

이 논문은 그래프의 비정규성 척도인 스펙트럴 반지름에서 평균 차수를 뺀 값($ε(G) = \rho(G) - \overline{d}$)에 대한 하한을 향상시킨다. 기본적인 행렬 및 분산 부등식을 사용하여, Nikiforov의 이전 최고의 하한을 엄격히 초월하는 새로운 하한을 도출한다. 특히 $\Delta - \delta = 1$인 부분정규 그래프에서 성능이 더욱 향상된다. 핵심 결과는 차수 분산과 최대 차수를 포함한 분석적으로 유도된 더 날카운 하한이다.

ABSTRACT

Collatz and Sinogowitz had proposed to measure the departure of a graph $G$ from regularity by the difference of the (adjacency) spectral radius and the average degree: $ε(G)=ρ(G)-\frac{2m}{n}$. We give here new lower bounds on this quantity, which improve upon the currently known ones.

연구 동기 및 목표

• 스펙트럴 반지름에서 평균 차수를 뺀 값인 $\epsilon(G) = \rho(G) - \overline{d}$에 대한 기존 하한을 향상시키는 것.
• 기본적인 방법을 사용하여 Nikiforov의 $\epsilon(G) \geq \frac{\operatorname{var}(G)}{\sqrt{8m}}$보다 더 날카운 하한을 제공하는 것.
• 이전 하한이 너무 약한 부분정규 그래프($\Delta - \delta = 1$)의 경우를 다루는 것.
• n과 $\Delta$에 기반한 고·저부분정규 그래프에 대해 명시적이고 개선된 하한을 도출하는 것.

제안 방법

• 부등식 Cauchy-Schwarz와 부호 없는 라플라스 행렬의 스펙트럴 반지름 성질을 사용하여 새로운 하한을 유도한다.
• Lemma 1(Hofmeister)과 Lemma 2(Cauchy-Schwarz)를 적용하여 $\rho(G)$를 제곱 차수의 합과 연결한다.
• Lemma 3을 사용하여 차수 분산 $\operatorname{var}(G)$를 $\frac{1}{n}\sum d_i^2 - \left(\frac{2m}{n}\right)^2$로 표현한다.
• Lemma 4와 Lemma 5를 활용하여 $\sum d_i^2 \leq 2m\Delta$ 및 $\rho(Q) \leq 2\Delta$를 통해 부호 없는 라플라스 행렬 $Q(G)$의 스펙트럴 반지름을 한정한다.
• 부분정규 그래프의 경우, Lemma 7(보행 수를 통한 스펙트럴 반지름 하한)을 적용하고 $t_i = \sum_{j \sim i} d_j$의 구조를 분석한다.
• 대수적 간소화와 $L(n,\Delta)$의 단조성 분석을 통해 고·저부분정규 케이스에 대한 날카운 하한을 유도한다.

실험 결과

연구 질문

• RQ1 Nikiforov의 $\frac{\operatorname{var}(G)}{\sqrt{8m}}$를 초월하여 $\epsilon(G) = \rho(G) - \overline{d}$에 대한 하한을 향상시킬 수 있는가?
• RQ2 새로운 하한은 $\Delta - \delta = 1$인 부분정규 그래프에서 어떻게 성능을 발휘하는가?
• RQ3 $n$, $m$, $\Delta$에 의존하는 더 날카운 분석적 하한이 $\epsilon(G)$에 존재하는가?
• RQ4 보행 기반의 차수 합을 사용하여 부분정규 그래프의 스펙트럴 반지름을 더 정밀하게 한정할 수 있는가?

주요 결과

• 새로운 하한 $\epsilon(G) \geq \frac{\operatorname{var}(G)\sqrt{n}}{\sqrt{8m\Delta}}$는 $\sqrt{n} > \sqrt{8m\Delta}/\sqrt{8m} = \sqrt{\Delta}$ 이며 $n > \Delta$ 이므로 Nikiforov의 $\frac{\operatorname{var}(G)}{\sqrt{8m}}$를 엄격히 초월한다.
• 고부분정규 그래프($\Delta - \delta = 1$, 한 정점의 차수 $\Delta$)의 경우, $\epsilon(G) \geq \frac{n^2 - 2n + 3}{n^3 \Delta}$이라는 하한을 도출하였고, 이는 이전 결과보다 더 날카롭게 나타난다.
• 저부분정규 그래프($\Delta - \delta = 1$, 한 정점의 차수 $\Delta - 1$)의 경우, $\epsilon(G) \geq \frac{2n^2 - 4n - 3}{2n^3(\Delta - 1 + \frac{1}{\Delta})}$라는 하한이 확립된다.
• 스펙트럴 반지름의 제곱과 평균 차수의 제곱 차인 $L(n,\Delta)$는 $\Delta$에 대해 비증가함을 보여, 악조건 하한으로 $\Delta = n-2$ 또는 $\Delta = n-1$을 사용할 수 있다.
• 고부분정규 그래프의 하한은 $\epsilon(G) \geq \frac{1}{n^2}(2n - 4 + \frac{6}{n}) / (2\Delta)$로 유도되며, 이는 기재된 식으로 단순화된다.
• 증명 과정에서 Lemma 7을 통해 $\rho \geq \sqrt{\frac{\sum t_i^2}{\sum d_i^2}}$임을 보이고, 이를 보행 수를 통한 스펙트럴 반지름 하한 유도에 활용한다.