[논문 리뷰] The spectral radius of graphs with no intersecting triangles

Sebastian M. Cioabă, Lihua Feng외 2명|arXiv (Cornell University)|2019. 11. 29.

Graph theory and applications참고 문헌 25인용 수 9

한 줄 요약

이 논문은 $ k $-팬(F_k)을 포함하지 않는 모든 $ n $-정점 그래프 중에서 스펙트럴 반경이 최대인 그래프를 규명하며, 충분히 큰 $ n $에 대해 이러한 극값 그래프는 $ F_k $-free 조건 하에서 간선 수가 최대가 되는 그래프들인 $ \mathrm{ex}(n, F_k) $와 정확히 일치함을 증명한다. 이 결과는 고전적 극값 그래프 이론에 스펙트럴 대응을 제공하며, $ F_k $-free 조건 하에서 간선 수가 최대가 되는 것으로 알려진 그래프가 정확히 스펙트럴 반경도 최대화함을 보여준다.

ABSTRACT

A graph on $2k+1$ vertices consisting of $k$ triangles which intersect in exactly one common vertex is called a $k$-fan and denoted by $F_k$. This paper aims to determine the graphs of order $n$ that have the maximum (adjacency) spectral radius among all graphs containing no $F_k$, for $n$ sufficiently large.

연구 동기 및 목표

• 주어진 $ F_k $-free 그래프 중에서 순서 $ n $인 그래프 중에서 인접행렬 스펙트럴 반경이 최대가 되는 그래프를 규명하는 것. 여기서 $ F_k $는 한 정점을 공유하는 $ k $개의 삼각형으로 이루어진 $ k $-팬이다.
• $ F_k $-free 그래프에 대한 고전적 터런 유형 극값 문제에 대한 스펙트럴 대응을 수립하는 것.
• 충분히 큰 $ n $에 대해 스펙트럴 반경을 최대화하는 그래프는 $ F_k $-free 조건 하에서 간선 수를 최대화하는 것으로 알려진 극값 그래프 $ G_n^i $와 정확히 일치함을 증명하는 것.
• 스펙트럴 그래프 이론과 극값 그래프 이론을 연결하여, 스펙트럴 반경 최대화가 터런 유형 간선 수 극대화와 관련됨을 보여주는 것.
• 고유값의 통합과 삼각형 제거 보조정리를 사용하여 $ F_k $-free 조건 하에서 스펙트럴 반경이 최대가 되는 그래프의 구조를 분석하는 것.

제안 방법

• 후보 그래프 $ G $와 $ \mathrm{ex}(n, F_k) $개의 간선을 가진 극값 $ F_k $-free 그래프 $ H $의 스펙트럴 반경을 비교하기 위해 레일리 몫을 사용한다.
• $ H $의 최대 컷에 지지되는 벡터 $ \mathbf{x} $를 구성하고, 고유값 통합을 적용하여 스펙트럴 반경의 차이를 유계로 제한한다.
• 간선 집합 $ E_+ = E(H) \setminus E(G) $와 $ E_- = E(G) \setminus E(H) $를 정의하고, $ e(G) < \mathrm{ex}(n, F_k) $라는 가정 하에 $ |E_+| \geq |E_-| + 1 $이라는 부등식을 사용한다.
• $ |E_-| < 2k^2 $라는 bound를 적용하고, 레일리 몫에서의 교차항 기여의 감쇠를 이용하여 충분히 큰 $ n $에 대해 $ \lambda_1(H) > \lambda_1(G) $임을 보인다.
• 삼각형 제거 보조정리를 적용하여 $ G $에 대한 구조적 가정을 정당화하고, 균형 잡힌 분할과 다항식 고유값 유계를 사용할 수 있도록 한다.
• $ \lambda_1(H) > \lambda_1(G) $임을 보여 이를 모순으로 이끌어내어 $ e(G) = \mathrm{ex}(n, F_k) $임을 유도하고, 따라서 $ G \in \mathrm{Ex}(n, F_k) $임을 증명한다.

실험 결과

연구 질문

• RQ1 충분히 큰 $ n $에 대해, 순서 $ n $인 $ F_k $-free 그래프 중에서 스펙트럴 반경이 최대가 되는 그래프는 무엇인가?
• RQ2 터런 유형 간선 극값 문제 $ \mathrm{ex}(n, F_k) $의 극값 그래프는 $ F_k $-free 그래프 중에서 스펙트럴 반경을 최대화하는가?
• RQ3 $ F_k $-free 그래프의 스펙트럴 반경은 오직 간선 수가 최대가 되는 그래프에서만 최대화되는가?
• RQ4 $ e(G) < \mathrm{ex}(n, F_k) $일 때 스펙트럴 반경은 소규모 간선 변화에 어떻게 반응하며, 이를 통해 모순을 이끌어낼 수 있는가?
• RQ5 삼각형 제거 보조정리는 $ F_k $-free 그래프의 스펙트럴 극값 구조 분석에서 어떤 역할을 하는가?

주요 결과

• 충분히 큰 $ n $에 대해, 스펙트럴 반경이 최대가 되는 모든 $ F_k $-free 그래프 $ G $는 정확히 $ \mathrm{ex}(n, F_k) $개의 간선을 가져야 한다.
• $ F_k $-free 조건 하에서 간선 수를 최대화하는 극값 그래프 $ G_n^i $ ( $ i=1,2 $)는 스펙트럴 반경을 최대화하는 그래프와 정확히 일치한다.
• $ e(G) < \mathrm{ex}(n, F_k) $일 경우, $ G $의 스펙트럴 반경은 $ \mathrm{ex}(n, F_k) $개의 간선을 가진 모든 $ F_k $-free 그래프 $ H $의 스펙트럴 반경보다 엄밀히 작으며, 이는 큰 $ n $에 대해 모순을 유도한다.
• 증명은 간선 집합의 차이 $ E_+ $와 $ E_- $를 이용한 레일리 몫 차이의 유계를 통해 이루어지며, $ e(G) < \mathrm{ex}(n, F_k) $일 경우 $ \lambda_1(H) > \lambda_1(G) $임을 보여준다.
• 분석은 삼각형 제거 보조정리를 사용하여 구조적 이탈을 통제하여, 오직 극값 그래프만이 최대 스펙트럴 반경을 달성할 수 있음을 보장한다.
• 이 결과는 $ n > 232k^2 $인 경우에 성립하며, 삼각형 제거 보조정리의 사용으로 인해 정확한 임계값은 특정화되지 않았다.