[論文レビュー] Equations in oligomorphic clones and the Constraint Satisfaction Problem for $\omega$-categorical structures

Libor Barto, Michael Kompatscher+3 more|arXiv (Cornell University)|Dec 22, 2016

Advanced Topology and Set Theory参考文献 25被引用数 6

ひとこと要約

本稿は、$ω$-categorical構造における制約充足問題（CSP）の tractability に関する2つの主要な予想の同値性を確立する。1つは多様体のクレストに外挿埋め込みを用いた線形恒等式に基づくものであり、もう1つは非自明な線形恒等式と一様性に基づくものである。本稿は、オリゴモーフィッククレストにおける方程式が自己同型群の軌道成長を制御することを証明し、これにより2つの予想が同値であることを示す。また、本研究は新たな証明と応用を提供しており、特にモデル完備コアの存在に関する短いモノイドに基づく証明、および有理数順序、ランダムグラフ、ランダム半順序の再帰的再構成における tractable 再帰的再構成に対する非自明な恒等式の導出を含む。

ABSTRACT

There exist two conjectures for constraint satisfaction problems (CSPs) of reducts of finitely bounded homogeneous structures: the first one states that tractability of the CSP of such a structure is, when the structure is a model-complete core, equivalent to its polymorphism clone satisfying a certain non-trivial linear identity modulo outer embeddings. The second conjecture, challenging the approach via model-complete cores by reflections, states that tractability is equivalent to the linear identities (without outer embeddings) satisfied by its polymorphisms clone, together with the natural uniformity on it, being non-trivial. We prove that the identities satisfied in the polymorphism clone of a structure allow for conclusions about the orbit growth of its automorphism group, and apply this to show that the two conjectures are equivalent. We contrast this with a counterexample showing that $\omega$-categoricity alone is insufficient to imply the equivalence of the two conditions above in a model-complete core. Taking a different approach, we then show how the Ramsey property of a homogeneous structure can be utilized for obtaining a similar equivalence under different conditions. We then prove that any polymorphism of sufficiently large arity which is totally symmetric modulo outer embeddings of a finitely bounded structure can be turned into a non-trivial system of linear identities, and obtain non-trivial linear identities for all tractable cases of reducts of the rational order, the random graph, and the random poset. Finally, we provide a new and short proof, in the language of monoids, of the theorem stating that every $\omega$-categorical structure is homomorphically equivalent to a model-complete core.

研究の動機と目的

• 有限有界な同型的構造の再帰的再構成におけるCSP tractabilityに関する2つの予想の同値性を確立すること。
• 多様体のクレストにおける線形恒等式が、$ω$-categorical構造における自己同型群の軌道成長を制御することを示すこと。
• モノイド論的技法を用いて、$ω$-categorical構造におけるモデル完備コアの存在を新たな短い証明で示すこと。
• 外挿埋め込みをmoduloとして用いた十分に大きな全対称的多様体が、非自明な線形恒等式系を生じることを示すこと。
• 有理数順序、ランダムグラフ、ランダム半順序の再帰的再構成におけるすべての tractable ケースについて、具体的な非自明な恒等式を導出すること。

提案手法

• 多様体のクレストにおける線形恒等式と$ω$-categorical構造における自己同型群の軌道成長との関係を分析する。
• Fra€ıssé極限と閉じた変換モノイドを用いて、弱くオリゴモーフィックな構造からモデル完備コアを構成する。
• ラマージュ的技法を適用して、特に同型的構造において、異なる条件下での同値性を確立する。
• 関数クレストの反射の概念を導入し、構造とそのモデル完備コアとの関係を結ぶ。
• Siggers恒等式を外挿埋め込みをmoduloとして用いることで、tractabilityの鍵となる基準とし、非自明な線形恒等式と結びつける。
• モノイド論的技法を用いて、任意の$ω$-categorical構造がモデル完備コアとホモモーマルに同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 外挿埋め込みをmoduloとした恒等式に基づくCSP tractability予想と、一様な非自明な恒等式に基づく予想は、$ω$-categorical構造において同値であるか？
• RQ2 多様体のクレストにおける線形恒等式は、$ω$-categorical構造における自己同型群の軌道成長とどのように関係するか？
• RQ3 同型的構造のラマージュ的性質を用いて、異なる仮定のもとでの tractability 条件の同値性を導出できるか？
• RQ4 外挿埋め込みをmoduloとして用いた全対称的多様体が、非自明な線形恒等式系を生成する条件は何か？
• RQ5 有理数順序、ランダムグラフ、ランダム半順序の再帰的再構成におけるすべての tractable 再帰的再構成について、非自明な線形恒等式を導出できるか？

主な発見

• CSP tractabilityに関する2つの予想は同値であり、多様体のクレストにおける線形恒等式が自己同型群の軌道成長を制御するためである。
• 本稿は、モノイドの言語を用いた、すべての$ω$-categorical構造がモデル完備コアとホモモーフィックに同値であるという新たな短い証明を提供する。
• 外挿埋め込みをmoduloとして用いた十分に大きなアリティの全対称的多様体は、多様体クレストにおいて非自明な線形恒等式系を生じる。
• 有理数順序、ランダムグラフ、ランダム半順序の再帰的再構成におけるすべての tractable ケースについて、非自明な線形恒等式が成功裏に導出された。
• 最小な閉じた左イデアルを持つ変換モノイドから導かれるFra€ısséカテゴリのFra€ıssé極限を用いて、モデル完備コアを構成した。
• 弱くオリゴモーフィックな関数クレストの反射は、オリゴモーフィックなモデル完備コアに含まれるし、逆にその逆も成り立ち、CSP複雑度を保存する双対性が確立された。