[논문 리뷰] On spectral radius of strongly connected digraphs

J. Li, Bo Zhou|arXiv (Cornell University)|2013. 05. 01.

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

한 줄 요약

이 논문은 $ n \geq 4 $ 인 경우, 강하게 연결된 방향그래프 중에서 두 번째, 세 번째, 네 번째로 작은 스펙트럴 반경을 갖는 그래프를 규명하며, $ \theta(0,1,n-3) $가 강하게 연결된 이중순환 방향그래프 중에서 최소 스펙트럴 반경을 갖는 것으로 알려진 것과 함께, 모든 강하게 연결된 방향그래프 중에서도 두 번째로 작은 스펙트럴 반경을 달성한다는 추측을 긍정적으로 해결한다. 결과는 인접행렬의 스펙트럴 분석과 부분방향그래프에 대한 구조적 제약 조건을 통해 도출되며, 특성다항식과 단조성 증명을 통한 최적해 방향그래프의 정확한 특성화를 제공한다.

ABSTRACT

We determine the digraphs which achieve the second, the third and the fourth minimum spectral radii respectively among strongly connected digraphs of order $n\ge 4$, and thus we answer affirmatively the problem whether the unique digraph which achieves the minimum spectral radius among all strongly connected bicyclic digraphs of order $n$ achieves the second minimum spectral radius among all strongly connected digraphs of order $n$ for $n\ge 4$ proposed in [H. Lin, J. Shu, A note on the spectral characterization of strongly connected bicyclic digraphs, Linear Algebra Appl. 436 (2012) 2524--2530]. We also discuss the strongly connected bicyclic digraphs with small and large spectral radii respectively.

연구 동기 및 목표

• 문제 1.1를 해결하기 위해, $ n \geq 4 $ 인 경우 $ \theta(0,1,n-3) $가 모든 $ n $-정점 강하게 연결된 방향그래프 중에서 두 번째로 작은 스펙트럴 반경을 갖는지 여쭙는다.
• 강하게 연결된 방향그래프 중에서 두 번째, 세 번째, 네 번째로 작은 스펙트럴 반경을 갖는 유일한 방향그래프를 특성화한다.
• $ n \geq 4 $ 인 경우 강하게 연결된 이중순환 방향그래프 중에서 두 번째, 세 번째로 작은 스펙트럴 반경을 갖는 그래프를 규명한다.
• $ n \geq 4 $ 인 경우 $ \mathbb{B}_n $ 내에서 두 번째로 큰 스펙트럴 반경을 갖는 유일한 방향그래프를 특정한다.

제안 방법

• 방향그래프 $ D $의 스펙트럴 반경 $ \rho(D) $ 는 인접행렬 $ A(D) $ 를 사용하여 특성다항식 $ P(D,x) = \det(xI - A(D)) $ 를 통해 분석된다.
• $ \theta(a,b,c) $ 와 $ \infty(k,l) $ 구성요소를 기반으로 한 금지된 부분방향그래프 접근법을 사용하여, 스펙트럴 반경을 증가시킬 수 있는 부분방향그래프를 배제하기 위한 구조적 제약 조건을 유도한다.
• 레마 2.5와 레마 2.7를 활용하여 스펙트럴 반경의 단조성을 확립하며, $ \rho(\theta(0,2,n-4)) $ 와 $ \rho(\theta(0,n-2,0)) $ 가 $ n $ 에 대해 엄격히 감소함을 보인다.
• 특성다항식의 비교를 통해 증명이 이루어지며, $ x > 1 $ 인 경우 $ P(D_1,x) - P(D_2,x) $ 의 부호 분석을 통해 스펙트럴 반경의 순서를 결정한다.
• 이론적 경계와 Maple 을 이용한 직접 계산을 결합하여 $ n = 5,6,7 $ 인 두 번째로 큰 스펙트럴 반경의 경우를 해결한다.
• Perron-Frobenius 정리에 의해 $ \rho(D) $ 는 단순 고유값이며 양의 고유벡터를 갖는다. 이는 스펙트럴 지배성 논증을 가능하게 한다.

실험 결과

연구 질문

• RQ1 $ n \geq 4 $ 인 경우 $ \theta(0,1,n-3) $ 가 모든 강하게 연결된 방향그래프 중에서 두 번째로 작은 스펙트럴 반경을 갖는가?
• RQ2 $ n \geq 4 $ 인 경우 강하게 연결된 방향그래프의 클래스에서 두 번째, 세 번째, 네 번째로 작은 스펙트럴 반경을 갖는 유일한 방향그래프는 무엇인가?
• RQ3 $ n \geq 4 $ 인 경우 강하게 연결된 이중순환 방향그래프 중에서 두 번째, 세 번째로 작은 스펙트럴 반경을 갖는 그래프는 무엇인가?
• RQ4 $ n \geq 4 $ 인 경우 $ \mathbb{B}_n $ 내에서 두 번째로 큰 스펙트럴 반경을 갖는 유일한 방향그래프는 무엇인가?

주요 결과

• $ n \geq 4 $ 인 경우 $ \theta(0,1,n-3) $ 는 모든 강하게 연결된 방향그래프 중에서 최소 스펙트럴 반경을 갖는 것으로 확인되며, 이는 이전 결과를 확인한다.
• $ n \geq 4 $ 인 경우 $ \theta(1,1,n-4) $ 는 모든 강하게 연결된 방향그래프 중에서 세 번째로 작은 스펙트럴 반경을 갖는 유일한 방향그래프이다.
• $ n \geq 4 $ 인 경우 $ \theta(0,2,n-4) $ 는 모든 강하게 연결된 방향그래프 중에서 네 번째로 작은 스펙트럴 반경을 갖는 유일한 방향그래프이다.
• $ n \geq 4 $ 인 경우 $ \theta(0,1,n-3) $ 는 두 번째로 작은 스펙트럴 반경을 갖는 것으로 확인되며, 문제 1.1를 긍정적으로 해결한다.
• $ 5 \leq n \leq 7 $ 인 경우 $ \infty(3,n-2) $ 는 $ \mathbb{B}_n $ 내에서 두 번째로 큰 스펙트럴 반경을 갖는다. 반면 $ n = 4 $ 와 $ n \geq 8 $ 인 경우 $ \theta(0,n-2,0) $ 가 이 역할을 한다.
• $ \theta(0,n-2,0) $ 의 스펙트럴 반경은 $ n $ 에 대해 엄격히 감소하며, $ n \geq 8 $ 인 경우 $ \infty(3,n-2) $ 의 스펙트럴 반경보다 엄격히 작다. 이는 극값의 순서가 올바르게 확인됨을 의미한다.