[論文レビュー] Nowhere dense graph classes, stability, and the independence property

Hans H. Adler, Isolde Adler|arXiv (Cornell University)|Nov 17, 2010

Complexity and Algorithms in Graphs参考文献 12被引用数 3

ひとこと要約

この論文は、モデル理論における安定性理論と、アルゴリズム的グラフ理論におけるどこでも疎なグラフクラスの間に深い関係を確立し、部分グラフ閉じたグラフクラスにおいて、どこでも疎であることと安定性、および独立性の性質の不在（NIP）が同値であることを証明している。主な貢献は、部分グラフ閉じたグラフクラスという文脈において、モデル理論、有限モデル理論、組合せ的グラフ理論の三つの分野における「なだらかさ」の概念が一致することを示したことにある。

ABSTRACT

A class of graphs is nowhere dense if for every integer r there is a finite upper bound on the size of cliques that occur as (topological) r-minors. We observe that this tameness notion from algorithmic graph theory is essentially the earlier stability theoretic notion of superflatness. For subgraph-closed classes of graphs we prove equivalence to stability and to not having the independence property.

研究の動機と目的

• グラフクラスの文脈において、モデル理論、有限モデル理論、アルゴリズム的グラフ理論からの「なだらかさ」の概念を統合すること。
• すでにアルゴリズム的に取り扱いやすいことで知られるどこでも疎なグラフクラスが、安定性理論的「なだらかさ」の性質に対応するかどうかを調査すること。
• 部分グラフ閉じたグラフクラスにおいて、独立性の性質の不在（NIP）とどこでも疎であることの両立が成立するかどうかを特定すること。
• 安定性、超安定性、強い依存性といった概念が、モデル理論的枠組みと組合せ的設定の間でどのように伝達可能かを検討すること。
• グラフクラスにおけるアルゴリズム的「なだらかさ」の統一的組合せ的理解の土台を築くこと。

提案手法

• r-マイナーおよび位相的r-マイナーを用いて、『どこでも疎』なグラフクラスを定義・分析し、マイナーのサイズの増加に注目する。
• どこでも疎であることと、PodewskiとZieglerによって導入された安定性理論的概念である超平坦性（superflatness）との同値性を確立する。
• 解釈可能性と構成技法（例えば、グラフを彩色付き有向グラフに変換する手法）を用いて、クラス間での安定性の性質を移動させる。
• 超平坦性と解釈可能性の概念を用い、もしあるグラフクラスが有限の位相的マイナーを欠いているならば、そのクラスは強く安定していることを示す。
• 任意の構造クラスに一般化された安定性理論的概念（強い依存性、強安定性）を定義し、グラフ理論的文脈に適合させる。
• 既知のモデル理論の結果（例：超安定性 ⇒ 強安定性）とグラフマイナー理論の結果（例：NešetřilとOssona de Mendezによるマイナー成長の分類）を活用し、構造的同値性を導出する。

実験結果

リサーチクエスチョン

• RQ1 部分グラフ閉じたグラフクラスにおいて、どこでも疎であることと安定性が同値であるか？
• RQ2 このようなクラスにおいて、独立性の性質の不在（NIP）がどこでも疎であることと一致するか？
• RQ3 安定性理論的概念（例：超平坦性、超平坦性）を有限グラフクラスに意味的に適用できるか？
• RQ4 解釈可能性や強安定性といったモデル理論的道具が、グラフを越えた関係的構造へどの程度一般化可能か？
• RQ5 安定性、NIP、どこでも疎であることの同値性が、より広い関係的構造クラスへ拡張可能か？

主な発見

• 部分グラフ閉じたグラフクラスにおいて、どこでも疎であることと安定性、および独立性の性質の不在（NIP）は同値である。
• どこでも疎であることと、PodewskiとZieglerが定義した安定性理論的概念である超平坦性（superflatness）は本質的に同値である。
• 彩色付き有向グラフのクラスにおいて、その基礎となるグラフクラスが有限の位相的マイナーを欠いているならば、そのクラスは強く安定している。
• どこでも疎なクラスの任意の部分グラフのクラスは、自身もどこでも疎であり、かつ安定でNIPを満たす。
• この文脈において安定性とNIPの同値性は驚きであり、モデル理論における通常の単純性の仮定がなくても成立する。
• 解釈可能性は強安定性および強い依存性を保ち、安定性理論的性質を関連するクラス間で移動可能にする。