[논문 리뷰] Spectral extrema of $K_{s,t}$-minor free graphs--On a conjecture of M. Tait

Mingqing Zhai, Huiqiu Lin|arXiv (Cornell University)|2021. 08. 05.

Graph theory and applications참고 문헌 40인용 수 5

한 줄 요약

이 논문은 M. Tait의 $K_{s,t}$-minor-free 그래프에 대한 스펙트럴 반지름 최적화 문제에 대한 추측을 해결한다. 최대 스펙트럴 반지름은 $n - s + 1 = pt + q$ 일 때 특정 조인 그래프 구조인 $K_{s-1} \nabla (pK_t \cup K_q)$ 에서 달성되며, 페테르센 그래프 또는 스타 숲을 포함한 특수 케이스를 제외한다. 이 해결책은 이중 고유벡터 변환과 국소 차수 주도화와 같은 스펙트럴 그래프 이론 도구를 사용하여, 미니어터 제약 조건 하에서 최적 그래프의 특성을 규명한다.

ABSTRACT

Minors play an important role in extremal graph theory and spectral extremal graph theory. Tait [The Colin de Verdière parameter, excluded minors, and the spectral radius, J. Combin. Theory Ser. A 166 (2019) 42--58] determined the maximum spectral radius and characterized the unique extremal graph for $K_r$-minor free graphs of sufficiently large order $n$, he also made great progress on $K_{s,t}$-minor free graphs and posed a conjecture: Let $2\leq s\leq t$ and $n-s+1=pt+q$, where $n$ is sufficiently large and $1\leq q\leq t.$ Then $K_{s-1} abla (pK_t\cup K_q)$ is the unique extremal graph with the maximum spectral radius over all $n$-vertex $K_{s,t}$-minor free graphs. In this paper, Tait's conjecture is completely solved. We also determine the maximum spectral radius and its extremal graphs for $n$-vertex $K_{1,t}$-minor free graphs. To prove our results, some spectral and structural tools, such as, local edge maximality, local degree sequence majorization, double eigenvectors transformation, are used to deduce structural properties of extremal graphs.

연구 동기 및 목표

• 2 \leq s \leq t 이고 충분히 큰 $n$ 에 대해 $K_{s,t}$-minor-free 그래프의 최대 스펙트럴 반지름에 대한 M. Tait의 추측을 해결하기.
• $K_{s,t}$-minor-free 가족 내에서 최대 스펙트럴 반지름을 달성하는 최적 그래프를 규명하기.
• $t \mid n - s + 1$ 인 경우에만 알려진 스펙트럴 최적 결과를 초과하여 확장하기.
• $t \nmid n - s + 1$ 인 경우에 특히 스펙트럴 및 조합 도구를 통해 최적 그래프의 구조를 특성화하기.
• $K_{1,t}$-minor-free 그래프에 대한 최적 그래프를 완전히 분류하는 것 — 일반적인 $K_{s,t}$ 경우의 특수 케이스로 간주함.

제안 방법

• 수정된 그래프의 스펙트럴 반지름을 비교하고 향상 가능성을 규명하기 위해 이중 고유벡터 변환을 활용하기.
• 국소 간선 최대성과 국소 차수 순서 주도화를 사용하여 최적 그래프의 구조적 성질 분석하기.
• 최소 차수 합을 가진 간선의 $k$-분할인 $S^k(G)$ 개념을 적용하여 더 높은 스펙트럴 반지름을 가진 대체 그래프 구축하기.
• A 및 B 부분그래프 내의 정점 이웃 구조를 분석하여, 비최적 구성일 경우 모순을 이끌어내기.
• 그래프 동형 유형과 관련된 등식 조건을 갖는 인접행렬 스펙트럴 반지름 $\rho(G)$ 를 핵심 최적화 목표로 삼기.
• 모순에 의한 최적성 증명: 비조인 그래프 구조가 $S^{n-t}(K_t)$ 의 부분그래프에서 더 높은 스펙트럴 반지름을 가지며, 이는 최대성 위반을 초래함.

실험 결과

연구 질문

• RQ1 2 \leq s \leq t 이고 큰 $n$ 에 대해 $n$-정점의 $K_{s,t}$-minor-free 그래프의 최대 스펙트럴 반지름은 무엇인가?
• RQ2 $t \nmid n - s + 1$ 일 때 이 최대 스펙트럴 반지름을 달성하는 유일한 최적 그래프는 무엇인가?
• RQ3 미니어처 자유성 및 차수 순서와 같은 구조적 제약 조건이 스펙트럴 최적성에 어떻게 영향을 미치는가?
• RQ4 Tait의 $K_{s,t}$-minor-free 그래프에 대한 추측은 스펙트럴 및 조합 도구를 통해 완전히 해결될 수 있는가?
• RQ5 $K_{1,t}$-minor-free 그래프의 최적 그래프는 무엇이며, 일반적인 $K_{s,t}$ 경우와의 관계는 어떠한가?

주요 결과

• M. Tait의 추측은 완전히 해결됨: $n - s + 1 = pt + q$ 일 때, $q \geq 3$ 이거나 $q = 2$ 이고 $t \neq 8$ 이거나 $\beta \neq 1$ 이면, $K_{s-1} \nabla (pK_t \cup K_q)$ 가 $K_{s,t}$-minor-free 그래프의 최적 그래프이다.
• $q = 2$, $t = 8$, $\beta = 1$ 이면, 최적 그래프는 $K_{s-1} \nabla ((p-1)K_t \cup \overline{H^\star})$ 이며, $H^\star$ 는 페테르센 그래프이다.
• $q = \beta = 2$ 이면, 최적 그래프는 $K_{s-1} \nabla ((p-1)K_t \cup S^1(\overline{H_{s,t}}))$ 이며, $H_{s,t}$ 는 순서 $t+1$ 의 스타 숲이다.
• $q \leq 2(\beta - 1)$ 이고 $q \neq \beta = 2$ 이면, 최적 그래프는 $K_{s-1} \nabla ((p - q)K_t \cup q\overline{H_{s,t}})$ 이다.
• 그 외의 모든 경우, 최적 그래프는 $K_{s-1} \nabla (pK_t \cup K_q)$ 로, $t \mid n - s + 1$ 인 경우에 알려진 결과와 일치한다.
• $K_{1,t}$-minor-free 그래프의 최적 그래프는 $S^{n-t}(K_t)$ 와 동형임을 보여주었으며, 이는 $t$-정점 완전 그래프에 $n-t$개의 분할을 가한 것이다.