[論文レビュー] Shedding vertices of vertex decomposable graphs

Jonathan M. Baker, Kevin N. Vander Meulen+1 more|arXiv (Cornell University)|Jun 14, 2016

Commutative Algebra and Its Applications参考文献 19被引用数 3

ひとこと要約

この論文は、頂点分解可能でwell-coveredなグラフにおける、切り捨て頂点（shedding vertices）と支配集合（dominating sets）の関係を調査する。著者らは、切り捨て頂点の集合が支配集合でないような、3つの新しい無限族のグラフを構成し、VillarrealによるCohen-Macaulayグラフに関する予想に対する最初の最小反例を提供した。また、10個以下の頂点をもつ純粋な頂点分解可能グラフに対しても、この性質が一般に成り立たないことを示した。

ABSTRACT

We focus our attention on well-covered graphs that are vertex decomposable. We show that for many known families of these vertex decomposable graphs, the set of shedding vertices forms a dominating set. We then construct three new infinite families of well-covered graphs, none of which have this property. We use these results to provide a minimal counterexample to a conjecture of Villarreal regarding Cohen-Macaulay graphs.

研究の動機と目的

• 純粋な頂点分解可能でwell-coveredなグラフにおける切り捨て頂点の集合が、常に支配集合を形成するかどうかを調査すること。
• 既知の頂点分解可能グラフの族において、切り捨て頂点が支配するという一般的な直感を疑うこと。
• 切り捨て頂点が支配集合を形成しないような、頂点分解可能でwell-coveredなグラフの新しい無限族を構成すること。
• これらの構成を用いて、VillarrealのCohen-Macaulayグラフに関する予想に対する最小反例を提供すること。
• 10個以下の頂点をもつグラフにおいて、Cohen-Macaulay性と純粋な頂点分解可能性が一致することを計算的証明すること。一方で、切り捨て頂点の支配集合性が一部のケースで成り立たないことも示した。

提案手法

• 著者らは、既知の頂点分解可能でwell-coveredなグラフの族（例：二部グラフ、弦的グラフ、Cameron-Walker、クリークホイスク、非常にwell-covered、および閉路長≥5のグラフ）を分析し、切り捨て頂点が支配集合を形成することを確認した。
• 特定の頂点の接続や辺の追加に基づくグラフ論的構成を用いて、切り捨て頂点集合が支配集合でないような、3つの新しい無限族の頂点分解可能でwell-coveredなグラフを構成した。
• Macaulay2、Nauty、EdgeIdeals、SimplicialDecomposabilityなどの計算ツールを用いて、10個以下の頂点をもつグラフについて、頂点分解可能性、well-covered性、Cohen-Macaulay性を検証した。
• 頂点の複製（vertex-duplication）技術を用いて、基本的な反例から、同じ非支配性を持つ性質をもつより大きなグラフを生成した。
• すべての連結グラフ（10個以下の頂点）に対して、支配集合に関する予想の最小反例を特定するため、体系的なコンピュータ探索を実施した。
• 計算的検証を用いて、10個以下の頂点をもつグラフにおいて、Cohen-Macaulayグラフと純粋な頂点分解可能グラフのクラスが同一であることを証明した。

実験結果

リサーチクエスチョン

• RQ1 純粋な頂点分解可能でwell-coveredなグラフにおいて、切り捨て頂点の集合は常に支配集合を形成するか？
• RQ2 切り捨て頂点が支配集合を形成しないような、頂点分解可能でwell-coveredなグラフの新しい無限族を構成できるか？
• RQ3 VillarrealのCohen-Macaulayグラフに関する予想に対する最小反例は何か？また、それは非支配性を持つ切り捨て頂点集合から生じるか？
• RQ4 標準的な頂点分解可能グラフの構成法（例：クリークホイスク、Cameron-Walker）は、常に切り捨て頂点の支配集合性を保つのか？
• RQ5 10個以下の頂点をもつグラフの中で、Cohen-Macaulayではあるが純粋な頂点分解可能でないものは存在するか？

主な発見

• 既知のすべての純粋な頂点分解可能でwell-coveredなグラフ族（二部、弦的、Cameron-Walker、非常にwell-coveredなど）において、切り捨て頂点の集合は支配集合を形成する。
• 切り捨て頂点集合が支配集合でないような、3つの新しい無限族の純粋な頂点分解可能でwell-coveredなグラフが構成され、この性質に関する広範な予想が反証された。
• 9頂点13辺のグラフF₂は、Villarrealの予想に対する最小反例であり、すべての反例の中で辺数が最小である。
• 10個以下の頂点をもつすべての連結グラフにおいて、Cohen-Macaulayグラフと純粋な頂点分解可能グラフのクラスは同一であり、計算的探索によって確認された。
• 最小反例F₂では、切り捨て頂点集合が支配集合でなく、かつ、その集合に属さない任意の頂点を削除すると、well-covered性またはCohen-Macaulay性が失われる。
• 本論文は、切り捨て頂点が支配集合を形成するという性質が、最小の非自明なケースですら一般に成り立たないことを確認し、長年の予想に対する決定的な反例を提供した。