どの辺を消しても指定構造が現れる有限グラフを構成
Finite deletion-induced saturation for every non-complete graph
この論文をやさしく読む
ひとことで言うと
指定した形Hを含まないのに、どの辺を一本消してもHが現れるグラフを作れる条件を調べる研究です。Hが完全グラフでないことが必要十分だと著者らは証明しています。
何に役立つ？
グラフの誘導部分構造が、辺の削除や追加でどう変わるかを理解する基礎研究です。削除誘導飽和に関する予想への解答を提示しています。
この研究の面白いところ
一般的な構造理論と、有限の証明書の検証や具体的な30頂点のグラフを組み合わせています。存在条件を完全グラフかどうかという形にまとめています。
どこまで分かった？
要旨にある証明と予想解決は著者らの報告です。ここでは論文本文の証明や有限証明書を独立に検証していません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
グラフGがHに対して削除誘導飽和であるとは、Gが辺を持ち、Hの誘導コピーを含まず、Gのどの辺を削除してもHの誘導コピーが生じることをいう。本研究では、有限の証明書の検証を伴って、有限グラフHに対してこのような有限グラフGが存在するための必要十分条件が、Hが完全グラフではないことであると証明する。これはFan、Hajebi、Hajebi、Spirklの削除予想を解決する。主な段階では、Auinger、Bitterlich、Ottoの局所持ち上げ定理を使い、適切な自由融合を有限拡大へ移す。第二の判定基準は、指定された非辺を保護してから極大な誘導H不含の補完を取ることで、辺の追加を扱う。Bonamy、Groenland、Johnston、Morrison、Scottの構造的結果によって、残る対象は密なテンプレートと有限の遺伝的クラスへ帰着される。半立方体における二つの一様な構成で密なテンプレートを扱う。有限部分は、網羅的な被覆証明書、構造証明書、30頂点の巡回グラフを含む明示的な受け皿グラフによって支えられる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-18（UTC）
- 最新改訂
- 2026-09-18 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-18 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
A graph $G$ is deletion-induced-saturated for $H$ if $G$ has an edge, contains no induced copy of $H$, and deleting any edge of $G$ creates an induced copy of $H$. We prove, with finite certificate verification, that a finite graph $H$ admits such a finite graph $G$ if and only if $H$ is not complete. This resolves the deletion conjecture of Fan, Hajebi, Hajebi and Spirkl. The main step transfers suitable free amalgamations to finite extensions using a local lifting theorem of Auinger, Bitterlich and Otto. A second criterion treats edge addition by protecting specified nonedges and then taking a maximal induced-$H$-free completion. Structural results of Bonamy, Groenland, Johnston, Morrison and Scott reduce the remaining targets to dense templates and a finite hereditary class. Two uniform constructions in halved cubes handle the dense templates. The finite part is supported by exhaustive coverage certificates, structural certificates and explicit hosts, including a circulant graph on $30$ vertices.
著者のコメント
16 pages. Computer-assisted proof
arXiv ID: 2609.21388 ／ 要約の誤りについて