[논문 리뷰] The existence of the graphs that have exactly two main eigenvalues

Lin Chen, Qiongxiang Huang|arXiv (Cornell University)|2016. 09. 17.

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

한 줄 요약

이 논문은 정수 쌍 (a,b)에 대해 정확히 두 개의 주요 고유값을 가진 연결 그래프의 존재 조건을 규명함으로써, 정확히 두 개의 주요 고유값을 가진 연결 그래프가 존재하는 데 필요한 필요충분조건을 설정한다. 이는 (a,b) ∈ ℱ* = {(a,b) ≠ (0,1) | a ≥ 0 및 a² + 4b ≥ 4} 이면 연결 그래프 G ∈ ℒ(a,b)가 존재함을 증명하며, 타당한 (a,b) 쌍에 대해 ℒ(a,b)에 속하는 그래프의 차수 범위와 구조적 특성을 제공한다.

ABSTRACT

An eigenvalue of a graph $G$ is called a main eigenvalue if it has an eigenvector the sum of whose entries is not equal to zero. It is well known that a graph $G$ has exactly two main eigenvalues if and only if there exists a unique pair of integers $a$ and $b$ such that $\sum_{u\in N(v)}d(u)=ad(v)+b$ for every vertex $v\in V(G)$. We collect such connected graph $G$ in the set $\mathscr{G}(a,b)$. In this paper, we mainly focus to the existence of such $a$ and $b$, and give the necessary and sufficient condition for $\mathscr{G}(a,b) eq\emptyset$. In addition, we give the bound for the vertex degrees of $G\in\mathscr{G}(a,b)$ and use the bound to characterize the graphs in $\mathscr{G}(a,b)$ for some feasible pairs $(a,b)$.

연구 동기 및 목표

• 정확히 두 개의 주요 고유값을 가진 연결 그래프의 존재에 대한 필요충분조건을 규명하는 것.
• 이러한 그래프 내의 정점 차수에 대한 범위를 설정하는 것.
• 타당한 정수 쌍 (a,b)에 대해 ℒ(a,b)에 속하는 그래프의 구조를 특성화하는 것.
• 오랫동안 미해결이었던, 어떤 (a,b) 쌍이 이러한 그래프를 지지하는지 규명하는 문제를 해결하는 것.

제안 방법

• 그래프가 정확히 두 개의 주요 고유값을 가진다는 것은 모든 v ∈ V(G)에 대해 ∑_{u∈N(v)} d(u) = a d(v) + b 를 만족함을 의미하며, 여기서 a,b는 정수이다.
• 이 방정식을 만족하는 연결 그래프의 집합을 ℒ(a,b)로 정의한다.
• 균형 잡힌 분할 이론과 몫 그래프를 적용하여 구조적 제약 조건을 분석한다.
• Perron-Frobenius 정리와 고유값의 교차 성질을 사용하여 차수의 범위를 유도한다.
• a² + 4b의 가능한 값에 대한 경우 분석을 통해 불가능한 (a,b) 쌍을 제거한다.
• 정점 분할 및 간선 할당 규칙을 사용하여 특정 (a,b) 쌍에 대해 명시적인 그래프 가족을 구성한다.

실험 결과

연구 질문

• RQ1 모든 정점 v에 대해 ∑_{u∈N(v)} d(u) = a d(v) + b 를 만족하는 정확히 두 개의 주요 고유값을 가진 연결 그래프가 존재하는 정수 쌍 (a,b)는 무엇인가?
• RQ2 ℒ(a,b)에 속하는 그래프 내의 정점 차수에 대한 날것의 상한과 하한은 무엇인가?
• RQ3 차수의 범위가 달성되었을 때 ℒ(a,b)에 속하는 그래프의 구조는 어떻게 특성화할 수 있는가?
• RQ4 균형 잡힌 분할과 몫 그래프를 사용하여 타당한 (a,b) 쌍에 대해 ℒ(a,b)에 속하는 모든 그래프를 완전히 분류할 수 있는가?

주요 결과

• 정확히 두 개의 주요 고유값을 가진 연결 그래프가 존재하는 것은 (a,b) ∈ ℱ* = {(a,b) ≠ (0,1) | a ≥ 0 및 a² + 4b ≥ 4} 인 것과 동치이다.
• 주요 고유값은 λ₁ = (a + √(a² + 4b))/2 와 λ₂ = (a − √(a² + 4b))/2 로, λ₁ > λ₂ 이다.
• 모든 G ∈ ℒ(a,b)에 대해, δ(G) < (a − √(a² + 4b))/2 < λ₂ < δ(G) < d̄(G) < λ₁ < Δ(G) < (a + √(a² + 4b))/2 를 만족한다.
• 정점 차수의 하한은 그래프가 특정 매개변수를 가진 2-균형 분할을 가질 때에만 도달되며, 이에 따라 명시적인 구성이 가능하다.
• (a,b) = (1,4)인 경우, 모든 이러한 그래프는 S₄,₄ 이거나 특정 가족 ℒ₂(1,4)에 속하며, ℒ(1,4) = ℒ₁(1,4) 이다.
• (a,b) = (1,5)인 경우, ℒ(1,5) = ℒ₁(1,5) ∪ ℒ₂(1,5) 이며, ℒ₁(1,5)에는 S₅,₅ 가 포함되고 ℒ₂(1,5)에는 4분할 균형 분할을 통해 구성된 그래프의 가족이 포함된다.