[論文レビュー] Induced subdivisions of $K_{d+1}$ in graphs of high girth

António Girão, Zach Hunter|arXiv (Cornell University)|Mar 10, 2026

Finite Group Theory Research被引用数 0

ひとこと要約

著者らは d ≥ 10^8 かつ girth が少なくとも 10^8 の場合、最小次数 d を持つ任意のグラフには完全グラフ K_{d+1} の誘導分割が含まれることを証明する。

ABSTRACT

In this paper, we show that for all $k\geq 10^8$, every graph with minimum degree $k$ and girth at least $10^8$ contains an induced subdivision of a $K_{k+1}$. This answers a problem asked by Kühn and Osthus (originally attributed to Shi).

研究の動機と目的

• 高ガース度の下で誘導分割の研究を、既知のトポロジックな clique 結果の強化として動機づける。
• 高ガース度と大きな最小次数が、d を 10^8 として誘導 K_{d+1}-分割を構成できることを示す。
• 誘導分割の存在を証明する自己完結型の確率論的・極値グラフフレームワークを提供する。
• 問題を、高連結性のサブ構造と小さな境界を見つけることへ還元する構造的補助LEMMAを開発する。

提案手法

• Lovász Local Lemma を用いて有利なサブ構造を構築する際の確率的選択を扱う。
• 分割と連結性に関する既知の結果を活用して誘導 K_{d+1}-分割を構築する。
• 注意深く選ばれた頂点集合と対応する短い誘導経路から補助グラフを構築して分割を実現する。
• 退化・境界の議論・高ガース度の制約を適用して誘導性と経路の分離性を確保する。
• 高度に連結なサブグラフと適切な分岐可能頂点を生み出す構造的分解を反復する。
• 分岐可能頂点構成を介して誘導 K_{d+1}-分割を含む結論へと結ぶ。

実験結果

リサーチクエスチョン

• RQ1 すべてのグラフで最小次数が少なくとも r かつ girth が少なくとも h(r) を満たすとき、誘導 K_{r+1}-分割を含むか。
• RQ2 h(r) を r に依存しない絶対定数として選べるか（特に大きな r に対して）。
• RQ3 高ガース度の下で誘導分割を保証する構造的機構（退化性・連結性・境界サイズ）は何か。
• RQ4 確率的方法と極値グラフ構築が、疎な設定で誘導分割を生み出す際にどう相互作用するか。

主な発見

• d ≥ 10^8 かつ girth が少なくとも 10^8 の場合、最小次数 d を持つ任意のグラフには誘導分割的な K_{d+1} を含む（定理 1.1）。
• 論文は、誘導 K_{d+1}-分割の存在を保証する退化性・境界制御・k-連結性・連結性といった一連の補題を開発する。
• Lovász Local Lemma を援用した確率的構成により、最小次数が少なくとも d^6 以上の部分構造 H を得て、十分な分岐可能頂点を確保し、誘導分割へと結ぶ。
• 極端に不均衡な二部グラフを扱い、高ガース度が短い回路を抑制して誘導性を妨げないことを示す。
• 定理 1.1 の証明には二つの主要なケース分析があり、A′ の大きな部分集合が存在する場合としない場合の全ての構成で結果を確保する。
• この結果は Shi に帰せられ、 Kühn and Osthus が提起した高ガース度の下での誘導分割に関する問いに答える。