[论文解读] Spectral extrema of $K_{s,t}$-minor free graphs--On a conjecture of M. Tait

Mingqing Zhai, Huiqiu Lin|arXiv (Cornell University)|Aug 5, 2021

Graph theory and applications参考文献 40被引用 5

一句话总结

本文解決了 M. Tait 對 $K_{s,t}$-無 minor 圖的譜半徑極值問題的猜想，證明最大譜半徑由特定的圖併構造實現：當 $n - s + 1 = pt + q$ 時，為 $K_{s-1} \nabla (pK_t \cup K_q)$，並在涉及 Petersen 圖或星形森林的特殊情況下例外。解決方案使用譜圖論工具，包括雙特徵向量變換與局部度序列優化，以在無 minor 條件下表徵極值圖。

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.

研究动机与目标

• 解決 M. Tait 對 $K_{s,t}$-無 minor 圖在 $2 \leq s \leq t$ 及足夠大的 $n$ 時最大譜半徑的猜想。
• 確定在 $K_{s,t}$-無 minor 圖族中實現最大譜半徑的極值圖。
• 將譜極值結果推廣至已知情況 $t \mid n - s + 1$ 之外。
• 透過譜學與組合工具（特別是在 $t \nmid n - s + 1$ 時）表徵極值圖的結構。
• 將 $K_{1,t}$-無 minor 圖的極值圖完整分類作為特例。

提出的方法

• 使用雙特徵向量變換比較修改後圖的譜半徑，以識別改進。
• 利用局部邊最大性與局部度序列優化分析極值圖的結構性質。
• 應用 $S^k(G)$（最小度和邊的 $k$-分拆）概念，構造具有更高譜半徑的替代圖。
• 分析 $A$ 與 $B$ 子圖中頂點的鄰域結構，在非極值配置下導出矛盾。
• 以鄰接矩陣的譜半徑 $\rho(G)$ 為主要優化目標，其等式條件與圖的同構類型相關。
• 透過反證法證明極值性：假設非併圖結構會導致 $S^{n-t}(K_t)$ 的子圖中譜半徑更高，從而違反最大性。

实验结果

研究问题

• RQ1 對於 $2 \leq s \leq t$ 且 $n$ 足夠大的 $n$-頂點 $K_{s,t}$-無 minor 圖，其最大譜半徑為何？
• RQ2 當 $t \nmid n - s + 1$ 時，唯一實現最大譜半徑的極值圖為何？
• RQ3 如無 minor 禁制與度序列等結構約束如何影響譜極值性？
• RQ4 能否使用譜學與組合工具完全解決 Tait 對 $K_{s,t}$-無 minor 圖的猜想？
• RQ5 $K_{1,t}$-無 minor 圖的極值圖結構為何？其與一般 $K_{s,t}$ 情況有何關聯？

主要发现

• M. Tait 的猜想已完全解決：當 $n - s + 1 = pt + q$ 時，$K_{s,t}$-無 minor 圖的極值圖為 $K_{s-1} \nabla (pK_t \cup K_q)$，條件為 $q \geq 3$ 或 $q = 2$ 且 $t \neq 8$ 或 $\beta \neq 1$。
• 當 $q = 2$，$t = 8$，且 $\beta = 1$ 時，極值圖為 $K_{s-1} \nabla ((p-1)K_t \cup \overline{H^\star})$，其中 $H^\star$ 為 Petersen 圖。
• 當 $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 圖，其極值圖被證明同構於 $S^{n-t}(K_t)$，即在 $n-t$ 個分拆下由 $t$ 個頂點的完全圖構成。