完全グラフで全頂点を覆えないグラフの固有値上限
Spectral Extremal Graphs without a $K_k$-Factor
この論文をやさしく読む
ひとことで言うと
グラフの全頂点を同じ大きさの完全グラフに分けられない場合に、隣接行列のスペクトル半径がどこまで大きくなれるかを決めた研究です。
何に役立つ？
隣接行列の固有値と、グラフを完全な小集団に分割できる構造との関係を理解するための基礎結果です。示された上限を超えれば、対象条件の下でKₖ因子の存在が導かれます。
この研究の面白いところ
最大値だけでなく、それを達成するグラフを同型を除いて一意に決めています。ほぼ完全グラフに、接続数がk−2の頂点を1つ加えるという具体的な形になります。
どこまで分かった？
k≥3、n＝km、m≥2k−1という条件付きの定理です。要旨で述べられた証明結果を紹介しており、それより小さいmでの結論は示されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
k≥3、n＝kmとする。n頂点グラフにおけるKₖ因子とは、全頂点集合を覆う、頂点を共有しないm個のKₖの集まりである。本稿では、m≥2k−1のとき、Kₖ因子を含まないn頂点グラフの隣接スペクトル半径の最大値を決定する。 より正確には、そのようなすべてのグラフGについて、ρ(G)≤ρ(Hₙ,ₖ)、Hₙ,ₖ＝Kₖ₋₂∨(Kₙ₋ₖ₊₁∪K₁)が成り立ち、等号成立はGがHₙ,ₖと同型である場合に限ることを証明する。同じことを構成で述べると、一意な極値グラフは、Kₙ₋₁に頂点を1つ加え、その頂点をクリーク内のちょうどk−2個の頂点と隣接させて得られる。 証明では、Hajnal–Szemerédiの定理から導く疎な補グラフの分解補題を、Motzkin–Strausの不等式、および商行列とRayleigh商に基づくスペクトル評価と組み合わせる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-18（UTC）
- 最新改訂
- 2026-09-18 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-18 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $k\ge 3$ and let $n=km$. A $K_k$-factor in an $n$-vertex graph is a collection of $m$ vertex-disjoint copies of $K_k$ that covers the entire vertex set. We determine the maximum adjacency spectral radius of an $n$-vertex graph containing no $K_k$-factor when $m\ge 2k-1$. More precisely, we prove that every such graph $G$ satisfies \[ \rho(G)\le \rho(H_{n,k}), \qquad H_{n,k}=K_{k-2}\vee\bigl(K_{n-k+1}\cup K_1\bigr), \] with equality if and only if $G\cong H_{n,k}$. Equivalently, the unique extremal graph is obtained from $K_{n-1}$ by adding one vertex adjacent to exactly $k-2$ vertices of the clique. Our proof combines a decomposition lemma for sparse complements, derived from the Hajnal--Szemerédi theorem, with the Motzkin--Straus inequality and spectral estimates based on quotient matrices and the Rayleigh quotient.
arXiv ID: 2609.21529 ／ 要約の誤りについて