The complexity of 3-colouring $H$-colourable graphs

TL;DR

This paper proves a conjecture about the computational hardness of approximating certain graph homomorphism problems, specifically confirming the difficulty of 3-colouring $H$-colourable graphs in a key case.

Contribution

It establishes the NP-hardness of approximating homomorphisms to 3-cliques for $H$-colourable graphs, advancing understanding of the complexity of promise graph homomorphism problems.

Findings

Confirmed the Brakensiek-Guruswami conjecture for the case where $G$ is a triangle.

Developed a novel proof combining universal algebra and algebraic topology.

Enhanced the theoretical framework for understanding the complexity of graph homomorphism problems.

Abstract

We study the complexity of approximation on satisfiable instances for graph homomorphism problems. For a fixed graph $H$, the $H$-colouring problem is to decide whether a given graph has a homomorphism to $H$. By a result of Hell and Ne\v{s}et\v{r}il, this problem is NP-hard for any non-bipartite graph $H$. In the context of promise constraint satisfaction problems, Brakensiek and Guruswami conjectured that this hardness result extends to promise graph homomorphism as follows: fix any non-bipartite graph $H$ and another graph $G$ with a homomorphism from $H$ to $G$, it is NP-hard to find a homomorphism to $G$ from a given $H$-colourable graph. Arguably, the two most important special cases of this conjecture are when $H$ is fixed to be the complete graph on 3 vertices (and $G$ is any graph with a triangle) and when $G$ is the complete graph on 3 vertices (and $H$ is any 3-colourable graph). The former case is equivalent to the notoriously difficult approximate graph colouring problem. In this paper, we confirm the Brakensiek-Guruswami conjecture for the latter case. Our proofs rely on a novel combination of the universal-algebraic approach to promise constraint satisfaction, that was recently developed by Barto, Bul\'in and the authors, with some ideas from algebraic topology.

Equations

$$\dots \to {\mathbf{C}}_k\to \dots \to {\mathbf{C}}_5\to {\mathbf{C}}_3={\mathbf{K}}_3\to {\mathbf{K}}_4\to \dots \to {\mathbf{K}}_n\to \dots$$

$$(f(u_1,\dots ,u_n),f(v_1,\dots ,v_n))\in E(H).$$

$$f(a_1,\dots ,a_{i-1},a_i,a_{i+1},\dots ,a_n)\ne f(a_1,\dots ,a_{i-1},b_i,a_{i+1},\dots ,a_n).$$

$$f(x_1,\dots ,x_n)=g(x_{\pi (1)},\dots ,x_{\pi (m)})$$

$$\xi (g)(x_{\pi (1)},\dots ,x_{\pi (m)})=\xi (g(x_{\pi (1)},\dots ,x_{\pi (m)})).$$

$$f(x_1,\dots ,x_n)=\{\begin{array}{ll}2& \text{if }{x}_1=\dots =x_n=1,\\ h(x_1)& \text{otherwise.}\end{array}$$

$$\sum _{v\in V(G)}{c}_v[v]+\sum _{v\in V(G)}{c}_v^{\prime }[v]=\sum _{v\in V(G)}(c_v+c_v^{\prime })[v].$$

$$f_{\mathsf{V}}({\sum }_i{c}_i[v_i])={\sum }_i{c}_i[f(v_i)],$$

$$f_{\mathsf{E}}({\sum }_i{c}_i[u_i,v_i])={\sum }_i{c}_i[f(u_i),f(v_i)].$$

$$f_{\mathsf{V}}(\partial [u,v])=f_{\mathsf{V}}([v]-[u])=[f(v)]-[f(u)]=\partial [f(u),f(v)]=\partial f_{\mathsf{E}}([u,v])$$

$$\xi (f)(x_1,\dots ,x_n)=f(h(x_1),\dots ,h(x_n)).$$

$$(x_1,\dots ,x_n)\mapsto c_1{x}_1+\cdots +c_n{x}_n,$$

$${\mathrm{deg}}_{1}g\cdot x_1\cdots +{\mathrm{deg}}_{m}g\cdot x_m={\mathrm{deg}}_{1}f\cdot x_{\pi (1)}\cdots +{\mathrm{deg}}_{n}f\cdot x_{\pi (n)}.$$

$${\mathrm{deg}}_{i}g={\sum }_{j\in {\pi }^{-1}(i)}{\mathrm{deg}}_{j}f.$$

$$\begin{gathered} \partial W=d_0([1]-[0])+d_1([2]-[1])+\cdots +d_{l-1}([0]-[l-1]) \\ =(d_{l-1}-d_0)[0]+(d_0-d_1)[1]+\cdots +(d_{l-2}-d_{l-1})[l-1]. \end{gathered}$$

$$f_{\mathsf{E}}(O_m)=\mathrm{deg}f\cdot O_l.$$

$$\mathrm{deg}f\cdot O_l=f_{\mathsf{E}}(O_m)=[f(0),f(1)]+[f(1),f(2)]+\cdots +[f(m-1),f(0)].$$

$$g(x_1,\dots ,x_m)=f(x_{\pi (1)},\dots ,x_{\pi (n)}),$$

$${\mathrm{deg}}_{i}g={\sum }_{j\in {\pi }^{-1}(i)}{\mathrm{deg}}_{j}f.$$

$$\begin{gathered} O_{k,i}^n=\{[(a_1,\dots ,a_n),(b_1,\dots ,b_n)]\mid \\ (a_j,b_j)\in E(C_k)\text{ for all j∈{1,…,n} and }[a_i,b_i]\in O_k\}. \end{gathered}$$

$$f_{\mathsf{E}}(O_{k,i}^n)=(2k{)}^{n-1}{\mathrm{deg}}_{i}f\cdot O_3.$$

$$\begin{gathered} e{\times }_i{O}_k=\{[(u_1^{\prime },\dots ,u_n^{\prime }),(v_1^{\prime },\dots ,v_n^{\prime })]\mid \\ \{(\dots ,u_{i-1}^{\prime },u_{i+1}^{\prime },\dots ),(\dots ,v_{i-1}^{\prime },v_{i+1}^{\prime },\dots )\}=\{\bar{u},\bar{v}\}, \\ [u_i^{\prime },v_i^{\prime }]\in O_k\}. \end{gathered}$$

$$e=((u_2,\dots ,u_n),(v_2,\dots ,v_n))\text{ and }{e}^{\prime }=((u_2,\dots ,u_n),(w_2,\dots ,w_n)).$$

$$(j,u_2,\dots ,u_n),(j+1,v_2,\dots ,v_n),(j+2,u_2,\dots ,u_n),(j+1,w_2,\dots ,w_n)$$

$$\sum _{j<k}{S}_j=e{\times }_i{O}_k-e^{\prime }{\times }_i{O}_k,$$

$$f_{\mathsf{E}}(e{\times }_i{O}_k-e^{\prime }{\times }_i{O}_k)=f_{\mathsf{E}}(\sum _{j<k}{S}_j)=\sum _{j<k}{f}_{\mathsf{E}}(S_j)=0$$

$$f_{\mathsf{E}}(O_{k,i}^n)=\sum _{e\in E(C_k^{n-1})}{f}_{\mathsf{E}}(e{\times }_i{O}_k)=\sum _{e\in E(C_k^{n-1})}2d\cdot O_3=(2k{)}^{n-1}d\cdot O_3$$

$$\delta (f):(x_1,\dots ,x_n)\mapsto {\mathrm{deg}}_{1}f\cdot x_1+\cdots +{\mathrm{deg}}_{n}f\cdot x_n.$$

$$g(y,x_3,\dots ,x_n)=f(y,y,x_3,\dots ,x_n)$$

$$O_{k,\{1,2\}}^n=O_{k,1}^n\cap O_{k,2}^n.$$

Full text

This paper was supported by the UK EPSRC grant EP/R034516/1.

1. Introduction

In this paper we investigate the complexity of finding an approximate solution to satisfiable instances. For example, for the problem of 3-colouring a graph, one natural approximation version is the approximate graph colouring problem: The goal is to find a $c$-colouring of a given 3-colourable graph. There is a huge gap in our understanding of the complexity of this problem. The best known efficient algorithm uses roughly $c=O(n^{0.199})$ colours where $n$ is the number of vertices of the graph [KT17]. It has been long conjectured the problem is NP-hard for any fixed constant $c\geq 3$, but the state-of-the-art here has only recently been improved from $c=4$ [KLS00, GK04] to $c=5$ [BKO19, BBKO19].

Graph colouring problems naturally generalise to graph homomorphism problems and further to constraint satisfaction problems (CSPs). In a graph homomorphism problem, one is given two graphs and needs to decide whether there is a homomorphism (edge-preserving map) from the first graph to the second [HN04]. The CSP is generalisation of this that uses arbitrary relational structures in place of graphs. One particularly important case that attracted much attention is when the second graph/structure is fixed, this is the so-called non-uniform CSP [BKW17, FV98]. For graph homomorphisms, this gives the so-called $\mathbf{H}$-colouring problem: decide whether a given graph has a homomorphism to a fixed graph $\mathbf{H}$ [HN04]. The P vs. NP-complete dichotomy of $\mathbf{H}$-colouring given in [HN90] was one of the base cases that supported the Feder-Vardi dichotomy conjecture for CSPs [FV98]. The study of the complexity of the (standard) CSP and the final resolution of the dichotomy conjecture [Bul17, Zhu17] was greatly influenced by the algebraic approach (see survey [BKW17]). This approach has also made important contributions to the study of approximability of CSPs (e.g. [BK16]).

Brakensiek and Guruswami [BG16, BG18] suggested that perhaps progress on approximate graph colouring and similar open problems can be made by looking at a broader picture, by extending it to promise graph homomorphism and further to the promise constraint satisfaction problem (PCSP). The promise graph homomorphism is an approximation version of the graph homomorphism problem in the following sense: we fix (not one but) two graphs $\mathbf{H}$ and $\mathbf{G}$ such that there is a homomorphism from $\mathbf{H}$ to $\mathbf{G}$; the goal is then to find a $\mathbf{G}$-colouring for a given $\mathbf{H}$-colourable graph. The promise is that the input graph is always $\mathbf{H}$-colourable. The general promise CSP (PCSP, for short) is a natural generalisation of this to arbitrary relational structures.

Given the huge success of the algebraic approach to the CSP, it is natural to investigate what it can do for PCSPs. This investigation was started by Austrin, Håstad, and Guruswami [AGH17], with an application to a promise version of SAT. It was further developed by Brakensiek and Guruswami [BG16, BG18, BG19] and applied to a range of problems, including versions of approximate graph and hypergraph colouring. A recent paper [BKO19, BBKO19] describes a general abstract algebraic theory for PCSPs. However, the algebraic theory of PCSP is still very young and much remains to be done both in further developing it and in applying it to specific problems. We note that the aforementioned NP-hardness of 5-colouring a given 3-colourable graph was proved in [BKO19, BBKO19] by applying this abstract theory.

In the present paper, we apply this general theory to prove NP-hardness for an important class of promise graph homomorphism problems.

Related work

The notion of the PCSP has been coined in [AGH17], but problems from the class has been around for a long time, e.g. the approximate graph colouring [GJ76].

Most notable examples of PCSPs studied before are related to graph and hypergraph colouring. We already mentioned some results concerning colouring 3-colourable graphs with a constant number of colours. By additionally assuming non-standard (perfect-completeness) variants of the Unique Games Conjecture, NP-hardness was shown for all constant $c\geq 3$ [DMR09]. Without additional complexity-theoretic assumptions, the strongest known NP-hardness results for colouring $k$-colourable graphs are as follows. For any $k\geq 3$, it is NP-hard to colour a given $k$-colourable graph with $2k-1$ colours [BKO19, BBKO19]. For large enough $k$, it is NP-hard to colour a given $k$-colourable graph with $2^{\Omega(k^{1/3})}$ colours [Hua13]. The only earlier result about promise graph homomorphisms (with $\mathbf{H}\neq\mathbf{G}$) that involves more than graph colouring is the NP-hardness of 3-colouring graphs that admit a homomorphism to $\mathbf{C}_{5}$, the five-element cycle [BBKO19], which is the simplest problem within the scope of the main result of this paper.

A colouring of a hypergraph is an assignment of colours to its vertices that leaves no edge monochromatic. It is known that, for any constants $2\leq k\leq c$, it is NP-hard to find a $c$-colouring of a given 3-uniform $k$-colourable hypergraph [DRS05]. Further variants of approximate hypergraph colouring, e.g. relating to strong or rainbow colourings, were studied in [ABP18, BG16, BG17, GL17], but most complexity classifications related to them are still open in full generality. There are also hardness results concerning hypergraph colouring with a super-constant number of colours, e.g. [ABP19, Bha18].

An accessible exposition of the algebraic approach to the CSP can be found in [BKW17], where many ideas and results leading to (but not including) the resolution [Bul17, Zhu17] of the Feder-Vardi conjecture are presented. The volume [KŽ17] contains surveys concerning many aspects of the complexity and approximability of CSPs.

The first link between the algebraic approach and PCSPs was found by Austrin, Håstad, and Guruswami [AGH17], where they studied a promise version of $(2k+1)$-SAT called $(2+\varepsilon)$-SAT. It was further developed by Brakensiek and Guruswami [BG16, BG18, BG19]. They use a notion of polymorphism (which is the central concept in the algebraic theory of CSP) suitable for PCSPs, and show that the complexity of a PCSP is fully determined by its polymorphisms — in the sense that that two PCSPs with the same set of polymorphisms have the same complexity. They also use polymorphisms to prove several hardness and tractability results. The algebraic theory of PCSP was lifted to an abstract level in [BKO19, BBKO19], where it was shown that abstract properties of polymorphisms determine the complexity of PCSP. The main result of this paper heavily relies on [BKO19, BBKO19].

Our contribution

The approximate graph colouring problem is about finding a $c$-colouring of a given $3$-colourable graph. In other words, it relaxes the goal in $3$-colouring. We can instead insist that we want to find a $3$-colouring, but strengthen the promise, i.e., fix a $3$-colourable graph $\mathbf{H}$, and ask how hard it is to find a $3$-colouring of a given $\mathbf{H}$-colourable graph. We prove that this problem is NP-hard for any non-bipartite graph $\mathbf{H}$ that is 3-colourable. Note that if $\mathbf{H}$ is bipartite, then this problem is solvable in polynomial time, and therefore our result completes a dichotomy of this special case of the promise graph homomorphism problem.

The scope of our result can be seen as a certain dual of approximate graph colouring in the landscape of promise graph homomorphism, in the following sense. It is not hard to see that, in order to prove that promise graph homomorphism is NP-hard for any pair of non-bipartite graphs $(\mathbf{H},\mathbf{G})$, it enough to prove this for all pairs $(\mathbf{C}_{k},\mathbf{K}_{n})$, $k\geq 3$ odd and $n\geq 3$, where the first graph is an odd cycle and the second is a complete graph. This is because we have a chain of homomorphisms

[TABLE]

and, for each $(\mathbf{H},\mathbf{G})$ with a homomorphism $\mathbf{H}\rightarrow\mathbf{G}$, the problem $\operatorname{\text{PCSP}}(\mathbf{H},\mathbf{G})$ admits a (trivial) reduction from $\operatorname{\text{PCSP}}(\mathbf{C}_{k},\mathbf{K}_{n})$ where $k$ is the size of an odd cycle in $\mathbf{H}$ and $n$ is the chromatic number of $\mathbf{G}$ (so we have $\mathbf{C}_{k}\rightarrow\mathbf{H}\rightarrow\mathbf{G}\rightarrow\mathbf{K}_{n}$). The chain of homomorphisms (1.1) has a natural middle point $\mathbf{K}_{3}$. From this middle point, the right half of the chain corresponds to approximate graph colouring and the left half is the scope of this paper.

The result of this paper can also be viewed as NP-hardness of colouring $(2+\varepsilon)$-colourable graphs with $3$ colours. This statement can be made more formal using so-called circular chromatic number (see e.g. [WŽ19, p. 7]): one can check that indeed a graph maps homomorphically to $\mathbf{C}_{2k+1}$ if and only if its circular chromatic number is at most $2+1/k$.

We remark that the promise graph homomorphism problem has not been studied much beyond the case of approximate graph colouring. This somewhat narrow focus of earlier research can probably be explained by the serious difficulties encountered already in this special case. However, broadening the scope is advantageous, as this brings new methods into the picture, which can potentially resolve the difficult special case too.

Our proofs rely on the universal-algebraic approach to promise constraint satisfaction, that was recently developed by Barto, Bulín, and the authors [BKO19, BBKO19], as well as on some ideas from algebraic topology. To the best of our knowledge, this is the first time when ideas from universal algebra and algebraic topology are applied together to analyse the complexity of approximation. We remark that three earlier results on the complexity of approximate hypergraph colouring [ABP18, Bha18, DRS05] were based on results from topological combinatorics using the Borsuk-Ulam theorem or similar [Lov78, Mat03]. Their use of topology seems different from ours, and it remains to be seen whether they are all occurrences of a common pattern.

Subsequent work

In [WŽ19], Wrochna and Živný adapted and formalized the topological intuition of the present paper and generalized our result. In particular, they showed that the complexity of $\mathbf{G}$-colouring $(2+\varepsilon)$-colourable graphs depends only on an inherent topology of the graph $\mathbf{G}$. They showed that this implies NP-hardness of colouring $(2+\varepsilon)$-colourable graphs with $4-\varepsilon$ colours, and obtained a similar result for ‘square-free’ graphs $\mathbf{G}$. Remarkably, using somewhat related methods, they also improved the state-of-the-art of the standard approximate graph colouring. More precisely, building on the results of Huang [Hua13], they proved NP-hardness of colouring a $k$-colourable graph with ${k\choose{\lfloor k/2\rfloor}}-1$ colours for any $k\geq 4$, which improves both [Hua13] (where the number of colours is smaller, and the result is proved only only for large enough $k$) and the result of [BKO19, BBKO19] for any $k>5$.

Overview of key technical ideas

We prove the hardness via a reduction from Gap Label Cover. The general structure of the proof is similar to [AGH17], where they first give a general sufficient condition for the existence of such a reduction for general PCSPs, and then apply it to specific PCSPs which they call $(2+\varepsilon)$-SAT. However, the structure of our problems is rather more complicated — in particular, our problems do not satisfy the sufficient condition from [AGH17], so we need to do substantially more. It was shown in [BBKO19] that a reduction in the style of [AGH17] works under a weaker structural assumption (than [AGH17]), and the technical part of this paper shows that this weaker assumption is satisfied for our problems. Let us explain this in more detail.

The general reduction in [AGH17] encodes an instance of Gap Label Cover as an instance of a PCSP instance by using a polymorphism gadget. (Roughly, polymorphisms are multivariate functions compatible with the constraint relations of the PCSP.) That is, solutions of this gadget are polymorphisms, one for each variable of the original label cover instance. In this encoding, the arity of polymorphisms corresponds to the size of label sets in the label cover instance, so an assignment of a label to a variable corresponds to choosing a coordinate in the corresponding polymorphism. The completeness of the reduction follows automatically from the structure of the gadget. The proof of soundness uses the assumption such that any polymorphism of the PCSP at hand essentially depends only on a bounded number of variables (i.e., is a junta) — this is the sufficient condition. It is not hard to prove that this is enough to provide a good-enough approximation for a label cover instance. One can assign to each variable of the label cover instance a label chosen uniformly at random from the bounded-size set of labels corresponding to these essential variables of the corresponding polymorphism.

This approach does not work directly for our problems, since we do not have the property that all polymorphisms are juntas. However, we can use a stronger version of the above mentioned result from [AGH17] given in [BBKO19]. This stronger version weakens the assumption the all polymorphisms are juntas — instead, we assume that we can map our polymorphisms to another set of multivariate functions that does have this property, and we can do it in a way that works well with the label cover constraints, so we can use it to identify the (bounded-size set of) important coordinates in our polymorphisms. Formally, such a map is called a minion homomorphism (see Definition 2.10). This notion plays a very important role in the algebraic theory of PCSP (see [BKO19, BBKO19]). The construction of this map and the proof that it is a minion homomorphism is the technical content of the paper. Once this is done, our main result follows from [BBKO19].

In order to identify which coordinates in polymorphisms are important and which are ‘noise’, we need to analyse the structure of our polymorphisms. In our case, the polymorphisms are simply 3-colourings of direct powers of a fixed odd cycle. Since $\mathbf{K}_{3}$ is also an odd cycle, we have that both graphs defining our PCSPs are discretisations of a circle. Our analysis is inspired by ideas from algebraic topology. We assign to each coordinate an integer, called a degree. For a unary polymorphism, i.e., a homomorphism from the odd cycle to the 3-cycle, this degree has a precise intuitive meaning: it is the number of times the domain cycle wraps around the range cycle under the homomorphism. This corresponds to the topological degree of a continuous map between two copies of a circle. We further generalise this degree to higher arity polymorphisms — roughly, the degree at a certain coordinate is supposed to count how many times that coordinate wraps around the circle when ignoring all other coordinates. To define this number formally and consistently, we borrow a few notions from algebraic topology: To graphs and graph homomorphisms, we associate Abelian groups and group homomorphisms. These correspond to so-called groups of chains in topology, that are further used to define homology. However, we do not follow this theory that far, and define the degrees directly from these group homomorphisms. Finally, we show that only a bounded number of variables in a polymorphism can have a non-zero degree and use this fact to define our minion homomorphism.

Organisation of the paper

In Section 2, we introduce technical notions that we will need in our proof. Section 3 states our main result and the result from [BBKO19] that our proof relies on. In Section 4, we give an overview of the topological intuition of the proof. This section is useful for those who want to get a deeper understanding of the topological intuition — however, it is not required for checking the formal proof of the main result, which is presented in Section 5.

2. Preliminaries

2.1. Promise graph homomorphism problems

The approximate graph colouring problem and promise graph homomorphism problem are special cases of the PCSP, and we use the theory of PCSPs. However, we will not need the general definitions, so we define everything only for graphs. For general definitions, see, e.g. [BBKO19]. All graphs in this paper are loopless (i.e. irreflexive).

Definition 2.1**.**

A homomorphism from a graph $\mathbf{H}=(V(H),E(H))$ to another graph $\mathbf{G}=(V(G),E(G))$ is a map $h\colon V(H)\to V(G)$ such that $(h(u),h(v))\in E(G)$ for every $(u,v)\in E(H)$. In this case we write $h\colon\mathbf{H}\to\mathbf{G}$, and simply $\mathbf{H}\to\mathbf{G}$ to indicate that a homomorphism exists.

We now define formally the promise graph homomorphism problem.

Definition 2.2**.**

Fix two graphs $\mathbf{H}$ and $\mathbf{G}$ such that $\mathbf{H}\rightarrow\mathbf{G}$.

• •

The search variant of $\operatorname{\text{PCSP}}(\mathbf{H},\mathbf{G})$ is, given an input graph $\mathbf{I}$ that maps homomorphically to $\mathbf{H}$, find a homomorphism $h\colon\mathbf{I}\to\mathbf{G}$.

• •

The decision variant of $\operatorname{\text{PCSP}}(\mathbf{G},\mathbf{H})$ requires, given an input graph $\mathbf{I}$ such that either $\mathbf{I}\to\mathbf{H}$ or $\mathbf{I}\not\to\mathbf{G}$, to output yes in the former case, and no in the latter case.

Note that there is an obvious reduction from the decision variant of each PCSP to the search variant, but it is not known whether the two variants are equivalent for each PCSP. The hardness results in this paper hold for the decision (and hence also for the search) version of $\operatorname{\text{PCSP}}(\mathbf{H},\mathbf{G})$.

It is obvious that if at least one of $\mathbf{H},\mathbf{G}$ is bipartite then the problem can be solved in polynomial time by using an algorithm for 2-colouring.

Conjecture 2.3** ([BG18]).**

Let $\mathbf{H}$ and $\mathbf{G}$ be any non-bipartite graphs with $\mathbf{H}\to\mathbf{G}$. Then $\operatorname{\text{PCSP}}(\mathbf{H},\mathbf{G})$ is NP-hard.

The graphs that we will be working with in this paper are cycles and their direct powers. As usual, we denote by $\mathbf{K}_{k}$ the complete graph on $k$ vertices, and by $\mathbf{C}_{k}$ the $k$-cycle. We will assume throughout that the set of vertices of both graphs is $\{0,1,\ldots,k-1\}$ and that the of the edges of the $k$-cycle are $(0,1)$, …, $(k-2,k-1)$, $(k-1,0)$.

Definition 2.4**.**

The $n$-th direct (or tensor) power of a graph $\mathbf{G}$ is the graph $\mathbf{G}^{n}$ whose vertices are all $n$-tuples of vertices of $\mathbf{G}$ (i.e., $V(G^{n})=V(G)^{n}$), and whose edges are defined as follows: $((u_{1},\dots,u_{n}),(v_{1},\dots,v_{n}))$ is an edge of $\mathbf{G}^{n}$ if and only if $(u_{i},v_{i})$ is an edge of $\mathbf{G}$ for all $i\in\{1,\dots,n\}$.

2.2. Polymorphisms

Although this paper does not use the general PCSPs, we will use the tools developed for analysis of these kind of problems. Namely, we use the notions of polymorphisms [AGH17, BG18], minions and minion homomorphisms [BKO19, BBKO19]. We introduce these notions in the special case of graphs below. The general definitions and more insights can be found in [BBKO19, BKW17].

Definition 2.5**.**

An $n$-ary polymorphism from a graph $\mathbf{G}$ to a graph $\mathbf{H}$ is a homomorphism from $\mathbf{G}^{n}$ to $\mathbf{H}$. To spell this out, it is a mapping $f\colon V(G)^{n}\to V(H)$ such that, for all tuples $(u_{1},v_{1})$, …, $(u_{n},v_{n})$ of edges of $\mathbf{G}$, we have

[TABLE]

We denote the set of all polymorphisms from $\mathbf{G}$ to $\mathbf{H}$ by $\operatorname{Pol}(\mathbf{G},\mathbf{H})$.

Example 2.6*.*

The $n$-ary polymorphisms from a graph $\mathbf{G}$ to the $k$-clique $\mathbf{K}_{k}$ are the $k$-colourings of $\mathbf{G}^{n}$.

An important notion in our analysis of polymorphisms is that of an essential coordinate.

Definition 2.7**.**

A coordinate $i$ of a function $f\colon A^{n}\rightarrow B$ is called essential if there exist $a_{1},\ldots,a_{n}$ and $b_{i}$ in $A$ such that

[TABLE]

A coordinate of $f$ that is not essential is called inessential or dummy.

The set of polymorphisms between any two graphs is closed under the operation of taking a minor, that is, it is a minion. Let us formally define these notions.

Definition 2.8**.**

An $n$-ary function $f\colon A^{n}\to B$ is called a minor of an $m$-ary function $g\colon A^{m}\to B$ given by a map $\pi\colon\{1,\dots,m\}\to\{1,\dots,n\}$ if

[TABLE]

for all $x_{1},\dots,x_{n}\in A$.

Alternatively, one can say that $f$ is a minor of $g$ if it is obtained from $g$ by identifying variables, permuting variables, and introducing inessential variables.

Definition 2.9**.**

Let $\mathscr{O}(A,B)=\{f\colon A^{n}\rightarrow B\mid n\geq 1\}$. A (function) minion $\mathscr{M}$ on a pair of sets $(A,B)$ is a non-empty subset of $\mathscr{O}(A,B)$ that is closed under taking minors. For fixed $n\geq 1$, let $\mathscr{M}^{(n)}$ denote the set of $n$-ary functions from $\mathscr{M}$.

Definition 2.10**.**

Let $\mathscr{M}$ and $\mathscr{N}$ be two minions (not necessarily on the same pairs of sets). A mapping $\xi\colon\mathscr{M}\to\mathscr{N}$ is called a minion homomorphism if

1. (1)

it preserves arities, i.e., maps $n$-ary functions to $n$-ary functions for all $n$, and 2. (2)

it preserves taking minors, i.e., for each $\pi\colon\{1,\dots,m\}\to\{1,\dots,n\}$ and each $g\in\mathscr{M}^{(m)}$ we have

[TABLE]

We refer to [BBKO19, Example 2.22] for an example of a minion homomorphism.

Definition 2.11**.**

A minion $\mathscr{M}$ is said to have essential arity at most $k$, if each function $f\in\mathscr{M}$ has at most $k$ essential variables. It is said to have bounded essential arity if it has essential arity at most $k$ for some $k$.

Remark 2.12*.*

It is well known (see, e.g. [GL74]), and not hard to check, that the minion $\operatorname{Pol}(\mathbf{K}_{3},\mathbf{K}_{3})$ has essential arity at most 1. However, it is easy to show that, for any odd $k>3$, the minion $\operatorname{Pol}(\mathbf{C}_{k},\mathbf{K}_{3})$ does not have bounded essential arity. Fix a homomorphism $h\colon\mathbf{C}_{k}\to\mathbf{K}_{3}$ such that $h(0)=h(2)=0$ and $h(1)=1$ and define the following function from $\mathbf{C}_{k}^{n}$ to $\mathbf{K}_{3}$:

[TABLE]

It is easy to check that $f\in\operatorname{Pol}(\mathbf{C}_{k},\mathbf{K}_{3})$. By using Definition 2.7 with $a_{1}=\ldots=a_{n}=1$ and $b_{i}=0$, one can verify that every coordinate $i$ of $f$ is essential.

Our proof will rely on the following theorem which is a special case of a result in [BBKO19] that generalised [AGH17, Theorem 4.7]. We remark that the proof of this theorem is by a reduction from Gap Label Cover, which is a common source of inapproximability results.

Theorem 2.13** ([BBKO19, Proposition 5.15]).**

Let $\mathbf{H},\mathbf{G}$ be graphs such that $\mathbf{H}\to\mathbf{G}$. Assume that there exists a minion homomorphism $\xi\colon\operatorname{Pol}(\mathbf{H},\mathbf{G})\rightarrow\mathscr{M}$ for some minion $\mathscr{M}$ on a pair of (possibly infinite) sets such that $\mathscr{M}$ has bounded essential arity and does not contain a constant function (i.e., a function without essential variables). Then $\operatorname{\text{PCSP}}(\mathbf{H},\mathbf{G})$ is NP-hard.

2.3. Graph homology

In this section we introduce a simple way to associate Abelian groups and group homomorphisms to graphs and graph homomorphisms. We will use this connection to find a minion homomorphism needed to apply Theorem 2.13 to $\mathbf{H}=\mathbf{C}_{k}$, $k\geq 3$ odd, and $\mathbf{G}=\mathbf{K}_{3}$. What we describe here is a special case of standard notions in algebraic topology [Hat01], but we do not assume any topology background.

For an edge $(u,v)$ in a graph $\mathbf{G}$, let $[u,v]$ denote an orientation of the edge from $u$ to $v$.

Definition 2.14**.**

Fix a graph $\mathbf{G}=(V(G),E(G))$. Let $\mathop{\Delta_{\mathsf{V}}}(\mathbf{G})$ denote the free Abelian group with generators $[v],v\in V(G)$. That is, the elements of this group are formal sums $\sum_{v\in V(G)}{c_{v}[v]}$, where $c_{v}\in\mathbb{Z}$ for all $v\in V(G)$, and the addition in this group is naturally defined as

[TABLE]

Similarly, let $\mathop{\Delta_{\mathsf{E}}}(\mathbf{G})$ denote the free Abelian group with generators $[u,v],(u,v)\in E(G)$, where we additionally postulate that $[u,v]=-[v,u]$ for every edge. The elements of $\mathop{\Delta_{\mathsf{V}}}(\mathbf{G})$ are called vertex chains and the elements of $\mathop{\Delta_{\mathsf{E}}}(\mathbf{G})$ edge chains in $\mathbf{G}$.

Note that any multiset $W$ of oriented edges in $\mathbf{G}$ gives rise to the edge chain $\sum_{[u,v]\in W}[u,v]$, where each oriented edge appears in the sum with the corresponding multiplicity. With a slight abuse of notation, we will denote this edge chain also by $W$. For example, if $W$ is a walk that uses some edge $(u,v)$ the same number of times in each direction, then the corresponding coefficient in the edge chain of $W$ will be 0.

Note also that one can consider both $\mathop{\Delta_{\mathsf{V}}}(\mathbf{G})$ and $\mathop{\Delta_{\mathsf{E}}}(\mathbf{G})$ not only as Abelian groups, but also as $\mathbb{Z}$-modules. That is, for any integer $c$ and any vertex chain or edge chain $W$, one can consider the chain $c\cdot W$ defined by multiplying all coefficients in $W$ by $c$.

For any two graphs $\mathbf{H}$ and $\mathbf{G}$, any homomorphism $f\colon\mathbf{H}\to\mathbf{G}$ naturally gives rise to group homomorphisms $f_{\mathsf{V}}\colon\mathop{\Delta_{\mathsf{V}}}(\mathbf{H})\to\mathop{\Delta_{\mathsf{V}}}(\mathbf{G})$ and $f_{\mathsf{E}}\colon\mathop{\Delta_{\mathsf{E}}}(\mathbf{H})\to\mathop{\Delta_{\mathsf{E}}}(\mathbf{G})$ defined by

[TABLE]

and

[TABLE]

Since $f$ is a graph homomorphism, $[f(u_{i}),f(v_{i})]$ is always an (orientation of an) edge in $\mathbf{G}$.

Definition 2.15**.**

For a graph $\mathbf{G}$, we define a map $\partial\colon\mathop{\Delta_{\mathsf{E}}}(\mathbf{G})\to\mathop{\Delta_{\mathsf{V}}}(\mathbf{G})$ as the group homomorphism such that $[u,v]\mapsto[v]-[u].$ for every $[u,v]\in\mathop{\Delta_{\mathsf{E}}}(\mathbf{G})$

Note that the above condition uniquely defines $\partial$.

The map $\partial$ computes the ‘boundary’ of an edge chain. For example, the boundary of an edge chain corresponding to a walk from $u$ to $v$ in $\mathbf{G}$ is $[v]-[u]$, and more generally, the boundary $\delta W$ of an edge chain $W$ counts for each vertex $v$ the difference between how many times edges in $W$ arrive to $v$ and how many times they leave.

We will also use the following observation which is a generalization of the fact that mapping a walk from $u$ to $v$ by a homomorphism $f$ results in a walk from $f(u)$ to $f(v)$.

Lemma 2.16**.**

For each graph homomorphism $f\colon\mathbf{H}\to\mathbf{G}$ and each $P\in\mathop{\Delta_{\mathsf{E}}}(\mathbf{H})$, we have $f_{\mathsf{V}}(\partial P)=\partial f_{\mathsf{E}}(P)$.

Proof.

Since all the involved maps are group homomorphisms, it is enough to check the required equality on the generators of $\mathop{\Delta_{\mathsf{E}}}(\mathbf{H})$. Pick $[u,v]$ an oriented edge of $\mathbf{H}$, then

[TABLE]

as required. ∎

3. The Main Result

Our main result is as follows.

Theorem 3.1**.**

Let $\mathbf{H}$ be a 3-colourable non-bipartite graph. Then $\operatorname{\text{PCSP}}(\mathbf{H},\mathbf{K}_{3})$ is NP-hard.

As we explained in the introduction, it is enough to prove this theorem for the case $\mathbf{H}=\mathbf{C}_{k}$, $k\geq 3$ odd. We do this by using Theorem 2.13 for $\operatorname{Pol}(\mathbf{C}_{k},\mathbf{K}_{3})$ and the minion $\mathscr{M}$ defined as follows.

Definition 3.2**.**

Let $N$ be an odd number, we define a minion $\mathscr{Z}_{\leq N}$ to be the set of all functions $f\colon\mathbb{Z}^{n}\to\mathbb{Z}$ such that $f(x_{1},\dots,x_{n})=c_{1}x_{1}+\dots+c_{n}x_{n}$ for some $c_{1}$, …, $c_{n}\in\mathbb{Z}$ with $\sum_{i=1}^{n}\left|c_{i}\right|\leq N$ and $\sum_{i=1}^{n}c_{i}$ odd.

Alternatively, the set $\mathscr{Z}_{\leq N}$ can be described as the set of all minors of the functions of the form $(x_{1},\dots,x_{N})\mapsto\pm x_{1}\pm\dots\pm x_{N}$. It is clear that, for any fixed odd $N$, $\mathscr{Z}_{\leq N}$ is a minion that has bounded essential arity and contains no constant function.

Theorem 3.3**.**

Let $k\geq 3$ be odd and let $N$ be the largest odd number such that $N\leq k/3$. Then there is a minion homomorphism from $\operatorname{Pol}(\mathbf{C}_{k},\mathbf{K}_{3})$ to $\mathscr{Z}_{\leq N}$.

Remark 3.4*.*

If $k$ is the size of an odd cycle in $\mathbf{H}$, there also exists a minion homomorphism $\xi\colon\operatorname{Pol}(\mathbf{H},\mathbf{K}_{3})\to\operatorname{Pol}(\mathbf{C}_{k},\mathbf{K}_{3})$, which can be composed with the minion homomorphism from Theorem 3.3 to give a minion homomorphism from $\operatorname{Pol}(\mathbf{H},\mathbf{K}_{3})$ to $\mathscr{Z}_{\leq N}$. Given a graph homomorphism $h\colon\mathbf{C}_{k}\to\mathbf{H}$, we can define a map $\xi\colon\operatorname{Pol}(\mathbf{H},\mathbf{K}_{3})\to\operatorname{Pol}(\mathbf{C}_{k},\mathbf{K}_{3})$ by

[TABLE]

It is easy to show that this map preserves minors and is therefore a minion homomorphism.

The bound on $N$ given in the above theorem is tight. More precisely, one can show that there is also a minion homomorphism in the opposite direction, i.e., from $\mathscr{Z}_{\leq N}$ to $\operatorname{Pol}(\mathbf{C}_{k},\mathbf{K}_{3})$ (see the appendix). It is not hard to check that this in particular implies that [BBKO19, Corollary 5.19] cannot be used to provide NP-hardness of $\operatorname{\text{PCSP}}(\mathbf{C}_{k},\mathbf{K}_{3})$ for any $k\geq 9$.

As mentioned above, Theorem 3.1 follows immediately from Theorem 2.13 and Theorem 3.3.

4. A Topological Detour

The proof presented in Section 5 is heavily influenced by several topological observations, and even though they are not formally needed, we present them here to provide some intuition. The only intention of this section is to give an intuition about the combinatorial statements in the Section 5, therefore we will omit any formal proofs or statements. We believe that an interested reader with an access to a book about algebraic topology (e.g. [Hat01]) will be able to check correctness of our statements. Throughout this section, we add a few remarks intended for readers skilled with algebraic topology.

The analogy between our discrete setting and topology is based on the observation that both $\mathbf{C}_{k}$ for $k\geq 3$ and $\mathbf{C}_{3}$ look from the topological perspective like the circle $S^{1}=\{(x,y)\in\mathbb{R}^{2}\mid x^{2}+y^{2}=1\}$. Any continuous mapping $f\colon S^{1}\to S^{1}$ is assigned a topological invariant called degree of $f$, and denoted by $\deg f$. Intuitively, this number counts ‘how many times $f$ loops around the circle’. A positive degree means it loops around counter-clockwise, a negative one means it loops around clockwise. A similar invariant can be used for graph homomorphisms between two cycles (see Definition 5.2). The essence of our argument is to generalize this degree to polymorphisms, i.e., mappings that have multiple values on the input.

Remark 4.1*.*

In algebraic topology, the degree is formally defined through the fundamental group. The fundamental group $\Pi_{1}(S^{1})$ is isomorphic to the free cyclic group $\mathbb{Z}$, the generator of this group is the class of a loop that loops around once counter-clockwise. Any continuous mapping $f\colon S^{1}\to S^{1}$ induces a group homomorphism between the fundamental groups, i.e., a group homomorphism $\Pi_{1}(f)\colon\mathbb{Z}\to\mathbb{Z}$, and any such mapping is of the form $f(x)=cx$. This $c$ is then defined as the degree of $f$.

Let us borrow the term ‘polymorphism’ to use for continuous mappings from a power of a topological space to another, i.e., a polymorphism of our circle $S^{1}$ is a continuous map from $n$-th power of a circle to $S^{1}$ (with the product topology). The $n$-th power of $S^{1}$ is an $n$-torus, usually denoted by $T^{n}$. The second power is the usual torus $T^{2}$ (surface of a doughnut) depicted on Figure 1. That is for $n$-ary polymorphisms, we are interested in continuous maps $f\colon T^{n}\to S^{1}$.

Such a mapping $f\colon T^{n}\to S^{1}$ is assigned $n$ different degrees $\deg_{1}f$, …, $\deg_{n}f$ each corresponding to one of the coordinates of $f$. A degree of $f$ at a coordinate $i$ is obtained by fixing all other coordinates to a point, and following the $i$-th coordinate around $S^{1}$ and counting how many times one loops around the circle in the image. For example, for $n=2$, each of the two degrees are obtained by following one of the two loops depicted in Figure 1. A necessary observation is that degree assigned this way does not depend on the choice of values to which other coordinates are fixed. This is due to a simple fact that any two such choices of loops can be connected by a continuous transformation, continuously changing one loop into the other (such a continuous transformation is usually called a homotopy), this implies that the degree has to change continuously as well. But the degree can only attain discrete values, and therefore it has to remain constant.

This assigns a quantity $\deg_{i}f$, which is always an integer, to each of the coordinates of $f$. Intuitively, we can say that the higher the absolute value of this degree is, the more important the corresponding variable is. In particular, inessential variables have degree [math]. This is in essence how we identify which variables of a function are important, and which should become inessential after applying a minion homomorphism.

Remark 4.2*.*

Using the fundamental groups in the $n$-ary case can also bring a little more insight. In particular, as it is well-known that $\Pi_{1}(T^{n})$ is isomorphic to the $n$-generated free Abelian group. The loops that we described in the above paragraphs correspond to the $n$ different generators. And similarly, as in the unary case, any continuous mapping $f\colon T^{n}\to S^{1}$ induces a group homomorphism between the fundamental groups, i.e., a group homomorphism $\Pi_{1}(f)\colon\mathbb{Z}^{n}\to\mathbb{Z}$. Any such map is of the form

[TABLE]

and each of these coefficients $c_{i}$ correspond to the degree $\deg_{i}f$.

To bound the number of ‘interesting’ coordinates, we need use the discrete structure of the graph. One easy observation is that a degree of a graph homomorphism from $\mathbf{C}_{k}$ to $\mathbf{C}_{3}$ cannot be arbitrarily large: we can walk around the cycle $\mathbf{C}_{3}$ at most $k/3$ times in $k$ steps. We need to bring this bound on a single degree of a unary map to bound the number of coordinates with non-zero degree. This is done by proving that if $f$ is $n$-ary, and $g$ is defined from $f$ by identifying all variables, i.e., $g(x)=f(x,\dots,x)$, then $\deg g=\deg_{1}f+\dots+\deg_{n}f$. This is not so easy to see, let us sketch the proof for $n=2$. Let $f\colon T^{2}\to S^{1}$, then $g$ is defined as the restriction of $f$ to the diagonal, i.e., points with coordinates $(x,x)$, see the dashed line in Figure 1.

We want to connect the degree of this restriction with the degrees of the two restrictions of $f$ to the loops that define $\deg_{1}f$ and $\deg_{2}f$. This is again done by observing that walking along the two loops one after another can be continuously transformed to walking along the diagonal. This can be done by continuously shifting the walk along the lines shown in Figure 2. A similar argumentation works for higher dimensions as well. The last small technical obstacle is what to do with negative degrees as they could cancel out with positive ones. This is only a minor problem since we can simply reverse the corresponding coordinates to obtain a mapping that has only positive degrees that are identical to the original ones, up to a sign.

Remark 4.3*.*

The above argumentation is an instance of a more general statement that says that the mapping $\Pi_{1}\colon\mathscr{S}^{1}\to\mathscr{Z}$ (here $\mathscr{S}^{1}$ denotes the minion of all continuous maps from $T^{n}$ to $S^{1}$ and $\mathscr{Z}$ the minion of all group homomorphisms from $\mathbb{Z}^{n}$ to $\mathbb{Z}$) is a minion homomorphism. In other words, if $g$ is defined from $f$ using $\pi\colon\{1,\dots,n\}\to\{1,\dots,m\}$ by $g(x_{1},\dots,x_{m})=f(x_{\pi(1)},\dots,x_{\pi(n)})$, then the same identity holds for $\Pi_{1}(g)$ and $\Pi_{1}(f)$, i.e.,

[TABLE]

The above is equivalent to the statement that for all $i\in\{1,\dots,m\}$ we have

[TABLE]

In Section 5, we prove that the degrees we define for graph polymorphisms also have this property.

In our attempt to bring these topological considerations to proper statements about polymorphisms from $\mathbf{C}_{k}$ to $\mathbf{C}_{3}$, there are a few points where the analogy does not work nicely. We already mentioned one, that the degree of a graph homomorphism is bounded, but the degree of a continuous map $S^{1}\to S^{1}$ is not. This is due to the fact that, unlike topological spaces which are sometimes described as ‘being made of rubber’, i.e., they can be infinitely stretched and folded, graphs are ‘made of sticks’, i.e., they can be folded but not stretched. This property works to our advantage. The second issue is that the second power of $\mathbf{C}_{k}$ is not exactly topologically equivalent to a torus, rather it forms a certain mesh that can be drawn on a torus in some way (see Figure 3). This can be avoided by using a less naïve assignment of a topological space to a graph and a more robust theory [Wal83] which is in line with Lovász’s approach [Lov78]. This approach is described in detail in a subsequent paper of Wrochna and Živný [WŽ19, Appendix A]. In this paper, we stick to the naïve approach and present an ad-hoc (‘discrete continuity’) argument using an alternative definition of a degree that resembles the topological one.

5. Proof of Theorem 3.3

We prove the theorem by analysing the polymorphisms from $\mathbf{C}_{k}$ to $\mathbf{C}_{3}(=\mathbf{K}_{3})$, where $k\geq 3$ is an odd number (which we assume to be fixed for the rest of this section.

5.1. Degree of a homomorphism

Recall that, for $m\geq 3$, we define the graph $\mathbf{C}_{m}$ to be the $m$-cycle with vertices $0,1,\dots,m-1$. Here vertices are connected by an edge if they differ by exactly one modulo $m$.

We fix an orientation of any $\mathbf{C}_{m}$ in the increasing order modulo $m$, and denote by $O_{m}$ the edge chain $[0,1]+[1,2]+\dots+[m-1,0]$ in $\mathop{\Delta_{\mathsf{E}}}(\mathbf{C}_{m})$.

The degree of a homomorphism $f\colon\mathbf{C}_{m}\to\mathbf{C}_{l}$ is intuitively defined as the (possibly non-positive) number of times the image of $\mathbf{C}_{m}$ under $f$ walks around $\mathbf{C}_{l}$ in a fixed direction (say, counter-clockwise). The formal definition is based on the following observation.

Lemma 5.1**.**

Let $m,l\geq 3$, and let $f\colon\mathbf{C}_{m}\to\mathbf{C}_{l}$ be a homomorphism. Then there is an integer $d$ such that $f_{\mathsf{E}}(O_{m})=d\cdot O_{l}$.

Proof.

Clearly, we have $\partial O_{m}=0$. Lemma 2.16 then implies that $\partial(f_{\mathsf{E}}(O_{m}))=0$. We claim that the only edge chains $W$ in $\mathop{\Delta_{\mathsf{E}}}(\mathbf{C}_{l})$ such that $\partial W=0$ are chains of the form $d\cdot O_{l}$, so $f_{\mathsf{E}}(O_{m})$ is of this form. Indeed, observe that if $W=d_{0}[0,1]+\cdots+d_{l-1}[l-1,0]$, then

[TABLE]

If $\partial W=0$, all coefficients in the above sum are [math], and therefore $d_{0}=d_{1}=\dots=d_{l-1}$ concluding that $W=d\cdot O_{l}$ for $d=d_{0}$. ∎

Definition 5.2**.**

Let $m,l\geq 3$. The degree of a homomorphism $f\colon\mathbf{C}_{m}\to\mathbf{C}_{l}$, denoted by $\deg f$, is defined as the integer $d$ from the above lemma, i.e., the number $\deg f$ such that

[TABLE]

Lemma 5.3**.**

Let $m,l\geq 3$, assume that $l$ is odd, and let $f\colon\mathbf{C}_{m}\to\mathbf{C}_{l}$ be a homomorphism. Then

1. (1)

$\mathopen{|}\deg f\mathclose{|}\leq m/l$, 2. (2)

the parity of $\deg f$ is the same as the parity of $m$, and 3. (3)

if $m=4$ then $\deg f=0$.

Proof.

(1) We have that

[TABLE]

It is clear that, for each $[i,i+1]$ in $O_{l}$, the last expression above contains at least $\mathopen{|}\deg f\mathclose{|}$ terms that are either $[i,i+1]$ or $[i+1,i]$. It follows that $\mathopen{|}\deg f\mathclose{|}\leq m/l$.

(2) This follows by similar considerations as above. For each $[i,i+1]$ in $O_{l}$, the parity of the number of terms in the above sum that are either $[i,i+1]$ or $[i+1,i]$ is the same as the parity of $\deg f$. Since $l$ is odd, the result follows.

(3) From (1) and (2), we know that the degree of any homomorphism $f\colon\mathbf{C}_{4}\to\mathbf{C}_{l}$ is an even integer with absolute value at most $4/l$. For $l>2$, there is only one such number, namely [math]. ∎

Note that as a direct consequence of item (2) in the above lemma, we get that for $m,l$ odd, any homomorphism from $\mathbf{C}_{m}$ to $\mathbf{C}_{l}$ has a non-zero degree.

5.2. Degrees of a polymorphism

We generalise the notion of a degree of a homomorphism to polymorphisms between odd cycles. More precisely, for a polymorphism $f\colon\mathbf{C}_{k}^{n}\to\mathbf{C}_{3}$ and coordinate $i\in\{1,\dots,n\}$, we define a quantity that we will call ‘a degree of $f$ at coordinate $i$’. Since this quantity will be used to define a minion homomorphism, the main requirement here will be that the degree behaves nicely with respect to minors. Formally, we will need that if $g$ is a minor of $f$ defined by

[TABLE]

then

[TABLE]

This property is equivalent to saying that the mapping that maps $f$ to the function on $\mathbb{Z}$ defined by $(x_{1},\dots,x_{n})\mapsto\deg_{1}f\cdot x_{1}+\dots+\deg_{n}f\cdot x_{n}$ is minor-preserving.

Intuitively, a degree of a unary function counts how many times one loops around the cycle $\mathbf{C}_{3}$ if one follows the values of the function. We would like to bring this intuition to the $n$-ary case, so that the degree of $f$ at some coordinate would mean ‘number of times one loops around the circle if one follows edges going in the given direction at this coordinate’.

We will formalise this intuition and prove that the degree at a coordinate can be defined in two equivalent ways, one global and the other local. In what follows we fix $l=3$, but all proofs work for any odd $3\leq l\leq k$.

We denote by $O_{k,i}^{n}$ the set of all oriented edges of $\mathbf{C}_{k}^{n}$ whose $i$-th coordinate is oriented as in $O_{k}$, i.e.,

[TABLE]

We will also view $O_{k,i}^{n}$ as an edge chain in $\mathop{\Delta_{\mathsf{E}}}(\mathbf{C}_{k}^{n})$.

Definition 5.4**.**

Let $f\colon\mathbf{C}_{k}^{n}\to\mathbf{C}_{3}$ be a polymorphism. We define the degree of $f$ at coordinate $i$ as the integer $\deg_{i}f$ such that

[TABLE]

Note that $\mathopen{|}O_{k,i}^{n}\mathclose{|}=2^{n-1}k^{n}$, and therefore the above definition agrees with the intuitive meaning. Also if $n=1$, then $\deg_{1}f$ coincides with $\deg f$ since $(2k)^{1-1}=1$ and $O_{k,1}^{1}=O_{k}$. For a general $n$, it is not even clear that such a number $\deg_{i}f$ always exists. It is easy to show that there is an integer $d^{\prime}$ such that $f_{\mathsf{E}}(O_{k,i}^{n})=d^{\prime}\cdot O_{3}$ since $\partial(O_{k,i}^{n})=0$. However, there is no obvious reason that this number is a multiple of $(2k)^{n-1}$. Let us show that this is the case. We need a technical definition first.

Definition 5.5**.**

For an unoriented edge $e=(\bar{u},\bar{v})$ of $\mathbf{C}_{k}^{n-1}$, we define

[TABLE]

Note that $\mathopen{|}e\times_{i}O_{k,i}^{n}\mathclose{|}=2k$ since for each $[u_{i},v_{i}]\in O_{k}$ there are two edges in $e\times_{i}O_{k,i}^{n}$ (one for each orientation of $e$) whose $i$-th coordinate agree with $[u_{i},v_{i}]$. We also note that $O_{k,i}^{n}=\bigcup_{e}e\times_{i}O_{k}$ where the union runs through all unoriented edges of $\mathbf{C}_{k}^{n-1}$. Again, we can view $e\times_{i}O_{k}$ as an edge chain in $\mathop{\Delta_{\mathsf{E}}}(\mathbf{C}_{k}^{n})$.

Lemma 5.6**.**

Let $n\geq 2$, $f\colon\mathbf{C}_{k}^{n}\to\mathbf{C}_{3}$ be a polymorphism, and let $i\in\{1,\dots,n\}$. Then

1. (1)

for each edge $e$ of $\mathbf{C}_{k}^{n-1}$, there is an integer $d$ such that $f_{\mathsf{E}}(e\times_{i}O_{k})=2d\cdot O_{3}$; 2. (2)

the above $d$ does not depend on the choice of $e$; 3. (3)

$d=\deg_{i}f$.

Proof.

Without loss of generality, assume that $i=1$, and to simplify the notation, we will write $\times$ instead of $\times_{1}$.

(1) Observe that $e\times O_{k}$ is an oriented $2k$-cycle in $\mathbf{C}_{k}^{n}$, and consider $g_{e}\colon\mathbf{C}_{2k}\to\mathbf{C}_{3}$ to be the restriction of $f$ to this $2k$-cycle. Then $\deg g_{e}$ is even from Lemma 5.3(2), and therefore it is equal to $2d$ for some $d$.

(2) We first prove the claim for two incident edges $e$ and $e^{\prime}$. Let

[TABLE]

We want to prove that $f_{\mathsf{E}}(e\times O_{k})=f_{\mathsf{E}}(e^{\prime}\times O_{k})$ which is equivalent to $f_{\mathsf{E}}(e\times O_{k}-e^{\prime}\times O_{k})=0$ since $f_{\mathsf{E}}$ is a group homomorphism. Note that $-e^{\prime}\times O_{k}$ is obtained from $e^{\prime}\times O_{k}$ by reversing edges. Our goal is then decompose these two oriented cycles into several 4-cycles and then apply Lemma 5.3(3). The four cycles are defined on vertices

[TABLE]

where the addition in the first coordinate is considered modulo $k$. We denote by $S_{j}$ the sum of oriented edges of the above 4-cycle, with the orientation following the order above. Observe that indeed (see Figure 4)

[TABLE]

and therefore

[TABLE]

where the last equality follows from Lemma 5.3(3). This implies that $f_{\mathsf{E}}(e\times_{i}O_{k})=f_{\mathsf{E}}(e^{\prime}\times_{i}O_{k})$, as required. The general case is then obtained by transitivity, since one can move from any edge of $\mathbf{C}_{k}^{n-1}$ to any other edge by following a sequence of incident edges.

(3) We have

[TABLE]

since $\lvert E(C_{k}^{n-1})\rvert=(2k)^{n-1}/2$. ∎

5.3. Minor preservation

Let $\mathscr{Z}$ denote the minion of all linear maps over $\mathbb{Z}$, i.e., of the functions of the form $\sum{c_{i}x_{i}}$ where all $c_{i}\in\mathbb{Z}$. We define a mapping $\delta\colon\operatorname{Pol}(\mathbf{C}_{k},\mathbf{C}_{3})\to\mathscr{Z}$ by

[TABLE]

In this subsection we prove that $\delta$ is minor-preserving, and therefore a minion homomorphism. In the following one we show that the image of $\delta$ contains only functions of bounded essential arity (but no constant function).

Lemma 5.7**.**

The map $\delta$ is a minion homomorphism.

It is clear that $\delta$ preserves the arity, so we need to show it also preserves the operation of taking minors. We decompose this operation into a few steps: permuting variables, introducing new dummy variables, and identifying two variables. It is not hard to observe that $\delta$ preserves the operation of permuting variables (this corresponds to the case when $\pi$ in Definition 2.10 is a bijection). We deal with the case of identifying two variables in Lemma 5.8, and then consider the addition of dummy variables in Lemma 5.11.

Lemma 5.8**.**

Let $n\geq 2$. If $f\in\operatorname{Pol}(\mathbf{C}_{k},\mathbf{C}_{3})$ is $n$-ary and $g$ is obtained from $f$ by identifying the first two variables, i.e.,

[TABLE]

then $\deg_{1}g=\deg_{1}f+\deg_{2}f$.

Before, we get to the proof, we need some technical definitions and a simple technical lemma. Similarly to $O_{k,i}^{n}$, we denote by $O_{k,\{1,2\}}^{n}$ the set of all oriented edges of $\mathbf{C}_{k}^{n}$ whose first and second coordinates are oriented as in $O_{k}$, i.e.,

[TABLE]

Note that, unlike $O_{k,i}^{n}$, $O_{k,\{1,2\}}^{n}$ does not contain all edges of $\mathbf{C}_{k}^{n}$ in some orientation, e.g. neither the edge $[(0,1),(1,0)]$ nor $[(1,0),(0,1)]$ is contained in $O_{k,\{1,2\}}^{2}$. Also observe that when considering this set as an edge chain, we have

[TABLE]

which follows, since in the sum on the right-hand side the edges that disagree in the orientation in the first two coordinates cancel out, and those which agree count twice.

We define the joint degree of $f$ at coordinates $1$ and $2$, which intuitively expresses ‘the average number of times one loops around $O_{3}$ when following $k$ edges that increase in both coordinates $1$ and $2$’. For the formal definition below, note that $|O_{k,\{1,2\}}^{n}|=2^{n-2}k^{n}$.

Definition 5.9**.**

Let $n\geq 2$, and let $f\colon\mathbf{C}_{k}^{n}\to\mathbf{C}_{3}$ be a polymorphism. We define a joint degree of $f$ at coordinates 1 and 2 as the integer $\deg_{1,2}f$ such that

[TABLE]

As in the case of degrees of polymorphisms, it is not obvious that such a number exists, but we prove this in the following lemma.

Lemma 5.10**.**

For each $n\geq 2$ and a polymorphism $f\colon\mathbf{C}_{k}^{n}\to\mathbf{C}_{3}$, we have

[TABLE]

Proof.

Since $O_{k,\{1,2\}}^{n}=1/2\cdot(O_{k,1}^{n}+O_{k,2}^{n})$, we have

[TABLE]

and consequently,

[TABLE]

Cancelling $2^{n-2}k^{n-1}$ on both sides gives the claim. ∎

Proof of Lemma 5.8.

By the previous lemma, it is enough to prove that $\deg_{1,2}f=\deg g$. This is done in a similar way to proving that the degree of $f$ at a coordinate is both a local and a global property of $f$ (Lemma 5.6). We prove this statement separately for two cases: (1) $f$ is binary and $g$ is unary; and (2) $f$ has arity at least $3$ and $g$ has arity at least $2$. The two cases are very similar. We present them separately to ease some technical difficulties of the proof.

Case 1: $f$ is binary. The assumption says that $g(x)=f(x,x)$, and we aim to prove that $\deg g=\deg_{1,2}f$. Note that

[TABLE]

where $O^{\prime}_{k,0}$ is the set of oriented edges of the $k$-cycle $(0,0),(1,1),\dots,(k-1,k-1)$ in $\mathbf{C}_{k}^{2}$ (in the increasing orientation). Note that $O^{\prime}_{k,0}\subseteq O_{k,\{1,2\}}^{2}$. More generally, for $i\in\{1,\dots,k-1\}$, we denote by $O^{\prime}_{k,i}$ the set of oriented edges of the $k$-cycle $(0,i),(1,i+1),\dots,(k-1,i-1)$ where in the second coordinate, [math] succeeds $k-1$. Thus, the set $O_{k,\{1,2\}}^{2}$ is a disjoint union of the cycles $O^{\prime}_{k,i}$, $0\leq i\leq k-1$. Since each $O^{\prime}_{k,i}$ is a $k$-cycle, we know that there is $d_{i}$ such that

[TABLE]

In a similar way as in Lemma 5.6, we prove that $d_{i}$ does not depend on $i$ and is actually equal to $\deg_{1,2}f$. Also note that $d_{0}=\deg g$.

First, we fix any $0\leq i\leq k-1$ and show that we have $d_{i}=d_{i+2}$ where the addition is modulo $k$. For each $x=0,\dots,k-1$, let $S_{x}$ be the set of edges of the oriented 4-cycle

[TABLE]

where the addition is considered modulo $k$. Observe that $\sum_{x=0}^{k-1}S_{x}=O^{\prime}_{k,i}-O^{\prime}_{k,i+2}$ (see Figure 5). By Lemma 5.3(3), we have $f_{\mathsf{E}}(S_{x})=0$ for each $x$. So we get

[TABLE]

and therefore $f_{\mathsf{E}}(O^{\prime}_{k,i})=f_{\mathsf{E}}(O^{\prime}_{k,i+2})$ which implies that $d_{i}=d_{i+2}$. Since $k$ is odd, it follows that $d_{i}$ is the same for for all $i$. This implies that $d_{i}=\deg g$, and therefore

[TABLE]

Consequently, $\deg_{1,2}f=\deg g$ which concludes the proof of the first case.

Case 2: The polymorphism $f$ is of arity $n>2$. The proof is similar to the first case: We decompose the set $O_{k,\{1,2\}}$ into $k$ disjoint sets each of which is a copy of $O_{k-1,1}^{n-1}$ used in the definition of $\deg_{1}g$. One of these copies will exactly correspond to the edges of $\mathbf{C}_{k}^{n}$ on vertices that have the first two coordinate identical. This is important since $g$ is essentially the restriction of $f$ to such vertices.

The sets $P^{\prime}_{i}$ are defined to consist of those oriented edges of $\mathbf{C}_{k}^{n}$ whose projection to the first two coordinates is in $O^{\prime}_{k,i}$. In other words, we put

[TABLE]

(again, the addition in the first two coordinates is considered modulo $k$). It is easy to see that $\partial P^{\prime}_{i}=0$, $O_{k,\{1,2\}}=\bigcup_{i=0}^{k-1}P^{\prime}_{i}$, and $g_{\mathsf{E}}(O_{k,1}^{n-1})=f_{\mathsf{E}}(P^{\prime}_{0})$.

We prove $f_{\mathsf{E}}(P^{\prime}_{i})=f_{\mathsf{E}}(P^{\prime}_{i+2})$. For each edge

[TABLE]

let $S_{e}$ denote the set of oriented edges of the 4-cycle

[TABLE]

Note that $e\in S_{e}$, and also $[(x,x+i+2,u_{3},\dots,u_{n}),(x-1,x+i+1,v_{3},\dots,v_{n})]\in-P^{\prime}_{i+2}$. We claim that $\sum_{e\in P_{i}^{\prime}}S_{e}=P_{i}^{\prime}-P_{i+2}^{\prime}$. In other words, all edges of the $S_{e}$’s not contained in $P_{i}^{\prime}-P_{i+2}^{\prime}$ cancel out. Indeed, every edge of the form $d=[(x+1,x+i+1,v_{3},\dots,v_{n}),(x,x+i+2,u_{3},\dots,u_{n})]$ that appears in $S_{e}$, has its reverse in $S_{e^{+}}$ for

[TABLE]

Furthermore, the correspondence $e\leftrightarrow e^{+}$ is 1-to-1, and therefore we paired each $d\in S_{e}$ with a unique $-d\in S_{e^{+}}$.

We conclude the proof in a similar way as Case 1: From Lemma 5.3(3), we have $f_{\mathsf{E}}(S_{e})=0$ for each $e$, and therefore

[TABLE]

which shows that $f_{\mathsf{E}}(P_{i}^{\prime})=f_{\mathsf{E}}(P_{i+2}^{\prime})$. Consequently, we have $P_{i}^{\prime}=P_{j}^{\prime}$ for all $i,j$, and

[TABLE]

This implies that $\deg_{1,2}f=\deg_{1}g$, as required. ∎

The following lemma says that $\delta$ preserves the operation of adding a dummy variable.

Lemma 5.11**.**

Let $f\colon\mathbf{C}_{k}^{n}\to\mathbf{C}_{3}$ be a polymorphism, and $i\in\{1,\dots,n\}$. If the coordinate $i$ in $f$ is dummy, then $\deg_{i}f=0$.

Proof.

Loosely speaking, the degree of $f$ at the $i$-th coordinate is determined by the image of $O_{k,i}^{n}$ under $f_{\mathsf{E}}$. Since $f$ does not depend on the $i$-th coordinate, neither does (in the corresponding meaning) $f_{\mathsf{E}}$, and therefore, it cannot distinguish the orientation of the edges in $O_{k,i}^{n}$.

Formally, we use the local definition of $\deg_{i}f$ and prove that, for an edge $e\in E(C_{k}^{n-1})$, we have $f_{\mathsf{E}}(e\times_{i}O_{k})=0$. Fix $e=((u_{2},\dots,u_{n}),(v_{2},\dots,v_{n}))$ and assume without loss of generality that $i=1$. As mentioned in the proof of Lemma 5.6(1), $e\times_{1}O_{k}$ is a $2k$-cycle. The values of $f$ on this cycle are all of the form $f(a,u_{2},\dots,u_{n})$ and $f(a,v_{2},\dots,v_{n})$ where $a\in V(C_{k})$. Since the first coordinate in $f$ is dummy, none of this values depends on $a$, so $f$ attains only two possible values on this $2k$-cycle. This implies that necessarily $f_{\mathsf{E}}(e\times_{1}O_{k})=0\cdot O_{3}$, and consequently, by Lemma 5.6, $\deg_{1}f=0$. ∎

This concludes the proof of Lemma 5.7.

5.4. Bounding the essential arity

To finish the analysis of polymorphisms from $\mathbf{C}_{k}$ to $\mathbf{C}_{3}$, we need to bound the essential arity of functions in the image of $\delta$ (defined in Section 5.3) and show that none of these functions is a constant function. We now prove that the image of $\delta$ is contained in $\mathscr{Z}_{\leq N}$, where $N$ is the largest odd number such that $N\leq k/3$. Recall that, for an odd number $N$, the minion $\mathscr{Z}_{\leq N}$ is defined to be the set of all functions $f\colon\mathbb{Z}^{n}\to\mathbb{Z}$ of the form $f(x_{1},\dots,x_{n})=c_{1}x_{1}+\dots+c_{n}x_{n}$ for some $c_{1}$, …, $c_{n}\in\mathbb{Z}$ with $\sum_{i=1}^{n}\mathopen{|}c_{i}\mathclose{|}\leq N$ and $\sum_{i=1}^{n}c_{i}$ odd. It is easy to see that the number of non-zero coefficients in any function from $\mathscr{Z}_{\leq N}$ is between 1 and $N$, giving us the required result. We remark that our bound on $N$ is tight (for a proof of this fact, see Lemma A.1), but we will not need that.

Lemma 5.12**.**

Let $N$ be the largest odd number such that $N\leq k/3$. Then we have $\delta(f)\in\mathscr{Z}_{\leq N}$ for all $f\in\operatorname{Pol}(\mathbf{C}_{k},\mathbf{C}_{3})$.

Proof.

We need to prove (1) $\sum_{i=1}^{n}\mathopen{|}\deg_{i}f\mathclose{|}\leq N$, and (2) $\sum_{i=1}^{n}\deg_{i}f$ is odd. Consider the unary minor of $f$, i.e., the mapping $g\colon\mathbf{C}_{k}\to\mathbf{C}_{3}$ defined by $g(x)=f(x,\dots,x)$. Parts (1) and (2) of Lemma 5.3 imply that $\deg g$ is an odd number not greater than $k/3$, consequently $\deg g\leq N$. Further, Lemma 5.7 implies that $\deg g=\sum_{i=1}^{n}\deg_{i}f$, and therefore we immediately get item (2). This argument also shows item (1) if $\deg_{i}f$ is non-negative for all $i$. We reduce the general case to this case. More precisely, for each $f$ we will find a new polymorphism $f^{\prime}$ of the same arity such that $\mathopen{|}\deg_{i}f\mathclose{|}=\deg_{i}f^{\prime}$ for all $i$.

This $f^{\prime}$ is constructed by a simple trick: ‘reversing’ all coordinates $x_{i}$ with $\deg_{i}f$ negative. Let us do that for one coordinate at a time, and for simplicity, consider just the first coordinate. Let $\theta$ be the automorphism of $\mathbf{C}_{k}$ such that $\theta(0)=0$ and $\theta(i)=k-i$ for $i\neq 0$, and define $f^{\prime}$ as

[TABLE]

It is easy to see that $f^{\prime}$ is also a polymorphism. We claim that $\deg_{1}f^{\prime}=-\deg_{1}f$ and $\deg_{i}f^{\prime}=\deg_{i}f$ for all $i\neq 1$. This follows from the fact that applying $\theta$ in the first coordinate reverses the orientation of all edges in $O_{k,1}^{n}$ and it does not change the orientation of edges in $O_{k,j}^{n}$ for $j\neq 1$. (This is clear since the orientation of edges in $O_{k,i}^{n}$ is given by the orientation in the $i$-th coordinate.) In other words, we have $f^{\prime}_{\mathsf{E}}(O_{k,1}^{n})=f_{\mathsf{E}}(-O_{k,1}^{n})$ and $f^{\prime}_{\mathsf{E}}(O_{k,j}^{n})=f_{\mathsf{E}}(O_{k,j}^{n})$ for $j\neq 1$. This directly implies the claim about degrees.

Repeating this trick, we eventually obtain a polymorphism whose degrees are all positive and up to the sign same as degrees of $f$. This completes the proof. ∎

Theorem 3.3 now follows from Lemma 5.7 and Lemma 5.12.

Appendix A A homomorphic equivalence of minions

In this appendix, we prove that (for $k$ odd and $N$ the largest odd number smaller than or equal to $k/3$) the minion $\mathscr{Z}_{\leq N}$ is homomorphically equivalent to $\operatorname{Pol}(\mathbf{C}_{k},\mathbf{C}_{3})$, i.e., that there exists minion homomorphisms between these minions in both directions. A minion homomorphism $\delta\colon\operatorname{Pol}(\mathbf{C}_{k},\mathbf{C}_{3})\to\mathscr{Z}_{\leq N}$ was given in Section 5, here we provide one from $\mathscr{Z}_{\leq N}$ to $\operatorname{Pol}(\mathbf{C}_{k},\mathbf{C}_{3})$.

Lemma A.1**.**

Let $k$ and $N$ be odd such that $N\leq k/3$. There exists a minion homomorphism $\eta\colon\mathscr{Z}_{\leq N}\to\operatorname{Pol}(\mathbf{C}_{k},\mathbf{C}_{3})$.

Proof.

For simplicity, let us assume that $k=3N$. The general case is obtained by an easy observation that $\operatorname{Pol}(\mathbf{C}_{k},\mathbf{C}_{3})\to\operatorname{Pol}(\mathbf{C}_{k^{\prime}},\mathbf{C}_{3})$ for any odd $k^{\prime}\leq k$. As an intermediate step, we define a graph $\mathbf{D}_{k}$ with vertices $V(D_{k})=V(C_{k})$ such that $(u,v)\in E(D_{k})$ if the distance of $u$ and $v$ in $\mathbf{C}_{k}$ is odd and at most $N$. Alternatively, we can say $(u,v)\in E(D_{k})$ if they are connected in $\mathbf{C}_{k}$ by a walk of length exactly $N$. It is easy to see that these two are equivalent. (See also Figure 6.)

We claim:

1. (1)

there is a minion homomorphism $\eta^{\prime}$ from $\mathscr{Z}_{\leq N}$ to $\operatorname{Pol}(\mathbf{C}_{k},\mathbf{D}_{k})$, and 2. (2)

there is a graph homomorphism $h_{k}\colon\mathbf{D}_{k}\to\mathbf{C}_{3}$.

To prove the first claim, we define $\eta^{\prime}$ by

[TABLE]

That is, we apply the function $f$ to the $n$-tuple of vertices of $\mathbf{C}_{k}$ as they would be numbers in $\mathbb{Z}$, and then take the residue modulo $k$ of the result to get a number between [math] and $k-1$. From the definition, it is clear that $\eta^{\prime}$ is minor-preserving, therefore we only need to prove that each $\eta^{\prime}(f)$ is a polymorphism from $\mathbf{C}_{k}$ to $\mathbf{D}_{k}$. It is enough to prove the claim for $f$ of the form: $f(x_{1},\dots,x_{N})=\pm x_{1}\pm\dots\pm x_{N}$ since all other functions in $\mathscr{Z}_{\leq N}$ are minors of some such $f$. Let $f^{\prime}=\eta^{\prime}(f)$, i.e.,

[TABLE]

Assume that $(u_{i},v_{i})\in E(C_{k})$ for $i=1,\dots,N$, and observe that

[TABLE]

is a walk in $\mathbf{C}_{k}$ from $f^{\prime}(u_{1},\dots,u_{N})$ to $f^{\prime}(v_{1},\dots,v_{N})$ of length exactly $N$, which implies that

[TABLE]

and $f^{\prime}\in\operatorname{Pol}(\mathbf{C}_{k},\mathbf{D}_{k})$.

For the second claim, consider $h_{k}\colon V(D_{k})\to V(C_{3})$ defined by

[TABLE]

It is easy to check that $h$ is indeed a graph homomorphism. (Figure 6 shows $h_{9}$.)

Finally, the minion homomorphism $\eta$ is given by

[TABLE]

It is straight-forward to check that $\eta$ is minor-preserving, we also have that $\eta(f)$ is a polymorphism from $\mathbf{C}_{k}$ to $\mathbf{C}_{3}$ since it is a composition of a polymorphism $\eta^{\prime}(f)\colon\mathbf{C}_{k}^{n}\to\mathbf{D}_{k}$ and a homomorphism $\mathbf{D}_{k}\to\mathbf{C}_{3}$. ∎

We remark, without giving a proof, that the composition of minion homomorphisms $\delta\circ\eta$ is the identity on $\mathscr{Z}_{\leq N}$, i.e., for $f(x_{1},\dots,x_{n})=\sum_{i=1}^{n}c_{i}x_{i}$ and $i\in\{1,\dots,n\}$, we have $\deg_{i}\eta(f)=c_{i}$.

As a simple corollary, we can obtain polymorphisms that forbid simple reductions from some other PCSPs.

Corollary A.2**.**

Let $k\geq 9$ and $n\leq k/3$ be both odd, $\operatorname{Pol}(\mathbf{C}_{k},\mathbf{C}_{3})$ contains functions $c,s$, and $o$ satisfying:

1. (1)

$c_{n}(x_{1},\dots,x_{n})\approx c(x_{2},\dots,x_{n},x_{1})$, 2. (2)

$s(x,y,x,z,y,z)\approx s(y,x,z,x,z,y)$, and 3. (3)

$o(x,x,y,y,y,x)\approx o(x,y,x,y,x,y)\approx o(y,x,x,x,y,y)$.

Proof.

Let $N$ be the largest odd number smaller than or equal to $k/3$, note that $n\leq N$ and $3\leq N$. Since a minion homomorphism preserves satisfaction of the above identities, it is enough to find such functions in $\mathscr{Z}_{\leq N}$. For that, we consider

[TABLE]

Clearly, $c_{n},s,o\in\mathscr{Z}_{\leq N}$, and it is easy to check that they satisfy the required identities. The claim is then given by Lemma A.1. ∎

A function satisfying item (3) of the above corollary is called an Olšák function, and absence of such a polymorphism is a requirement for a reduction from approximate hypergraph colouring using [BBKO19, Corollary 6.3]. A function satisfying item (2) is called a Siggers function, and absence of such shows that [BBKO19, Theorem 3.1] cannot be used for a reduction from approximate graph colouring to $\operatorname{\text{PCSP}}(\mathbf{C}_{k},\mathbf{C}_{3})$ (see also [BBKO19, Theorem 6.9]).

Acknowledgements

We would like to thank John Hunton for useful discussions about algebraic topology, and the reviewers for useful comments.