arXiv subjects
Publications and source records attributed to Albert Vucaj.
We classify all Mal'cev clones over a three-element set up to minion homomorphisms. This is another step toward the complete classification of three-element relational structures up to pp-constructability. We furthermore provide an alternative proof of Bulatov's result that all Mal'cev clones over a three-element set have an at most 4-ary relational basis.
We study clones modulo minor homomorphisms, which are mappings from one clone to another preserving arities of operations and respecting permutation and identification of variables. Minor-equivalent clones satisfy the same sets of identities of the form $f(x_1,\dots,x_n)\approx g(y_1,\dots,y_m)$, also known as minor identities, and therefore share many algebraic properties. Moreover, it was proved that the complexity of the $\operatorname{CSP}$ of a finite structure $\mathbb{A}$ only depends on the set of minor identities satisfied by the polymorphism clone of $\mathbb{A}$. In this article we consider the poset that arises by considering all clones over a three-element set with the following order: we write $\mathcal{C} \preceq_{\mathrm{m}} \mathcal{D}$ if there exists a minor homomorphism from $\mathcal{C}$ to $\mathcal{D}$. We show that the aforementioned poset has only three submaximal elements.
There are continuum many clones on a three-element set even if they are considered up to \emph{homomorphic equivalence}. The clones we use to prove this fact are clones consisting of \emph{self-dual operations}, i.e., operations that preserve the relation $\{(0,1),(1,2),(2,0)\}$. However, there are only countably many such clones when considered up to equivalence with respect to \emph{minor-preserving maps} instead of clone homomorphisms. We give a full description of the set of clones of self-dual operations, ordered by the existence of minor-preserving maps. Our result can also be phrased as a statement about structures on a three-element set, ordered by primitive positive constructability, because there is a minor-preserving map from the polymorphism clone of a finite structure $\mathfrak A$ to the polymorphism clone of a finite structure $\mathfrak B$ if and only if there is a primitive positive construction of $\mathfrak B$ in $\mathfrak A$.
Finite smooth digraphs, that is, finite directed graphs without sources and sinks, can be partially ordered via pp-constructability. We give a complete description of this poset and, in particular, we prove that it is a distributive lattice. Moreover, we show that in order to separate two smooth digraphs in our poset it suffices to show that the polymorphism clone of one of the digraphs satisfies a prime cyclic loop condition that is not satisfied by the polymorphism clone of the other. Furthermore, we prove that the poset of cyclic loop ordered by their strength for clones is a distributive lattice, too.
Primitive positive constructions have been introduced in recent work of Barto, Opršal, and Pinsker to study the computational complexity of constraint satisfaction problems. Let $\mathfrak P_{\operatorname{fin}}$ be the poset which arises from ordering all finite relational structures by pp-constructability. This poset is infinite, but we do not know whether it is uncountable. In this paper, we give a complete description of the restriction $\mathfrak P_{\operatorname{Boole}}$ of $\mathfrak P_{\operatorname{fin}}$ to relational structures on a two-element set; in particular, we prove that $\mathfrak P_{\operatorname{Boole}}$ is a lattice. Finally, we use $\mathfrak P_{\operatorname{Boole}}$ to present the various complexity regimes of Boolean constraint satisfaction problems that were described by Allender, Bauland, Immerman, Schnoor and Vollmer.