Advertisement

The Number of Clones Determined by Disjunctions of Unary Relations

  • Mike BehrischEmail author
  • Edith Vargas-García
  • Dmitriy Zhuk
Open Access
Article

Abstract

We consider finitary relations (also known as crosses) that are definable via finite disjunctions of unary relations, i.e. subsets, taken from a fixed finite parameter set Γ. We prove that whenever Γ contains at least one non-empty relation distinct from the full carrier set, there is a countably infinite number of polymorphism clones determined by relations that are disjunctively definable from Γ. Finally, we extend our result to finitely related polymorphism clones and countably infinite sets Γ. These results address an open problem raised in Creignou, N., et al. Theory Comput. Syst. 42(2), 239–255 (2008), which is connected to the complexity analysis of the satisfiability problem of certain multiple-valued logics studied in Hähnle, R. Proc. 31st ISMVL 2001, 137–146 (2001).

Keywords

Clone Disjunctive definition Unary relation Cross Clausal constraint Signed logic 

1 Introduction

Constraint Satisfaction Problems (CSPs) offer a uniform framework to study algorithmic problems. In one of the simplest forms one is given a conjunctive formula over some chosen parameter set of finitary relations Q and is asked to decide whether the formula is satisfiable. Even in this basic manifestation many important problems can be encoded as CSPs, for instance, graph k-colourability, unrestricted Boolean satisfiability (SAT), Boolean 3-satisfiability (3-SAT) and further variants of this problem, solvability of sudokus, the n-queens problem, more generally the exact cover problem, and many others.

There is an active stream of research producing results regarding the decision complexity of CSPs and its variants, using various approaches [2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 15, 16, 17, 19, 25, 28, 30, 34]. Moreover, recently there have been credible claims regarding the solution [14, 40, 41] of Feder and Vardi’s famous CSP dichotomy conjecture [22] stating that any CSP on a finite set can either be decided in polynomial time (is tractable) or is NP-complete, otherwise.

A more algebraic formulation of a CSP is given by fixing a relational structure \(\mathbb {A}\) of finite signature on a finite set A with set of basic relations Q. The question to decide is, for any finite relational structure \(\mathbb {B}\) of the same signature as \(\mathbb {A}\), whether there is a homomorphism from \(\mathbb {B}\) to \(\mathbb {A}\). A basic reduction result attributed to Jeavons [26] implies that any two CSPs on the same carrier set A parametrized by finite sets of relations Q1 and Q2 sharing the same polymorphism clone (see Section 2) have the same complexity behaviour (up to polynomial time many-one reductions). This means, as far as their complexity is concerned, it is not necessary to examine more CSPs than there are finitely related clones on a given set.

Creignou et al. [18] studied CSPs involving so-called clausal constraints over totally ordered finite domains. Their problem can be understood within the previously introduced CSP paradigm as a CSP given by a finite set of relations of the form
$$\left\{(x_{1},\ldots,x_{p},y_{1},\ldots,y_{q})\mid x_{1}\geq a_{1} \lor \dotsm \lor x_{p}\geq a_{p} \lor y_{1}\leq b_{1}\lor\dotsm\lor y_{q}\leq b_{q}\right\}. $$

These are called clausal relations (over chains) and have been studied more extensively in [10, 11, 37, 38, 39].

One of the main motivations for the CSPs studied in [18] comes from many-valued logic, more precisely, from regular signed logic over totally ordered finite sets of truth values, as described in [23, 24]. In fact, the satisfiability problem associated with regular signed conjunctive normal form formulae over chains can be expressed as a CSP over clausal relations (or with respect to clausal constraints). In [18] a complete classification of complexity was achieved in terms of the involved clausal patterns, establishing a dichotomy between tractability and NP-completeness. The authors left open the problem to algebraically describe all CSPs on the same domain whose complexity is equivalent to one of their problems via Jeavons’s reduction, with particular focus on the tractable cases. This problem is in fact asking for a description of all clones (with tractable CSP) associated with clausal relations, called clausal clones in [37]. Since there is a continuum of clones on finite, at least three-element sets, a first necessary step to ensure the feasibility of answering such a question is to determine the cardinality of the lattice of all clausal clones, which is another open problem from [38], see also [11, Section 1].

We address the open problem from [18] by answering this feasibility question in the affirmative way. It turns out that solving this problem is less convoluted when generalizing from clausal relations to relations defined as disjunctions over arbitrary subsets, not just upsets or downsets of finite total orders. In this way, for finite carrier sets, we include in particular all signed logics discussed in [24]: general regular signed logic with respect to any order, monosigned logic and full signed logic. Moreover, relations defined via disjunctions of unary relations have seen applications in general algebra for more than three decades, see, e.g., [36]. If n is the arity of such a relation, it is also known under the term n-dimensional cross [27, 32]. When the unary relations of a cross are subuniverses of a given algebra, crosses have recently become prominent as a means to characterize the non-existence of n-dimensional cube terms in idempotent varieties [27]. Symmetric crosses, i.e., disjunctions of only one non-trivial subuniverse, have appeared earlier as so-called cube term blockers [29].

Our main result is that for any finite non-trivial set of unary relations Γ on any carrier set, there are exactly 0-many polymorphism clones determined by relations that are disjunctively definable over Γ (i.e., by crosses over Γ).

We achieve this theorem by relating the number of such clones to the number of downsets of a certain order on finite powers of the natural numbers. The latter can be bounded above by 0 using Dickson’s Lemma. Finally, we prove that our bound is tight by exhibiting an infinite chain of clones whenever the parameter set Γ contains a non-empty relation γ distinct from the full domain. As a by-product we even obtain a better understanding of the ordered set of all polymorphism clones of crosses over Γ.

On a concluding note, we observe that our result extends to non-trivial countably infinite sets of unary relations Γ, when one is only interested in polymorphism clones of finite subsets of disjunctively definable relations over Γ.

The sections of this paper should be read in consecutive order. The following one introduces some notation and prepares basic definitions and facts concerning clone and order theory. Section 3 links polymorphism clones of relations being disjunctively definable over unary relations with downsets of a poset on \(\mathbb {N}^{I}\), and the final section concludes the task by counting these and deriving our results.

2 Preliminaries

2.1 Sets, Functions and Relations

We write \(\mathbb {N}=\{0,1,2,\dotsc \}\) for the set of natural numbers and use \(\mathbb {N}_{+}\) for \(\mathbb {N}\setminus \{0\}\). Inclusion between sets A and B is denoted by AB, as opposed to proper inclusion AB or \(A\subsetneq B\). The powerset \({\mathfrak {P}(A)}\) is the set of all subsets of A; \({{\mathfrak {P}_{\text {fin}}(A)}}\) the set of all finite subsets of A. The cardinality of A is written as |A| and we say that A is countable if |A|≤0. It is convenient for us to use John von Neumann’s model of \(\mathbb {N}\) where each \(n\in \mathbb {N}\) is the set n = {0,…,n − 1}. If f : AB and g: BC are functions, their composition is the map gf : AC given by gf(a) = g(f(a)) for all aA. Moreover, if UA and VB, we write f[U] for the image{f(u)∣uU} of U under f and f− 1[V ] for the preimage {aAf(a) ∈ V } of V with respect to f. The image of f is denoted by imf := f[A]; the kernel of f, denoted by kerf, is the equivalence relation {(a1, a2) ∈ A2f(a1) = f(a2)}. Clearly, every member f(a) of the image of f is in one-to-one correspondence with the kernel class [a]ker f, i.e., we have a bijection between imf and the factor set A/kerf of all equivalence classes by the kernel of f. We shall denote this fact also by imfA/kerf.

If I and A are sets, the direct (Cartesian) power AI is the set of all maps f : IA. This is also true for finite powers, i.e. An where \(n\in \mathbb {N}\): we understand n-tuples over A as maps from n to A; in particular all notions defined for maps, such as composition, image, preimage, kernel also make sense for tuples. Formally, an n-tuple xAn is given as x = (x(0),…,x(n − 1)), however, if no confusion is to be expected, we shall also refer to the entries of a tuple by some other indexing, e.g. x = (x1,…,xn) or x = (a, b, c) etc. Moreover, an n-ary relation on A is just any subset ρAn of n-tuples; an n-ary operation on A is any function f : AnA. We collect all finitary (excluding nullary) operations on A in the set \(\mathcal {O}_A=\bigcup _{n\in \mathbb {N}_{+}}A^{A^n}\). Multi-ary functions f : BnC and g1,…,gn: AmB can be composed in the following way: putting f ∘ (g1,…,gn)(a) := f(g1(a),…,gn(a)) for every aAm defines a function f ∘ (g1,…,gn): AmC. This works for functions and tuples, too. Namely, we say that an n-ary function f preserves an m-ary relation ρAm and write fρ if for all (r1,…,rn) ∈ ρn we have f ∘ (r1,…,rn) ∈ ρ. Then for a set \(Q{\subseteq }\bigcup _{m\in \mathbb {N}_{+}}{{\mathfrak {P}(A^{m})}}\) of finitary relations on A, we define the set F = PolAQ of all polymorphisms of Q to be \(\{f\in \mathcal {O}_{A}\mid {\forall {\rho }\in Q\colon f{\rhd } {\rho }}\}\). This set of operations forms a clone on A, i.e., it is closed under composition (viz. f ∘ (g1,…,gn) ∈ F whenever fF is n-ary and g1,…,gnF are m-ary) and contains all projections \({{e_{i}^{(n)}\colon A^{n} \longrightarrow A}}, 0\leq i< n, n\in \mathbb {N}_{+}\), given by \(e_{i}^{(n)}(x_{0},\ldots ,x_{n-1}) = x_{i}\) for each tuple (x0,…,xn− 1) ∈ An. A clone on A is finitely related if it can be obtained as PolAQ for a finite set Q of finitary relations. More information on the importance of finitely related clones in the context of CSP can be found in [8].

Note that the preservation relation ▹ between finitary operations and relations, and the Galois correspondence induced by it, is fundamental for the study of clones on finite sets [33, 35]. In point of fact, this paper is concerned with counting the number of Galois closed sets for a variant of this Galois correspondence where the relational side is restricted to a certain subset DD(Γ) to be defined in Section 3. For more background information and basic facts concerning Galois connections in general, see [20, p. 155 et seqq.].

2.2 Ordered Sets

If \(\mathbb {P} = (P, \leq )\) is a partially ordered set (poset), i.e. ≤ is a binary reflexive, antisymmetric and transitive relation on P, then a subset XP is said to be a downset of \(\mathbb {P}\) (occasionally called order ideal), if it is closed w.r.t. taking lower bounds. This means that with every member xX the principal downset \(\downarrow _{\mathbb {P}}\!\!\{x\}\!\!:=\{y \in {P} \mid \) yx} generated by x is a subset of X. We denote the set of all downsets of \(\mathbb {P}\) by \(\text {DS}(\mathbb {P})\).

It is easy to see that \(\text {DS} (\mathbb {P})\) forms a closure system on P, the associated closure operator maps any set YP to its closure under lower bounds \(\downarrow _{\mathbb {P}}\!Y \colon \!\!\!\! = \bigcup _{y\in Y} \downarrow _{\mathbb {P}}\!\{y\}\), that is, {zP∣∃yY : zy}, the least downset of \(\mathbb {P}\) containing Y. This set is also referred to as downset generated by Y. Clearly, a set YP is a downset if and only if \(\downarrow _{\mathbb {P}}{Y} = Y\).

The dual notion of a downset is that of an upset (order filter), which is a subset XP of a poset \(\mathbb {P} = \left ({P}, \leq \right )\) that is closed under upper bounds. Again the collection \(\text {US}(\mathbb {P})\) of all upsets of \(\mathbb {P}\) forms a closure system and the corresponding closure operator \({\uparrow _{\mathbb {P}}}\) is given by adding all upper bounds. Obviously, complementation establishes a one-to-one correspondence between \(\text {DS}\left (\mathbb {P}\right )\) and \(\text {US}(\mathbb {P})\).

A (homo)morphism from a poset \(\mathbb {P}\) to \(\mathbb {Q}\) is any monotone map h: PQ, i.e. one being compatible with the respective order relations. A morphism \(h \colon \mathbb {P}\longrightarrow \mathbb {Q}\) is a retraction if there exists a homomorphism \(\tilde {h} \colon \mathbb {Q} \longrightarrow \mathbb {P}\) that is a right-inverse to h, i.e., satisfies \(h\circ \tilde {h}= \text {id}_{\mathbb {Q}}\). An isomorphism between posets \(\mathbb {P}\) and \(\mathbb {Q}\) is a retraction \(h\colon \mathbb {P} \longrightarrow \mathbb {Q}\) that also has a left-inverse, i.e. any order preserving and order reflecting bijection.

Without proof we present the following basic lemmas.

Lemma 1

If \(h\colon \mathbb {P} \longrightarrow \mathbb {Q}\) is a homomorphism between posets \(\mathbb {P}\) and \(\mathbb {Q}\) and a subset \(Y\in \text {DS}\left (\mathbb {Q}\right )\) is a downset, then so is the preimage \(h^{-1}[Y] \in \text {DS}\left (\mathbb {P}\right )\).

Lemma 2

If \(h\colon \mathbb {P} \longrightarrow \mathbb {Q}\) is an isomorphism between posets \(\mathbb {P}\) and \(\mathbb {Q}\), then the map \(H\colon \text {DS}\left (\mathbb {P}\right ) \longrightarrow \text {DS}\left (\mathbb {Q}\right )\) given by H(X) := h[X] is a bijection. In particular we have \(\lvert \text {DS}\left (\mathbb {P}\right )\rvert =\lvert \text {DS}\left (\mathbb {Q}\right )\rvert \).

If \(\mathbb {P} = \left ({P}, \leq \right )\) is a poset and YP is a subset, then \(\leq \upharpoonright _{Y} := \leq \cap (Y \times Y)\) denotes the restricted order relation, i.e. the order of the subposet \(\mathbb {Y} = \left (Y, \leq \upharpoonright _{Y}\right )\) of \(\mathbb {P}\) induced by Y.

Lemma 3

If \(\mathbb {P}\) is a poset and \(X,Y\in \text {DS}\left (\mathbb {P}\right )\), then \(X\cap Y\in \text {DS}\left (\mathbb {Y}\right )\) for \(\mathbb {Y} = \left (Y, \leq \upharpoonright _{Y}\right )\).

Next, we consider a special order on powers of \(\mathbb {N}\). For any set I we denote the order of \((\mathbb {N}, \leq )^{I}\), which is given by ordering I-tuples by ≤ pointwise, also by ≤. For any element \(x\in \mathbb {N}^{I}\), we refer by its support to the set supp(x) := {iIx(i)≠ 0}, i.e. the preimage \(x^{-1}[\mathbb {N}\setminus \{0\}]\). Relating two elements \(x,y\in \mathbb {N}^{I}\) if supp(x) contains supp(y) defines a quasiorder on \(\mathbb {N}^{I}\), i.e. a reflexive and transitive binary relation. Intersecting this quasiorder with the pointwise order ≤, we obtain the poset \(\mathbb {P} = \left (\mathbb {N}^{I}, \sqsubseteq \right )\), where \(x \sqsubseteq y\) holds for \(x,y\in \mathbb {N}^{I}\) exactly if xy and supp(y) ⊆supp(x). If \(x \sqsubseteq y\) then for every i ∈supp(x) we have 0 < x(i) ≤ y(i), i.e. i ∈supp(y). Hence, the condition \(x\sqsubseteq y\) is equivalent to xy and supp(x) = supp(y).

In the following sections, we shall be interested in the downsets of the poset \(\left (\mathbb {N}^{I},\sqsubseteq \right )\), mostly for finite I. In order to count these we need information about the number of downsets of finite powers of \((\mathbb {N},\leq )\), which is a consequence of Dickson’s Lemma [21]. The original formulation [21, Lemma A, p. 414] is a statement about polynomials in a finite number of indeterminates; the variant we need here states that \((\mathbb {N},\leq )^{I}\) is a so-called well-partial order (see e.g. [1, Definition 5.4.3, p. 113]) and can, for instance, be found in [31, p. 50].

Lemma 4 (Dickson’s Lemma)

The poset \((\mathbb {N}, \leq )^{I}\) is a well-partial order, that is, for every sequence of tuples \((x_{i})_{i\in \mathbb {N}}\in (\mathbb {N}^{I})^{\mathbb {N}}\) there exist indices i < j such that xixj.

This statement implies that \((\mathbb {N},\leq )^{I}\) has a countably infinite number of downsets whenever I is a finite non-empty set.

Lemma 5

We have \(\bigl \lvert \text {DS}\left ((\mathbb {N},\leq )^{I}\right )\bigr \rvert =\aleph _{0}\) for all finite I.

Proof

Let \(\mathbb {P}:= (\mathbb {N},\leq )^{I}\). Complementation bijectively maps downsets of \(\mathbb {P}\) to upsets and vice versa. Hence, consider any \(F\in \text {US}(\mathbb {P})\); its set of minimal elements M(F) certainly forms an anti-chain, so by the contrapositive of Lemma 4, the subset \(M(F)\subseteq \mathbb {N}^{I}\) must be finite. Moreover, since \((\mathbb {N},\leq )^{I}\) does not have any infinite (strictly) descending chains, every element xF satisfies mx for some mM(F). In other words, we have \(F = \uparrow _{\mathbb {P}}M(F)\), showing that the map \(M\colon \text {US}(\mathbb {P})\longrightarrow {\mathfrak {P}_{\text {fin}}(\mathbb {N}^{I})}\) is injective. Finally, the set \({\mathfrak {P}_{\text {fin}}(\mathbb {N}^{I})}\) of all finite subsets of \(\mathbb {N}^{I}\) is countably infinite for \(\mathbb {N}\) is. So we have \(\lvert \text {DS}\left (\mathbb {P}\right )\rvert =\lvert \text {US}(\mathbb {P})\rvert \)0.

For the converse it suffices to exhibit an infinite subset of \(\text {DS}\left (\mathbb {P}\right )\), for instance, infinitely many principal downsets \(\{\downarrow _{\mathbb {P}}\{(n,\dotsc ,n)\} | n\in \mathbb {N}\}\). □

3 Clones Determined by Disjunctions of Unary Predicates

We are interested in clones that are determined by relations that are disjunctively definable by unary predicates. Throughout our whole study we shall fix a (mostly finite) parameter set Γ of unary relations on a given carrier set A that we call (unary) relational language. If \(n\in \mathbb {N}_{+}\) and (γ1,…,γn) ∈Γn is any n-tuple of basic relations from Γ, the n-ary relation \(\rho = R(\gamma _{1},\ldots ,\gamma _{n}) =\left \{({x_{1},\ldots ,x_{n}})\in A^{n}\left | \bigvee _{1\leq i\leq n} x_i\in \gamma _{i}\right .\right \}\) is said to be disjunctively definable from Γ. Relations constructed in this way have been denoted as Cross(γ1,…,γn) in [27, 32]. The set DD(Γ) consists exactly of all relations definable in this manner. Note that DD() = since we consider only non-empty disjunctions, i.e., disjunctively definable relations of positive arity.

We quickly observe that R(γ1,…,γn) = An holds if and only if at least one of the relations γ1,…,γn equals the full set A. Namely, if for every i ∈{1,…,n} the basic unary relation \(\gamma _{i} \subsetneq A\) is proper, and xiAγi, then (x1,…,xn)∉R(γ1,…,γn), so \(R(\gamma _{1},\ldots ,\gamma _{n})\subsetneq A^{n}\). Also, note that R(γ1,…,γn) = if and only if γ1 = ⋯ = γn = .

It is useful to see that the basic unary relations defining some n-ary relation ρ ∈DD(Γ) can be uniquely reconstructed from ρ in every interesting case, i.e. whenever ρAn.

Lemma 6

The parameter reconstruction map
$$\begin{array}{cccc} p\colon & {\text{DD}({\Gamma})}& \longrightarrow & \bigcup_{n\in\mathbb{N}_{+}}{\Gamma}^{n} \\ &\rho={{R}({\gamma_{1},\ldots,\gamma_{n}})} & \longmapsto & \displaystyle \left\{\begin{array}{llll} ({\gamma_{1},\ldots,\gamma_{n}}) & \text{ if } \rho\subsetneq A^{n} \\ (A,\dotsc,A) & \text{ else,} \end{array}\right. \end{array} $$
is well-defined.

Proof

By definition of DD(Γ) every disjunctively definable relation ρ has a parameter representation ρ = R(γ1,…,γn). We need to prove that the latter is unique, whenever ρAn. For this consider parameters \((\gamma _{1},\ldots ,\gamma _{n}), (\gamma ^{\prime }_{1},\ldots ,\gamma ^{\prime }_{n})\in {\Gamma }^{n}\) such that \(R(\gamma _{1},\ldots ,\gamma _{n}) = R(\gamma ^{\prime }_{1},\ldots ,\gamma ^{\prime }_{n})\subsetneq A^{n}\). We now show that \(\gamma _{i}=\gamma ^{\prime }_{i}\) holds for every i ∈{1,…,n}. Since our assumption is symmetric, it suffices to fix i ∈{1,…,n} and to prove that \(\gamma _{i}\subseteq \gamma ^{\prime }_{i}\). Because \(\rho ={R}(\gamma ^{\prime }_{1},\ldots ,\gamma ^{\prime }_{n})\neq A^{n}\), we have \(\gamma ^{\prime }_{j}\subsetneq A\) for all j ∈{1,…,n} and so we can pick \(x_j\in A\setminus \gamma ^{\prime }_j\) for ji. If now xiγi, our assumption entails \((x_{1},\ldots ,x_{n})\in {R}(\gamma _{1},\ldots ,\gamma _{n}) = R(\gamma ^{\prime }_{1},\ldots ,\gamma ^{\prime }_{n})\). By the choice of the xj for all ji, we must have \(x_i\in \gamma ^{\prime }_{i}\), proving \(\gamma _{i}\subseteq \gamma ^{\prime }_{i}\). □

It is an obvious consequence of the preceding lemma that the parameter reconstruction map provides a one-sided inverse to the construction of relations from unary predicates. That is to say, we have R(p(ρ)) = ρ for all ρ ∈DD(Γ). This inverse is uniquely determined for the non-trivial relations ρ, and it chooses a canonical representative of all possible parametrizations when ρ is a full power of A.

Based on the parameter reconstruction p from Lemma 6, we can define the pattern of a disjunctively definable relation. Intuitively it counts how often each γ ∈Γ occurs in the parameter tuple p(ρ). More formally, for ρ ∈DD(Γ) with reconstructed parameters p(ρ) = (γ1,…,γn), i.e. ρ = R(γ1,…,γn), the tuple \(\text {pt}(\rho )\in \mathbb {N}^{\Gamma }\) maps every γ ∈Γ to pt(ρ)(γ) := |p(ρ)− 1[{γ}]| where for both the parameter tuple p(ρ) ∈Γn and the pattern \(\text {pt}(\rho )\in \mathbb {N}^{\Gamma }\) we make use of the ambiguous interpretation as a tuple and as a map. Note that the length of the parameter tuple p(ρ) depends on the arity of ρ, while the length of the pattern only depends on |Γ|, which is usually finite (at least pt(ρ) has finite support in Γ) and normally not varying for our considerations. The pattern of a disjunctively definable relation roughly carries the same information as clausal patterns [18, Section 2] do for clausal relations; however, since we are dealing with a more generic situation, the notion of clausal pattern had to be adapted and generalized.

Next we study how the polymorphism clone of a disjunctively definable relation ρ over Γ changes when duplicating one of its unary parameter relations. Since polymorphism clones are not affected by variable permutations of their defining relations, we can restrict our attention to duplicating the first parameter of ρ ∈DD(Γ). Letting p(ρ) = (γ1,…,γn), such a duplication apparently increases the pattern of ρ = R(γ1,…,γn) in precisely one place, while preserving all the other values:
$$ \text{pt}(R(\gamma_{1},\gamma_{1},\ldots,\gamma_{n}))(\gamma) = \left\{ \begin{array}{ll} \text{pt}(R(\gamma_{1},\ldots,\gamma_{n}))(\gamma)+ 1 & \text{if } \gamma=\gamma_{1}, \\ \text{pt}(R(\gamma_{1},\ldots,\gamma_{n}))(\gamma) & \text{otherwise.} (\dagger) \end{array} \right. $$

Lemma 7

For arbitrary unary relations γ1,…,γnA we have
$$\text{Pol}_{A}\{R(\gamma_{1},\gamma_{1},\ldots,\gamma_{n})\} \subseteq\text{Pol}_{A}\{R(\gamma_{1},\ldots,\gamma_{n})\}. $$

Proof

Let \(k\in \mathbb {N}\) and f ∈PolA{R(γ1, γ1,…,γn)} be a k-ary polymorphism, and consider r1,…,rkR(γ1,…,γn). Let sjAn+ 1 arise from rj by duplicating the first entry of the tuple (for each j ∈{1,…,k}). Then, clearly, s1,…,skR(γ1, γ1,…,γn), thus x := f ∘ (s1,…,sk) ∈ R(γ1, γ1,…,γn) as f preserves R(γ1, γ1,…,γn). Since the first and second entry of x are identical and the last n entries of x coincide with y := f ∘ (r1,…,rk), we obtain yR(γ1,…,γn). Therefore, we have demonstrated that f ∈PolA{R(γ1,…,γn)}. □

Since the preservation property remains unaffected by variable permutations of relations, we have the following immediate corollary.

Corollary 8

If ρ, ρ ∈ DD(Γ) are such that ρ arises from ρ by a finite number of applications of the operations of duplicating some parameters and of rearranging the order of parameters, then PolA{ρ}⊆PolA{ρ}.

Observe that if ρ arises from ρ ∈DD(Γ) as described in the previous corollary, then pt(ρ) ≤pt(ρ) holds with respect to the pointwise order of tuples. The increases occur exactly in the places where parameter relations have been duplicated. The only exception to this is the case when ρ is a full power of A, where we may duplicate some (non-canonical) parameter relation γ1A, but observe an increase of pt(ρ)(A). This issue does not occur if we only duplicate canonical parameters as computed by p(ρ).

Moreover, in this process, no new basic unary relations can be introduced for ρ that have not already been present as parameters of ρ. This means, if pt(ρ)(γ) = 0 for some γ ∈Γ, the same must be true for pt(ρ)(γ). In other words, we have that supp(pt(ρ)) ⊆supp(pt(ρ)). Combining the previous observations we conclude that \(\text {pt}(\rho ) \sqsubseteq \text {pt}(\rho ^{\prime })\) must be satisfied when transmuting ρρ.

In fact the converse is also true, which is the reason for the following crucial lemma, relating the order \(\sqsubseteq \) on patterns of disjunctively definable relations and the inclusion of their corresponding polymorphism clones. Note that, as Corollary 8, this lemma does not really depend on the finiteness of Γ, it only depends on the fact that the supports supp(pt(ρ)),supp(pt(ρ)) ⊆Γ are finite.

Lemma 9

For ρ, ρ ∈ DD(Γ) satisfying \(\text {pt}(\rho )\sqsubseteq \text {pt}(\rho ^{\prime })\) we have the dual inclusion PolA{ρ}⊆PolA{ρ}.

Proof

If ρ, ρ ∈ DD(Γ) are such that \(\text {pt}(\rho )\sqsubseteq \text {pt}(\rho ^{\prime })\), then by verifying that the assumptions of Corollary 8 are fulfilled, we see that PolA{ρ}⊆PolA{ρ}. In more detail, from \(\text {pt}({\rho })\sqsubseteq \text {pt}(\rho ^{\prime })\) we get that supp(pt(ρ)) = supp(pt(ρ)), so in the parameter tuples p(ρ) and p(ρ) the same relations from Γ occur. Since pt(ρ) ≤pt(ρ), those that are actually present, occur possibly a few more times in the pattern of ρ than in that of ρ and are perhaps associated with different coordinates in ρ and ρ. However this means exactly that ρ can be obtained from ρ by duplicating and permuting parameters in a finite number of steps (since supp(pt(ρ)) = supp(pt(ρ)) is finite). □

Now, finally, in order to bound the number of polymorphism clones given by sets Q of relations that are disjunctively definable from Γ, we associate with each such set a downset of \(\left (\mathbb {N}^{\Gamma },\sqsubseteq \right )\), namely the downset generated by the associated patterns. More formally, we define the encoding
$$\begin{array}{cccc} I\colon & \mathfrak{P}(\text{DD}({\Gamma})) & \longrightarrow & \text{DS}\left( \mathbb{N}^{\Gamma},\sqsubseteq\right)\\ & Q & \longmapsto & \downarrow_{\left( \mathbb{N}^{\Gamma},\sqsubseteq\right)}\text{pt}[Q] =\bigcup\limits_{\rho\in Q}\downarrow_{\left( \mathbb{N}^{\Gamma},\sqsubseteq \right)}\mathopen{}{\text{pt}(\rho)}. \end{array} $$

With the help of Lemma 9 we can now prove the following relationship:

Proposition 10

For Q1, Q2 ⊆ DD(Γ) satisfying I(Q1) ⊆ I(Q2) we have the inclusion PolAQ2 ⊆PolAQ1.

Proof

For Q1, Q2 ⊆ DD(Γ) assume I(Q1) ⊆ I(Q2). Let f ∈PolAQ2 and ρQ1 be chosen arbitrarily. Abbreviating \(\mathbb {P}:= \left (\mathbb {N}^{\Gamma },\sqsubseteq \right )\), we have
$$\text{pt}(\rho)\in \downarrow_{\mathbb{P}}\text{pt}[Q_{1}] = I(Q_{1}) \subseteq I(Q_{2}) = \downarrow_{\mathbb{P}}\text{pt}[Q_{2}] =\bigcup_{\rho^{\prime}\in Q_{2}} \downarrow_{\mathbb{P}}\text{pt}(\rho^{\prime}). $$
Hence, there is some ρQ2 such that \(\text {pt}(\rho )\in \downarrow _{\mathbb {P}}\text {pt}(\rho ^{\prime })\), i.e., \(\text {pt}(\rho )\sqsubseteq {\text {pt}(\rho ^{\prime })}\). Now Lemma 9 implies f ∈PolAQ2 ⊆PolA{ρ}⊆PolA{ρ}. □

More important for our target is actually the image {PolAQ|Q ⊆ DD(Γ)} of the map \(\text {Pol}\colon \mathfrak {P}(\text {DD}({\Gamma })) \longrightarrow \{\text {Pol}_{A}Q|Q\subseteq \text {DD}({\Gamma })\}\), whose cardinality is equal to that of the factor set \(\mathfrak {P}(\text {DD}({\Gamma })) / \ker \text {Pol}\) by the kernel. As a straightforward corollary of Proposition 10 the latter is closely related to the kernel of I.

Corollary 11

On \(\mathfrak {P}(\text {DD}({\Gamma }))\) we have the following inclusion between equivalence relations: \(\ker I = \{(Q_{1},Q_{2})\in \mathfrak {P}(\text {DD}({\Gamma }))^{2}\left |I(Q_{1})=I(Q_{2})\}\subseteq \ker \text {Pol}\right .\).

This result allows us to establish an upper bound on the number of clones determined by relations that are disjunctively definable over Γ.

Corollary 12

We have \(|\text {im}\text {Pol}|\leq |\text {im}{I}|\leq \left |\text {DS}\left (\mathbb {N}^{\Gamma },\sqsubseteq \right )\right |\).

Proof

Since kerI ⊆ kerPol, there is a canonical well-defined surjection from the factor set \(\mathfrak {P}(\text {DD}({\Gamma })) / \ker {I}\) onto \(\mathfrak {P}(\text {DD}({\Gamma })) / \ker \text {Pol}\), so
$$\text{im}\text{Pol} \cong {{\mathfrak{P}({\text{DD}({\Gamma})})} / \ker {\text{Pol}}} \twoheadleftarrow {{\mathfrak{P}({\text{DD}({\Gamma})})} / \ker {I}} \cong \text{im} I \subseteq \text{DS}{\left( {\mathbb{N}^{\Gamma},\sqsubseteq} \right)}, $$
telling us that the cardinality of \(|\text {im}\text {Pol}| =|\mathfrak {P}(\text {DD}({\Gamma })) / \ker \text {Pol}|\) is bounded above by that of \(|\mathfrak {P}(\text {DD}({\Gamma })) / \ker {I}| = |\text {im} I| \leq \left |\text {DS}\left (\mathbb {N}^{\Gamma },\sqsubseteq \right )\right |\). □

An alternative proof of the previous fact can be obtained by noting that the following map ψ, representing disjunctively definable clones as downsets of patterns, is injective. Moreover, it even embeds the whole ordered structure of such clones.

Proposition 13

The map
$$\begin{array}{cccc} \psi\colon & (\{\text{Pol}_{A}Q|Q\subseteq\text{DD}({\Gamma})\},\supseteq) & \longrightarrow & (\text{DS}\left( \mathbb{N}^{\Gamma},\sqsubseteq\right),\subseteq) \\ & F=\text{Pol}_{A}Q & \longmapsto & \text{pt}\left[F^{\prime}\right], \end{array} $$
where F = {ρ ∈DD(Γ)|∀fF : fρ}, is a well-defined order embedding, and it makes the following diagram commute:
where ϕ is any factor map (cf. Corollary 11) satisfying ϕ(I(Q)) = PolAQ on the image of I and being defined as, e.g., ϕ(U) = PolA anywhere else.

Proof

In this proof, let us abbreviate Q := PolAQ for any set Q ⊆ DD(Γ). This is to emphasize that the pair (,) forms an (antitone) Galois connection between finitary operations on A and disjunctively definable relations with respect to Γ. To demonstrate that ψ is well-defined, we need to show that \(\text {pt}{\left [F^{\prime }\right ]}\subseteq \mathbb {N}^{\Gamma }\) is a downset with respect to \(\sqsubseteq \) given F = Q for some Q ⊆ DD(Γ). So let ρ1F be m-ary and \(x\in \mathbb {N}^{\Gamma }\) with \(x\sqsubseteq \text {pt}(\rho _1)\). Thus pt(ρ1) has height m above the zero tuple, so it is sufficient to consider the case where x is a lower cover of pt(ρ1), i.e., there is exactly one γ1 ∈Γ such that x(γ1) = pt(ρ1)(γ1) − 1 > 0, and x coincides with pt(ρ1) everywhere else. Since F is closed under forming relations with permuted coordinates and this operation does not change the pattern of a disjunctively definable relation, we can assume that ρ1 = R(γ1, γ1, γ2,…,γm− 1) for (not necessarily distinct) γ2,…,γm− 1 ∈Γ. Now the relation ρ2 = R(γ1, γ2,…,γm− 1) ∈DD(Γ) satisfies pt(ρ2) = x (cf. the observation made in (3)) and, by Lemma 7, {ρ1}⊆{ρ2}, so ρ2 ∈{ρ2}‵′⊆{ρ1}‵′F′‵′ = F and x ∈pt [F].

It is obvious that ψ is order preserving. To prove that it is order reflecting, consider \(F_{1}=Q_{1}^{\backprime }\) and \(F_{2}=Q_{2}^{\backprime }\) for Q1, Q2 ⊆ DD(Γ) such that ψ(F1) ⊆ ψ(F2) and any \(\rho _{1}\in F_{1}^{\prime }\). Then we have \(\text {pt}(\rho _{1})\in \psi (F_{1})\subseteq \psi (F_{2})=\text {pt}\left [F_{2}^{\prime }\right ]\), so there is some \(\rho _{2}\in F_{2}^{\prime }\) such that pt(ρ1) = pt(ρ2). Applying Lemma 9 twice, we obtain {ρ1} = {ρ2} and hence \(\rho _{1}\in \{\rho _{1}\}^{\backprime \prime } =\{\rho _{2}\}^{\backprime \prime }\subseteq F_{2}^{\prime \backprime \prime } = F_{2}^{\prime }\). Thus \(F_{1}^{\prime }\subseteq F_{2}^{\prime }\) and \(F_{1} = F_{1}^{\prime \backprime }\supseteq F_{2}^{\prime \backprime } = F_{2}\).

Order reflection clearly implies that ψ is injective. It remains to be shown that ϕ(ψ(F)) = F for every F = Q where Q ⊆ DD(Γ). As \(\psi (F)\in \text {DS}\left (\mathbb {N}^{\Gamma },\sqsubseteq \right )\), we have \(\psi (F) = \downarrow _{\left (\mathbb {N}^{\Gamma },\sqsubseteq \right )}\psi (F)= \downarrow _{\left (\mathbb {N}^{\Gamma },\sqsubseteq \right )} \text {pt}\left [F^{\prime }\right ] = I(F^{\prime })\), so ϕ(ψ(F)) = ϕ(I(F)) = F′‵ = F. □

4 Results

By Corollary 12 from the previous section we have transferred the task of counting the number of clones given by relations that are disjunctively definable over a fixed (commonly finite) set of unary predicates Γ to the investigation of the downsets of the poset \(\left (\mathbb {N}^{\Gamma },\sqsubseteq \right )\). This is a special case of the poset \(\left (\mathbb {N}^{I},\sqsubseteq \right )\) from Section 2, where we now have the additional assumption that I is finite. Concerning downsets of this poset, we first verify the following general facts.

Lemma 14

Let \(\mathbb {P} = \left (\mathbb {N}^{I}, \sqsubseteq \right )\) be the poset defined in Section 2.
  1. (a)

    The set \(Y_{\mathrm {F}}:= \{x\in \mathbb {N}^{I}|\text {supp}(x) = I\}\) is a downset of \(\mathbb {P}\), and the induced subposet \(\mathbb {Y}_{\mathrm {F}} = \left (Y_{\mathrm {F}}, \sqsubseteq \upharpoonright _{Y_{\mathrm {F}}}\right )\) satisfies \(\mathbb {Y}_{\mathrm {F}} \cong \left ((\mathbb {N}_{+})^{I}, \leq \right ) \cong \left (\mathbb {N}^{I},\leq \right )\).

     
  2. (b)

    For every JI the set \(Y_{\subseteq J}:= \{x\in \mathbb {N}^{I}|\text {supp}(x)\subseteq J\}\) is a downset of \(\mathbb {P}\); the induced subposet \(\mathbb {Y}_{\subseteq \mathnormal {J}} = \left (Y_{\subseteq \mathnormal {J}}, \sqsubseteq \upharpoonright _{Y_{\subseteq \mathnormal {J}}}\right )\) is isomorphic to \(\left (\mathbb {N}^{J},\sqsubseteq \right )\).

     
  3. (c)

    We have \(\mathbb {N}^{I}=Y_{\mathrm {F}}\cup \bigcup _{i\in I} Y_{\subseteq \mathnormal {I\setminus \{i\}}}\).

     

Proof

  1. (a)

    If xYF and \(y\in \mathbb {N}^{I}\) satisfies \(y\sqsubseteq x\), then I = supp(x) = supp(y). Hence, yYF, and so \(Y_{\mathrm {F}}\in \text {DS}\left (\mathbb {P}\right )\). Moreover, for \(x\in \mathbb {N}^{I}\), we have xYF if and only if x(i)≠ 0 for all iI, i.e. if \(x\in (\mathbb {N}_{+})^{I}\). Thus the identical map induces an isomorphism \(\text {id}\colon \mathbb {Y}_{\mathrm {F}} \longrightarrow \left ((\mathbb {N}_{+})^{I},\leq \right )\) since all elements \(x,y\in (\mathbb {N}_{+})^{I}\) automatically satisfy supp(x) = I = supp(y). Besides, the map \(h\colon \left ((\mathbb {N}_{+})^{I},\leq \right ) \longrightarrow \left (\mathbb {N}^{I},\leq \right )\) given by h(x) = (x(i) − 1)iI obviously is an isomorphism, too.

     
  2. (b)

    Consider JI and xYJ. Any \(y\sqsubseteq x\) fulfils supp(y) = supp(x) ⊆ J, so yYJ. Thus, \(Y_{\subseteq \mathnormal {J}}\in \text {DS}\left (\mathbb {P}\right )\). Define \(\text {pr}_J\colon Y_{\subseteq \mathnormal {J}} \longrightarrow \mathbb {N}^{J}\) by letting prJ(x) := (x(j))jJ; conversely, for every element \(y\in \mathbb {N}^{J}\) define embJ(y) by embJ(y)(i) := y(i) if iJ and embJ(y)(i) := 0, otherwise. The map \(\text {emb}_{J}\colon \mathbb {N}^{J} \longrightarrow Y_{\subseteq \mathnormal {J}}\) is inverse to prJ since every xYJ satisfies supp(x) ⊆ J, i.e. every iIJ does not belong to supp(x) and thus x(i) = 0. For the same reason, supp(x) = supp(prJ(x)) holds for all xYJ, whence prJ is a homomorphism. Furthermore, we have the equality supp(y) = supp(embJ(y)) for all \(y\in \mathbb {N}^{J}\), so embJ is a homomorphism, too.

     
  3. (c)

    The inclusion \(\mathbb {N}^I\supseteq {Y}_{\mathrm {F}}\cup \bigcup _{i\in I} {Y}_{\subseteq \mathnormal {I}\setminus \{i\}}\) holds by definition. Moreover, if \(x\in \mathbb {N}^{J}\setminus {Y}_{\mathrm {F}}\), then \(\text {supp}(x)\subsetneq I\), so there exists some iI ∖supp(x), i.e. supp(x) ⊆ I ∖{i}. This proves that \(x\in \bigcup _{i\in I}{Y}_{\subseteq \mathnormal {I}\setminus \{i\}}\).

     

Theorem 15

We have \(\left |\text {DS}\left (\mathbb {N}^{I},\sqsubseteq \right )\right |=\aleph _{0}\) for all finite I.

Proof

Since \(\sqsubseteq \subseteq \leq \), we clearly have \(\text {DS}\left (\mathbb {N}^{I},\leq \right )\subseteq \text {DS}\left (\mathbb {N}^{I},\sqsubseteq \right )\), which together with Lemma 5 proves that \(\left |\text {DS}\left (\mathbb {N}^{I},\sqsubseteq \right )\right |\geq \left |\text {DS}\left ((\mathbb {N},\leq )^{I}\right )\right |=\aleph _{0}\) for all finite non-empty I. We shall prove by induction on |I| that \(\left |\text {DS}\left (\mathbb {N}^{I},\sqsubseteq \right )\right |\leq \aleph _{0}\) holds for all finite sets I. The basis is the case |I| = 0, i.e. I = . Then \(|\mathbb {N}^{I}| = 1\), so we are dealing with a finite poset having only finitely many downsets. Now assume |I| > 0, i.e. I, and suppose we know the truth of the claim already for all finite J, |J| < |I|. In particular, we have the induction hypothesis for all I ∖{i} where iI. We define
$$\begin{array}{@{}rcl@{}} \delta: \text{DS}\left( \mathbb{N}^{I},\sqsubseteq\right)&\longrightarrow&\text{DS}\left( \mathbb{Y}_{\mathrm{F}}\right)\times {\prod}_{i\in I}\text{DS}\left( \mathbb{Y}_{\subseteq \mathnormal{I}\setminus\{i\}}\right)\\ {X}&\longmapsto&\left( X\cap{Y}_{\mathrm{F}},\left( X\cap{Y}_{\subseteq \mathnormal{I}\setminus\{i\}}\right)_{i\in I}\right). \end{array} $$
By Lemma 14(a) and (b) in combination with Lemma 3, this map is well-defined. Moreover, due to Lemma 14(c), we have
$$(X\cap{Y}_{\mathrm{F}})\cup \bigcup\limits_{i\in I}\left( X\cap{Y}_{\subseteq \mathnormal{I}\setminus\{i\}}\right) =X\cap\left( Y_{\mathrm{F}}\cup\bigcup\limits_{i\in I}{Y}_{\subseteq \mathnormal{I}\setminus\{i\}}\right) =X\cap\mathbb{N}^{I} = X, $$
so δ is injective. Hence, \(\left |\text {DS}\left (\mathbb {N}^{I},\sqsubseteq \right )\right | \leq \left |\text {DS}\left (\mathbb {Y}_{\mathrm {F}}\right )\times {\prod }_{i\in I}\text {DS}\left (\mathbb {Y}_{\subseteq \mathnormal {I}\setminus \{i\}}\right )\right |\). Since for iI, we have \(\mathbb {Y}_{\subseteq \mathnormal {I}\setminus \{i\}} \cong \left (\mathbb {N}^{I\setminus \{i\}},\sqsubseteq \right )\) by Lemma 14(b), Lemma 2 together with the induction hypothesis yields \(\left |\text {DS}\left (\mathbb {Y}_{\subseteq \mathnormal {I}\setminus \{i\}}\right )\right | =\left |\text {DS}\left (\mathbb {N}^{I\setminus \{i\}},\sqsubseteq \right )\right |\leq \aleph _{0}\). Similarly, we have \(\mathbb {Y}_{\mathrm {F}}\cong (\mathbb {N},\leq )^{I}\) by Lemma 14(a), wherefore Lemmas 2 and 5 jointly imply that \(\left |\text {DS}\left (\mathbb {Y}_{\mathrm {F}}\right )\right |=\left |\text {DS}\left ((\mathbb {N},\leq )^{I}\right )\right |=\aleph _{0}\). Consequently, as a finite product of countable sets, one of which is infinite, the co-domain of δ has cardinality 0, whence \(\left |\text {DS}\left (\mathbb {N}^{I},\sqsubseteq \right )\right |\) is countable. □

As a result the number of clones on a fixed set determined by disjunctions of finitely many unary predicates is countable.

Theorem 16

For every finite unary relational language Γ we have
$$|\{\text{Pol}_{A}Q|Q\subseteq\text{DD}({\Gamma})\}|\leq \aleph_{0}. $$

Proof

From Corollary 12 we know \(|\{\text {Pol}_{A}Q|Q\subseteq \text {DD}({\Gamma })\}|\leq \left |\text {DS}\left (\mathbb {N}^{\Gamma },\sqsubseteq \right )\right |\). By Theorem 15 the latter is countably infinite if Γ≠, and it has two elements if Γ = (in this case we are dealing only with the clone of all operations). □

This already demonstrates that a classification of such clones (as requested in [18, Section 6]) is not a hopeless task.

As a final step we wish to show that in all relevant cases, our cardinality bound from Theorem 16 is tight. This generalizes an argument given in [37, Proposition 3.1] regarding the number of clones determined by (mixed) clausal relations (an important subcase of the relations considered in [18]).

Proposition 17

If Γ is any unary relational language with carrier set A containing a non-trivial basic unary relation γ ∈ Γ such that \(\emptyset \neq \gamma \subsetneq A\), then the lattice ({PolAQ|Q ⊆ DD(Γ)}, ⊆) contains a strictly descending ω-chain of finitely related clones over DD(Γ).

Proof

The proof of this fact is constructive. Fix γ ∈Γ with the properties claimed in the proposition. For every \(m\in \mathbb {N}_{+}\) we let ρm := R(γ,…,γ), where the parameter γ occurs exactly m times. By Lemma 7, we have PolA{ρm}⊆PolA{ρm− 1} for all \(m\in \mathbb {N}\), m ≥ 2. We only have to prove that these inclusions are strict. This will be done by exhibiting an m-ary function f ∈PolA{ρm− 1} that does not preserve ρm.

Since \(\gamma \subsetneq {A}\), there is an element 0 ∈ A such that 0∉γ. Moreover, as γ is not empty, there is some element 1 ∈ A ∖{0} such that 1 ∈ γ. We define f(x1,…,xm) = 0 if at least m − 1 entries in (x1,…,xm) are equal to 0 and we put f(x1,…,xm) = 1 everywhere else.

Let ejAm be the tuple whose j-th entry is 1 and which is 0 otherwise. Since 1 ∈ γ, we have e1,…,emρm. However, applying f yields f ∘ (e1,…,em) = 0, the tuple containing only zeros. As 0∉γ, we have 0ρm and hence f∉PolA{ρm}.

On the other hand, if r1,…,rmρm− 1 and we consider these tuples as columns of an ((m − 1) × m)-matrix, then each column contains a non-zero entry (because 0ρm− 1). As m > m − 1, by the pigeonhole principle there must be one row x of the matrix that contains at least two entries distinct from zero. In other words, there cannot be more than m − 2 zero entries in x. Now applying f to x yields f(x) = 1 ∈ γ. Therefore, f ∘ (r1,…,rm) ∈ ρm− 1. □

Combining Theorem 16 and Proposition 17 we can pinpoint the exact number of clones determined by disjunctions of non-trivial unary relations from a finite parameter set Γ. This answers, in particular, the question regarding the number of clausal clones on finite sets that was stated to be open in [11, 38].

Corollary 18

If Γ is a finite unary relational language with carrier set A containing a non-trivial basic unary relation γ ∈ Γ such that \(\emptyset \neq \gamma \subsetneq {A}\), then we have |{PolAQ|Q ⊆ DD(Γ) finite}| = |{PolAQ|Q ⊆ DD(Γ)}| = 0.

Remark 19

When focussing only on finitely related polymorphism clones, we can extend the scope of our arguments a little bit. That is to say, if we restrict the encoding map I (cf. Proposition 10) to \(\mathfrak {P}_{\text {fin}}(\text {DD}({\Gamma }))\) and only consider clones PolAQ given by a finite subset Q ⊆ DD(Γ), we can still obtain the upper bound 0 on their cardinality when Γ is countably infinite. Namely, if Q = {ρ1,…,ρN} for some \(N\in \mathbb {N}\), then \(I(Q) = \bigcup _{i = 1}^{N} \downarrow _{\left (\mathbb {N}^{\Gamma },\sqsubseteq \right )}\text {pt}(\rho _{i})\) is a finitely generated downset, where for each i ∈{1,…,N} the tuples in the principal downset \(\downarrow _{\left (\mathbb {N}^{\Gamma },\sqsubseteq \right )}\text {pt}(\rho _{i})\) have a fixed finite support Ji ⊆Γ. Hence, all tuples in I(Q) have their support within the finite set \(J(Q) = \bigcup _{i = 1}^{N} J_{i}\subseteq {\Gamma }\). By projecting the patterns to these indices (as in the proof of Lemma 14 this does not change the support of the tuples), we obtain a different encoding \(K(Q) = \bigcup _{i = 1}^{N} \downarrow _{\left (\mathbb {N}^{J(Q)},\sqsubseteq \right )}\text {pr}_{J(Q)}\text {pt}(\rho _{i})\), which is a downset of \(\left (\mathbb {N}^{J(Q)},\sqsubseteq \right )\). Therefore, \(K(Q) \in \bigcup _{J\in \mathfrak {P}_{\text {fin}}({\Gamma })}\text {DS}\left (\mathbb {N}^{J},\sqsubseteq \right )\). Since Γ is countable, \(\mathfrak {P}_{\text {fin}}({\Gamma })\) is countable and the codomain of K is a countable union of countably infinite sets (see Theorem 15), hence countably infinite. With analogous arguments as in Proposition 10 through Corollary 12 we can thus show that |{PolAQ|Q ⊆ DD(Γ) finite}|≤|imK|≤0. Concerning the analogue of Proposition 10 we note that K(Q1) ⊆ K(Q2) implies J(Q1) = J(Q2) and so \(\text {pr}_{J(Q_{1})}\text {pt}(\rho )\sqsubseteq \text {pr}_{J(Q_{2})}\text {pt}(\rho ^{\prime })\) yields \(\text {pt}(\rho )\sqsubseteq \text {pt}(\rho ^{\prime })\) for ρQ1 and any ρQ2. As supp(pt(ρ)) = supp(pt(ρ)) ⊆ J(Q2) is finite, Corollary 8 and Lemma 9 are applicable to derive the conclusion of Proposition 10.

Tightness of the cardinality bound is again provided by Proposition 17, which does not require finiteness of Γ.

Combining these explanations with Corollary 18 we can strengthen our result as follows:

Corollary 20

If Γ is a countable unary relational language on the carrier set A containing a non-trivial basic unary relation γ ∈Γ such that \(\emptyset \neq \gamma \subsetneq A\), then we have |{PolAQ|Q ⊆ DD(Γ) finite}| = 0.

Notes

Acknowledgements

We thank both unknown referees for their valuable comments, which led to improvements in the presentation of the paper. We are particularly grateful for suggesting the idea for the alternative proof of Corollary 12, which we have included in Proposition 13.

Funding Information

Open access funding provided by Austrian Science Fund (FWF).

References

  1. 1.
    Baader, F., Nipkow, T.: Term Rewriting and all that. Cambridge University Press, Cambridge (1998).  https://doi.org/10.1017/CBO9781139172752 CrossRefGoogle Scholar
  2. 2.
    Barto, L.: Constraint satisfaction problem and universal algebra. SIGLOG News 1(2), 14–24 (2014).  https://doi.org/10.1145/2677161.2677165 CrossRefGoogle Scholar
  3. 3.
    Barto, L., Kozik, M.: Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem. Log. Methods Comput. Sci. 8(1:07), 1–27 (2012).  https://doi.org/10.2168/LMCS-8(1:7)2012 MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Barto, L., Kozik, M.: Constraint satisfaction problems solvable by local consistency methods. J. ACM 61(1), 3:1–3:19 (2014).  https://doi.org/10.1145/2556646 MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Barto, L., Kozik, M.: Robustly solvable constraint satisfaction problems. SIAM J. Comput. 45(4), 1646–1669 (2016).  https://doi.org/10.1137/130915479 MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Barto, L., Kozik, M.: Absorption in universal algebra and CSP. In: Krokhin, A.A., živný, S. (eds.) The Constraint Satisfaction Problem: Complexity and Approximability, Dagstuhl Follow-Ups, vol. 7, pp. 45–77. Schloss Dagstuhl – Leibniz-Zentrum für Informatik.  https://doi.org/10.4230/DFU.Vol7.15301.2 (2017)
  7. 7.
    Barto, L., Kozik, M., Willard, R.: Near unanimity constraints have bounded pathwidth duality. In: Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012, pp. 125–134. IEEE Computer Soc., Los Alamitos, CA.  https://doi.org/10.1109/LICS.2012.24 (2012)
  8. 8.
    Barto, L., Krokhin, A.A., Willard, R.: Polymorphisms, and how to use them. In: Krokhin, A.A., živný, S. (eds.) The Constraint Satisfaction Problem: Complexity and Approximability, Dagstuhl Follow-Ups, vol. 7, pp. 1–44. Schloss Dagstuhl – Leibniz-Zentrum für Informatik.  https://doi.org/10.4230/DFU.Vol7.15301.1 (2017)
  9. 9.
    Barto, L., Pinsker, M.: The algebraic dichotomy conjecture for infinite domain constraint satisfaction problems. In: Grohe, M., Koskinen, E., Shankar, N. (eds.) Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS ’16, New York, NY, USA, July 5–8, 2016, pp. 615–622. ACM.  https://doi.org/10.1145/2933575.2934544 (2016)
  10. 10.
    Behrisch, M., Vargas, E.M.: C-clones and C-automorphism groups. In: Contributions to general algebra 19, pp. 1–12. Heyn, Klagenfurt (2010)Google Scholar
  11. 11.
    Behrisch, M., Vargas-García, E.: Unique inclusions of maximal C-clones in maximal clones. Algebra Universalis 79(2), 31:1–21 (2018).  https://doi.org/10.1007/s00012-018-0497-9 MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Berman, J.D., Idziak, P., Marković, P., McKenzie, R.N., Valeriote, M.A., Willard, R.: Varieties with few subalgebras of powers. Trans. Amer. Math. Soc. 362(3), 1445–1473 (2010).  https://doi.org/10.1090/S0002-9947-09-04874-0 MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Bulatov, A., Valeriote, M. A.: Recent Results on the Algebraic Approach to the CSP. In: Creignou, N., Kolaitis, P.G., Vollmer, H. (eds.) Complexity of Constraints – an Overview of Current Research Themes [Result of a Dagstuhl Seminar]. Lecture Notes in Computer Science, vol. 5250, pp. 68–92. Springer-Verlag (2008).  https://doi.org/10.1007/978-3-540-92800-3_4
  14. 14.
    Bulatov, A.A.: A dichotomy theorem for nonuniform CSPs. arXiv:1703.03021 [cs.CC], pp. 1–101. 1703.03021v2(2017)
  15. 15.
    Bulín, J., Delić, D., Jackson, M., Niven, T.: A finer reduction of constraint problems to digraphs. Log. Methods Comput. Sci. 11(4), 4:18–33 (2015).  https://doi.org/10.2168/LMCS-11(4:18)2015 MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Chen, H., Mayr, P.: Quantified constraint satisfaction on monoids. In: Talbot, J., Regnier, L. (eds.) 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 – September 1, 2016, Marseille, France, LIPIcs. Leibniz Int. Proc. Inform., vol. 62, pp. 15:1–14. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Wadern.  https://doi.org/10.4230/LIPIcs.CSL.2016.15 (2016)
  17. 17.
    Chen, H., Valeriote, M., Yoshida, Y.: Testing assignments to constraint satisfaction problems. In: Dinur, I. (ed.) IEEE 57th Annual Symposium on Foundations of Computer Science, FOCS 2016, 9–11 October 2016, Hyatt Regency, New Brunswick, New Jersey, USA, pp. 525–534. IEEE Computer Soc., Los Alamitos, CA.  https://doi.org/10.1109/FOCS.2016.63 (2016)
  18. 18.
    Creignou, N., Hermann, M., Krokhin, A., Salzer, G.: Complexity of clausal constraints over chains. Theory Comput. Syst. 42(2), 239–255 (2008).  https://doi.org/10.1007/s00224-007-9003-z MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Ðapić, P., Marković, P., Martin, B.: Quantified constraint satisfaction problem on semicomplete digraphs. ACM Trans. Comput. Log. 18(1), 2:1–47 (2017).  https://doi.org/10.1145/3007899 MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. 2nd edn.  https://doi.org/10.1017/CBO9780511809088. Cambridge University Press, New York (2002)
  21. 21.
    Dickson, L.E.: Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors. Amer. J. Math. 35(4), 413–422 (1913).  https://doi.org/10.2307/2370405 MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    Feder, T., Vardi, M.Y.: The computational structure of monotone monadic SNP and constraint satisfaction: a study through Datalog and group theory. SIAM J. Comput. 28(1), 57–104 (electronic) (1999).  https://doi.org/10.1137/S0097539794266766 MathSciNetCrossRefGoogle Scholar
  23. 23.
    Hähnle, R.: Automated Deduction in Multiple-valued Logics. International Series of Monographs on Computer Science, vol. 10. The Clarendon Press, Oxford University Press, Oxford Science Publications, New York (1993)Google Scholar
  24. 24.
    Hähnle, R.: Tutorial: Complexity of many-valued logics. In: Proceedings of the Symposium Held in Warsaw, Poland, May 22–24, 2001, 31st IEEE International Symposium on Multiple-Valued Logic ISMVL 2001, pp. 137–146. IEEE Computer Society, Los Alamitos, CA.  https://doi.org/10.1109/ISMVL.2001.924565 (2001)
  25. 25.
    Hell, P., Nešetřil, J.: On the complexity of H-coloring. J. Combin. Theory Ser. B 48(1), 92–110 (1990).  https://doi.org/10.1016/0095-8956(90)90132-J MathSciNetCrossRefzbMATHGoogle Scholar
  26. 26.
    Jeavons, P.: On the algebraic structure of combinatorial problems. Theoret. Comput. Sci. 200(1-2), 185–204 (1998).  https://doi.org/10.1016/S0304-3975(97)00230-2 MathSciNetCrossRefzbMATHGoogle Scholar
  27. 27.
    Kearnes, K.A., Szendrei, Á.: Cube term blockers without finiteness. Algebra Universalis 78(4), 437–459 (2017).  https://doi.org/10.1007/s00012-017-0476-6 MathSciNetCrossRefzbMATHGoogle Scholar
  28. 28.
    Larose, B., Tesson, P.: Universal algebra and hardness results for constraint satisfaction problems. Theoret. Comput. Sci. 410(18), 1629–1647 (2009).  https://doi.org/10.1016/j.tcs.2008.12.048 MathSciNetCrossRefzbMATHGoogle Scholar
  29. 29.
    Marković, P., Maróti, M., McKenzie, R.N.: Finitely related clones and algebras with cube terms. Order 29(2), 345–359 (2012).  https://doi.org/10.1007/s11083-011-9232-2 MathSciNetCrossRefzbMATHGoogle Scholar
  30. 30.
    Maróti, M., McKenzie, R.N.: Existence theorems for weakly symmetric operations. Algebra Universalis 59(3-4), 463–489 (2008).  https://doi.org/10.1007/s00012-008-2122-9 MathSciNetCrossRefzbMATHGoogle Scholar
  31. 31.
    Martín-Mateos, F., Alonso, J., Hidalgo, M., Ruiz-Reina, J.: A formal proof of Dickson’s Lemma in ACL2. In: Vardi, M.Y., Voronkov, A. (eds.) Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2003, Almaty, Kazakhstan, September 22–26, 2003. Lecture Notes in Artificial Intelligence, vol. 2850, pp. 49–58. Springer, Berlin (2003).  https://doi.org/10.1007/978-3-540-39813-4_3
  32. 32.
    Opršal, J.: Taylor’s modularity conjecture and related problems for idempotent varieties. Order 35(3), 433–460 (2018).  https://doi.org/10.1007/s11083-017-9441-4 MathSciNetCrossRefGoogle Scholar
  33. 33.
    Pöschel, R., Kalužnin, L.A.: Funktionen- und Relationenalgebren. Ein Kapitel der diskreten Mathematik. [A Chapter in Discrete Mathematics] Mathematische Monographien [Mathematical Monographs], vol. 15. VEB Deutscher Verlag der Wissenschaften, Berlin (1979)Google Scholar
  34. 34.
    Schnoor, H., Schnoor, I.: Partial polymorphisms and constraint satisfaction problems. In: Creignou, N., Kolaitis, P.G., Vollmer, H. (eds.) Complexity of Constraints – An Overview of Current Research Themes [Result of a Dagstuhl Seminar]., Lecture Notes in Computer Science, vol. 5250, pp. 229–254. Springer.  https://doi.org/10.1007/978-3-540-92800-3_9 (2008)
  35. 35.
    Szendrei, Á.: Clones in Universal Algebra. Séminaire de Mathématiques Supérieures [Seminar on Higher Mathematics], vol. 99. Presses de l’Université de Montréal, Montreal (1986)Google Scholar
  36. 36.
    Szendrei, Á.: Idempotent algebras with restrictions on subalgebras. Acta Sci. Math. (Szeged) 51(1-2), 251–268 (1987)MathSciNetzbMATHGoogle Scholar
  37. 37.
    Vargas, E.: Clausal relations and C-clones. Discuss. Math. Gen. Algebra Appl. 30(2), 147–171 (2010).  https://doi.org/10.7151/dmgaa.1167 MathSciNetCrossRefzbMATHGoogle Scholar
  38. 38.
    Vargas, E.M.: Clausal relations and C-clones. Doktorarbeit [PhD thesis], TU Dresden. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-70905 (2011)
  39. 39.
    Vargas, E.M.: Maximal and minimal C-monoids. Demonstratio Math. 44(3), 615–627 (2011).  https://doi.org/10.1515/dema-2013-0322 MathSciNetCrossRefzbMATHGoogle Scholar
  40. 40.
    Zhuk, D.: An algorithm for constraint satisfaction problem. In: Proceedings of the Symposium Held in Novi Sad, May 22–24, 2017, 47th IEEE International Symposium on Multiple-Valued Logic ISMVL 2017, pp. 1–6. IEEE Computer Society, Los Alamitos (2017).  https://doi.org/10.1109/ISMVL.2017.20
  41. 41.
    Zhuk, D.: The proof of CSP dichotomy conjecture. arXiv:1704.01914 [cs.CC], pp. 1–40. 1704.01914v8 (2017)

Copyright information

© The Author(s) 2018

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors and Affiliations

  1. 1.Institut für Diskrete Mathematik und GeometrieTechnische Universität WienViennaAustria
  2. 2.Departamento Académico de MatemáticasITAMCiudad de México, D.F.Mexico
  3. 3.Mathematical Theory of Intelligent Systems, Department of Mathematics and MechanicsLomonosov Moscow State UniversityMoscowRussia

Personalised recommendations