[論文レビュー] Characterization of sparse monotone graph classes with bounded domination-to-2-independence ratio

Marthe Bonamy, Zdeněk Dvořák+2 more|arXiv (Cornell University)|Jan 21, 2026

Advanced Graph Theory Research被引用数 0

ひとこと要約

この論文は、 cascades とその勾配の概念を用いて、平均次数が有界な単調グラフクラスにおいて、支配数が2-独立数に対して線形的に抑えられることを正確に特徴づける。大きな勾配を持つ cascades の不在と、支配-to-2-独立比の有界性の同値性を証明する。

ABSTRACT

We give an exact characterization of monotone graph classes C with bounded average degree that satisfy the following property: The domination number of every graph from C is bounded by a linear function of its 2-independence number.

研究の動機と目的

• グラフにおける支配数と2-独立数の関係を動機づけ、形式化する。
• 平均次数が有界な単調クラスにおける、支配-to-2-独立比の有界性の構造的障害を同定する。
• cascades とその勾配を主な障害として用い、完全な特徴付けを提供する。

提案手法

• cascades (H, ψ) を色 v, e, d で core obstruction 構造として導入・分析する。
• cascade の基盤 F と slope s = |ψ−1(v)| / max(α(F), |ψ−1(d)|) を定義する。
• 大きな勾配を持つ cascades は γ(G) が α2(G) に対して大きいことを与えると示す（Observation 3）。
• 逆方向を示す：平均次数が有界な単調クラスでは、大勾配 cascades の不在が支配-to-2-独立比の有界性を特徴づける（Theorem 4）。
• 緩和された cascades を実際の cascades に変換するために Turán 型の議論と確率的方法（辺をランダムに選択）を用いる。
• 稀少なクラスへの帰結を導出し、 weak 2-coloring number および平均次数閾値（Corollaries 6–8）に関する系を含める。
• certain clique-subdivisions を避けるクラスへ framework を拡張し、支配と 2-独立の結びつきを確立する（Theorem 9）。

実験結果

リサーチクエスチョン

• RQ1 どのグラフクラスに支配-to-2-独立比の有界性があるのか？
• RQ2 大勾配の cascades が単調 sparse クラスにおける線形な支配界の唯一の障害となりうるか？
• RQ3 大勾配 cascades がない単調 sparse クラスは常に γ(G) = O(α2(G)) を満たすか？
• RQ4 subdivision-minor 構造（例： clique subdivisions）は支配-to-2-独立関係にどう影響するか？

主な発見

• 明確な同値性が確立される：平均次数が有界な単調クラスは、含まれるすべての cascades の勾配が有界であるときにのみ支配-to-2-独立比が有界である（Theorem 4）。
• cascade は γ(G) と α2(G) の潜在的なギャップを定量化する3色付き部分構造であり、大きな勾配 cascades は γ(H) ≥ (s/4) α2(H) を強制する（Observation 3）。
• コロリーは、bounded weak 2-coloring number を持つクラスや最大平均次数が6未満のグラフに対して支配-to-2-独立比が有界であることを示し；この閾値を超えると比は無限大になり得る（Corollaries 6–8）。
• 本論は cascade ベースの二分法の特例として、特定の希少クラス（例：樹、平面グラフ、minor-closed クラス）に関する既知の結果を回収する枠組みを提供する（Theorem 4）。
• Theorem 9 は、支配と 2-独立の結びつきがすべての希少クラスで支配-to-2-独立比の有界性を意味しないことを示す（C_{k,d} 系列を通じて）。
• 未解決の方向性として、遺伝的（誘導部分グラフ閉包）クラスへの二分法の拡張と、v と d 頂点間の cascades の相互作用を制御する問題が残る。