[논문 리뷰] Spectral radius and Hamiltonicity of graphs with large minimum degree: revisited

Jun Ge, Bo Ning|arXiv (Cornell University)|2016. 06. 28.

Graph theory and applications참고 문헌 18인용 수 3

한 줄 요약

이 논문은 최소 차수를 갖는 그래프와 균형 잡힌 이분 그래프에서 해밀턴성에 대한 스펙트럴 반경 조건을 수립한다. 충분히 큰 $ n $ 에 대해, 순서가 $ n $ 인 그래프 $ G $ 가 $ \delta(G) \geq k $ 이고 스펙트럴 반경 $ \lambda(G) \geq n-k-1 $ 를 만족할 경우, 이는 두 가지 특정한 예외 그래프와 동형이 아닐 경우 해밀턴적임을 증명한다. 이는 니키포로프의 결과를 확장하며, 무역-모서의 정리에 대한 스펙트럴 대응을 제공한다.

ABSTRACT

Investigating the relationship between eigenvalues of a graph and its cycle structure is a standard topic in spectral graph theory. This paper mainly concerns spectral conditions for Hamilton cycles in graphs and in balanced bipartite graphs, respectively. Our main results are written as: (1) Let $k\geq 1$, $n\geq \max\{\frac{1}{2}k^3+k+4,6k+5\}$, and let $G$ be a graph of order $n$, with minimum degree $\delta(G)\geq k$. If its spectral radius $\lambda(G)\geq n-k-1$, then $G$ has a Hamilton cycle unless $G=K_1\vee (K_k+K_{n-k-1})$, or $G=K_k\vee (kK_1+K_{n-k-1})$. (2) Let $k\geq 1$, $n\geq k^3+2k+4$, and let $G$ be a balanced bipartite graph of order $2n$, with minimum degree $\delta(G)\geq k$. If its spectral radius $\lambda(G)\geq \sqrt{n(n-k)}$, then $G$ has a Hamilton cycle unless $G=B^k_n$, where $B^k_n$ is the graph obtained from $K_{n,n}$ by deleting a $K_{k,n-k}$. Our first theorem shows that a very recent theorem of Nikiforov still holds when $n<k^3$ (if $k$ is sufficiently large). Our second result further gives a spectral analogue of Moon-Moser's theorem on Hamilton cycles in balanced bipartite graphs, and extends a previous result due to Li and one of the authors here for $n$ sufficiently large.

연구 동기 및 목표

• 큰 $ k $ 값에 대해 니키포로프의 최신 스펙트럴 조건을 더 작은 $ n $ 값으로 확장하기 위해.
• 균형 잡힌 이분 그래프에서 해밀턴 사이클에 대한 스펙트럴 대응을 제공하기 위해.
• 스펙트럴 반경 조건을 만족하지만 해밀턴적이지 않은 예외 그래프를 특성화하기 위해.
• 큰 $ n $ 에 대해 리와 저자 중 한 명이 이전에 확립한 결과를 일반화하기 위해.

제안 방법

• 스펙트럴 그래프 이론을 사용하여 최대 고유값(스펙트럴 반경)과 해밀턴 사이클 존재성 간의 관계를 분석한다.
• 특히 완전 그래프의 합을 이용한 극단적 그래프 구성 기법을 적용하여 잠재적 반례를 규명한다.
• 스펙트럴 반경 조건이 해밀턴성을 유도함을 보장하기 위해 $ n $ 에 대한 날카운 경계를 확립한다.
• 예외 그래프 $ K_1\vee (K_k+K_{n-k-1}) $ 와 $ K_k\vee (kK_1+K_{n-k-1}) $ 와 그 이분 그래프 형태의 구조를 분석한다.
• 균형 잡힌 이분 그래프의 경우 스펙트럴 반경 조건 $ \lambda(G) \geq \sqrt{n(n-k)} $ 를 사용하여 해밀턴성을 도출한다.
• 니키포로프와 무역-모서의 정리와 같은 기존 정리를 비교하여, 본 연구의 스펙트럴 조건의 독창성과 강도를 입증한다.

실험 결과

연구 질문

• RQ1 최소 차수 $ \delta(G) \geq k $ 를 갖는 그래프에서 스펙트럴 반경 조건이 무엇이면, $ n < k^3 $ 인 경우에도 해밀턴 사이클을 보장하는가?
• RQ2 스펙트럴 반경 조건을 만족하지만 해밀턴적이지 않은 정확한 예외 그래프는 무엇인가?
• RQ3 균형 잡힌 이분 그래프에서 무역-모서의 정리에 대응하는 해밀턴성에 대한 스펙트럴 조건을 설정할 수 있는가?
• RQ4 스펙트럴 반경 임계값 $ \lambda(G) \geq n-k-1 $ 는 최소 차수가 높은 밀도 있는 그래프에서 해밀턴 사이클 존재성과 어떻게 관련이 있는가?
• RQ5 본 연구 결과는 큰 $ n $ 에 대해 리와 저자들이 이전에 확립한 결과를 어느 정도까지 일반화하는가?

주요 결과

• 모든 $ n \geq \max\{\frac{1}{2}k^3+k+4, 6k+5\} $ 에 대해, 순서가 $ n $ 인 그래프 $ G $ 가 $ \delta(G) \geq k $ 이고 $ \lambda(G) \geq n-k-1 $ 를 만족할 경우, $ G $ 가 $ K_1\vee (K_k+K_{n-k-1}) $ 나 $ K_k\vee (kK_1+K_{n-k-1}) $ 와 동형이 아닐 경우 해밀턴적이다.
• 스펙트럴 반경 조건 $ \lambda(G) \geq n-k-1 $ 는 $ n < k^3 $ 인 경우에도 해밀턴성을 보장하며, 니키포로프의 결과를 더 넓은 $ n $ 범위로 확장한다.
• 순서가 $ 2n $ 인 균형 잡힌 이분 그래프 $ G $ 가 $ \delta(G) \geq k $ 를 만족할 경우, 조건 $ \lambda(G) \geq \sqrt{n(n-k)} $ 는 $ G = B^k_n $ (즉, $ K_{n,n} $ 에서 $ K_{k,n-k} $ 를 제거한 그래프)가 아닐 경우 해밀턴 사이클을 보장한다.
• 예외 그래프 $ B^k_n $ 는 균형 잡힌 이분 그래프 설정에서 스펙트럴 반경 조건을 만족하지만 해밀턴적이지 않은 유일한 그래프이다.
• 본 연구 결과는 균형 잡힌 이분 그래프에서 해밀턴 사이클에 대한 무역-모서의 정리에 대한 스펙트럴 대응을 제공한다.
• 논문은 스펙트럴 반경 임계값 $ \lambda(G) \geq \sqrt{n(n-k)} $ 가 최소 차수가 $ k $ 인 균형 잡힌 이분 그래프에서 해밀턴성에 대해 날카로운 것임을 확인한다.