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

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

Graph theory and applications인용 수 4

한 줄 요약

이 논문은 최소 차수를 갖는 그래프 및 균형 잡힌 이분 그래프에서 해밀턴 성질을 보장하는 스펙트럴 반경 조건을 수립한다. 충분히 큰 $ n $에 대해, 순서가 $ 2n $이고 최소 차수 $ \delta(G) \geq k $이며 스펙트럴 반경 $ \lambda(G) \geq \sqrt{n(n-k)} $인 균형 잡힌 이분 그래프는 $ B^k_n $과 동형이 아닌 한 해밀턴 사이클을 포함한다. 이는 니키포로프의 결과를 $ k \geq 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 the existence of Hamilton cycles in graphs and in balanced bipartite graphs, respectively. Let $\lambda(G)$ be the spectral radius of a simple graph $G$. Our main result is: (a) 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 $\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}$. This result further gives a spectral analogue of Moon-Moser's theorem on Hamilton cycles in balanced bipartite graphs, and extends the previous result due to Li and the second author for $n$ sufficiently large. Recently, Nikiforov proved that: (b) Let $k\geq 2$. Let $G$ be a graph of order $n\geq k^3+k+4$ with minimum degree $\delta(G)\geq k$. If $\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})$. We show that Nikiforov's theorem holds for: $k\geq 1$ and $n\geq \max\{\frac{1}{2}k^3+k+\frac{5}{2},6k+5\}$.

연구 동기 및 목표

• 큰 최소 차수를 갖는 그래프에서 해밀턴 성질을 보장하는 스펙트럴 조건을 수립하기.
• 균형 잡힌 이분 그래프에서 해밀턴 사이클에 관한 문-모서의 정리에 대한 스펙트럴 유사체를 제공하기.
• 니키포로프의 스펙트럴 반경과 해밀턴 사이클에 관한 결과를 더 작은 $ n $과 $ k \geq 1 $로 확장하기.
• 스펙트럴 조건을 위반하지만 여전히 해밀턴 사이클을 갖지 않는 극값 그래프를 특성화하기.

제안 방법

• 해밀턴 성질을 위한 충분 조건을 유도하기 위해 스펙트럴 반경 $ \lambda(G) $를 핵심 그래프 불변량으로 사용하기.
• 예외로 가능한 극값 그래프인 $ B^k_n $, 즉 $ K_{n,n} $에서 $ K_{k,n-k} $를 제거한 그래프를 분석하기.
• 고유값의 교차성과 안정성 원리를 적용하여 비해밀턴 그래프의 스펙트럴 반경을 한계짓기.
• 기존의 최소 차수 및 연결성 결과를 활용하여 스펙트럴 임계값을 위반하는 그래프의 구조를 제약하기.
• 순서가 $ 2n $인 균형 잡힌 이분 그래프에 대해 $ n \geq k^3 + 2k + 4 $일 때 스펙트럴 반경의 임계값 $ \lambda(G) \geq \sqrt{n(n-k)} $을 확립하기.
• 니키포로프의 결과를 $ k \geq 1 $ 및 $ n \geq \max\{\frac{1}{2}k^3 + k + \frac{5}{2}, 6k + 5\} $에 대해 검증함으로써 확장하기.

실험 결과

연구 질문

• RQ1 큰 최소 차수를 갖는 균형 잡힌 이분 그래프에서 어떤 스펙트럴 반경 조건이 해밀턴 사이클을 보장하는가?
• RQ2 스펙트럴 조건을 만족하지만 해밀턴 사이클이 없는 극값 그래프는 무엇인가?
• RQ3 니키포로프의 해밀턴 성질을 위한 스펙트럴 조건은 $ k \geq 1 $ 및 더 작은 $ n $으로 확장될 수 있는가?
• RQ4 스펙트럴 반경은 최소 차수가 높은 그래프에서 사이클 구조와 어떻게 관련되는가?
• RQ5 균형 잡힌 이분 그래프에 대해 문-모서의 정리에 대한 스펙트럴 유사체가 존재하는가?

주요 결과

• 모든 $ n \geq k^3 + 2k + 4 $에 대해, 순서가 $ 2n $이고 $ \delta(G) \geq k $이며 $ \lambda(G) \geq \sqrt{n(n-k)} $인 균형 잡힌 이분 그래프는 $ B^k_n $과 동형이 아닌 한 해밀턴 사이클을 포함한다.
• $ B^k_n $은 $ K_{n,n} $에서 $ K_{k,n-k} $를 제거하여 생성된 그래프로, 균형 잡힌 이분 그래프에서 해밀턴 성질에 대한 스펙트럴 조건의 유일한 예외이다.
• 니키포로프의 스펙트럴 반경과 해밀턴 사이클에 관한 결과는 $ k \geq 1 $로 확장되었으며, 임계값은 $ n \geq \max\{\frac{1}{2}k^3 + k + \frac{5}{2}, 6k + 5\} $이다.
• 스펙트럴 조건 $ \lambda(G) \geq \sqrt{n(n-k)} $는 균형 잡힌 이분 그래프에 대해 문-모서 정리의 날카로운 스펙트럴 유사체를 제공한다.
• $ K_1 \vee (K_k + K_{n-k-1}) $와 $ K_k \vee (kK_1 + K_{n-k-1}) $는 $ k \geq 1 $일 때 니키포로프의 스펙트럴 임계값을 만족하지만 비해밀턴인 유일한 그래프이다.
• 이 결과들은 이전의 스펙트럴 조건들을 통합하고 확장하며, 최소 차수 제약 조건 하에서 스펙트럴 반경만으로도 해밀턴 성질을 탐지할 수 있음을 보여준다.