[Paper Review] Infinite Domain Constraint Satisfaction Problem (Invited Talk)

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

Constraint Satisfaction and Optimization24 references12 citations

TL;DR

This paper introduces a novel algebraic framework for infinite-domain constraint satisfaction problems (CSPs) by extending the classical HSP theorem to include homomorphic equivalence and singleton additions via a new 'reflection' construction and 'h1 clone homomorphisms'—which capture identities of height 1. The key contribution is a characterization showing that CSP complexity depends solely on height-1 identities and uniformity in polymorphism clones, leading to a new dichotomy conjecture for reducts of finitely bounded homogeneous structures.

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.

Motivation & Objective

• To resolve limitations in the finite and infinite-domain CSP theory where homomorphic equivalence and singleton additions were not algebraically captured by existing clone homomorphism frameworks.
• To extend the classical HSP theorem and pp-interpretation correspondence to include homomorphic equivalence and core expansion via a new algebraic construction called 'reflection'.
• To establish that the complexity of CSPs over countable ω-categorical structures depends only on height-1 identities and uniformity in polymorphism clones.
• To formulate a new, core-free dichotomy conjecture for CSPs of reducts of finitely bounded homogeneous structures based on h1 clone homomorphisms.
• To reveal a deep connection between h1 clone homomorphisms and compatibility with projections in universal algebra.

Proposed method

• Introduce the 'reflection' construction as a semantic counterpart to homomorphic equivalence, generalizing the HSP framework to include E (expansion), R (reflection), and P (powers).
• Define 'h1 clone homomorphisms'—a weakening of standard clone homomorphisms that preserve only identities of height 1, enabling a syntactic characterization of CSP reductions.
• Prove that a structure B is obtainable from A via homomorphic equivalence, pp-interpretation, or singleton addition if and only if B is in the closure of A under E, R, and P, or equivalently, if there exists an h1 clone homomorphism from A to B.
• Use the concept of 'colorings' to characterize when a clone admits a homomorphism to a target clone, particularly in relation to Maltsev conditions and congruence permutability.
• Leverage uniform continuity and model-complete cores to extend results from finite to infinite ω-categorical structures.
• Establish that the existence of a uniformly continuous h1 clone homomorphism to the projection clone 1 characterizes NP-hardness, leading to a new dichotomy conjecture.

Experimental results

Research questions

• RQ1 Can the classical HSP theorem and clone homomorphism framework be extended to include homomorphic equivalence and singleton additions in CSP reductions?
• RQ2 Is the complexity of CSPs over infinite, ω-categorical structures determined solely by height-1 identities in their polymorphism clones?
• RQ3 Can a core-free dichotomy conjecture be formulated for reducts of finitely bounded homogeneous structures based on h1 clone homomorphisms?
• RQ4 What is the relationship between h1 clone homomorphisms and compatibility with projections in universal algebra?
• RQ5 Does the existence of a uniformly continuous h1 clone homomorphism to the projection clone 1 imply the existence of a continuous clone homomorphism to 1 after expanding the structure with constants?

Key findings

• The paper establishes that a structure B is obtainable from A via homomorphic equivalence, pp-interpretation, or singleton addition if and only if there exists an h1 clone homomorphism from A to B.
• It proves that the polymorphism clone of a structure A admits a uniformly continuous h1 clone homomorphism to the projection clone 1 if and only if CSP(A) is NP-complete.
• The authors show that the existence of a clone homomorphism from a variety's clone to a target clone is implied by the existence of an h1 clone homomorphism when the variety is defined by height-1 identities.
• The paper reveals that a variety is congruence n-permutable (or modular) if and only if its clone does not admit a strong h1 clone homomorphism to the polymorphism clone of ({0,1}; ≤).
• It establishes that for any at most countable ω-categorical structure A and its model-complete core B, there exist uniformly continuous h1 clone homomorphisms in both directions between A and B.
• The results imply that the old tractability conjecture (Conjecture 1.7) implies the new core-free dichotomy conjecture (Conjecture 1.9), though the converse remains open.