[論文レビュー] Limits of Structures and the Example of Tree-Semilattices

Pierre Charbit, Lucas Hosseini+1 more|arXiv (Cornell University)|May 12, 2015

Advanced Topology and Set Theory参考文献 18被引用数 4

ひとこと要約

本稿は、$m$-部グラフのコグラフの極限を$QF$-収束を用いて完全に特徴づけ、その極限が非アトムな彩色付きボレル木-半順序集合の解釈にちょうど一致することを示している。主な貢献は、組合せ論における構造的極限と解析における可測モデルとの間に双対性を確立し、$m$-部グラフのコグラフから得られるランダムフリーのグラフンが、有限個の禁止部分グラフ $\mathcal{F}_m$ を誘導部分グラフとして含まないものにちょうど一致することを証明している。これは、木-半順序集合を通じて関数的構造へとグラフ極限理論を拡張し、極限対象の完全な代数的・位相的記述を提供する。

ABSTRACT

The notion of left convergent sequences of graphs introduced by Lov\' asz et al. (in relation with homomorphism densities for fixed patterns and Szemerédi's regularity lemma) got increasingly studied over the past $10$ years. Recently, Ne\v set\v ril and Ossona de Mendez introduced a general framework for convergence of sequences of structures. In particular, the authors introduced the notion of $QF$-convergence, which is a natural generalization of left-convergence. In this paper, we initiate study of $QF$-convergence for structures with functional symbols by focusing on the particular case of tree semi-lattices. We fully characterize the limit objects and give an application to the study of left convergence of $m$-partite cographs, a generalization of cographs.

研究の動機と目的

• 木-半順序集合の文脈において$QF$-収束を研究することで、グラフ極限理論を関数的構造へと拡張すること。
• 可測な代数的構造を用いて、左収束する$m$-部グラフのコグラフの極限対象を特徴づけること。
• ランダムフリーのグラフンと、有限個の誘導部分グラフ $\mathcal{F}_m$ を除外するボレルグラフとの間の対応関係を確立すること。
• 極限対象を、木-半順序集合およびその解釈の観点から、解析的ではなく構造的な記述で与えること。

提案手法

• 関数記号を含む構造、特に木-半順序集合に対して、左収束の一般化として$QF$-収束を導入すること。
• $\mu$ を葉上で一様で内部ノード上で零である重み付き彩色付き木-半順序集合$(\mathbf{T}, \mu)$を定義し、これは有限の$m$-部グラフのコグラフを表す。
• 各々の木-半順序集合を、頂点集合が$\operatorname{Supp}(\mu)$で、辺関係が量化子なし論理式$\Phi$によって定義されるボレルグラフ$(G, \nu)$に写像する解釈写像$\mathsf{I}(\mathbf{T}, \mu)$を構成すること。
• コンパクト性および超積の技法を用いて、有限の重み付き木-半順序集合の$QF$-極限を抽出し、極限対象として非アトムなボレル木-半順序集合を得ること。
• 任意の量化子なし論理式$\psi$に対して、$\langle \psi, \mathsf{I}(\mathbf{T}, \mu) \rangle$ が $\langle \psi^*, (\mathbf{T}, \mu) \rangle$ に等しいことを証明し、構造と解釈の間の一貫性を保証すること。
• $QF$-極限の$m$-部グラフのコグラフと、非アトムな彩色付きボレル木-半順序集合の解釈との間の全単射対応を確立すること。

実験結果

リサーチクエスチョン

• RQ1 左収束する$m$-部グラフのコグラフの極限対象は、$QF$-収束の枠組みにおいてどのように特定されるか？
• RQ2 $m$-部グラフのコグラフの列の極限は、代数的および可測な構造を用いてどのように表現できるか？
• RQ3 どのボレルグラフが$m$-部グラフのコグラフの$QF$-極限として現れ、どのような構造的性質を満たすか？
• RQ4 有限の$m$-部グラフのコグラフと、無限の非アトムな彩色付きボレル木-半順序集合との間に、極限において双対性が存在するか？
• RQ5 $m$-部グラフのコグラフから得られるランダムフリーのグラフンのクラスは、禁止誘導部分グラフによって完全に特徴づけられるか？

主な発見

• 左収束する任意の$m$-部グラフのコグラフの$QF$-極限は、すべての$\mathcal{F}_m$ に属する有限グラフを誘導部分グラフとして含まないボレルグラフである。
• すべての$m$-部グラフのコグラフの$QF$-極限は、同じ列の左極限であるランダムフリーのグラフンに（0-無視の意味で）同型である。
• 極限対象は、アトムを持たないボレル確率測度$\mu$を伴う非アトムな彩色付きボレル木-半順序集合$(\mathbf{T}, \mu)$の解釈$\mathsf{I}(\mathbf{T}, \mu)$にちょうど一致する。
• ボレルグラフが有限の$m$-部グラフのコグラフの列の$QF$-極限であるための必要十分条件は、すべての$\mathcal{F}_m$ に属するグラフを誘導部分グラフとして含まないことである。
• 任意の量化子なし論理式$\psi$に対して、極限グラフにおける満たされ確率は、木-半順序集合における導出論理式$\psi^*$ におけるものと等しく、極限構成の整合性が保証される。
• この特徴づけは、$m$-部グラフのコグラフのクラスがランダムフリーであることを示し、すべての極限対象がランダムフリーのグラフンによって表現可能であることを拡張する。