Continuous Edge Chromatic Numbers of Abelian Group Actions

In the seminal paper [13], Kechris, Solecki and Todorcevic initiated the study of descriptive combinatorics of locally finite Borel graphs. In particular, they considered general bounds for Borel chromatic numbers of locally finite Borel graphs. The Borel edge chromatic number was also considered, primarily as the Borel chromatic number of the dual graph, and they showed that any locally finite Borel graph $G$ has countable Borel edge chromatic number $\chi^{\prime}_{B}(G)$, and if $G$ is of bounded degree $\leq k$, then $\chi^{\prime}_{B}(G)\leq 2k-1$. Subsequently, researchers computed the Borel chromatic numbers and Borel edge chromatic numbers of various Schreier graphs of countable group actions. For example, in [14], Marks studied combinatorics of free products of two marked groups, and showed that the Borel chromatic number $\chi_{B}(F(2^{\mathbb{F}_{n}}))=2n+1$, where $F(2^{\mathbb{F}_{n}})$ denotes the Schreier graph on the free part of the Bernoulli shift action of $\mathbb{F}_{n}$, the free group with $n$ generators, on $2^{\mathbb{F}_{n}}$. For an overview of the entire field of descriptive combinatorics we refer the reader to the survey [12] by Kechris and Marks.

The continuous chromatic number was first studied by the first author of the present paper and Jackson. In [7], it was shown that there is a continuous proper $4$-coloring of $F(2^{\mathbb{Z}^{n}})$ for each $n>1$. Later in [8], it was shown that there is no continuous proper $3$-coloring of $F(2^{\mathbb{Z}^{n}})$ for each $n>1$. Thus the continuous chromatic number $\chi_{c}(F(2^{\mathbb{Z}^{n}}))=4$ for each $n>1$. In contrast, it was shown in [4] and [9] by different methods that the Borel chromatic number $\chi_{B}(F(2^{\mathbb{Z}^{n}}))=3$ for each $n>1$. This was the first time that the Borel and continuous chromatic numbers of a locally finite Borel graph were observed to be different.

A similar phenomenon occurs when considering the Borel and continuous edge chromatic numbers of $F(2^{\mathbb{Z}^{n}})$. The Borel edge chromatic numbers were studied independently in [1] (for $n=2$), [3], [10] and [15]. The conclusion is that for the Schreier graph of $F(2^{\mathbb{Z}^{n}})$ with the standard generating set, the Borel edge chromatic number $\chi^{\prime}_{B}(F(2^{\mathbb{Z}^{n}}))$ equals the usual edge chromatic number $\chi^{\prime}(F(2^{\mathbb{Z}^{n}}))$, which is $2n$. It is worth noting that Weilacher [15] showed that for any symmetric generating set $S$ of $\mathbb{Z}^{n}$ where $S$ does not contain the identity, letting $F(S,2^{\mathbb{Z}^{n}})$ be the corresponding Schreier graph, we have $\chi^{\prime}_{B}(F(S,2^{\mathbb{Z}^{n}}))=\chi^{\prime}(F(S,2^{\mathbb{Z}^{n}}))=|S|$. Thus the computation of the Borel edge chromatic numbers of $F(2^{\mathbb{Z}^{n}})$ was complete. As for the continuous edge chromatic number, we only had, from [8], the result for $n=2$ that $\chi^{\prime}_{c}(F(2^{\mathbb{Z}^{2}}))=5$ for the standard generating set. This already showed that the Borel and continuous edge chromatic numbers could differ, but left the computation of a lot of cases open.

In this paper, we complete this line of research by showing that, for any symmetric generating set $S$ of $\mathbb{Z}^{n}$ not containing the identity, the continuous edge chromatic number $\chi^{\prime}_{c}(F(S,2^{\mathbb{Z}^{n}}))=\chi^{\prime}(F(S,2^{\mathbb{Z}^{n}}))+1=|S|+1$. In particular, we have $\chi^{\prime}_{c}(F(2^{\mathbb{Z}^{n}}))=2n+1$. This answers Question 10.3 of [6].

The rest of the paper is organized as follows. In Section 2 we fix the notation to be used throughout the paper. In Section 3 we prove the lower bound for the continuous edge chromatic number. Then in Section 4 we construct a proper edge coloring to witness Theorem 1.1, first by assuming $S$ to be the standard generating set and then generalizing to the general case.

Acknowledgment. We thank the anonymous referees for useful comments and suggestions which improved the paper.

In this section we define our basic notions and fix notation. We use standard concepts and terminology from graph theory, which can be found in [2].

As usual, a graph $G$ is a pair $(V(G),E(G))$, where $V(G)$ is a set and $E(G)$ is a set of unordered pairs of distinct elements of $V(G)$. Thus our graphs are undirected. Here $V(G)$ is the set of vertices of $G$, and $E(G)$ is the set of edges of $G$. Throughout the paper, when there is no danger of confusion, the vertex operator $V$ of $V(G)$ is sometimes omitted. If $x,y\in V(G)$ are distinct and $e=\{x,y\}\in E(G)$, we also write $e=(x,y)=(y,x)$ and say that $x$ and $y$ are incident with the edge $e$. For any $x\in V(G)$, the degree of $x$ is defined as the number of distinct edges incident with $x$. A graph $G$ is locally finite if for all $x\in V(G)$, the degree of $x$ is finite. If $x,y\in V(G)$ are distinct, then a path $p$ from $x$ to $y$ is a sequence $x_{0},x_{1},\dots,x_{k}$ of distinct vertices of $G$ such that $x_{0}=x$, $x_{k}=y$, and for all $0\leq i<k$, $(x_{i},x_{i+1})\in E(G)$; here $k$ is the length of the path $p$.

For a graph $G$ and a set $\kappa$ of colors, a proper edge $\kappa$-coloring of $G$ is a map $c:E(G)\to\kappa$ such that $c((x,y))\neq c((z,w))$ if the distinct edges $(x,y),(z,w)$ have a vertex in common. In the sequel, we write $c(x,y)$ for $c((x,y))$ for simplicity. The edge chromatic number of $G$, denoted by $\chi^{\prime}(G)$, is the least cardinality of a set $\kappa$ such that there exists a proper edge $\kappa$-coloring for $G$. When the graph $G$ is a topological graph, i.e., when $V(G)$ is a topological space, we may consider continuous (or Borel) proper edge colorings of $G$, and define its continuous edge chromatic number, denoted as $\chi^{\prime}_{c}(G)$, and its Borel edge chromatic number, denoted as $\chi^{\prime}_{B}(G)$. Similarly, we define proper (vertex) colorings and the continuous and Borel chromatic numbers, denoted by $\chi_{c}(G)$ and $\chi_{B}(G)$ respectively.

On any locally finite graph $G$, we define the path distance $\rho$ on $G$ as follows. If $x,y\in V(G)$ are in the same connected component (i.e. there is a path from $x$ to $y$), then let $\rho(x,y)$ be the length of a shortest path from $x$ to $y$; otherwise let $\rho(x,y)=\infty$. Recall that a locally finite graph $G$ is regular if the degrees of all vertices of $G$ are the same.

An important class of regular topological graphs consists of the graphs induced by actions of finitely generated groups. A marked group is a pair $(\Gamma,S)$, where $\Gamma$ is a group and $S$ is a finite generating set of $\Gamma$. Usually we also require $S=S^{-1}$ and $1_{\Gamma}\not\in S$. In this paper this is assumed tacitly. When the generating set is standard or otherwise understood, we omit specifying the set $S$ and say that $\Gamma$ is a marked group. For example, for any $n\geq 1$, $\mathbb{Z}^{n}$ has a standard generating set $\{\pm e_{i}\colon 1\leq i\leq n\}$ where each $e_{i}$ has the $i$-th coordinate $1$ and $j$-th coordinate $0$ for $j\neq i$. The Cayley graph $C(\Gamma,S)$ of a marked group $(\Gamma,S)$ is defined by

$$V(C(\Gamma,S))=\Gamma$$

and

$$E(C(\Gamma,S))=\{(g,h)\in\Gamma^{2}\,:\,\exists s\in S\ h=sg\}.$$

When there is an action of a marked group $\Gamma$ on a set $X$, the Schreier graph of the action $\Gamma\curvearrowright X$ on $X$, denoted $G(\Gamma,S,X)$, is defined by

$$V(G(\Gamma,S,X))=X$$

and

$$E(G(\Gamma,S,X))=\{(x,y)\in X^{2}\,:\,\exists s\in S\ y=s\cdot x\}.$$

The Schreier graph will be particularly nice when the action is free; in this case the Schreier graph on each orbit of the action will be a copy of the Cayley graph $C(\Gamma,S)$. Let $F(\Gamma,X)=\{x\in X\colon\forall g\neq 1_{\Gamma}\ (g\cdot x\neq x)\}$ be the free part of the action $\Gamma\curvearrowright X$. $F(\Gamma,X)$ is an invariant set and the induced action of $\Gamma$ on $F(\Gamma,X)$ is free. We denote by $F(\Gamma,S,X)$ the Schreier graph on $F(\Gamma,X)$. We write $F(X)$ for $F(\Gamma,X)$ and $F(S,X)$ for $F(\Gamma,S,X)$ if the group $\Gamma$ and its action on $X$ are understood. Furthermore, when the generating set $S$ is standard or otherwise understood, we will abuse notation and simply write $F(X)$ for the Schreier graph $F(S,X)$.

In this paper, we will work with the setup where $X$ is a Polish space, i.e., a separable and completely metrizable space, $\Gamma$ is a finitely generated group with the discrete topology, and the action $\Gamma\curvearrowright X$ is continuous.

The Bernoulli shift action induces a natural Schreier graph. Let $A$ be a finite set with the discrete topology. Assume $|A|\geq 2$. For a countable discrete group $\Gamma$, the space $A^{\Gamma}$ is equipped with the usual product topology and is homeomorphic to the Cantor space $2^{\mathbb{N}}=\{0,1\}^{\mathbb{N}}$, which is compact Polish.

The Bernoulli shift action $\Gamma\curvearrowright A^{\Gamma}$ is defined by

$$(g\cdot x)(h)=x(hg)$$

for $g,h\in\Gamma$ and $x\in A^{\Gamma}$. This action is continuous. The free part $F(\Gamma,A^{\Gamma})$ is an invariant dense $G_{\delta}$ subset of $A^{\Gamma}$, hence is a Polish space.

We are now ready to compute the continuous edge chromatic number $\chi^{\prime}_{c}(F(S,2^{\mathbb{Z}^{n}}))$ for a generating set $S$ of $\mathbb{Z}^{n}$.

In this section we prove that for any generating set $S$ of $\mathbb{Z}^{n}$, $\chi^{\prime}_{c}(F(S,2^{\mathbb{Z}^{n}}))>\chi^{\prime}(F(S,2^{\mathbb{Z}^{n}}))$. We will need some results of [8]. To state the results we need to review some related concepts.

Let $(\Gamma,S)$ be a marked group. We will consider the Bernoulli shift action of $\Gamma$ on $A^{\Gamma}$ for some finite set $A$. A $\Gamma$-subshift $Y$ is a closed invariant subset of $A^{\Gamma}$. A $\Gamma$-pattern is a map $p:F\to A$ for some finite $F\subseteq\Gamma$. If $p$ is a $\Gamma$-pattern and $x\in A^{\Gamma}$, we say that $p$ occurs in $x$ if $p\subseteq g\cdot x$ for some $g\in\Gamma$. Note that this is an invariant notion, that is, if $p$ occurs in $x$ then $p$ occurs in any $h\cdot x$ for $h\in\Gamma$. A $\Gamma$-subshift of finite type is a $\Gamma$-subshift $Y\subseteq A^{\Gamma}$ for which there is a finite set $\{p_{1},\dots,p_{k}\}$ of $\Gamma$-patterns such that for any $x\in A^{\Gamma}$, $x\in Y$ if and only if none of the patterns $p_{1},\dots,p_{k}$ occur in $x$. In this case we say that $Y$ is described by $(A;p_{1},\dots,p_{k})$.

A graph $H$ is a $(\Gamma,S)$-graph if there is an action of $\Gamma$ on $V(H)$ such that $H=G(\Gamma,S,V(H))$. The Schreier graphs $G(\Gamma,S,X)$ and $F(\Gamma,S,X)$ are examples of $(\Gamma,S)$-graphs, but we will also consider finite $(\Gamma,S)$-graphs. When the generating set $S$ is standard, $(\Gamma,S)$-graphs are also simply called $\Gamma$-graphs.

We will work with the following example of a finite $\mathbb{Z}^{n}$-graph. Given positive integers $q_{1},\dots,q_{n}$, the vertex set of the graph $T_{q_{1},\dots,q_{n}}$ is the quotient of $\mathbb{Z}^{n}$ by the relation $(a_{1},\dots,a_{n})\sim(b_{1},\dots,b_{n})$ if and only if $a_{1}\equiv b_{1}\!\mod q_{1}$, $\dots,a_{n}\equiv b_{n}\!\mod q_{n}$. The group $\mathbb{Z}^{n}$ acts naturally on $T_{q_{1},\dots,q_{n}}$, and this action induces a $\mathbb{Z}^{n}$-graph on $T_{q_{1},\dots,q_{n}}$ with the standard generating set of $\mathbb{Z}^{n}$. Note that $T_{q_{1},\dots,q_{n}}$ has cardinality $q_{1}\cdots q_{n}$.

If $Y$ is a $\mathbb{Z}^{n}$-subshift of finite type described by $(A;p_{1},\dots p_{k})$, then we say that a map $\varphi\colon T_{q_{1},\dots,q_{n}}\to A$ respects $Y$ if none of $p_{1},\dots,p_{k}$ occur in $\varphi\circ\pi\in A^{\mathbb{Z}^{n}}$, where $\pi\colon\mathbb{Z}^{n}\to T_{q_{1},\dots,q_{n}}$ is the quotient map.

If a group $\Gamma$ acts on both $X$ and $Y$, we say a map $\theta\colon X\to Y$ is equivariant if $\theta(g\cdot x)=g\cdot\theta(x)$ for all $g\in\Gamma$ and $x\in X$.

Recall that a matching of a graph $G$ is a subset $M\subseteq E(G)$ such that every vertex of $G$ is incident with at most one of the edges of $M$. A matching $M$ of $G$ is a perfect matching if every vertex of $G$ is incident with exactly one edge in $M$. We may view a perfect matching of a graph $G$ as a function $\mu:V(G)\to V(G)$ with the property that for any $x\in V(G)$, $(x,\mu(x))\in E(G)$ and $\mu^{2}(x)=x$. In this sense we may speak of continuous perfect matchings for topological graphs $G$. The following theorem is a generalization of [8, Theorem 3.1.3] with a similar proof.

In this section we construct a continuous proper edge $(|S|+1)$-coloring of $F(S,2^{\mathbb{Z}^{n}})$ for any $n\geq 1$ and generating set $S$ of $\mathbb{Z}^{n}$.

Note that any generating set $S$ of $\mathbb{Z}^{n}$ has at least $2n$ many elements. Thus throughout the rest of this section we fix once and for all $2n+1$ many colors to be used in the construction of our edge coloring:

$$c_{1},\dots,c_{n},1,\dots,n+1.$$

We will name more colors as needed.