[Paper Review] The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems

Libor Barto, Michael Pinsker|arXiv (Cornell University)|Feb 13, 2016

Advanced Graph Theory Research22 references4 citations

TL;DR

This paper establishes an algebraic criterion for the tractability of Constraint Satisfaction Problems (CSPs) over infinite-domain $ω$-categorical core structures, proving that such CSPs are NP-complete if and only if the polymorphism clone of the structure satisfies a specific identity involving operations $\alpha$, $\beta$, and $s$. The key contribution is a characterization of NP-hardness via the failure of this identity, linking topological properties of stabilizers to algebraic identities in polymorphism clones.

ABSTRACT

We prove that an $ω$-categorical core structure primitively positively interprets all finite structures with parameters if and only if some stabilizer of its polymorphism clone has a homomorphism to the clone of projections, and that this happens if and only if its polymorphism clone does not contain operations $α$, $β$, $s$ satisfying the identity $αs(x,y,x,z,y,z) \approx βs(y,x,z,x,z,y)$. This establishes an algebraic criterion equivalent to the conjectured borderline between P and NP-complete CSPs over reducts of finitely bounded homogenous structures, and accomplishes one of the steps of a proposed strategy for reducing the infinite domain CSP dichotomy conjecture to the finite case. Our theorem is also of independent mathematical interest, characterizing a topological property of any $ω$-categorical core structure (the existence of a continuous homomorphism of a stabilizer of its polymorphism clone to the projections) in purely algebraic terms (the failure of an identity as above).

Motivation & Objective

• To establish a complete algebraic criterion for the computational complexity of CSPs over infinite-domain $ω$-categorical core structures.
• To resolve a key step in reducing the infinite-domain CSP dichotomy conjecture to the finite case.
• To characterize when a polymorphism clone of an $ω$-categorical core structure admits a continuous homomorphism to the clone of projections.
• To provide a purely algebraic condition equivalent to topological properties in the context of infinite-domain CSPs.

Proposed method

• The authors analyze the polymorphism clone of an $ω$-categorical core structure and its stabilizers under automorphisms.
• They introduce and analyze the identity $\alpha s(x,y,x,z,y,z) \approx \beta s(y,x,z,x,z,y)$ as a key algebraic obstruction to tractability.
• They use model-theoretic tools such as $ω$-categoricity and homomorphic equivalence to reduce the problem to core structures.
• They apply topological methods, particularly continuous and uniformly continuous clone homomorphisms, to link algebraic structure to complexity.
• They prove that the existence of a continuous clone homomorphism from a stabilizer to the clone of projections is equivalent to the failure of the identity.
• They relate this to broader conjectures in CSP theory, including the new dichotomy conjecture involving h1 clone homomorphisms.

Experimental results

Research questions

• RQ1 Under what algebraic conditions is the CSP over an $ω$-categorical core structure NP-complete?
• RQ2 When does the polymorphism clone of such a structure admit a continuous homomorphism to the clone of projections?
• RQ3 How is the failure of the identity $\alpha s(x,y,x,z,y,z) \approx \beta s(y,x,z,x,z,y)$ related to NP-hardness in infinite-domain CSPs?
• RQ4 Can the topological property of having a continuous homomorphism to the projections be characterized purely algebraically?
• RQ5 What is the relationship between the existence of a clone homomorphism to the projections and the broader dichotomy conjectures in infinite-domain CSPs?

Key findings

• The CSP over an $ω$-categorical core structure is NP-complete if and only if its polymorphism clone contains operations $\alpha$, $\beta$, and $s$ satisfying the identity $\alpha s(x,y,x,z,y,z) \approx \beta s(y,x,z,x,z,y)$.
• The existence of a continuous homomorphism from a stabilizer of the polymorphism clone to the clone of projections is equivalent to the failure of this identity.
• The result provides a purely algebraic characterization of a topological property (continuous homomorphism to projections) in terms of the non-existence of a specific identity.
• The characterization holds for all $ω$-categorical core structures, not just reducts of finitely bounded homogeneous structures.
• The result supports the broader conjecture that the absence of a uniformly continuous h1 clone homomorphism to the projections implies polynomial-time solvability of the CSP.
• The paper shows that the implication from (2) to (3) in the hierarchy of clone homomorphism conditions cannot be reversed, even in the finite case, highlighting the strength of the new criterion.