[論文レビュー] Existence of Modeling Limits for Sequences of Sparse Structures

Jaroslav Nešetřil, Patrice Ossona de Mendez|arXiv (Cornell University)|Jul 30, 2016

Limits and Structures in Graph Theory参考文献 17被引用数 4

ひとこと要約

本稿は、構造的グラフ理論およびモデル理論における2つの長年の予想を証明する。すなわち、任意のFO収束する残渣的スパースグラフ列はモデル化極限をもつこと、および、単調なグラフクラスがモデル化極限をもつのは、それがどこでもスパースである（nowhere dense）場合に限ることである。著者らは、一階論理と測度論的モデル化構造を用いて、どこでもスパース／どこでも密集の二分法を基礎的な解析的特徴づけで与える。

ABSTRACT

A sequence of graphs is FO-convergent if the probability of satisfaction of every first-order formula converges. A graph modeling is a graph, whose domain is a standard probability space, with the property that every definable set is Borel. It was known that FO-convergent sequence of graphs do not always admit a modeling limit, and it was conjectured that this is the case if the graphs in the sequence are sufficiently sparse. Precisely, two conjectures were proposed: * If a FO-convergent sequence of graphs is residual, that is if for every integer $d$ the maximum relative size of a ball of radius $d$ in the graphs of the sequence tends to zero, then the sequence has a modeling limit. * A monotone class of graphs $\mathcal C$ has the property that every FO-convergent sequence of graphs from $\mathcal C$ has a modeling limit if and only if $\mathcal C$ is nowhere dense, that is if and only if for each integer $p$ there is $N(p)$ such that no graph in $\mathcal C$ contains the $p$th subdivision of a complete graph on $N(p)$ vertices as a subgraph.

研究の動機と目的

• 任意のFO収束する有限構造の残渣的列がモデル化極限をもつという予想を解決すること。
• 単調なグラフクラスがモデル化極限をもつのは、それがどこでもスパースである場合に限ることを証明すること。
• 一階論理とモデル化極限を用いて、どこでもスパース／どこでも密集の二分法を解析的に特徴づけること。
• 最小限の構造的仮定の下で、スパースグラフ列に対するモデル化極限の存在を確立すること。
• 構造的極限の枠組みを通じて、モデル理論、組合せ論、解析学の概念を統合すること。

提案手法

• 任意の固定半径の球の相対的サイズがゼロに近づくような残渣的列の概念を導入・分析する。
• 自動同型の下で不変な測度を持つボレル可測集合を備えた確率空間としてのモデル化極限の概念を用いる。
• モデル理論と記述的集合論の技法を用いて、FO収束列に対するモデル化極限を構成する。
• 極限構造における近傍制約を分析するために、強化された有限的質量輸送原理を用いる。
• どこでもスパースクラスと完全グラフの大きな部分分割の欠如との同値性を活用する。
• 有限モデル性および一階論理における定義可能性を用いて、モデル化極限の理論を特徴づける。

実験結果

リサーチクエスチョン

• RQ1 任意のFO収束する有限グラフの残渣的列は、モデル化極限をもつのか？
• RQ2 単調なグラフクラスにおいて、任意のFO収束列がモデル化極限をもつことは、そのクラスがどこでもスパースであることと同値なのか？
• RQ3 どこでもスパースグラフ列のモデル化極限において、強化された有限的質量輸送原理は保証されるのか？
• RQ4 モデル化の$τ$理論とその$τ(Q_m)$理論の関係は何か？
• RQ5 どのような条件下で、モデル化構造が有限グラフ列のFO極限となるのか？

主な発見

• 本稿は予想1を証明する：任意のFO収束する有限構造の残渣的列は、モデル化極限をもつ。
• 本稿は予想2を証明する：単調なグラフクラスがモデル化極限をもつのは、それがどこでもスパースである場合に限る。
• どこでもスパースクラスをモデル化極限を用いて特徴づけることで、どこでもスパース／どこでも密集の二分法に対する新たな解析的特徴づけが得られる。
• FO収束列から得られるどこでもスパースクラスのモデル化極限において、定義可能な集合に対して強化された有限的質量輸送原理が成り立つ。
• モデル化極限の理論は、一階論理式の満たされる確率によって完全に決定される。
• 木の深さが有界なグラフ列、木、パス幅が有界なグラフ列は、一般結果の特別な場合として、モデル化極限をもつ。