5連結グラフが特定のマイナーを含む鋭い辺数条件
A sharp density bound for 5-connected graphs with no $\Ke$ minor
この論文をやさしく読む
ひとことで言うと
十分に強くつながり、辺が一定数以上あるグラフには、辺の縮約などで特定の形を取り出せることを示す数学研究です。
何に役立つ？
特定のマイナーを含まないグラフが、どこまで密になれるかを調べる極値問題に役立ちます。
この研究の面白いところ
辺数のしきい値4n−9が最良だと主張し、既存の帰着手法を根付きグラフについて強化しています。
どこまで分かった？
予想の解決と最良性は著者の主張です。5連結性や頂点数などの仮定があり、4-bilight、4-light、根付き密度の定義や証明の詳細は要旨にありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
K₇から互いに端点を共有しない2辺を取り除いたグラフをHとする。n ≥ 7個の頂点と少なくとも4n−9本の辺を持つすべての5連結グラフがHマイナーを含むことを証明し、Dvořák、Norin、RahmanのarXivプレプリント2609.17760v1の予想1.4を解決する。この境界は最良である。さらに強い主張として、n ≥ 4個の頂点と少なくとも4n−9本の辺を持つすべての4-bilightグラフが、HマイナーまたはK₆部分グラフを含むことを証明する。彼らの帰着の枠組みの中で、根付きマイナーに関する定理を強化する。根付き4密度が少なくとも2である、すべての4-lightな5根付きグラフについて、根でない頂点が2個あり、それらに接続する欠けた辺が高々1本であるモデルが存在することを示す。臨界密度では帰着操作が密度を厳密に保存するため、新たなK₆部分グラフが生じることはない。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $\Ke$ be obtained from $K_7$ by deleting two independent edges. We prove that every 5-connected graph on $n\ge7$ vertices with at least $4n-9$ edges contains a $\Ke$ minor, settling Conjecture~1.4 of Dvořák, Norin and Rahman (arXiv preprint 2609.17760v1). The bound is sharp. We prove the stronger statement that every $4$-bilight graph on $n\ge4$ vertices with at least $4n-9$ edges contains either a $\Ke$ minor or a $K_6$ subgraph. Within their reduction framework, we strengthen the rooted-minor theorem. We show that every $4$-light 5-rooted graph of rooted $4$-density at least two has a model with two nonroot vertices and at most one missing edge incident with them. At the critical density, reductions preserve density exactly, which prevents them from creating a new $K_6$ subgraph.
arXiv ID: 2609.26041 ／ 要約の誤りについて