[論文レビュー] All reducts of the random graph are model-complete

Manuel Bodirsky, Michael Pinsker|arXiv (Cornell University)|Mar 14, 2009

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

ひとこと要約

この論文は、ランダムグラフのすべての再定義がモデル完全であることを証明している。これは、すべての1階論理式がモデルの埋め込みに関して保存されることを意味する。ランダムグラフの自己同型群を含む局所的閉変換モノイドに対してラマヌジャン的技法を用い、著者たちはこれらのモノイドを分類し、ランダムグラフ内で1階論理的に定義可能なすべての構造がモデル完全であることを導出し、存在的定義可能性に関してより洗練された分類を提示している。

ABSTRACT

We study locally closed transformation monoids which contain the automorphism group of the random graph. We show that such a transformation monoid is locally generated by the permutations in the monoid, or contains a constant operation, or contains an operation that maps the random graph injectively to an induced subgraph which is a clique or an independent set. As a corollary, our techniques yield a new proof of Simon Thomas' classification of the five closed supergroups of the automorphism group of the random graph; our proof uses different Ramsey-theoretic tools than the one given by Thomas, and is perhaps more straightforward. Since the monoids under consideration are endomorphism monoids of relational structures definable in the random graph, we are able to draw several model-theoretic corollaries: One consequence of our result is that all structures with a first-order definition in the random graph are model-complete. Moreover, we obtain a classification of these structures up to existential interdefinability.

研究の動機と目的

• ランダムグラフの自己同型群を含む局所的閉変換モノイドを分類すること。
• ランダムグラフのすべての再定義がモデル完全であることを証明すること。これは強いモデル理論的性質である。
• シモン・トーマスによるランダムグラフの自己同型群の閉じた上位群の分類に対する、より直接的で新しい証明を提供すること。
• 存在的定義可能性に関して再定義を分類し、1階定義可能性の分類を洗練すること。
• 再定義のランダムグラフにおけるモノイド構造、自己準同型、制約充足問題の間の関係を調査すること。

提案手法

• ランダムグラフの自己同型群を含む局所的閉変換モノイドを、ラマヌジャン的技法を用いて分析する。
• ランダムグラフの有限分割における正規関数の概念を適用し、自己準同型の挙動を研究する。
• スイッチ操作（sw）と否定（−）を、特定の自己準同型の生成または除外に使用する主な道具とする。
• 局所的生成の概念を用いる：モノイドが局所的閉じているとは、任意の有限集合上である要素と一致する関数が常にモノイドに属することを意味する。
• ランダムグラフの拡張性質を用いて、有限部分構造上の埋め込みと自己準同型を構築・分析する。
• 置換群および自己準同型モノイドに関する結果を応用し、構造的二分法を導出する：モノイドはその置換で生成されているか、定数を含むか、または辺または非辺を削除する操作を含む。

実験結果

リサーチクエスチョン

• RQ1 ランダムグラフの自己同型群を含む可能な局所的閉変換モノイドは何か？
• RQ2 再定義の自己準同型モノイドが、その自己同型によって局所的に生成される条件は何か？
• RQ3 再定義がモデル完全でない場合、どのような構造的特徴がその原因となるか？
• RQ4 スイッチ（sw）と否定（−）の操作が、再定義の自己準同型モノイドの構造にどのように影響を与えるか？
• RQ5 再定義の文脈において、1階定義可能性と存在的定義可能性の関係は何か？

主な発見

• ランダムグラフのすべての再定義はモデル完全であり、これは、再定義の理論のモデル間の埋め込みが、すべての1階論理式を保存することを意味する。
• ランダムグラフの任意の再定義の自己準同型モノイドは、次のいずれかに該当する：その自己同型によって局所的に生成されている、定数関数を含む、またはすべての辺を削除するか、すべての非辺を削除するような単射自己準同型を含む。
• シモン・トーマスによるランダムグラフの自己同型群の5つの閉じた上位群の分類に対する、ラマヌジャン的道具を用いた新しい証明が得られた。
• 存在的定義可能性に関して再定義を分類する結果が得られ、従来の1階定義可能性の分類を洗練した。
• 結果から、再定義の制約充足問題（CSP）は存在的正の定義可能性に関して保存されることを示唆しており、複雑度分類の可能性が開かれる。
• 再定義がswと−を保存するがe_Nやe_Eを保存しない場合、その自己準同型はsw、−、およびランダムグラフの自己同型によって局所的に生成されているか、すべての置換を保存する（これはe_Nとe_Eを含むことを意味し、矛盾する）。