[논문 리뷰] The spectral even cycle problem

Sebastian M. Cioabă, Dheer Noal Desai외 1명|arXiv (Cornell University)|2022. 05. 02.

Graph theory and applications인용 수 5

한 줄 요약

이 논문은 Nikiforov가 2010년에 제기한 짝수 사이클에 대한 스펙트럴 투란 문제에 대한 추측을 해결한다. 충분히 큰 $n$에 대해, $C_{2k+2}$-free 그래프 중에서 스펙트럴 반경이 최대인 그래프는 $S_{n,k}^+$이며, $\{C_{2k+1}, C_{2k+2}\}$-free 그래프 중에서 스펙트럴 반경이 최대인 그래프는 $S_{n,k}$이다. 여기서 $S_{n,k}$는 $k$-클리크와 크기가 $n-k$인 독립집합의 합집합이며, $S_{n,k}^+$는 독립집합에 한 개의 간선을 추가한 것이다. 증명은 스펙트럴 그래프 이론, 페론 벡터 분석 및 극값 그래프의 구조적 분석을 사용하여, 극값 그래프는 반드시 완전이분그래프 $K_{k,n-k}$를 포함해야 하며, 이로 인해 유일한 극값 구조가 도출됨을 보인다.

ABSTRACT

In this paper, we study the maximum adjacency spectral radii of graphs of large order that do not contain an even cycle of given length. For $n>k$, let $S_{n,k}$ be the join of a clique on $k$ vertices with an independent set of $n-k$ vertices and denote by $S_{n,k}^+$ the graph obtained from $S_{n,k}$ by adding one edge. In 2010, Nikiforov conjectured that for $n$ large enough, the $C_{2k+2}$-free graph of maximum spectral radius is $S_{n,k}^+$ and that the $\{C_{2k+1},C_{2k+2}\}$-free graph of maximum spectral radius is $S_{n,k}$. We solve this two-part conjecture.

연구 동기 및 목표

• 짝수 사이클에 대한 스펙트럴 투란 문제에 대한 Nikiforov의 2010년 추측을 해결하기 위해.
• 금지된 짝수 사이클 제약 조건 하에서 인접행렬의 스펙트럴 반경을 최대화하는 유일한 극값 그래프를 규명하기 위해.
• 충분히 큰 $n$에 대해 $S_{n,k}^+$가 $C_{2k+2}$-free 그래프 중에서 스펙트럴 반경이 최대인 유일한 그래프임을 증명하기 위해.
• 충분히 큰 $n$에 대해 $S_{n,k}$가 $\{C_{2k+1}, C_{2k+2}\}$-free 그래프 중에서 스펙트럴 반경이 최대인 유일한 그래프임을 증명하기 위해.
• 스펙트럴 방법과 페론 벡터 분석을 통해 극값 그래프의 구조적 강성( rigidity )을 확립하기 위해.

제안 방법

• 고전적인 투란 문제에서 간선 수를 대체하여, 극값 매개변수로 스펙트럴 반경 $\lambda(G)$를 사용하기 위해.
• $S_{n,k} = K_k \vee \overline{K}_{n-k}$ 및 $S_{n,k}^+ = K_k \vee (\overline{K}_{n-k-2} \cup K_2)$를 후보 극값 그래프로 정의하기 위해.
• 간선 수정 후 스펙트럴 반경을 비교하기 위해 레일리 몫을 적용하여, 그래프가 $S_{n,k}^+$ 또는 $S_{n,k}$가 아닐 경우 스펙트럴 반경이 증가함을 보여주기 위해.
• 페론 벡터를 사용하여 이웃의 무게를 분석하고, 이웃 내의 페론 무게 합에 대한 하한을 유도하기 위해.
• 정점 집합을 $L'$ ( $k$-클리프), $R$ (남은 정점들), $E$ (모든 $L'$의 정점과 인접하지 않은 특수 정점들)로 분할하기 위해.
• 모순을 이용하여 $E = \emptyset$임을 증명하기 위해: 만약 $E \ne \emptyset$이라면, $E$에 의해 유도되는 부분그래프는 큰 스펙트럴 반경을 가짐으로써 $C_{2k+2}$-freeness와 알려진 추정치에 모순된다.

실험 결과

연구 질문

• RQ1 충분히 큰 $n$에 대해, $n$개의 정점과 $C_{2k+2}$-free 조건을 만족하는 그래프 중에서 인접행렬의 스펙트럴 반경이 최대인 그래프는 무엇인가요?
• RQ2 충분히 큰 $n$에 대해, $n$개의 정점과 $\{C_{2k+1}, C_{2k+2}\}$-free 조건을 만족하는 그래프 중에서 인접행렬의 스펙트럴 반경이 최대인 그래프는 무엇인가요?
• RQ3 $S_{n,k}^+$는 $C_{2k+2}$-free 그래프 중에서 스펙트럴 반경을 최대화하는 유일한 극값 그래프인가요?
• RQ4 $S_{n,k}$는 $\{C_{2k+1}, C_{2k+2}\}$-free 그래프 중에서 스펙트럴 반경을 최대화하는 유일한 극값 그래프인가요?
• RQ5 스펙트럴 방법을 사용하여 짝수 사이클에 대한 투란 문제에서 극값 그래프를 완전히 특성화할 수 있는가요?

주요 결과

• 충분히 큰 $n$에 대해, $C_{2k+2}$-free 그래프 중에서 스펙트럴 반경이 최대인 그래프는 $S_{n,k}^+$이며, $\mathrm{SPEX}(n, C_{2k+2}) = \{S_{n,k}^+\}$이다.
• 충분히 큰 $n$에 대해, $\{C_{2k+1}, C_{2k+2}\}$-free 그래프 중에서 스펙트럴 반경이 최대인 그래프는 $S_{n,k}$이며, $\mathrm{SPEX}(n, \{C_{2k+1}, C_{2k+2}\}) = \{S_{n,k}\}$이다.
• 극값 그래프 $S_{n,k}^+$와 $S_{n,k}$는 각각의 금지된 부분그래프 제약 조건 하에서 스펙트럴 반경에 의해 유일하게 특성화된다.
• 모든 극값 그래프 $H_k$의 정점 집합은 완전이분그래프 $K_{k,n-k}$를 포함해야 하며, 이때 $k$-집합은 클리프를 이루고, 나머지 $n-k$개의 정점들은 독립집합 또는 단일 간선을 이룬다.
• $L'$의 $k$개 정점들과 모두 인접하지 않은 정점들의 집합 $E$는 공집합이다. 이는 비클리프 정점들이 모두 $k$-클리프에 완전히 인접해 있음을 의미한다.
• 스펙트럴 반경의 단조성과 페론 벡터 분석은 극값 그래프가 $S_{n,k}^+$ 또는 $S_{n,k}$와 동형임을 강제한다. 이는 금지된 사이클 집합에 따라 달라진다.