[論文レビュー] Infinite Domain Constraint Satisfaction Problem (Invited Talk)

Atserias, Albert, Ochremiak, Joanna|arXiv (Cornell University)|Oct 15, 2015

Constraint Satisfaction and Optimization参考文献 24被引用数 12

ひとこと要約

この論文は、古典的なHSP定理を、新しい「反射」構成と「h1クローン準同型写像」——高さ1の恒等式を捉える——を用いて、同型的同値とシングルトン加法を含むように拡張することで、無限領域制約充足問題（CSP）のための新しい代数的枠組みを導入する。主な貢献は、CSPの複雑さが高さ1の恒等式と多様体の均一性にのみ依存することを示すことであり、有限有界な均一構造の還元に関する新しい二分岐予想を提示する。

ABSTRACT

A fundamental fact for the algebraic theory of constraint satisfaction problems (CSPs) over a fixed template is that pp-interpretations between at most countable ω-categorical relational structures have two algebraic counterparts for their polymorphism clones: a semantic one via the standard algebraic operators H, S, P, and a syntactic one via clone homomorphisms (capturing identities). We provide a similar characterization which incorporates all relational constructions relevant for CSPs, that is, homomorphic equivalence and adding singletons to cores in addition to pp-interpretations. For the semantic part we introduce a new construction, called reflection, and for the syntactic part we find an appropriate weakening of clone homomorphisms, called h1 clone homomorphisms (capturing identities of height 1). As a consequence, the complexity of the CSP of an at most countable $ω$-categorical structure depends only on the identities of height 1 satisfied in its polymorphism clone as well as the the natural uniformity thereon. This allows us in turn to formulate a new elegant dichotomy conjecture for the CSPs of reducts of finitely bounded homogeneous structures. Finally, we reveal a close connection between h1 clone homomorphisms and the notion of compatibility with projections used in the study of the lattice of interpretability types of varieties.

研究の動機と目的

• 既存のクローン準同型枠組みが同型的同値とシングルトン加法を代数的に捉えていなかった有限および無限領域CSP理論における制限を解消すること。
• 古典的なHSP定理とpp-解釈対応を、新しい代数的構成「反射」としての同型的同値とコア拡張を含むように拡張すること。
• 可算なω-カテゴリー的構造上のCSPの複雑さが、高さ1の恒等式と多様体の均一性にのみ依存することを確立すること。
• h1クローン準同型写像に基づいて、有限有界な均一構造の還元のための、コアフリーの新しい二分岐予想を提示すること。
• h1クローン準同型写像と普遍代数における射影との整合性の間に深い関係があることを明らかにすること。

提案手法

• 同型的同値の意味的対応としての「反射」構成を導入し、E（拡張）、R（反射）、P（べき乗）を含むHSPフレームワークを一般化する。
• 「h1クローン準同型写像」を定義——標準的クローン準同型写像の弱体化で、高さ1の恒等式のみを保存する——これによりCSP還元の記法的特徴づけが可能になる。
• 構造BがAから同型的同値、pp-解釈、またはシングルトン加法によって得られるのは、BがE、R、Pに関してAの閉包にあるとき、あるいは同値に、AからBへのh1クローン準同型写像が存在するときである、と証明する。
• 「彩色」の概念を用いて、クローンが標的クローンへの準同型写像をもつときの特徴づけを行い、特にマルツェフ条件と合同関係の可換性に関連して述べる。
• 一様連続性とモデル完備コアを活用して、有限から無限のω-カテゴリー的構造への結果の拡張を図る。
• 一様連続なh1クローン準同型写像が射影クローン1へ存在することは、NP困難性を特徴づけ、新しい二分岐予想に至る。

実験結果

リサーチクエスチョン

• RQ1 古典的なHSP定理とクローン準同型枠組みは、CSP還元において同型的同値とシングルトン加法を含むように拡張可能か？
• RQ2 無限でω-カテゴリー的な構造上のCSPの複雑さは、その多様体のクローンにおける高さ1の恒等式にのみ依存するか？
• RQ3 h1クローン準同型写像に基づいて、有限有界な均一構造の還元のためのコアフリーの二分岐予想を提示可能か？
• RQ4 h1クローン準同型写像と普遍代数における射影との整合性の関係は何か？
• RQ5 射影クローン1への一様連続なh1クローン準同型写像の存在は、定数を追加した構造の拡張後に、連続なクローン準同型写像が存在することを示唆するか？

主な発見

• 論文は、構造BがAから同型的同値、pp-解釈、またはシングルトン加法によって得られるのは、AからBへのh1クローン準同型写像が存在するときである、と確立している。
• CSP(A)がNP完全であることは、構造Aの多様体クローンが射影クローン1へ一様連続なh1クローン準同型写像をもつことと同値である、と証明している。
• 多様体が高さ1の恒等式によって定義されるとき、その多様体のクローンから標的クローンへのクローン準同型写像の存在は、h1クローン準同型写像の存在によって示唆されることを示している。
• 多様体が合同関係n可換（またはモジュラー）であることは、そのクローンが({0,1}; ≤)の多様体クローンへの強いh1クローン準同型写像をもたないことと同値である、と明らかにした。
• 任意の高々可算なω-カテゴリー的構造Aとそのモデル完備コアBについて、AとBの間には両方向への一様連続なh1クローン準同型写像が存在することが示された。
• 結果から、古い tractability 予想（予想1.7）は新しいコアフリー二分岐予想（予想1.9）を含意するが、逆は未解決のままである。