[論文レビュー] A tight lower bound on the matching number of graphs via Laplacian eigenvalues

Xiaofeng Gu, Muhuo Liu|arXiv (Cornell University)|Mar 21, 2021

Graph theory and applications参考文献 28被引用数 21

ひとこと要約

本稿は、グラフのラプラシアン固有値を用いて、マッチング数 α′ のタイトな下界を確立する。具体的には、α′ ≥ min{⌊(μ₂/μₙ)(n−1)/m⌋, ⌊(n−1)/(2m)⌋} を示し、Brouwer および Haemers の先行結果を一般化・強化する。主な革新は、Haemers の分離不等式を用いて、マッチング数、因子臨戦性、バルーン、偶数部分グラフ、および有界次数のスパニングツリーに対するタイトなスペクトル境界を導くための補題を導出することにある。

ABSTRACT

Let $\alpha'$ and $\mu_i$ denote the matching number of a non-empty simple graph $G$ with $n$ vertices and the $i$-th smallest eigenvalue of its Laplacian matrix, respectively. In this paper, we prove a tight lower bound $$\alpha' \ge \min\left\{\Big\lceil\frac{\mu_2}{\mu_n} (n -1)\Big ceil,\ \ \Big\lceil\frac{1}{2}(n-1)\Big ceil ight\}.$$ This bound strengthens the result of Brouwer and Haemers who proved that if $n$ is even and $2\mu_2 \ge \mu_n$, then $G$ has a perfect matching. A graph $G$ is factor-critical if for every vertex $v\in V(G)$, $G-v$ has a perfect matching. We also prove an analogue to the result of Brouwer and Haemers mentioned above by showing that if $n$ is odd and $2\mu_2 \ge \mu_n$, then $G$ is factor-critical. We use the separation inequality of Haemers to get a useful lemma, which is the key idea in the proofs. This lemma is of its own interest and has other applications. In particular, we prove similar results for the number of balloons, spanning even subgraphs, as well as spanning trees with bounded degree.

研究の動機と目的

• 一般のグラフ（正則でない場合を含む）に対して、ラプラシアン固有値を用いてマッチング数のタイトな下界を確立すること。
• n が奇数のとき、2μ₂ ≥ μₙ であるスペクトル条件が因子臨戦性グラフを保証する条件を確立すること。
• この手法をマッチング数以外のグラフパラメータ（バルーン数、偶数スパニング部分グラフ、最大次数 ≤k のスパニングツリーなど）へと拡張すること。
• 極値グラフ（例：完全二部グラフ Ks,t および結合グラフ Ks∨tK₁）の明示的構成により、導出された境界がタイトであることを証明すること。
• Haemers の分離不等式に基づく新規な補題を考案・応用し、スペクトルグラフ理論における統一的ツールとしての役割を果たすこと。

提案手法

• 互いに辺を共有しない頂点集合 X および Y に対して、Haemers の分離不等式を適用する：|X||Y| / [(n−|X|)(n−|Y|)] ≤ [(μₙ−μ₂)/(μₙ+μ₂)]²。
• 重要な補題を導出する：G−S が非連結であり、V(G)−S の互いに素な部分集合 X,Y に対して |X|≤|Y| が成り立つとき、|X| ≤ (μₙ−μ₂)/(2μₙ)·n および |S| ≥ (2μ₂)/(μₙ−μ₂)·|X| が成り立つ。
• この補題を用いて主結果を証明する：n 頂点 m 辺のグラフに対して、α′(G) ≥ min{⌊(μ₂/μₙ)(n−1)/m⌋, ⌊(n−1)/(2m)⌋} が成り立つ。
• 同じ補題を用いて、バルーン数、偶数スパニング部分グラフ、最大次数 ≤k のスパニングツリーに対する境界を導出する。
• 極値グラフ（例：完全二部グラフ Ks,t および結合グラフ Ks∨tK₁）を構成することで、境界のタイトさを示す。
• Gallai の因子臨戦性グラフの特徴付けを用いて、n が奇数のとき 2μ₂ ≥ μₙ ならば G は因子臨戦的であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 一般のグラフ（正則でない場合を含む）に対して、ラプラシアン固有値を用いてマッチング数のタイトな下界を確立できるか？
• RQ2 n が奇数のとき、2μ₂ ≥ μₙ が因子臨戦的であるための十分条件であるか？
• RQ3 Haemers の分離不等式に基づくスペクトル境界技法を、マッチング数以外のグラフパラメータへと拡張できるか？
• RQ4 非正則グラフに対して、μ₂ と μₙ の関数としてマッチング数の最もタイトな下界は何か？
• RQ5 スペクトル条件を用いて、次数制約（例：偶数部分グラフ、有界次数のスパニングツリー）を満たすスパニング部分グラフの存在を保証できるか？

主な発見

• マッチング数のタイトな下界が確立された：α′(G) ≥ min{⌊(μ₂/μₙ)(n−1)/m⌋, ⌊(n−1)/(2m)⌋}。これは Brouwer および Haemers の結果を一般化・改善する。
• μ₂ ≥ rμₙ ならば α′(G) ≥ r(n−1) が 0 < r ≤ 1/2 の範囲で成り立ち、極値グラフ Ks,t および Ks∨tK₁ によりこの境界がタイトであることが示された。
• n が奇数で 2μ₂ ≥ μₙ ならば G は因子臨戦的であり、この条件は鋭く、Ks,s+1 および Ks∨(s+1)K₁ によりその鋭さが示された。
• バルーン数 b(G) は、δ ≥2 のとき μ₂ ≥ (1−r−rδ)μₙ または δ=1 のとき μ₂ ≥ (1−3r)μₙ ならば ⌈rn⌉ で上界が与えられ、r ≤ min{1/3, 1/(δ+1)} を満たす。
• δ ≥3 のとき (δ−1)μ₂ ≥ μₙ ならば偶数スパニング部分グラフが存在し、これはタイトであり、非正則グラフへのスペクトル条件の拡張を示している。
• k ≥3 のとき (k−1)μ₂ ≥ μₙ ならば最大次数が k 以下のスパニングツリーが存在し、これはハミルトン路（k=2）やそれ以上の構造を保証するスペクトル十分条件を提供する。