1 Preliminaries

For standard facts and notations of descriptive set theory not explained here, we refer the reader to [Reference KechrisKec95] (see also [Reference MoschovakisMos09]).

Given a graph G, we refer to maps $V(G) \to S$ and $G \to S$ as vertex (S)-labelings and edge (S)-labelings, respectively. An edge labeling is called an edge coloring, if incident edges have different labels. Let $\mathcal {F}$ be a family of subsets of $V(G)$ , and $n \in \{1,2,\dots , \aleph _0\}$ . An $\mathcal {F}$ measurable n-coloring is an n-coloring c of G, such that $c^{-1}(i) \in \mathcal {F}$ for each $i<n$ . Using this notion, we define the $\mathcal {F}$ measurable chromatic number of G, $\chi _{\mathcal {F}}(G)$ to be the minimal n for which such a coloring exists.

We denote by $[S]^{\mathbb {N}}$ the collection of infinite subsets of the set S, and by $S^{<\mathbb {N}}$ the family of finite sequences of elements of S. Points of the space $[\mathbb {N}]^{\mathbb {N}}$ will be identified with their increasing enumeration, making $[\mathbb {N}]^{\mathbb {N}}$ a $G_\delta $ subset of $ \mathbb {N}^{\mathbb {N}}$ , and hence, the product topology of $\mathbb {N}^{\mathbb {N}}$ gives rise to a Polish topology on $[\mathbb {N}]^{\mathbb {N}}$ .

Define the shift-graph (on $[\mathbb {N}]^{\mathbb {N}}$ ), $\mathcal {G}_S$ , by letting x and y be adjacent if $y=x \setminus \min x$ or $x=y \setminus \min y$ . The shift-graph has a close connection to the notion of so-called Ramsey property: for $s \subset \mathbb {N}$ finite and $A \in [\mathbb {N}]^{\mathbb {N}}$ with $\max s < \min A$ , let $[s,A]=\{B \in [\mathbb {N}]^{\mathbb {N}}: s \subset B, A \supseteq B \setminus s\}$ . A set $S \subseteq [\mathbb {N}]^{\mathbb {N}}$ is called Ramsey if for each set of the form $[s,A]$ , there exists $B\in [A]^{\mathbb {N}}$ , such that $[s,B] \cap S= \emptyset $ or $[s,B] \subseteq S$ (see, e.g. [Reference Kechris, Solecki and TodorčevićKST99, Reference KhomskiiKho12, Reference TodorcevicTod10] for results on the shift-graph and Ramsey measurability). The following follows from the definition.

Note that the Galvin-Prikry theorem asserts that Borel sets are Ramsey measurable. However, adapting Marks’s technique to our setting will require the usage of families of sets that are much larger than the collection of Borel sets.

If $T \subseteq \mathbb {N}^{<\mathbb {N}}$ is a nonempty pruned tree, and $A \subseteq \mathbb {N}^{\mathbb {N}}$ , $G(T,A)$ will denote the two-player infinite game on $\mathbb {N}$ with legal positions in T and payoff set A. We will call the first player $\operatorname {Alice}$ and the second $\operatorname {Bob}$ , $\operatorname {Alice}$ wins the game if the resulting element is in A. Note that the Borel determinacy theorem [Reference MartinMar75] states that one of the players has a winning strategy in $G(T,A),$ whenever A is Borel.

Recall that a subset of A, a Polish space X, is in the class $\Game \mathbf {\Delta }^1_1$ if there is some Borel set $B \subset X \times \mathbb {N}^{\mathbb {N}}$ , such that

$$ \begin{align*}A=\{x:\operatorname{Alice} \text{ has a winning strategy in } G(\mathbb{N}^{<\mathbb{N}},B_x)\},\end{align*} $$

see [Reference MoschovakisMos09].

By modifying the payoff sets, it is easy to see the following (see, [Reference KechrisKec95, p138]).

Lemma 1.2. Let X be a Polish space, $B \subseteq X \times \mathbb {N}^{\mathbb {N}}$ be Borel, and $x \mapsto T_x$ be a Borel map, such that $T_x$ is a pruned subtree of $\mathbb {N}^{<\mathbb {N}}$ . Then the set

$$\begin{align*}\{x \in X: \operatorname{Alice}\text{ has a winning strategy in } G(T_x,B_x)\}\end{align*}$$

is $\Game \mathbf {\Delta }^1_1$ .

The class $\Game \mathbf {\Delta }^1_1$ enjoys a number of regularity properties.

Before proving this statement, we need to fix an encoding of Borel sets. Let $\mathbf {BC}(X)$ be a set of Borel codes and sets $\mathbf {A}(X)$ and $\mathbf {C}(X)$ with the properties summarized below:

Moreover, in the case $X=(\mathbb {N}^{\mathbb {N}})^k$ , the sets $\mathbf {BC}(X)$ , $\mathbf {A}(X)$ , and $\mathbf {C}(X)$ can be described by $\Pi ^1_1$ , $\Sigma ^1_1$ , and $\Pi ^1_1$ formulas, respectively.

Now we can prove Proposition 1.3.

Proof of Proposition 1.3.

The first statement is a consequence of [Reference MoschovakisMos09, Lemma 6D.1] and not very hard to verify.

In order to see the rest, we rely on results of Feng-Magidor-Woodin [Reference Feng, Magidor and WoodinFMW92]. Recall that a subset S of $\mathbb {N}^{\mathbb {N}}$ is universally Baire if for every topological space Y that has a basis consisting of regular open sets and every continuous $f:Y \to \mathbb {N}^{\mathbb {N}}$ , the set $f^{-1}(S)$ has the Baire property.

It is not hard to check the following properties of universally Baire sets (see [Reference Feng, Magidor and WoodinFMW92, Theorem 2.2] and the discussion on p212).

Claim 1.5. Assume that $S \subseteq \mathbb {N}^{\mathbb {N}}$ is universally Baire, X is a Polish space, and $\varphi :X \to \mathbb {N}^{\mathbb {N}}$ is an injection.

1. 1. S has the Baire property w.r.t. any compatible Polish topology, is measurable w.r.t. any Borel probability measure, and, in case $S \subseteq [\mathbb {N}]^{\mathbb {N}}$ , S has the Ramsey property.

2. 2. If $X \subseteq \mathbb {N}^{\mathbb {N}}$ and $\varphi $ is continuous, then $\varphi ^{-1}(S)$ is universally Baire.

3. 3. If $\varphi $ is Borel, then $\varphi ^{-1}(S)$ has the Baire property w.r.t. any compatible Polish topology and is measurable w.r.t. any Borel probability measure.

Now, we consider a set which encompasses all the $\Game \mathbf {\Delta }^1_1$ sets and show that it is universally Baire. To ease the notation, set $\mathbf {BC}:=\mathbf {BC}(\mathbb {N}^{\mathbb {N}} \times \mathbb {N}^{\mathbb {N}})$ , $\mathbf {C}:=\mathbf {C}(\mathbb {N}^{\mathbb {N}} \times \mathbb {N}^{\mathbb {N}})$ , and $\mathbf {A}:=\mathbf {A}(\mathbb {N}^{\mathbb {N}} \times \mathbb {N}^{\mathbb {N}})$ . Note that we have $\mathbf {BC} \in \mathbf {\Pi }^1_1(\mathbb {N}^{\mathbb {N}})$ , $\mathbf {A} \in \mathbf {\Sigma }^1_1(\mathbb {N}^{\mathbb {N}} \times (\mathbb {N}^{\mathbb {N}}\times \mathbb {N}^{\mathbb {N}}))$ , $\mathbf {C} \in \mathbf {\Pi }^1_1(\mathbb {N}^{\mathbb {N}} \times (\mathbb {N}^{\mathbb {N}}\times \mathbb {N}^{\mathbb {N}}))$ . Consider first the set

$$\begin{align*}WS=\{(x,c):x \in \mathbb{N}^{\mathbb{N}}, c \in \mathbf{BC},\end{align*}$$

$$\begin{align*}\operatorname{Alice}\text{ has a winning strategy in }G(\mathbb{N}^{<\mathbb{N}},(\mathbf{C}_c)_x)\}.\end{align*}$$

Claim 1.6. $WS$ is universally Baire.

Proof. By the characterization result of Feng-Magidor-Woodin [Reference Feng, Magidor and WoodinFMW92], a set $Z \subseteq \mathbb {N}^{\mathbb {N}}$ is universally Baire if and only if there exist a cardinal $\lambda $ and trees $T,T^* \subseteq \mathbb {N}^{<\mathbb {N}} \times \lambda ^{<\mathbb {N}}$ , such that $Z=proj_{\mathbb {N}^{\mathbb {N}}}([T])$ and $\mathbb {N}^{\mathbb {N}} \setminus Z = proj_{\mathbb {N}^{\mathbb {N}}}([T^*])$ , and for every forcing notion $\mathbb {P}$ , we have that

$$ \begin{align*}\mathbb{P} \Vdash \mathbb{N}^{\mathbb{N}}=proj_{\mathbb{N}^{\mathbb{N}}}([T]) \sqcup proj_{\mathbb{N}^{\mathbb{N}}}([T^*]).\end{align*} $$

We show this condition for $WS$ . Note that S is a winning strategy for $\operatorname {Alice}$ in $G(\mathbb {N}^{<\mathbb {N}},(\mathbf {C}_c)_x)$ if and only if S is a strategy for $\operatorname {Alice}$ , such that $\forall y \ (y \not \in [S] \lor y \in (\mathbf {C}_c)_x)$ . Using the last sentence of Proposition 1.4, this yields that $WS$ can be described by a $\Sigma ^1_2$ formula. Moreover, as $\mathbf {A}_c=\mathbf {C}_c$ whenever $c \in \mathbf {BC}$ , and $\mathbf {C}_c$ is Borel, by the Borel determinacy theorem, $\operatorname {Alice}$ has a winning strategy in $G(\mathbb {N}^{<\mathbb {N}},(\mathbf {C}_c)_x)$ if and only if $\operatorname {Bob}$ has no winning strategy. That is, for every S strategy for $\operatorname {Bob}$ , we have $\exists y \ (y \in [S] \land y \in (\mathbf {A}_c)_x)$ . This yields a description of $\mathbb {N}^{\mathbb {N}} \setminus WS$ using a $\Sigma ^1_2$ formula. By [Reference MoschovakisMos09, 2D.3], there are trees $T,T^* \subseteq \mathbb {N}^{<\mathbb {N}} \times \omega _1^{<\mathbb {N}}$ (together with formulas defining them), such that $WS=proj_{\mathbb {N}^{\mathbb {N}}}([T])$ and $\mathbb {N}^{\mathbb {N}} \setminus WS = proj_{\mathbb {N}^{\mathbb {N}}}([T^*])$ holds in every model of ZFC, showing that the desired property holds.

Claim 1.7. Let S be a $\Game \mathbf {\Delta }^1_1$ subset of a Polish space X. Then there is a Borel injection $\varphi $ and some $c \in \mathbb {N}^{\mathbb {N}}$ , such that $S=\varphi ^{-1}(WS^{c})$ , where $WS^c=\{x\in \mathbb {N}^{\mathbb {N}}:(x,c)\in WS\}$ . If X is zero dimensional, then there is even a homeomorphism with such a property.

Proof. Let B be a Borel set in $X \times \mathbb {N}^{\mathbb {N}}$ , such that

$$\begin{align*}S=\{x \in X: \text{Alice has a winning strategy in }G(\mathbb{N}^{<\mathbb{N}},B_x)\}.\end{align*}$$

Since X is Polish, there exists a Borel injection $\varphi :X \to \mathbb {N}^{\mathbb {N}}$ . Moreover, if X is zero dimensional, then $\varphi $ can be chosen to be a homeomorphism. Now let $(s,r) \in B' \iff (\varphi ^{-1}(s),r) \in B$ . Then $B'$ is Borel, and there is some $c \in \mathbf {BC}$ with $\mathbf {C}_c=B'$ . Then, by definition, we have $S=\varphi ^{-1}(WS^{c})$ .

Now, let first S be a $\Game \mathbf {\Delta }^1_1$ subset of an arbitrary Polish space X. By the claim above, there exist a Borel injection $\varphi $ and a c with $\varphi ^{-1}(WS^{c})$ . Using Claim 1.5, S has Properties (2) and (3).

Finally, if $X=[\mathbb {N}]^{\mathbb {N}}$ , then $\varphi $ can be taken to be a homeomorphism. Then S is universally Baire, and hence, Ramsey measurable by Claim 1.5.

2 The homomorphism graph

In this section, we define the main objects of our study, homomorphism graphs, and establish a couple of their properties.

Let $\Gamma $ be a countable group and $S \subseteq \Gamma $ be a generating set. Assume that $\Gamma \curvearrowright X$ is an action of $\Gamma $ on the set X. As there is no danger of confusion, we always denote the action with the symbol $\cdot $ . The Schreier graph of such an action is a graph on the set X, such that $x \neq x'$ are adjacent iff for some $\gamma \in S \cup S^{-1}$ , we have that $\gamma \cdot x=x'$ .

Probably the most important example of a Schreier graph is the (right) Cayley graph, $\operatorname {Cay}(\Gamma ,S)$ that comes from the right multiplication action of $\Gamma $ on itself. That is, $g,h\in \Gamma $ form an edge in $\operatorname {Cay}(\Gamma ,S)$ if there is $\sigma \in S$ , such that $g\cdot \sigma =h$ . Another example is the graph of the left-shift action of $\Gamma $ on the space $2^\Gamma $ : recall that the left-shift action is defined by

$$\begin{align*}\gamma \cdot x(\delta)=x(\gamma^{-1} \cdot \delta)\end{align*}$$

for $\gamma \in \Gamma $ and $x \in 2^\Gamma $ . Observe that the Schreier graph of these actions is a Borel graph, when we endow the space $2^\Gamma $ with the product topology.

Our examples will come from a generalization of this graph. First, note that if we replace $2$ by any other standard Borel space X, the space $X^\Gamma $ still admits a Borel product structure with respect to which the Schreier graph of the left-shift action defined as above is a Borel graph. The main idea is to start with a Borel graph $\mathcal {H}$ and restrict the corresponding Schreier graph on $V(\mathcal {H})^\Gamma $ to an appropriate subset on which the elements $h \in V(\mathcal {H})^\Gamma $ are graph homomorphisms from $\operatorname {Cay}(\Gamma ,S)$ to $\mathcal {H}$ . This allows us to control certain properties (such as chromatic number or hyperfiniteness) of the resulting graph by the properties of $\mathcal {H}$ . More precisely:

Definition 2.1. Let $\mathcal {H}$ be a Borel graph and $\Gamma $ be a countable group with a generating set S. Let $\operatorname {\mathbf { Hom}}(\Gamma ,S,\mathcal {H})$ be the restriction of to the set

$$\begin{align*}\{h \in V(\mathcal{H})^\Gamma: h\text{ is a graph homomorphism from }\operatorname{Cay}(\Gamma,S)\text{ to }V(\mathcal{H})\}.\end{align*}$$

We will refer to $\mathcal {H}$ as the target graph, and we will denote the map $h \mapsto h(1)$ by $Root$ (note that the vertices of $\operatorname {Cay}(\Gamma ,S)$ are labeled by the elements of $\Gamma $ ). It is clear from the definition that $\operatorname {\mathbf { Hom}}(\Gamma ,S,\mathcal {H})$ is a Borel graph with degrees at most $|S \cup S^{-1}|$ and that $Root$ is a Borel map. We can immediately make the following observation.

The $\Delta $ -regular tree $T_\Delta $ .

In this paper, we only consider the case of the group

$$ \begin{align*}\mathbb{Z}^{*\Delta}_2=\langle \alpha_1,\dots,\alpha_\Delta | \alpha^2_1=\dots=\alpha^2_\Delta=1\rangle\end{align*} $$

together with the generating set $S_\Delta =\{\alpha _1,\dots ,\alpha _\Delta \}$ . Since $\operatorname {Cay}(\mathbb {Z}^{*\Delta }_2,S_\Delta )$ is isomorphic to the $\Delta $ -regular infinite tree, $T_\Delta $ , we use $\operatorname {\mathbf { Hom}}(T_\Delta ,\mathcal {H})$ to denote the graph $\operatorname {\mathbf { Hom}}(\mathbb {Z}^{*\Delta }_2,S_\Delta ,\mathcal {H})$ . Note also that we consider $\operatorname {Cay}(\mathbb {Z}^{*\Delta }_2,S_\Delta )$ and $T_\Delta $ equipped with a $\Delta $ -edge coloring. As suggested above, an equivalent description of the vertex set of $\operatorname {\mathbf { Hom}}(T_\Delta ,\mathcal {H})$ is that it is the set of pairs $(x,h)$ , where h is a homomorphism from the tree $T_\Delta $ to $\mathcal {H}$ and x is a distinguished vertex of $T_\Delta $ , a root. Then we have that $(x,h)$ and $(y,g)$ form an ( $\alpha $ -)edge if and only if $h=g$ and $(x, y)$ is an ( $\alpha $ -)edge in $T_\Delta $ . This is because (a) there is a one-to-one correspondence between a homomorphism from $\operatorname {Cay}(\mathbb {Z}^{*\Delta }_2,S_\Delta )$ to $\mathcal {H}$ and the pairs $(x,h)$ , and (b) the shift action $\mathbb {Z}^{*\Delta }_2 \curvearrowright \operatorname {\mathbf { Hom}}(\mathbb {Z}^{*\Delta }_2,S_\Delta ,\mathcal {H})$ corresponds to changing the root for a fixed homomorphism h from $T_\Delta $ to $\mathcal {H}$ .

Recall that an action $\Gamma \curvearrowright X$ is free if for each $1 \neq \gamma \in \Gamma $ and $x \in X$ , we have $\gamma \cdot x \neq x$ . The free part, denoted by $Free(X)$ , is the set $\{x:\forall 1 \neq \gamma \in \Gamma \ \gamma \cdot x \neq x\}$ . Note that the left-shift action of $\mathbb {Z}^{*\Delta }_2$ on, say, $\mathbb {N}^{\mathbb {Z}^{*\Delta }_2}$ is not free, in particular, the corresponding Schreier-graph has cycles. To remedy this, Marks used a restriction of the graph to the free part, showing that for each $\Delta> 2$ , this graph has Borel chromatic number $\Delta +1$ . Analogously, we have the following.

Definition 2.3. Let $\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {H})=\operatorname {\mathbf { Hom}}(T_\Delta ,\mathcal {H}) \restriction Free(V(\mathcal {H})^{\mathbb {Z}^{*\Delta }_2}),$ that is, the restriction of the graph $\operatorname {\mathbf { Hom}}(T_\Delta ,\mathcal {H})$ to the free part of the $\mathbb {Z}^{*\Delta }_2$ action.

In our first application, we will use this remedy to get acyclic graphs. Note that for each edge in $\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {H})$ , there is a unique generator $\alpha \in S_\Delta $ that induces it. In particular, the graph $\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {H})$ admits a canonical Borel edge $\Delta $ -coloring. The following is straightforward.

Proposition 2.4. Let $\mathcal {H}$ be a locally countable Borel graph. If $\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {H})$ is nonempty, then it is $\Delta $ -regular and acylic.

However, utilizing the homomorphism graph together with an appropriate target graph, we will be able to completely avoid the nonfree part, in an automatic manner. This way, we will be able to guarantee the hyperfiniteness of the homomorphism graph as well. Recall that $T_\Delta =\operatorname {Cay}(\mathbb {Z}^{*\Delta }_2,S_\Delta )$ comes with a $\Delta $ -edge coloring by the elements of $S_\Delta $ . Let us consider the a subgraph of the homomorphism graph that arises by requiring h to preserve this information.

Definition 2.5. Assume that the graph $\mathcal {H}$ is equipped with a Borel edge $S_\Delta $ -labeling. Let $\operatorname {\mathbf { Hom}}^{e}(T_\Delta ,\mathcal {H})$ be the restriction of $\operatorname {\mathbf { Hom}}(T_\Delta ,\mathcal {H})$ to the set

$$\begin{align*}\{h \in V(\operatorname{\mathbf{ Hom}}(T_\Delta,\mathcal{H})): h\text{ preserves the edge labels}\}.\end{align*}$$

Clearly, $\operatorname {\mathbf { Hom}}^{e}(T_\Delta ,\mathcal {H})$ is also a Borel graph. Note that in the following statement, the labeling of the edges of the target graph $\mathcal {H}$ is typically not a coloring.

Proposition 2.6. Assume that $\mathcal {H}$ is an acyclic graph equipped with a Borel edge $S_{\Delta }$ -labeling and $\operatorname {\mathbf { Hom}}^{e}(T_\Delta ,\mathcal {H})$ is nonempty. Then

1. 1. $\operatorname {\mathbf { Hom}}^{e}(T_\Delta ,\mathcal {H})$ is acyclic,

2. 2. If $\mathcal {H}$ is hyperfinite, then so is $\operatorname {\mathbf { Hom}}^{e}(T_\Delta ,\mathcal {H})$ ,

3. 3. $\operatorname {\mathbf { Hom}}^{e}(T_\Delta ,\mathcal {H})$ is $\Delta $ -regular.

Proof. Observe that if h is a homomorphism from a tree to an acyclic graph that is not injective, then there must be adjacent pairs of vertices $(x,y)$ and $(y,z)$ with $x \neq z$ and $h(z)=h(x)$ . Thus, if $h \in \operatorname {\mathbf { Hom}}^{e}(T_\Delta ,\mathcal {H})$ is edge label preserving, then it must be injective, as incident edges have different labels in $T_\Delta $ . Therefore, the map $Root$ is injective on each connected component of $\operatorname {\mathbf { Hom}}^{e}(T_\Delta ,\mathcal {H})$ , yielding (1).

To see (2), let $(\mathcal {H}_n)_{n \in \mathbb {N}}$ be a witness to the hyperfiniteness of $\mathcal {H}$ . Let $\mathcal {H}^{\prime }_n$ be the pullback of $\mathcal {H}_n$ by the map $Root$ . Since $Root$ is injective on every connected component, the graphs $\mathcal {H}^{\prime }_n$ also have finite components and their union is $\operatorname {\mathbf { Hom}}^{e}(T_\Delta ,\mathcal {H})$ .

For (3), just notice that using the injectivity of $Root$ again, it follows that $\{\gamma \cdot h\}_{\gamma \in \{1\}\cup S_\Delta }$ has cardinality $\Delta +1$ .

3 Variations on Marks’s technique

Now we are ready to adapt Marks’s technique [Reference MarksMar16] to homomorphism graphs. Let us denote by $\chi _{\Game \mathbf {\Delta }^1_1}(\mathcal {H})$ the $\Game \mathbf {\Delta }^1_1$ -chromatic number of $\mathcal {H}$ (see Section 1).

Theorem 0.1. Let $\mathcal {H}$ be a locally countable Borel graph. Then

$$\begin{align*}\chi_{\Game \mathbf{\Delta}^1_1}(\mathcal{H})>\Delta \implies \chi_B(\operatorname{\mathbf{ Hom}}^{ac}(T_\Delta,\mathcal{H}))>\Delta.\end{align*}$$

The games we will define naturally yield elements $h \in \operatorname {\mathbf { Hom}}(T_\Delta ,\mathcal {H})$ rather than $\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {H})$ . In order to deal with the cyclic part of the graph, we will show slightly more, using the same strategy as Marks. Let $V \subseteq V(\operatorname {\mathbf { Hom}}(T_\Delta ,\mathcal {H}))$ , an antigame labeling of V is a map $c:V \to \Delta $ , such that there are no $i \in \Delta $ and distinct vertices $h,h'\in V$ with $c(h)=c(h')=i$ and $\alpha _i \cdot h=h'$ . Observe that every $\Delta $ -coloring is automatically antigame labeling.

Proof of Theorem 0.1.

We show that there is no Borel antigame labeling $c:V(\operatorname {\mathbf { Hom}}(T_\Delta ,\mathcal {H})) \to \Delta $ . Once we have that, the proof of Theorem 0.1 is finished as follows. Suppose that d is a Borel $\Delta $ -coloring of $\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {H})$ . As observed above, every $\Delta $ -coloring is also antigame labeling. Consequently, the union of d and the antigame labeling produced in Lemma 3.2 is a Borel antigame labeling of $V(\operatorname {\mathbf { Hom}}(T_\Delta ,\mathcal {H}))$ , contradiction.

Assume toward contradiction that $c:V(\operatorname {\mathbf { Hom}}(T_\Delta ,\mathcal {H})) \to \Delta $ is a Borel antigame labeling. Without loss of generality, we may assume that $\mathcal {H}$ has no isolated points. This ensures that the games below can be always continued.

We define a family of two-player games $\mathbb {G}(x,i)$ parametrized by elements $x \in V(\mathcal {H})$ and $i \in \Delta $ . In a run of the game, $\mathbb {G}(x,i)$ players $\operatorname {Alice}$ and $\operatorname {Bob}$ alternate and build a homomorphism h from $T_\Delta $ to $\mathcal {H}$ , that is, an element of $\operatorname {\mathbf { Hom}}(T_\Delta ,\mathcal {H}) \subset V(\mathcal {H})^{\mathbb {Z}^{*\Delta }_2}$ , with the property that $Root(h)=x$ .

In the k-th round, first $\operatorname {Alice}$ labels vertices of distance k from the $1$ on the side of the $\alpha _i$ edge. After that, $\operatorname {Bob}$ labels all remaining vertices of distance k, etc. (see Figure 1). In other words, $\operatorname {Alice}$ labels the elements of $\mathbb {Z}^{*\Delta }_2$ corresponding to reduced words of length k starting with $\alpha _i$ , then $\operatorname {Bob}$ labels the rest of the reduced words of length k.

Figure 1 The game $\mathbb {G}(x,i)$ .

Note that once the parameters of the game are fixed, the definition of the game is analoguous to the one defined by Marks [Reference MarksMar16]. There is, however, one important difference. The allowed moves are vertices of the target graph $\mathcal {H}$ restricted by its edge relation. Observe that the original construction of Marks can be interpreted in our setting by taking $\mathcal {H}$ to be the the complete graph on $\mathbb {N}$ .

The winning condition is defined as follows:

$$\begin{align*}\operatorname{Alice}\text{ wins the game }\mathbb{G}(x,i)\text{ iff }c(h) \neq i.\end{align*}$$

Lemma 3.3.

1. 1. For any $x \in V(\mathcal {H})$ and $i \in \Delta $ , one of the players has a winning strategy in the game $\mathbb {G}(x,i)$ .

2. 2. The set $\{(x,i): \operatorname {Alice} \text { has a winning strategy in } \mathbb {G}(x,i)\}$ is $\Game \mathbf {\Delta }^1_1$ .

Proof. We encode the games $\mathbb {G}(x,i)$ in a way that allows the use of Borel determinacy theorem and Lemma 1.2. Let us denote by $E_{\mathcal {H}}$ the connected component equivalence relation of $\mathcal {H}$ . Observe that as $T_\Delta $ is connected, the range of any element $h \in \operatorname {\mathbf { Hom}}(T_\Delta ,\mathcal {H})$ is contained in a single $E_{\mathcal {H}}$ class. By the Feldman-Moore theorem, there is a countable collection of Borel functions $f_i:V(\mathcal {H}) \to V(\mathcal {H})$ , such that $E_{\mathcal {H}}=\bigcup _{j \in \mathbb {N}} graph(f^{\pm 1}_j)$ . Therefore, the games $\mathbb {G}(x,i)$ above can be identified by games played on $\mathbb {N}$ , namely, labeling a vertex in $T_\Delta $ by a vertex $y\in V(\mathcal {H})$ corresponds to playing the minimal natural number j with $f_j(x)=y$ . Since the functions $(f_j)_{j \in \mathbb {N}}$ are Borel, this correspondence is Borel as well. Moreover, the rule that h must be homomorphism determines a pruned subtree of legal positions $T_{x,i} \subset \mathbb {N}^{<\mathbb {N}}$ and the map $(x,i) \mapsto T_{x,i}$ is Borel. This yields that there exists a Borel set $B \subseteq V(\mathcal {H}) \times \Delta \times \mathbb {N}^{\mathbb {N}}$ , such that

$$\begin{align*}\operatorname{Alice} \text{ has a strategy in }\mathbb{G}(x,i) \iff \operatorname{Alice} \text{ has a winning strategy in }G(T_{x,i},B_{x,i}).\end{align*}$$

Now, the first claim follows from the Borel determinacy theorem, while the second follows from Lemma 1.2.

Claim 3.4. For every $x\in X$ , there is an $i\in \Delta $ , such that $\operatorname {Bob}$ wins $\mathbb {G}(x,i)$ .

Proof. Suppose not. Then we can combine strategies of $\operatorname {Alice}$ for each i in the natural way to build a homomorphism that is not in the domain of c (see, e.g. [Reference MarksMar] or [Reference MarksMar16]).

Now, we can finish the proof of Theorem 0.1. Define $d:V(\mathcal {H}) \to \Delta $ by

(3.1) $$ \begin{align}d(x)=i \iff i \text{ is minimal such that }\operatorname{Bob}\text{ has a winning strategy in }\mathbb{G}(x,i). \end{align} $$

Since $\Game \mathbf {\Delta }^1_1$ sets form an algebra, d is $\Game \mathbf {\Delta }^1_1$ measurable, and by Claim 3.4, it is everywhere defined. By our assumptions on $\mathcal {H}$ , there are $x \neq x'$ adjacent with $d(x)=d(x')=i$ . Now, we can play the two winning strategies corresponding to games $\mathbb {G}(x,i)$ and $\mathbb {G}(x',i)$ of $\operatorname {Bob}$ against each other, as if the first move of $\operatorname {Alice}$ was $x'$ (respectively, x). This yields distinct homomorphisms $h,h'$ with $\alpha _i \cdot h=h'$ and $c(h)=c(h')=i$ , contradicting that c is an antigame labeling.

3.1 Generalizations

Edge labeled graphs

As mentioned above, a novel feature of our approach is that requiring the homomorphisms to be edge label preserving and ensuring that $\mathcal {H}$ is acyclic, we can get rid of the investigation of the cyclic part (see Proposition 2.6). In order to achieve this, we have to assume slightly more about the chromatic properties of the target graph.

Assume that $\mathcal {H}$ is equipped with an edge S-labeling. The edge-labeled chromatic number $el\chi (\mathcal {H})$ of $\mathcal {H}$ is the minimal n, for which there exists a map $c:V(\mathcal {H}) \to n$ , so that for each $i \in n$ , the set $c^{-1}(i)$ doesn’t span edges with every possible label. In other words, $el\chi (\mathcal {H})>n$ if and only if no matter how we assign n many colors to the vertices of $\mathcal {H}$ , there will be a color class containing edges with every label. We define $\mu $ measurable, Baire measurable, etc. versions of the edge-labeled chromatic number in the natural way.

Theorem 3.5. Let $\mathcal {H}$ be a locally countable Borel graph with a Borel $S_\Delta $ -edge labeling, such that for every vertex x and every label $\alpha $ , there is an $\alpha $ -labeled edge incident to x. Then

$$\begin{align*}{el\chi}_{\Game \mathbf{\Delta}^1_1}(\mathcal{H})>\Delta \implies \chi_B(\operatorname{\mathbf{ Hom}}^{e}(T_\Delta,\mathcal{H}))>\Delta.\end{align*}$$

Proof. The proof is similar to the proof of Theorem 0.1 but with taking the edge colors into consideration. Let us indicate the required modifications. We define $\mathbb {G}(x,i)$ as above, with the extra assumption that players must build a homomorphism that respects edge labels, that is, an element $h \in \operatorname {\mathbf { Hom}}^{e}(T_\Delta ,\mathcal {H})$ . The condition on the edge-labeling ensures that the players can continue the game respecting the rules at every given finite step.

The analogue of Claim 3.4 clearly holds in this case, and we can define d as in (3.1). Finally, ${el\chi }_{\Game \mathbf {\Delta }^1_1}(\mathcal {H})>\Delta $ guarantees the existence of $i \in \Delta $ and $x,x' \in V(\mathcal {H})$ , such that $d(x)=d(x')=i$ and that the edge between x and $x'$ has label $\alpha _i$ , which, in turn, allows us to use the winning strategies of $\operatorname {Bob}$ in $\mathbb {G}(x,i)$ and $\mathbb {G}(x',i)$ against each other, as above.

Graph homomorphism

In what follows, we will consider a slightly more general context, namely, instead of the question of the existence of Borel colorings, we will investigate the existence of Borel homomorphisms to a given finite graph H. The following notion is going to be our key technical tool.

Definition 3.6 (Almost $\Delta $ -colorable).

Let $\Delta>2$ and H be a finite graph. We say that H is almost $\Delta $ -colorable if there are sets $R_0,R_1\subseteq V(H)$ , such that H restricted to $V(H) \setminus R_i$ has chromatic number at most $(\Delta -1)$ for $i\in \{0,1\}$ , and there is no edge between vertices of $R_0$ and $R_1$ .

Note that if $\chi (H) \leq \Delta $ , then H is almost $\Delta $ -colorable. Indeed, if $A_1,\dots ,A_\Delta $ are independent sets that cover $V(H)$ , we can set $R_0=R_1=A_1$ . The basic properties of almost $\Delta $ -colorable graphs are summarized in Section 4.3. In particular, we show that every almost $\Delta $ -colorable graph has chromatic number at most $2\Delta -2$ , a bound that appears in Theorem 0.5.

Theorem 3.7. Let $\mathcal {H}$ be a locally countable Borel graph, and assume that H is a finite graph that is almost $\Delta $ -colorable. Assume that $\mathcal {H}$ is equipped with a Borel $S_\Delta $ -edge labeling, with the property that for every vertex v and every edge label $\alpha _i \in S_\Delta $ , there exists an edge from v with label $\alpha _i$ . Then

$$\begin{align*}{el\chi}_{\Game \mathbf{\Delta}^1_1}(\mathcal{H})>2^{\Delta \cdot 2^{|V(H)|}} \implies \operatorname{\mathbf{ Hom}}^{e}(T_\Delta,\mathcal{H}) \text{ has no Borel homomorphism to }H.\end{align*}$$

Proof. Assume for contradiction that such a Borel homomorphism c exists. We will need a further modification of Marks’s games. Let $R \subseteq V(H)$ . For $x \in V(\mathcal {H})$ , define the game $\mathbb {G}(x,i,R)$ as in the proof of Theorem 3.5, with the winning condition modified to

$$\begin{align*}\operatorname{Alice}\text{ wins the game }\mathbb{G}(x,i,R)\text{ iff }c(h) \not \in R.\end{align*}$$

Observe that by playing the strategies of $\operatorname {Alice}$ against each other, as in Claim 3.4, we can establish the following.

Claim 3.8. For every $x \in V(\mathcal {H})$ and every sequence $(R_{i})_{i\in \Delta }$ with $\bigcup _{i} R_{i}=V(H)$ , there is some i, such that $\operatorname {Alice}$ has no winning strategy in $\mathbb {G}(x,i,R_{i})$ .

Now, let N be the powerset of the set $\{(i,R):i \in \Delta ,R \subseteq V(H)\}$ . Of course, $|N|=2^{\Delta \cdot 2^{|V(H)|}}$ . Define a mapping $d:V(\mathcal {H}) \to N$ by

$$\begin{align*}(i,R) \in d(x) \iff \operatorname{Alice}\text{ has a winning strategy in }\mathbb{G}(x,i,R).\end{align*}$$

Using Lemma 1.2 as in the proof of Lemma 3.3, the map d is $\Game \mathbf {\Delta }^1_1$ -measurable. By our assumption on $\mathcal {H}$ , there is a subset C on which d is constant and C spans an edge with each label.

Lemma 3.9. Let $i\in \Delta $ and $R_0,R_1\subseteq V(H)$ be sets, such that there is no edge between points of $R_0$ and $R_1$ in G. Then for every $x \in C$ , $\operatorname {Bob}$ has no winning strategy in at least one of $\mathbb {G}(x,i,R_0)$ and $\mathbb {G}(x,i,R_1)$ . In particular, if R is independent in G, then $\operatorname {Bob}$ cannot have a winning strategy in $\mathbb {G}(x,i,R)$ .

Proof. If there exists an $x\in C$ for which $\mathbb {G}(x,i,R_0)$ and $\mathbb {G}(x,i,R_1)$ can be won by $\operatorname {Bob}$ , then, as d is constant on C, this is the case for every $x\in C$ . So we could find $x_0,x_1 \in C$ connected with an $\alpha _i$ labeled edge so that $\operatorname {Bob}$ has winning strategies in $\mathbb {G}(x_0,i,R_0)$ and $\mathbb {G}(x_1,i,R_1)$ . Then we can play the two winning strategies of $\operatorname {Bob}$ against each other as in the proof of Theorem 0.1. This would yield elements $h_0,h_1$ in $\operatorname {\mathbf { Hom}}^{e}(T_\Delta ,\mathcal {H})$ that form an $\alpha _i$ -edge with $c(h_i)\in R_i$ , contradicting our assumption on c and $R_i$ .

To finish the proof of the theorem, fix the sets $R_0,R_1$ from Definition 3.6, and take an arbitrary $x \in C$ . By Lemma 3.9, we get that for one of them, say $R_0$ , $\operatorname {Alice}$ has a winning strategy $\mathbb {G}(x,\alpha _0,R_0)$ . Let $A_1,\dots ,A_{\Delta -1}$ be independent sets as in Definition 3.6, that is, with the property that $R_0 \cup \bigcup _i A_i=V(G)$ . Using Lemma 3.9 again, we obtain that $\operatorname {Alice}$ has a winning strategy in $\mathbb {G}(x,\alpha _i,A_i)$ for each $i \in \Delta $ . This contradicts Claim 3.8.

4 Applications

In this section, we apply the theorems proven before to establish our main results. We will choose a target graph using two prominent notions from descriptive set theory: category and Ramsey property.

4.1 Complexity of the coloring problem

First, we will utilize the shift-graph $\mathcal {G}_S$ on $[\mathbb {N}]^{\mathbb {N}}$ to establish the complexity results. Let us mention that it would be ideal to use the main result of [Reference Todorčević and VidnyánszkyTV21] (i.e. that deciding the Borel chromatic number of graphs is complicated) directly and apply the $\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\cdot )$ map together with Theorem 0.1 to show that this already holds for acyclic bounded degree graphs. Unfortunately, since the mentioned theorem requires large $\Game \mathbf {\Delta }^1_1$ -measurable chromatic number, this does not seem to be possible (the graphs constructed in [Reference Todorčević and VidnyánszkyTV21] only have large Borel chromatic numbers, at least a priori). Instead, we will rely on the uniformization technique from [Reference Todorčević and VidnyánszkyTV21]. Roughly speaking, the technique enables us to prove that in certain situations deciding the existence of, say, Borel colorings is $\mathbf {\Sigma }^1_2$ -hard, whenever we are allowed to put graphs “next to each other.”

Let $X,Y$ be uncountable Polish spaces, $\mathbf {\Gamma }$ be a class of Borel sets, and $\Phi :\mathbf {\Gamma }(X) \to \mathbf {\Pi }^1_1(Y)$ be a map. Define $\mathcal {F}^{\Phi }\subset \mathbf {\Gamma }(X)$ by $A \in \mathcal {F}^{\Phi } \iff \Phi (A) \not = \emptyset $ , and let the uniform family, $\mathcal {U}^{\Phi }$ , be defined as follows: for $B \in \mathbf {\Gamma }(\mathbb {N}^{\mathbb {N}} \times X)$ , let

$$\begin{align*}\bar{\Phi}(B)=\{(s,y) \in \mathbb{N}^{\mathbb{N}} \times Y:y \in \Phi(B_s)\},\end{align*}$$

and

$$\begin{align*}B \in \mathcal{U}^{\Phi} \iff \bar{\Phi}(B) \text{ has a full Borel uniformization}\end{align*}$$

(that is, it contains the graph of a Borel function $\mathbb {N}^{\mathbb {N}} \to Y$ ).

Let $\mathbf {\Delta }$ be a family of subsets of Polish spaces. Recall that a subset A of a Polish space X is $\mathbf {\Delta }$ -hard, if for every Y Polish and $B \in \mathbf {\Delta }(Y)$ , there exists a continuous map $f:Y \to X$ with $f^{-1}(A)=B$ . A set is $\mathbf {\Delta }$ -complete if it is $\mathbf {\Delta }$ -hard and in $\mathbf {\Delta }$ . A family $\mathcal {F}$ of subsets of a Polish space X is said to be $\mathbf {\Delta }$ -hard on $\mathbf {\Gamma }$ , if there exists a set $B \in \mathbf {\Gamma }(\mathbb {N}^{\mathbb {N}} \times X)$ , so that the set $\{s \in \mathbb {N}^{\mathbb {N}}:B_s \in \mathcal {F}\}$ is $\mathbf {\Delta }$ -hard. The next definition captures the central technical condition.

Definition 4.1. The family $\mathcal {F}^{\Phi }$ is said to be nicely $\mathbf {\Sigma }^1_1$ -hard on $\mathbf {\Gamma }$ if for every $A \in \mathbf {\Sigma }^1_1(\mathbb {N}^{\mathbb {N}})$ , there exist sets $B \in \mathbf {\Gamma }(\mathbb {N}^{\mathbb {N}} \times X)$ and $D \in \mathbf {\Sigma }^1_1(\mathbb {N}^{\mathbb {N}} \times Y)$ , so that $D \subset \bar {\Phi }(B)$ and for all $s \in \mathbb {N}^{\mathbb {N}}$ , we have

$$\begin{align*}s \in A \iff D_s \not = \emptyset \iff \Phi(B_s)\not= \emptyset \ ( \ \iff B_s \in \mathcal{F}^\Phi).\end{align*}$$

A map $\Phi : \mathbf {\Gamma }(X)\to \mathbf {\Pi }^1_1(Y)$ is called $\mathbf {\Pi }^1_1$ on $\mathbf {\Gamma }$ if for every Polish space P and $A\in \mathbf {\Gamma }(P \times X)$ , we have $\{(s,y) \in P \times Y:y \in \Phi (A_s)\}\in \mathbf {\Pi }^1_1$ . Now we have the following theorem.

Theorem 4.2 ([Reference Todorčević and VidnyánszkyTV21], Theorem 1.6).

Let $X,Y$ be uncountable Polish spaces, $\mathbf {\Gamma }$ be a class of subsets of Polish spaces which is closed under continuous preimages, finite unions, and intersections, and $\mathbf {\Pi }^0_1 \cup \mathbf {\Sigma }^0_1 \subset \mathbf {\Gamma }$ . Suppose that $\Phi :\mathbf {\Gamma }(X) \to \mathbf {\Pi }^1_1(Y)$ is $\mathbf {\Pi }^1_1$ on $\mathbf {\Gamma }$ and that $\mathcal {F}^\Phi $ is nicely $\mathbf {\Sigma }^1_1$ -hard on $\mathbf {\Gamma }$ . Then the family $\mathcal {U}^\Phi $ is $\mathbf {\Sigma }^1_2$ -hard on $\mathbf {\Gamma }$ .

Let us identify infinite subsets of $\mathbb {N}$ with their increasing enumeration. If $x,y \in [\mathbb {N}]^{\mathbb {N}}$ , let us use the notation $y \leq ^\infty x$ in the case the set $\{n:y(n) \leq x(n)\}$ is infinite and $y \leq ^* x$ if it is cofinite. Set $\mathcal {D}=\{(x,y):y \leq ^\infty x\}.$ It follows from the fact that $\mathcal {G}_S$ restricted to sets of the form $\mathcal {D}_x$ has a Borel $3$ -coloring that the graphs $\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {G}_S\restriction \mathcal {D}_x)$ admit a Borel $3$ -coloring, uniformly in x:

Lemma 4.3. There exists a Borel function $f_{dom}: [\mathbb {N}]^{\mathbb {N}} \to \mathbb {N}^{\mathbb {N}}$ , so that for each $x\in [\mathbb {N}]^{\mathbb {N}}$ , we have $f_{dom}(x)=\langle c_0,\dots ,c_{\Delta -1}\rangle $ with $c_i \in \mathbf {BC}([\mathbb {N}]^{\mathbb {N}})$ , $\mathbf {A}([\mathbb {N}]^{\mathbb {N}})_{c_i}$ are $\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {G}_S)$ -independent subsets of $V(\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {G}_S))$ for every $i<\Delta $ , and

$$\begin{align*}V(\operatorname{\mathbf{ Hom}}^{ac}(T_\Delta,\mathcal{G}_S\restriction \mathcal{D}_x)) = \bigcup^{\Delta-1}_{i=0} \mathbf{A}([\mathbb{N}]^{\mathbb{N}})_{c_i}.\end{align*}$$

Proof. Note that it suffices to construct a Borel map $c:[\mathbb {N}]^{\mathbb {N}} \times \operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {G}_S) \to \Delta $ that is a coloring of the graph $\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {G}_S \restriction \mathcal {D}_x)$ for each x: indeed, we can use Proposition 1.4 for $(B_i)_x=\{(x,h):c(x,h)=i\}$ to obtain Borel maps $f_i:[\mathbb {N}]^{\mathbb {N}} \to \mathbb {N}^{\mathbb {N}}$ , so that for every $x \in [\mathbb {N}]^{\mathbb {N}}$ , we have $\mathbf {A}([\mathbb {N}]^{\mathbb {N}})_{f_i(x)}=B_i$ , and let $f_{dom}(x)=\langle f_0(x),\dots ,f_{\Delta -1}(x)\rangle $ .

It has been established in [Reference Todorčević and VidnyánszkyTV21, Lemma 4.5] (see also [Reference Di Prisco and TodorčevićDPT15]) that there exists a Borel map $c':\mathcal {D} \to 3$ , such that for each x, it is a $3$ -coloring of the graph $\mathcal {G}_S \restriction \mathcal {D}_x$ . As the map $Root:\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {G}_S) \to \mathcal {G}_S$ is a Borel homomorphism by Proposition 2.2, it follows that the map $c(x,h):=c'(x, Root(h))$ is the desired $\Delta $ -coloring (in fact, $3$ -coloring).

Let $\mathcal {H}$ be the graph on $\mathbb {N}^{\mathbb {N}} \times V(\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {G}_S))$ defined by making $(x,h), (x',h')$ adjacent if $x=x'$ and h is adjacent to $h'$ in $\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {G}_S)$ . Fixing a Polish topology on $V(\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {G}_S))$ that is compatible with the Borel structure, we might assume that $V(\mathcal {H})$ is a Polish space.

Putting together results proved in the previous sections, we get the following corollary.

Corollary 4.4. The Borel chromatic number of $\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {G}_S)$ is $\Delta +1$ .

Proof. This follows from Proposition 1.3 and Theorems 1.1 and 0.1.

Now, we are ready to prove the following.

Proposition 4.5. There exists a Borel set $C \subseteq \mathbb {N}^{\mathbb {N}} \times \mathbb {N}^{\mathbb {N}} \times V(\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {G}_S))$ so that the set $\{s: \chi _B (\mathcal {H} \restriction C_s)\leq \Delta \}$ is $\mathbf {\Sigma }^1_2$ -hard.

Proof. We check the applicability of Theorem 4.2, with $X=V(\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {G}_S))$ , $Y=\mathbb {N}^{\mathbb {N}}$ , $\mathbf {\Gamma }=\mathbf {\Delta }^1_1$ and

$$\begin{align*}\Phi(A)=\{c:(\forall x,y \in A)\Big(c=\langle c_0,\dots,c_{\Delta-1}\rangle , c_i \in \mathbf{BC}(X), x \in \bigcup_i \mathbf{C}(X)_{c_i}, \end{align*}$$

$$\begin{align*}\text{and }(x,y) \in \operatorname{\mathbf{ Hom}}^{ac}(T_\Delta,\mathcal{G}_S) \Rightarrow (\forall i)\big(\lnot(x,y \in \mathbf{A}(X)_{c_i})\big)\Big) \},\end{align*}$$

in other words, $\Phi (A)$ contains the Borel codes of the Borel $\Delta $ -colorings of $\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {G}_S) \restriction A$ . Let $A \subseteq \mathbb {N}^{\mathbb {N}}$ be analytic, and take a closed set $F \subset \mathbb {N}^{\mathbb {N}} \times [\mathbb {N}]^{\mathbb {N}}$ so that $proj_0(F)=A$ . Let

$$\begin{align*}B'=\{(s,y):(\forall x \leq^* y)(x \not \in F_s)\}.\end{align*}$$

Lemma 4.6.

1. 1. $B' \in \mathbf {\Pi }^0_2$ .

2. 2. $\Phi $ is $\mathbf {\Pi }^1_1$ on $\mathbf {\Delta }^1_1$ .

3. 3. For any Borel set C, we have $C \in \mathcal {U}^\Phi $ if and only if $\chi _B(\mathcal {H} \restriction C)\leq \Delta $ .

Proof. The first statement has been proved in the stated form in [Reference Todorčević and VidnyánszkyTV21, Lemma 4.6]. The second statement also follows from the straightforward modification of the argument presented in [Reference Todorčević and VidnyánszkyTV21, Lemma 4.6]: in fact, $\Phi $ is $\mathbf { \Pi }^1_1$ on $\mathbf {\Delta }^1_1$ if $\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {G}_S)$ is replaced with any Borel graph, and the last statement works for every Borel graph on a product space, where edges only go between points in the same vertical section, in particular, for $\mathcal {H}$ .

Now define

$$\begin{align*}B=\{(s,h):h \in \operatorname{\mathbf{ Hom}}^{ac}(T_\Delta,\mathcal{G}_S \restriction B^{\prime}_s)\},\end{align*}$$

and

$$\begin{align*}D=\{(s,c):s \in A \text{ and }(\exists x \in F_s) (f_{dom} (x)=c)\},\end{align*}$$

where $f_{dom}$ is the function from Lemma 4.3.

We will show that B and D witness that $\mathcal {F}^\Phi $ is nicely $\mathbf {\Sigma }^1_1$ -hard. The set B is Borel by (1) of the lemma above, while by its definition, D is analytic.

Suppose that $s \in A$ . Then for each $x' \in F_s$ , we have

$$ \begin{align*}B^{\prime}_s= \{y:(\forall x \leq^* y)(x \not \in F_s)\} \subset \{y:y \leq^\infty x'\}=\mathcal{D}_{x'}.\end{align*} $$

Thus, by Lemma 4.3, $B_s \in \mathcal {F}^\Phi $ and $D_s \not = \emptyset $ . Moreover, if $c \in D_s$ , then for some $x \in F_s$ , we have $f_{dom}(x)=c$ with $c=\langle c_0,\dots ,c_{\Delta -1}\rangle $ , again, by Lemma 4.3, we have $B_s \subseteq \bigcup ^{\Delta -1}_{i=0} \mathbf {A}([\mathbb {N}]^{\mathbb {N}})_{c_i}$ and the sets $\mathbf {A}([\mathbb {N}]^{\mathbb {N}})_{c_i}$ are $\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {G}_S)$ -independent, thus, $D_{s} \subseteq \Phi (B_s)$ . Conversely, if $s \not \in A$ , then $F_s=D_s=\emptyset $ and $B^{\prime }_s=[\mathbb {N}]^{\mathbb {N}}$ . Then $B_s=\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {G}_S)$ , which set does not admit a Borel $\Delta $ -coloring by Corollary 4.4. Consequently, $\Phi (B_s)=\emptyset $ .

So, Theorem 4.2 is applicable, and it yields a Borel set $C \subseteq \mathbb {N}^{\mathbb {N}} \times \mathbb {N}^{\mathbb {N}} \times [\mathbb {N}]^{\mathbb {N}}$ so that $\{s:C_s \in \mathcal {U}^\Phi \}$ is $\mathbf {\Sigma }^1_2$ -hard. This implies the desired conclusion by (3) of the lemma above.

We can prove Theorem 0.2. Let us restate the theorem, describing precisely what we mean by “form a $\mathbf {\Sigma }^1_2$ -complete set.”

Theorem 0.2. Let X be an uncountable Polish space and $\Delta>2$ . The set

$$\begin{align*}S=\{c\in \mathbf{BC}(X^2): \mathbf{C}(X^2)_c\text{ is a }\Delta\text{-regular acyclic Borel graph with Borel chromatic number }\leq \Delta \}\end{align*}$$

is $\mathbf {\Sigma }^1_2$ -complete.

In particular, Brooks’s theorem has no analogue for Borel graphs in the following sense: there is no countable family $\{\mathcal {H}_i\}_{i \in I}$ of Borel graphs, such that for any Borel graph $\mathcal {G}$ with $\Delta (\mathcal {G})\leq \Delta $ , we have $\chi _B(\mathcal {G})>\Delta $ if and only if for some $i \in I$ , the graph $\mathcal {G}$ contains a Borel homomorphic copy of $\mathcal {H}_i$ .

Proof of Theorem 0.2.

First, note that using the fact that the codes of Borel functions between Polish spaces form a $\mathbf {\Pi }^1_1$ set, it is straightforward to show that S is a $\mathbf {\Sigma }^1_2$ set (see e.g. [Reference Todorčević and VidnyánszkyTV21, Proof of Theorem 1.3]). Similarly, one can check that if there was a collection $\{\mathcal {H}_i:i \in I\}$ as above, then this would yield that the set S is $\mathbf {\Pi }^1_2$ . Thus, in order to show both parts of the theorem, it suffices to prove that S is $\mathbf {\Sigma }^1_2$ -hard.

Second, by [Reference SabokSab12], it follows that if we replace continuous functions with Borel ones in the definition of $\mathbf {\Sigma }^1_2$ -hard sets, we get the same class. As uncountable Polish spaces are Borel isomorphic, it is enough to show that S is $\mathbf {\Sigma }^1_2$ -hard for some X.

Take the graph $\mathcal {H}$ and the set C from Proposition 4.5. Note that the graph $\operatorname {\mathbf { Hom}}^{ac}(T_\Delta ,\mathcal {G}_S)$ is acyclic and has degrees $\leq \Delta $ by its construction. Therefore, the same holds for $\mathcal {H} \restriction C_s$ for each s. Using that the sets $D_i=\{(s,x,h):\text {the degree of }(x,h)\text { in }\mathcal {H} \restriction C_s\text { is }i\}$ are Borel, it is straightforward to modify $\mathcal {H}$ so that we obtain a Borel graph $\mathcal {H}_\Delta $ on a Polish space of the form $X=\mathbb {N}^{\mathbb {N}} \times Y$ , such that for each s, the graph $\mathcal {H}_\Delta \restriction \{s\} \times Y$ is $\Delta $ -regular, acyclic, and that the set $\{s:\chi _B(\mathcal {H}_\Delta \restriction \{s\} \times Y)) \leq \Delta \}= \{s:\chi _B(\mathcal {H}\restriction C_s)\leq \Delta \}$ (indeed, to vertices in $D_i$ , we can attach $\Delta -i$ -many disjoint infinite rooted trees that are $\Delta $ -regular except for the root, which has degree $\Delta -1$ , in a Borel way). The third part of Proposition 1.4 gives a Borel reduction from the former set to S. Since the latter set is $\mathbf {\Sigma }^1_2$ -hard, this yields the desired result by using [Reference SabokSab12] as above.

4.2 Hyperfiniteness

In this section, we use Baire category arguments to obtain a new proof of Theorem 0.4.

Theorem 0.4. There exists a hyperfinite $\Delta $ -regular acyclic Borel graph with Borel chromatic number $\Delta +1$ .

We will utilize a version of the graph $\mathbb {G}_0$ constructed in [Reference Kechris, Solecki and TodorčevićKST99]. For $s\in 2^{<\mathbb N}$ , define

$$ \begin{align*}\mathbb G_s=\{(s^\frown (0)^\frown c,s^\frown (1)^\frown c):c\in 2^{\mathbb{N}}\}\end{align*} $$

on $2^{\mathbb N}$ . Fix some collection $(s_n)_{n\in \mathbb N}\subseteq 2^{<\mathbb N}$ , such that $|s_n|=n$ , that is, $s_n\in 2^n$ , for every $n\in \mathbb N$ , together with a function $e:\mathbb {N}\to \Delta $ , such that $(s_n)_{e(n)=i}\subseteq 2^{<\mathbb N}$ is dense in $2^{<\mathbb {N}}$ for every $i\in \Delta $ . Set $\mathbb {G}_0=\bigcup _{n \in \mathbb {N}}\mathbb {G}_{s_n}$ . Label an edge $\alpha _i$ if it is in the graph $\bigcup _{e(n)=i} \mathbb {G}_{s_n}$ . Finally, write $\mathcal {H}$ for the restriction of $\mathbb {G}_0$ to those vertices x such that every vertex in the connected component of x is adjacent to at least one edge of each label. Standard arguments yield the following claim.

Claim 4.7.

1. 1. $\mathcal {H}$ is acyclic and locally countable.

2. 2. $\mathcal {H}$ is defined on a comeager subset of $2^{\mathbb {N}}$ .

3. 3. The Baire measurable edge-labeled chromatic number of $\mathcal {H}$ is infinite (in fact, uncountable).

4. 4. $\mathcal {H}$ is hyperfinite.

Proof. The fact the $\mathcal {H}$ is locally countable is clear from its definition, while acyclicity follows from the assumption that $|s_n|=n$ . To see the second part, note that the set $\{x \in 2^{\mathbb {N}}: \forall i \in \Delta \ \exists n \ (e(n)=i \land s_n \sqsubset x) \}$ is open and dense in $2^{\mathbb {N}}$ . Now, $\mathcal {H}$ is the restriction of $\mathbb {G}_0$ to a set that is an intersection of the image of this set under countably many homeomorphisms of the form $s_n^\frown (i)^\frown c \mapsto s_n^\frown (1-i)^\frown c$ , hence, its vertex set is comeager.

The proof of the third part is identical to the proof of [Reference Kechris, Solecki and TodorčevićKST99, Proposition 6.2]. We include the argument for completeness. Assume that $c:2^{\mathbb {N}} \to \aleph _0$ is a Baire measurable coloring and $j \in \Delta $ is arbitrary. Then, for some i, the set $c^{-1}(i)$ is nonmeager. Since $c^{-1}(i)$ is Baire-measurable, there is some neighborhood $N_t$ , such that $N_t \setminus c^{-1}(i)$ is comeager. In turn, there is some n with $e(n)=j$ and $N_{s_n} \setminus c^{-1}(i)$ comeager. Since the map is category preserving from $N_{s_n}$ to $N_{s_n}$ , there will be some $x,y \in c^{-1}(i) \cap N_{s_n}$ , with $(x,y) \in \mathbb {G}_{s_n}$ , in other words, the edge $(x,y)$ is labeled j.

Finally, the hyperfiniteness of $\mathcal {H}$ follows from the fact that $E_{\mathcal {H}} \subset \mathbb {E}_0$ (see, e.g. [Reference Jackson, Kechris and LouveauJKL02, Proposition 1.3]).

Proof of Theorem 0.4.

By Claim 4.7 and Proposition 2.6, the graph $\operatorname {\mathbf { Hom}}^{e}(T_\Delta ,\mathcal {H})$ is hyperfinite, $\Delta $ -regular, and acyclic. By Theorem 3.5 and Proposition 1.3, its Borel chromatic number is $\Delta +1$ .

Note that the above theorem also implies Theorem 1.6 in [Reference Conley, Jackson, Marks, Seward and Tucker-DrobCJM⁺20], namely, that there is no Borel version of the Lovász Local Lemma (LLL) even on hyperfinite graphs and if the probability of a bad event is polynomial in the degree of the dependency graph (for related results and precise definitions see [Reference Csóka, Grabowski, András, Pikhurko and TyrosCGA⁺16] and [Reference BernshteynBer23]). In order to see this, observe that the sinkless orientation problem from [Reference Brandt, Fischer, Hirvonen, Keller, Lempiäinen, Rybicki, Suomela and UittoBFH⁺16] can be thought of as an instance of the LLL as follows: Each edge corresponds to a random binary variable representing its orientation. At each node, the bad event has probability $2^{-\Delta }$ : all incident edges are oriented toward it. It remains to observe that a Borel solution to the sinkless orientation problem implies easily a Borel solution to the edge grabbing problem which, in turn, by Remark 3.1, implies the existence of a Borel antigame labeling. However, it follows from the proof of Theorem 3.5 that $\operatorname {\mathbf { Hom}}^{e}(T_\Delta ,\mathcal {H})$ does not admit a Borel antigame labeling.

4.3 Graph homomorphisms

In this section, we prove Theorem 0.5 that we restate here for the convenience of the reader.

Theorem 0.5. For every $\Delta>2$ and every $\ell \leq 2\Delta -2$ , there are a finite graph H and a $\Delta $ -regular acyclic Borel graph $\mathcal {G}$ , such that $\chi (H)=\ell $ and $\mathcal {G}$ does not admit Borel homomorphism to H. The graph $\mathcal {G}$ can be chosen to be hyperfinite.

We remark that the first proof of the theorem (without the conclusion about hyperfiniteness) relied on a construction from the random graph theory (see [Reference Brandt, Chang, Grebík, Grunau, Rozhoň and VidnyánszkyBCG⁺21] for motivation and connection to the $\mathsf {LOCAL}$ model). We sketch the construction here for completeness. Fix $k\in \mathbb {N}$ , large enough depending on $\Delta $ , and consider $k\Delta $ pairings on a set n sampled independently uniformly at random. In other words, we have a $k\Delta $ -regular graph and there is a canonical edge $\Delta $ -labeling, such that each vertex is adjacent to exactly k edges of each color. Now taking a local-global limit of such graphs as $n\to \infty $ produces with probability $1$ an acyclic graphing with large edge-labeled chromatic number as needed (see [Reference BollobásBol81, Reference Hatami, Lovász and SzegedyHLS14]).

Before we prove Theorem 0.5, we discuss graphs that are almost $\Delta $ -colorable.

Almost $\Delta $ -colorable graphs

As we have seen, in Section 3.1, being almost $\Delta $ -colorable is (formally) a weaker condition than having chromatic number at most $\Delta $ but still allows us to use a version of Marks’s technique. Similarly to the way the complete graph on $\Delta $ -many vertices, $K_\Delta $ , is maximal among graphs of chromatic number $\leq \Delta $ , we show that there exists a maximal graph (under homomorphisms) that is almost $\Delta $ -colorable. It turns out that the chromatic number of the maximal graph is $2\Delta -2$ .

Let us describe the maximal examples of graphs that are almost $\Delta $ -colorable for $\Delta>2$ . Recall that the (categorical) product $G \times H$ of graphs $G,H$ is the graph on $V(G) \times V(H)$ , such that $((g,h),(g',h')) \in E(G \times H)$ if and only if $(g,g') \in E(G)$ and $(h,h') \in E(H)$ .

Figure 2 The maximal graph that is almost $\Delta $ -colorable for $\Delta =3$ .

Write P for the product $K_{\Delta -1}\times K_{\Delta -1}$ . Let $V_0$ and $V_1$ be vertex disjoint copies of $K_{\Delta -1}$ . We think of vertices in $V_i$ and P as having labels from $[\Delta -1]$ and $[\Delta -1] \times [\Delta -1]$ , respectively. The graph $H_\Delta $ is the disjoint union of $V_0$ , $V_1$ , P, and an extra vertex $\dagger $ that is connected by an edge to every vertex in P, and additionally, if v is a vertex in $V_0$ with label $i\in [\Delta -1]$ , then we connect it by an edge with $(i',j)\in P$ for every $i'\not =i$ and $j\in [\Delta -1]$ , and if v is a vertex in $V_1$ with label $j\in \Delta -1$ , then we connect it by an edge with $(i,j')\in P$ for every $j'\not =j$ and $i \in [\Delta -1]$ . The graph $H_{3}$ is depicted in Figure 2.

Proposition 4.8.

1. 1. $H_\Delta $ is almost $\Delta $ -colorable.

2. 2. $\chi (H_\Delta )=2\Delta -2$ .

3. 3. A graph G is almost $\Delta $ colorable if and only if it admits a homomorphism to $H_\Delta $ .

Proof. (1) Set $R_0=V(V_0)\cup \{\dagger \}$ and $R_1=V(V_1)\cup \{\dagger \}$ . By the definition, there are no edges between $R_0$ and $R_1$ . Consider now, for example, $V(H_\Delta )\setminus R_0$ . Let $A_j$ consist of all elements in P that have second coordinate equal to j together with the vertex in $V_1$ that has the label j. By the definition, the set $A_i$ is independent and $\bigcup _{i\in [\Delta -1]}A_i$ covers $H_\Delta \setminus R_0$ , and similarly for $R_1$ .

(2) First, we show that $\chi (H_\Delta )\le 2\Delta -2$ . Observe that there is no edge between $R_0 \setminus R_1$ and $R_0 \cap R_1$ , as there is no edge between $R_0$ and $R_1$ . It follows that the chromatic number of the induced subgraph of $H_\Delta $ to $R_0$ is $\Delta -1$ . The desired $2\Delta -2$ coloring of $H_\Delta $ is then defined as the disjoint union of the $\Delta -1$ -colorings of $R_0$ and $V(H) \setminus R_0$ .

Next, we show that $\chi (H_\Delta )\geq 2\Delta -2$ . Toward a contradiction, assume that c is a coloring of $H_\Delta $ with $<2\Delta -2$ -many colors. It follows that $|c(V(P))|\leq 2\Delta -4$ , and also $\Delta -1 \leq |c(V(P))|$ . First, we claim that there are no indices $i,j\in [\Delta -1]$ (even with $i=j$ ), such that $c(i,r)\not =c(i,s)$ and $c(r,j)\not =c(s,j)$ for every $s\not =r$ : indeed, otherwise, by the definition of P, we had $c(i,r)\not =c(s,j)$ for every $r,s$ unless $(i,r)=(s,j)$ , which would be the upper bound on the size of $c(V(P))$ .

Therefore, without loss of generality, we may assume that for every $i\in [\Delta -1]$ , there is a color $\alpha _i$ and two indices $j_i \neq j^{\prime }_i$ , such that $c(i,j_i)=c(i,j^{\prime }_i)=\alpha _i$ . It follows from the definition of P and $j_i \neq j^{\prime }_i$ that $\alpha _i\not =\alpha _{i'}$ whenever $i\not = i'$ .

Moreover, note that any vertex in $V_1$ is connected to at least one of the vertices $(i,j_i)$ and $(i,j^{\prime }_i)$ , hence, none of the colors $\{\alpha _i\}_{i \in [\Delta -1]}$ can appear on $V_1$ . Consequently, since $V_1$ is isomorphic to $K_{\Delta -1}$ , we need to use at least $\Delta -1$ additional colors, a contradiction.

(3) First, note that if G admits a homomorphism into $H_\Delta $ , then the pullback of the sets $R_0$ , $R_1$ , and $A_i$ for $i\in [\Delta -1]$ witnesses that G is almost $\Delta $ -colorable.

Conversely, let G be almost $\Delta $ -colorable. Fix the corresponding sets $R_0,R_1$ together with $(\Delta -1)$ -colorings $c_0,c_1$ of their complements. We construct a homomorphism $\Theta $ from G to $H_\Delta $ . Let

$$\begin{align*}\Theta(v)= \begin{cases} \dagger &\mbox{if } v \in R_0 \cap R_1, \\ c_0(v) & \mbox{if } v \in R_1 \setminus R_0, \\ c_1(v) & \mbox{if } v \in R_0 \setminus R_1, \\ (c_0(v),c_1(v)) & \mbox{if } v \not \in R_0 \cup R_1. \end{cases} \end{align*}$$

Observe that $R=R_0\cap R_1$ is an independent set, such that there is no edge between R and $R_0 \cup R_1$ . Using this observation, one easily checks case-by-case that $\Theta $ is indeed a homomorphism.

Remark 4.9. It can be shown that for $\Delta =3$ , both the Chvátal and Grötsch graphs are almost $\Delta $ -colorable.

Proof of Theorem 0.5.

Note that it is enough to show the existence of such H and $\mathcal {G}$ with $\chi (H)=2\Delta -2$ . Indeed, since erasing a vertex decreases the chromatic number by at most $1$ , we can produce subgraphs of H with chromatic number exactly $\ell $ for each $\ell \leq 2\Delta -2$ .

By Proposition 4.8, the graph $H_\Delta $ is almost $\Delta $ -colorable and has chromatic number $2\Delta -2$ . Then it is easy to see that taking the target graph $\mathcal {H}$ as in Claim 4.7 gives the conclusion by Proposition 2.6 and Theorem 3.7.

Remark 4.10. Interestingly, recent results connected to counterexamples to Hedetniemi’s conjecture yield Theorem 0.5 asymptotically, as $\Delta \to \infty $ . Recall that Hedetniemi’s conjecture is the statement that if $G,H$ are finite graphs, then $\chi (G \times H)=\min \{\chi (G),\chi (H)\}$ . This conjecture has been recently disproven by Shitov [Reference ShitovShi19], and strong counterexamples have been constructed later (see, [Reference Tardif and ZhuTZ19, Reference ZhuZhu21]). We claim that these imply for $\varepsilon>0$ the existence of finite graphs H with $\chi (H) \geq (2-\varepsilon )\Delta $ to which $\Delta $ -regular Borel forests cannot have, in general, a Borel homomorphism, for every large enough $\Delta $ . Indeed, if a $\Delta $ -regular Borel forest admitted a Borel homomorphism to each finite graph of chromatic number at least $(2-\varepsilon )\Delta $ , it would have such a homomorphism to their product as well. Thus, we would obtain that the chromatic number of the product of any graphs of chromatic number $(2-\varepsilon )\Delta $ is at least $\Delta +1$ . This contradicts Zhu’s result [Reference ZhuZhu21], which states that the chromatic number of the product of graphs with chromatic number n can drop to $\approx \frac {n}{2}$ .

5 Remarks and further directions

Since the construction of homomorphism graphs is rather flexible, we expect that this method will find further applications. A direction that we do not take in this paper is to investigate homomorphism graphs corresponding to countable groups other than $\mathbb {Z}^{*\Delta }_2$ . Another possible direction could be to understand the connection of our method with hyperfiniteness.

While Theorem 0.2 is optimal in the Borel context, one might hope that there is a positive answer in the case of graphs arising as compact, free subshifts of $2^{\mathbb {Z}^{*\Delta }_2}$ .

A way to answer this question on the negative would be to extend the machinery developed in [Reference Seward and Tucker-DrobSTD16] or [Reference BernshteynBer21], so that the produced equivariant maps preserve the Borel chromatic number, their range is compact, and then apply Theorem 0.2; however, this seems to require a significant amount of new ideas.

Let us point out that Theorem 0.1 has a particularly nice form, if we assume Projective Determinacy or replace the Axiom of Choice with the Axiom of Determinacy (see, e.g. [Reference Caicedo and KetchersidCK11] for related results).