[論文レビュー] 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自由グラフのスペクトル半径の極値問題を解決し、最大スペクトル半径が特定のジョイングラフ構成$K_{s-1} \nabla (pK_t \cup K_q)$によって達成されることを証明している。ここで$n - s + 1 = pt + 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自由グラフの最大スペクトル半径に関するM. Taitの予想を解決すること。
• $K_{s,t}$-minor自由族における最大スペクトル半径を達成する極値グラフを特定すること。
• $t \mid n - s + 1$である既知のケースを超えて、スペクトル極値結果を拡張すること。
• 特に$t \nmid n - s + 1$の場合に、スペクトル的および組合的ツールを用いて極値グラフの構造を特徴づけること。
• $K_{1,t}$-minor自由グラフに対する極値グラフを完全に分類することを目的とする特別なケースとしての考察。

提案手法

• 変更されたグラフのスペクトル半径を比較し、改善を同定するために、二重固有ベクトル変換を用いる。
• 局所的辺最大化および局所的次数列の優越性を用いて、極値グラフの構造的性質を分析する。
• 最小次数和を持つ辺の$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自由グラフの最大スペクトル半径は何か？
• RQ2 $t \nmid n - s + 1$のとき、この最大スペクトル半径を達成する一意な極値グラフは何か？
• RQ3 マイナー自由性や次数列といった構造的制約は、スペクトル極値にどのように影響するか？
• RQ4 Taitの$K_{s,t}$-minor自由グラフに関する予想は、スペクトル的および組合的ツールを用いて完全に解決可能か？
• RQ5 $K_{1,t}$-minor自由グラフの極値グラフ構造は何か？また、一般の$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)$である。
• $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自由グラフの極値グラフは、$S^{n-t}(K_t)$、すなわち$n-t$個の部分分割を施した$t$頂点の完全グラフに同型であることが示された。