MSC codes: Primary 03E15, 05C15; Secondary 28A05 Key Words: -complete, Borel chromatic number, bounded degree, Borel graph, Brooks’ theorem
On Homomorphism Graphs
Abstract
We introduce a new type of examples of bounded degree acyclic Borel graphs and study their combinatorial properties in the context of descriptive combinatorics, using a generalization of the determinacy method of Marks [Mar16]. The motivation for the construction comes from the adaptation of this method to the model of distributed computing [BCG+21]. Our approach unifies the previous results in the area, as well as produces new ones. In particular, strengthening the main result of [TV21], we show that for it is impossible to give a simple characterization of acyclic -regular Borel graphs with Borel chromatic number at most : such graphs form a -complete set. This implies a strong failure of Brooks’-like theorems in the Borel context.
1 Introduction
Descriptive combinatorics is an area concerned with the investigation of combinatorial problems on infinite graphs that satisfy additional regularity properties (see, e.g., [Pik21, KM20] for surveys of the most important results). In recent years, the study of such problems revealed a deep connection to other areas of mathematics and computer science. The most relevant to our study are the connections with the so-called model from the area of distributed computing. There are several recent results that use distributed computing techniques in order to get results either in descriptive combinatorics [Ber23, Ber21, BCG+21, Ele18, GR21a], or in the theory of random processes [HSW17, GR21b].
The starting point of our work was the investigation of the opposite direction. Namely, our aim was to adapt the celebrated determinacy technique of Marks [Mar16] to the model of distributed computing. In order to perform the adaptation (which is indeed possible, see our conference paper [BCG+21]111The connection between the current paper and the conference paper [BCG+21] is the following. The latter paper builds a theory of local problems on trees from several perspectives and aims to a broader audience. The original version of this paper should have been a journal version of some results from [BCG+21] aiming to people working in descriptive combinatorics. In the end, we added several new applications of our method that cannot be found in [BCG+21].), we had to circumvent several technical hurdles that, rather surprisingly, lead to the main objects that we study in this paper, homomorphism graphs (defined in Section 3). We refer the reader to [BCG+21] for a detailed discussion of the concepts and their connections to the model.
Before we state our results, we recall several basic notions and facts. A graph on a set is a symmetric subset of . We will refer to as the vertex set of , in symbols , and to as the edge set. If , a (proper) -coloring of is a mapping such that . The chromatic number of , is the minimal for which an -coloring exists. If and are graphs, a homomorphism from to is a mapping that preserves edges. Note that if and only if admits a homomorphism to the complete graph on vertices, . We denote by the supremum of the vertex degrees of . In what follows, we will only consider graphs with degrees bounded by a finite number, unless explicitly stated otherwise. A graph is called -regular if every vertex has degree . It is easy to see that . Moreover, Brooks’ theorem states that this inequality is sharp only in trivial situations: if , it happens if and only if contains a complete graph on vertices, and if , it happens if and only if contains an odd cycle.
We say that is a Borel graph if is a standard Borel space, see [Kec95], and the set of edges of is a Borel subset of endowed with the product Borel structure. The Borel chromatic number, , of is defined as the minimal for which a Borel -coloring exists, here we endow with the trivial Borel structure. Similar concepts are studied when we relax the notion of Borel measurable to merely measurable with respect to some probability measure, or Baire measurable with respect to some compatible Polish topology.
It has been shown by Kechris-Solecki-Todorčević [KST99] that , and it was a long standing open problem, whether Brooks’ theorem has a literal extension to the Borel context, at least in the case . For example, it has been proved by Conley-Marks-Tucker-Drob [CMTD16] that in the measurable or Baire measurable setting the answer is affirmative. Eventually, this problem has been solved by Marks [Mar16], who showed the existence of -regular acyclic Borel graphs with Borel chromatic number . Remarkably, this result relies on Martin’s Borel determinacy theorem, one of the cornerstones of modern descriptive set theory.
Results
First let us give a high-level overview of our new method for constructing Borel graphs (for the precise definition of the notions discussed below see Section 3). Fix a . To a given Borel graph we will associate a -regular acyclic Borel graph . Roughly speaking, the vertex set of the graph will be a collection of pairs , where and is a homomorphism from the -regular infinite rooted tree to that maps the root to , and is adjacent to if is obtained from by moving the root to a neighbouring vertex.
The main idea is that the we can use the combinatorial properties of to control the properties of . Most importantly, we will argue that from a Borel -coloring of we can construct a -coloring of : to each we associate games analogous to the ones developed by Marks, in order to select one of the sets for (in some sense, we select the largest), and color with the appropriate . As this selection will be based on the existence of winning strategies, the coloring of will not be Borel. However, it will still be in a class that has all the usual regularity properties (see Section 2 for the definition of this class and the corresponding chromatic number, ). Thus we will be able to prove the following.
Theorem 1.1.
Let be a locally countable Borel graph. Then we have
In particular, holds if the Ramsey measurable (if ), Baire measurable, or measurable chromatic number of is .
Next we list the applications. In each instance we use a version of Theorem 1.1 for a carefully chosen target graph . These graphs come from well-studied contexts of descriptive combinatorics, namely, Ramsey property and Baire category.
a) Complexity result.
We apply homomorphism graphs in connection to projective complexity and Brooks’ theorem. One might conjecture that the right generalization of Brooks’ theorem to the Borel context is that Marks’ examples serve as the analogues of the complete graph, i.e., whenever is a Borel graph with , then must contain a Borel homomorphic copy of the corresponding example of Marks. Note that in the case this is the situation, as there is a Borel analogue of odd cycles that admits a homomorphism into each Borel graph with (see [CMSV21]).
In [TV21] it has been shown that it is impossible to give a simple characterization of acyclic Borel graphs with Borel chromatic number . The construction there was based on a Ramsey theoretic statement, the Galvin-Prikry theorem [GP73]. An important weakness of that proof is that it uses graphs of finite but unbounded degrees. Using the homomorphism graph combined with the method developed in [TV21] and Marks technique, we obtain the analogous result for bounded degree graphs.
Theorem 1.2.
For each the family of -regular acyclic Borel graphs with Borel chromatic number has no simple characterization, namely, it is -complete.
From this we deduce a strong negative answer to the conjecture described above.
Corollary 1.3.
Brooks’ theorem has no analogue for Borel graphs in the following sense. Let . There is no countable family of Borel graphs such that for any Borel graph with we have if and only if for some the graph contains a Borel homomorphic copy of .
b) Chromatic number and hyperfiniteness.
Recall that a Borel graph is called hyperfinite, if it is the increasing union of Borel graphs with finite connected components. In [CJM+20] the authors examine the connection between hyperfiniteness and notions of Borel combinatorics, such as Borel chromatic number and the Lovász Local Lemma. Roughly speaking, they show that hyperfiniteness has no effect on Borel combinatorics, for example, they establish the following.
Theorem 1.4 ([CJM+20]).
There exists a hyperfinite -regular acyclic Borel graph with Borel chromatic number .
Using homomorphism graphs, we provide a new, short and more streamlined proof of this result. In particular, the conclusion about the chromatic number follows from our general result about (a version of ), while to get hyperfiniteness we can basically choose any acyclic hyperfinite graph as a target graph. To get both properties at once, we simply pick a variant of the graph (see [KST99, Section 6]) as our target graph.
c) Graph homomorphism.
We also consider a slightly more general context: homomorphisms to finite graphs. Clearly, the -regular examples constructed by Marks do not admit a Borel homomorphism to finite graphs of chromatic number at most , as this would imply that their Borel chromatic number is . No other examples of such graphs were known. We show the following.
Theorem 1.5.
For every and every there are a finite graph and a -regular acyclic Borel graph such that and does not admit Borel homomorphism to . The graph can be chosen to be hyperfinite.
This theorem is a step towards the better understanding of Problem 8.12 from [KM20].
Remark 1.6.
The upper bound on the chromatic number is implied by the combinatorial condition almost -colorable, see Definition 4.6, that is utilized in the generalization of Marks’ determinacy technique. It is an interesting open problem to determine exactly to what graphs the determinacy argument may be applied.
Recently Csóka and the last author showed that there is no factor of iid homomorphism from the -regular tree to finite graphs of arbitrarily large chromatic number using the theory of entropy inequalities. This, of course, implies the same result in the Borel setting. Observe, however, that there is a factor of iid homomorphism from the -regular tree to examples constructed in this paper as the universal graph that is almost -colorable, see Section 5.3 and Fig. 2, contains the complete graph on vertices. This shows that the difference between factor of iid and Borel chromatic numbers extends non-trivially to the question about graph homomorphism. The exact relationship between the existence of factor of iid and Borel homomorphisms is wide open.
Roadmap.
The paper is structured as follows. In Section 2 we collect the most important definitions and theorems that are going to be used. Then, in Section 3 we establish the basic properties of homomorphism graphs and their various modifications. Section 4 contains Marks’ technique’s adaptation to our context, while in Section 5 we prove our main results. We conclude the paper with a couple of remarks in Section 6.
2 Preliminaries
For standard facts and notations of descriptive set theory not explained here we refer the reader to [Kec95] (see also [Mos09]).
Given a graph , we refer to maps and as vertex ()-labelings and edge ()-labelings, respectively. An edge labeling is called an edge coloring, if incident edges have different labels. Let be a family of subsets of , and . An measurable -coloring is an -coloring of such that for each . Using this notion, we define the measurable chromatic number of , to be the minimal for which such a coloring exists.
We denote by the collection of infinite subsets of the set , and by the family of finite sequences of elements of . Points of the space will be identified with their increasing enumeration, making a subset of , and hence the product topology of gives rise to a Polish topology on .
Define the shift-graph (on ), , by letting and be adjacent if or . The shift-graph has a close connection to the notion of so called Ramsey property: for finite and with let . A set is called Ramsey if for each set of the form there exists such that or (see, e.g., [KST99, Kho12, Tod10] for results on the shift-graph and Ramsey measurability). The following follows from the definition.
Theorem 2.1.
The graph has no Ramsey measurable finite coloring.
Note that the Galvin-Prikry theorem asserts that Borel sets are Ramsey measurable. However, adapting Marks’ technique to our setting will require the usage of families of sets that are much larger than the collection of Borel sets.
If is a nonempty pruned tree, and , will denote the two-player infinite game on with legal positions in and payoff set . We will call the first player and the second , wins the game if the resulting element is in . Note that the Borel Determinacy Theorem [Mar75] states that one of the players has a winning strategy in whenever is Borel.
Recall that a subset of a Polish space is in the class if there is some Borel set such that
see [Mos09].
By modifying the payoff sets, it is easy to see the following (see, [Kec95, p138]).
Lemma 2.2.
Let be a Polish space and be Borel and be a Borel map such that is a pruned subtree of . Then the set
is .
The class enjoys a number of regularity properties.
Proposition 2.3.
Let be a Polish space. sets
-
1.
form a -algebra,
-
2.
have the Baire property w.r.t. any compatible Polish topology,
-
3.
are measurable w.r.t. any Borel probability measure,
-
4.
in the case have the Ramsey property.
Before proving this statement we need to fix an encoding of Borel sets. Let be a set of Borel codes and sets and with the properties summarized below:
Proposition 2.4.
(see [Mos09, 3.H])
-
•
, , ,
-
•
for and we have ,
-
•
if is a Polish space and then there exists a Borel map so that and for every we have .
Moreover, in the case the sets , , and can be described by , , and formulas, respectively.
Now we can prove Proposition 2.3.
Proof of Proposition 2.3.
The first statement is a consequence of [Mos09, Lemma 6D.1] and not very hard too verify.
In order to see the rest, we rely on results of Feng-Magidor-Woodin [FMW92]. Recall that a subset of is universally Baire if for every topological space that has a basis consisting of regular open sets and every continuous the set has the Baire property.
It is not hard to check the following properties of universally Baire sets (see [FMW92, Theorem 2.2] and the discussion on p212).
Claim 2.5.
Assume that is universally Baire, is a Polish space and be an injection.
-
1.
has the Baire property w.r.t. any compatible Polish topology, is measurable w.r.t. any Borel probability measure and, in case , has the Ramsey property.
-
2.
If and is continuous then is universally Baire.
-
3.
If is Borel then has the Baire property w.r.t. any compatible Polish topology, is measurable w.r.t. any Borel probability measure.
Now we consider a set which encompasses all the sets, and show that it is universally Baire. To ease the notation set , and . Note that we have , , . Consider first the set
Claim 2.6.
is universally Baire.
Proof.
By the characterization result of Feng-Magidor-Woodin, a set is universally Baire if and only if there exist a cardinal and trees such that and and for every forcing notion we have that
We show this condition for . Note that is a winning strategy for in if and only if is a strategy for such that . Using the last sentence of Proposition 2.4 this yields that can be described by a formula. Moreover, as whenever , and is Borel, by the Borel determinacy theorem has a winning strategy in if and only if has no winning strategy. That is, for every strategy for we have . This yields a description of using a formula. By [Mos09, 2D.3] there are trees (together with formulas defining them) such that and holds in every model of ZFC, showing that the desired property holds. ∎
Claim 2.7.
Let be a subset of a Polish space . Then there is a Borel injection and some such that , where . If is zero dimensional then there is even a homeomorphism with such a property.
Proof.
Let be a Borel set in such that
Since is Polish, there exists a Borel injection . Moreover, if is zero-dimensional, then can be chosen to be a homeomorphism. Now let . Then is Borel, and there is some with . Then, by definition we have . ∎
Now let first be a subset of an arbitrary Polish space . By the claim above, there exist a Borel injection and a with . Using Claim 2.5 has properties (2) and (3).
Finally, if then can be taken to be a homeomorphism. Then is universally Baire and hence Ramsey measurable by Claim 2.5.
∎
Remark 2.8.
In the original version of this paper we introduced the family of weakly provably sets, which contains sets, in order to be able to handle definability issues. Subsequently Kastner and Lyons pointed out that these results also follow from the theorems of Feng-Magidor-Woodin.
In an upcoming work Kastner and Lyons will prove the required regularity properties of the class with a more streamlined, purely game theoretic argument, based on the one given in Kechris [Kec78].
Finally, all the regularity properties of sets follow from projective determinacy.
3 The homomorphism graph
In this section we define the main objects of our study, homomorphism graphs, and establish a couple of their properties.
Let be a countable group and be a generating set. Assume that is an action of on the set . As there is no danger of confusion we always denote the action with the symbol . The Schreier graph of such an action is a graph on the set such that are adjacent iff for some we have that .
Probably the most important example of a Schreier graph is the (right) Cayley graph, that comes from the right multiplication action of on itself. That is, form an edge in if there is such that . Another example is the graph of the left-shift action of on the space : recall that the left-shift action is defined by
for and . Observe that the Schreier graph of this actions is a Borel graph, when we endow the space with the product topology.
Our examples will come from a generalization of this graph. First note that if we replace by any other standard Borel space , the space 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 and restrict the corresponding Schreier graph on to an appropriate subset on which the elements are graph homomorphisms from to . This allows us to control certain properties (such as chromatic number or hyperfiniteness) of the resulting graph by the properties of . More precisely:
Definition 3.1.
Let be a Borel graph and be a countable group with a generating set . Let be the restriction of to the set
We will refer to as the target graph, and we will denote the map by (note that the vertices of are labeled by the elements of ). It is clear from the definition that is a Borel graph with degrees at most and that is a Borel map. We can immediately make the following observation.
Proposition 3.2.
The map is a Borel homomorphism from to .
In particular, and the action of on has no fixed-points.
Proof.
Let and . Note that as and are adjacent in it follows that and are adjacent in as is a homomorphism. Consequently, the map is a Borel homomorphism from to and as there are no loops in . ∎
The -regular tree .
In this paper we only consider the case of the group
together with the generating set . Since is isomorphic to the -regular infinite tree, , we use to denote the graph . Note also that we consider and equipped with a -edge coloring. As suggested above, an equivalent description of the vertex set of is that it is the set of pairs where is a homomorphism from the tree to and is a distinguished vertex of , a root. Then we have that and form an (-)edge if and only if and is an (-)edge in . This is because (a) there is a one-to-one correspondence between a homomorphism from to and the pairs , and (b) the shift action corresponds to changing the root for a fixed homomorphism from to .
Recall that an action is free if for each and we have . The free part, denoted by , is the set . Note that the left-shift action of on, say, 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 this graph has Borel chromatic number . Analogously, we have the following.
Definition 3.3.
Let that is, the restriction of the graph to the free part of the action.
In our first application we will use this remedy to get acyclic graphs. Note that for each edge in there is a unique generator that induces it. In particular, the graph admits a canonical Borel edge -coloring. The following is straightforward.
Proposition 3.4.
Let be a locally countable Borel graph. If is nonempty, then it is -regular and acylic.
However, utilizing the homomorphism graph together with an appropriate target graph, we will be able to completely avoid the non-free part, in an automatic manner. This way we will be able to guarantee the hyperfiniteness of the homomorphism graph as well. Recall that comes with a -edge coloring by the elements of . Let us consider the a subgraph of the homomorphism graph that arises by requiring to preserve this information.
Definition 3.5.
Assume that the graph is equipped with a Borel edge -labeling. Let be the restriction of to the set
Clearly, is also a Borel graph. Note that in the following statement the labeling of the edges of the target graph is typically not a coloring.
Proposition 3.6.
Assume that is an acyclic graph equipped with a Borel edge -labeling and is nonempty. Then
-
1.
is acyclic,
-
2.
If is hyperfinite, then so is ,
-
3.
is -regular.
Proof.
Observe that if is a homomorphism from a tree to an acyclic graph that is not injective, then there must be adjacent pairs of vertices and with and . Thus, if is edge label preserving then it must be injective, as incident edges have different labels in . Therefore, the map is injective on each connected component of , yielding (1).
To see (2), let be a witness to the hyperfiniteness of . Let be the pullback of by the map . Since is injective on every connected component, the graphs also have finite components and their union is .
For (3) just notice that using the injectivity of again, it follows that has cardinality . ∎
4 Variations on Marks’ technique
Now we are ready to adapt Marks’ technique [Mar16] to homomorphism graphs. Let us denote by the -chromatic number of (see Section 2).
Theorem 1.1.
Let be a locally countable Borel graph. Then
The games we will define naturally yield elements rather than . In order to deal with the cyclic part of the graph, we will show slightly more, using the same strategy as Marks. Let , an anti-game labeling of is a map such that there are no and distinct vertices with and . Observe that every -coloring is automatically anti-game labeling.
Remark 4.1.
One can define analogously anti-game labelings for graphs with edges labeled by . Note that in the case when the graph is -regular and the labeling is an edge -coloring, the existence of an anti-game labeling is equivalent with solving the well known edge grabbing problem (that is, every vertex picks one adjacent edge but no edge can be picked from both sides, see [BBE+20]) or sinkless orientation problem. Observe that the sinkless orientation problem, and hence the existence of anti-game labeling, can be easily solved on graphs with cycles. This observation is crucially utilized in both Marks’ and this paper, see Lemma 4.2.
Lemma 4.2.
There exists a Borel anti-game labeling .
Proof.
Let us use the notation . By definition, the action on every connected component is not free. Using [KM04, Lemma 7.3] we can find a Borel maximal family of pairwise disjoint finite sequences each of length at least such that for each there is a sequence such that , for , and , . (Note that it is possible that in which case there are two distinct generators such that .)
Now label an element by if for some . Otherwise, let be the minimal such that has strictly smaller distance to than with respect to the graph distance in . It is easy to check that is an anti-game labeling. ∎
Proof of Theorem 1.1.
We show that there is no Borel anti-game labeling . Once we have that the proof of Theorem 1.1 is finished as follows. Suppose that is a Borel -coloring of . As observed above, every -coloring is also anti-game labeling. Consequently, the union of and the anti-game labeling produced in Lemma 4.2 is a Borel anti-game labeling of , contradiction.
Assume towards contradiction that is a Borel anti-game labeling. Without loss of generality we may assume that has no isolated points. This ensures that the games below can be always continued.
We define a family of two-player games parametrized by elements and . In a run of the game players and alternate and build a homomorphism from to , i.e., an element of , with the property that .
In the -th round, first labels vertices of distance from the on the side of the edge. After that, labels all remaining vertices of distance , etc (see Fig. 1). In other words, labels the elements of corresponding to reduced words of length starting with then labels the rest of the reduced words of length .
Note that once the parameters of the game are fixed the definition of the game is analoguous to the one defined by Marks [Mar16]. There is, however, one important difference. The allowed moves are vertices of the target graph restricted by its edge relation. Observe that the original construction of Marks can be interpreted in our setting by taking to be the the complete graph on .
The winning condition is defined as follows:
Lemma 4.3.
-
1.
For any and one of the players has a winning strategy in the game .
-
2.
The set is .
Proof.
We encode the games in a way that allows the use of Borel determinacy theorem and Lemma 2.2.
Let us denote by the connected component equivalence relation of . Observe that as is connected, the range of any element is contained in a single class. By the Feldman-Moore theorem, there is a countable collection of Borel functions such that . Therefore, the games above can be identified by games played on , namely, labeling a vertex in by a vertex corresponds to playing the minimal natural number with . Since the functions are Borel, this correspondence is Borel as well. Moreover, the rule that must be homomorphism determines a pruned subtree of legal positions and the map is Borel. This yields that there exists a Borel set such that
Now, the first claim follows from the Borel determinacy theorem, while the second follows from Lemma 2.2. ∎
Claim 4.4.
For every there is an such that wins .
Proof.
Now we can finish the proof of Theorem 1.1. Define by
(1) |
Since sets form an algebra, is measurable and by Claim 4.4 it is everywhere defined. By our assumptions on there are adjacent with . Now, we can play the two winning strategies corresponding to games and of against each other, as if the first move of was (resp. ). This yields distinct homomorphisms with and , contradicting that is an anti-game labeling. ∎
4.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 is acyclic, we can get rid of the investigation of the cyclic part (see Proposition 3.6). In order to achieve this, we have to assume slightly more about the chromatic properties of the target graph.
Assume that is equipped with an edge -labeling. The edge-labeled chromatic number, of is the minimal , for which there exists a map so that for each the set doesn’t span edges with every possible label. In other words, if and only if no matter how we assign many colors to the vertices of , there will be a color class containing edges with every label. We define measurable, Baire measurable, etc. versions of the edge-labeled chromatic number in the natural way.
Theorem 4.5.
Let be a locally countable Borel graph with a Borel -edge labeling, such that for every vertex and every label there is an -labeled edge incident to . Then
Proof.
The proof is similar to the proof of Theorem 1.1, but with taking the edge colors into consideration. Let us indicate the required modifications. We define as above, with the extra assumption that players must build a homomorphism that respects edge labels, i.e., an element . The condition on the edge-labeling ensures that the players can continue the game respecting the rules at every given finite step.
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 . The following notion is going to be our key technical tool.
Definition 4.6 (Almost -colorable).
Let and be a finite graph. We say that is almost -colorable if there are sets such that restricted to has chromatic number at most for , and there is no edge between vertices of and .
Note that if , then is almost -colorable. Indeed, if are independent sets that cover , we can set . The basic properties of almost -colorable graphs are summarized in Section 5.3. In particular, we show that every almost -colorable graph has chromatic number at most , a bound that appears in Theorem 1.5.
Theorem 4.7.
Let be a locally countable Borel graph and assume that is a finite graph that is almost -colorable. Assume that is equipped with a Borel -edge labeling, with the property that for every vertex and every edge label there exists and edge from with label . Then
Proof.
Assume for contradiction that such a Borel homomorphism exists. We will need a further modification of Marks’ games. Let . For define the game as in the proof of Theorem 4.5, with the winning condition modified to
Observe that playing the strategies of against each other as in Claim 4.4 we can establish the following.
Claim 4.8.
For every and every sequence with there is some such that has no winning strategy in .
Now let be the powerset of the set . Of course, . Define a mapping by
Using Lemma 2.2 as in the proof of Lemma 4.3, the map is -measurable. By our assumption on , there is a subset on which is constant and spans an edge with each label.
Lemma 4.9.
Let and be sets such that there is no edge between points of and in . Then for every has no winning strategy in at least one of and . In particular, if is independent in then cannot have a winning strategy in .
Proof.
If there exists an for which and can be won by , then, as is constant on , this is the case for every . So we could find connected with an labeled edge so that has winning strategies in and . Then we can play the two winning strategies of against each other as in the proof of Theorem 1.1. This would yield elements in that form an -edge with , contradicting our assumption on and . ∎
To finish the proof of the theorem, fix the sets from Definition 4.6, and take an arbitrary . By Lemma 4.9, we get that for one of them, say , has a winning strategy . Let be independent sets as in Definition 4.6, i.e., with the property that . Using Lemma 4.9 again, we obtain that has a winning strategy in for each . This contradicts Claim 4.8.
∎
5 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.
5.1 Complexity of the coloring problem
First we will utilize the shift-graph on to establish the complexity results. Let us mention that it would be ideal to use the main result of [TV21] (i.e., that deciding the Borel chromatic number of graphs is complicated) directly and apply the map together with Theorem 1.1 to show that this already holds for acyclic bounded degree graphs. Unfortunately, since the mentioned theorem requires large -measurable chromatic number, this does not seem to be possible (the graphs constructed in [TV21] only have large Borel chromatic numbers, at least a priori). Instead, we will rely on the uniformization technique from [TV21]. Roughly speaking, the technique enables us to prove that in certain situations deciding the existence of, say, Borel colorings is -hard, whenever we are allowed to put graphs “next to each other”.
Let be uncountable Polish spaces, be a class of Borel sets and be a map. Define by and let the uniform family, , be defined as follows: for let
and
(that is, it contains the graph of a Borel function ).
Let be a family of subsets of Polish spaces. Recall that a subset of a Polish space is -hard, if for every Polish and there exists a continuous map with . A set is -complete if it is -hard and in . A family of subsets of a Polish space is said to be -hard on , if there exists a set so that the set is -hard. The next definition captures the central technical condition.
Definition 5.1.
The family is said to be nicely -hard on if for every there exist sets and so that and for all we have
A map is called on if for every Polish space and we have . Now we have the following theorem.
Theorem 5.2 ([TV21], Theorem 1.6).
Let be uncountable Polish spaces, be a class of subsets of Polish spaces which is closed under continuous preimages, finite unions and intersections and . Suppose that is on and that is nicely -hard on . Then the family is -hard on .
Let us identify infinite subsets of with their increasing enumeration. If let us use the notation in the case the set is infinite and if it is co-finite. Set It follows form the fact that restricted to sets of the form has a Borel -coloring that the graphs admit a Borel -coloring, uniformly in :
Lemma 5.3.
There exists a Borel function so that for each we have with , are -independent subsets of for every and
Proof.
Note that it suffices to construct a Borel map that is a coloring of the graph for each : indeed, we can use Proposition 2.4 for to obtain Borel maps so that for every we have and let .
It has been established in [TV21, Lemma 4.5] (see also [DPT15]) that there exists a Borel map such that for each it is a -coloring of the graph . As the map is a Borel homomorphism by Proposition 3.2, it follows that the map is the desired -coloring (in fact, -coloring). ∎
Let be the graph on defined by making adjacent if and is adjacent to in . Fixing a Polish topology on that is compatible with the Borel structure, we might assume that is a Polish space.
Putting together results proved in the previous sections, we get the following corollary.
Corollary 5.4.
The Borel chromatic number of is .
Proof.
This follows from Proposition 2.3, Theorem 2.1, and Theorem 1.1. ∎
Now we are ready to prove the following.
Proposition 5.5.
There exists a Borel set so that the set is -hard.
Proof.
We check the applicability of Theorem 5.2, with , , and
in other words, contains the Borel codes of the Borel -colorings of . Let be analytic and take a closed set so that . Let
Lemma 5.6.
-
1.
.
-
2.
is on .
-
3.
For any Borel set we have if and only if .
Proof.
The first statement has been proved in the stated form in [TV21, Lemma 4.6]. The second statements also follow from the straightforward modification of the argument presented in [TV21, Lemma 4.6]: in fact, is on if 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 . ∎
We will show that and witness that is nicely -hard. The set is Borel by (1) of the lemma above, while by its definition is analytic.
Suppose that . Then for each we have
Thus, by Lemma 5.3 and . Moreover, if then for some we have with , again by Lemma 5.3 we have and the sets are -independent, thus, . Conversely, if then and . Then , which set does not admit a Borel -coloring by Corollary 5.4. Consequently, .
So, Theorem 5.2 is applicable and it yields a Borel set so that is -hard. This implies the desired conclusion by (3) of the Lemma above. ∎
We can prove Theorem 1.2. Let us restate the theorem, describing precisely what we mean by “form a -complete set”.
Theorem 1.2.
Let be an uncountable Polish space and . The set
is -complete.
In particular, Brooks’ theorem has no analogue for Borel graphs in the following sense: there is no countable family of Borel graphs such that for any Borel graph with we have if and only if for some the graph contains a Borel homomorphic copy of .
Proof of Theorem 1.2.
First, note that using the fact that the codes of Borel functions between Polish spaces form a set, it is straightforward to show that is a set (see e.g., [TV21, Proof of Theorem 1.3]). Similarly, one can check that if there was a collection as above, then this would yield that the set is . Thus, in order to show both parts of the theorem it suffices to prove that is -hard.
Second, by [Sab12], it follows that if we replace continuous functions with Borel ones in the definition of -hard sets we get the same class. As uncountable Polish spaces are Borel isomorphic, it is enough to show that is -hard for some .
Take the graph and the set from Proposition 5.5. Note that the graph is acyclic and has degrees by its construction. Therefore, the same holds for for each . Using that the sets are Borel, it is straightforward to modify so that we obtain a Borel graph on a Polish space of the form such that for each the graph is -regular, acyclic and that the set (indeed, to vertices in we can attach -many disjoint infinite rooted trees that are -regular except for the root, which has degree , in a Borel way). The third part of Proposition 2.4 gives a Borel reduction from the former set to . Since the latter set is -hard, this yields the desired result by using [Sab12] as above. ∎
5.2 Hyperfiniteness
In this section we use Baire category arguments to obtain a new proof of Theorem 1.4.
Theorem 1.4.
There exists a hyperfinite -regular acyclic Borel graph with Borel chromatic number .
We will utilize a version of the graph constructed in [KST99]. For define
on . Fix some collection such that , i.e., , for every , together with a function such that is dense in for every . Set . Label an edge if it is in the graph . Finally, write for the restriction of to those vertices such that every vertex in the connected component of is adjacent to at least one edge of each label. Standard arguments yield the following claim.
Claim 5.7.
-
1.
is acyclic and locally countable.
-
2.
is defined on a comeager subset of .
-
3.
The Baire measurable edge-labeled chromatic number of is infinite (in fact, uncountable).
-
4.
is hyperfinite.
Proof.
The fact the is locally countable is clear from its definition, while acyclicity follows from the assumption that . To see the second part, note that the set is open and dense in . Now, is the restriction of to a set that is an intersection of the image of this set under countably many homeomorphisms of the form , hence its vertex set is comeager.
The proof of the third part is identical to the proof of [KST99, Proposition 6.2]. We include the argument for completeness. Assume that is a Baire measurable coloring and is arbitrary. Then, for some , the set is non-meager. Since is Baire-measurable, there is some neighborhood such that is comeager. In turn, there is some with and comeager. Since the map is category preserving from to , there will be some , with , in other words, the edge is labeled .
Finally, the hyperfiniteness of follows from the fact that (see, e.g., [JKL02, Proposition 1.3]). ∎
Proof of Theorem 1.4.
By Claim 5.7 and Proposition 3.6 the graph is hyperfinite, -regular and acyclic. By Theorem 4.5 and Proposition 2.3 its Borel chromatic number is . ∎
Note that the above theorem also implies Theorem 1.6 in [CJM+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 [CGA+16] and [Ber23]). In order to see this, observe that the sinkless orientation problem from [BFH+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 : all incident edges are oriented towards 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 4.1, implies the existence of a Borel anti-game labeling. However, it follows from the proof of Theorem 4.5 that does not admit a Borel anti-game labeling.
5.3 Graph homomorphisms
In this section we prove Theorem 1.5 that we restate here for the convenience of the reader.
See 1.5
We remark that the first proof of the theorem (without the conclusion about hyperfiniteness) relied on a construction from the random graph theory, see [BCG+21] for motivation and connection to the model. We sketch the construction here for completeness. Fix , large enough depending on , and consider pairings on a set sampled independently uniformly at random. In other words, we have a -regular graph and there is a canonical edge -labeling such that each vertex is adjacent to exactly edges of each color. Now taking a local-global limit of such graphs as produces with probability an acyclic graphing with large edge-labeled chromatic number as needed, see [Bol81, HLS14].
Before we prove Theorem 1.5, we discuss graphs that are almost -colorable.
Almost -colorable graphs.
As we have seen, in Section 4.1, being almost -colorable is (formally) a weaker condition than having chromatic number at most , but still allows us to use a version of Marks’ technique. Similarly to the way the complete graph on -many vertices, , is maximal among graphs of chromatic number , we show that there exists a maximal graph (under homomorphisms) that is almost -colorable. It turns out that the chromatic number of the maximal graph is .
Let us describe the maximal examples of graphs that are almost -colorable for . Recall that the (categorical) product of graphs is the graph on , such that if and only if and .
Write for the product . Let and be vertex disjoint copies of . We think of vertices in and as having labels from and , respectively. The graph is the disjoint union of , , and an extra vertex that is connected by an edge to every vertex in , and additionally, if is a vertex in with label , then we connect it by an edge with for every and , and if is a vertex in with label , then we connect it by an edge with for every and . The graph is depicted in Fig. 2.
Proposition 5.8.
-
1.
is almost -colorable.
-
2.
.
-
3.
A graph is almost colorable if and only if it admits a homomorphism to .
Proof.
(1) Set and . By the definition there are no edges between and . Consider now, e.g., . Let consist of all elements in that have second coordinate equal to together with the vertex in that has the label . By the definition, the set is independent and covers , and similarly for .
(2) First we show that . Observe that there is no edge between and , as there is no edge between and . It follows that the chromatic number of the induced subgraph of to is . The desired coloring of is then defined as the disjoint union of the -colorings of and .
Next we show that . Towards a contradiction, assume that is a coloring of with -many colors. It follows that , and also .
First we claim that there are no indices (even with ) such that and for every : indeed, otherwise, by the definition of we had for every unless , which would the upper bound on the size of .
Therefore, without loss of generality, we may assume that for every there is a color and two indices such that . It follows form the definition of and that whenever .
Moreover, note that any vertex in is connected to at least one of the vertices and , hence none of the colors can appear on . Consequently, since is isomorphic to we need to use at least additional colors, a contradiction.
(3) First note that if admits a homomorphism into , then the pullback of the sets , and for witnesses that is almost -colorable.
Conversely, let be almost -colorable. Fix the corresponding sets together with -colorings of their complements. We construct a homomorphism from to . Let
Observe that is an independent set such that there is no edge between and . Using this observation, one easily checks case-by-case that is indeed a homomorphism. ∎
Remark 5.9.
It can be shown that for both the Chvátal and Grötsch graphs are almost -colorable.
Proof of Theorem 1.5.
Note that it is enough to show the existence of such and with . Indeed, since erasing a vertex decreases the chromatic number by at most , we can produce subgraphs of with chromatic number exactly for each .
By Proposition 5.8, the graph is almost -colorable and has chromatic number . Then it is easy to see that taking the target graph as in Claim 5.7 gives the conclusion by Proposition 3.6 and Theorem 4.7. ∎
Remark 5.10.
Interestingly, recent results connected to counterexamples to Hedetniemi’s conjecture yield Theorem 1.5 asymptotically, as . Recall that Hedetniemi’s conjecture is the statement that if are finite graphs then . This conjecture has been recently disproven by Shitov [Shi19], and strong counterexamples have been constructed later (see, [TZ19, Zhu21]). We claim that these imply for the existence of finite graphs with to which -regular Borel forests cannot have, in general, a Borel homomorphism, for every large enough . Indeed, if a -regular Borel forest admitted a Borel homomorphism to each finite graph of chromatic number at least , 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 is at least . This contradicts Zhu’s result [Zhu21], which states that the chromatic number of the product of graphs with chromatic number can drop to .
6 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 . Another possible direction could be to understand the connection of our method with hyperfiniteness.
While Theorem 1.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 .
Question 6.1.
Is there a characterization of Borel graphs with Borel chromatic number that are compact, free subshifts of the left-shift action of on ?
A way to answer this question on the negative would be to extend the machinery developed in [STD16] or [Ber21], so that the produced equivariant maps preserve the Borel chromatic number, their range is compact, and then apply Theorem 1.2; however, this seems to require a significant amount of new ideas.
Let us point out that Theorem 1.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., [CK11] for related results).
Theorem 6.2.
Let .
-
•
() Let be a locally countable Borel graph. Then
where stands for the projective chromatic number of .
-
•
() Let be a locally countable graph on a Polish space. Then
Acknowledgements
We would like to thank Anton Bernshteyn, Mohsen Ghaffari, Steve Jackson, Alex Kastner, Alexander Kechris, Yurii Khomskii, Clark Lyons, Andrew Marks, Oleg Pikhurko, Brandon Seward, Jukka Suomela, and Yufan Zheng for insightful discussions.
References
- [BBE+20] Alkida Balliu, Sebastian Brandt, Yuval Efron, Juho Hirvonen, Yannic Maus, Dennis Olivetti, and Jukka Suomela. Classification of distributed binary labeling problems. In 34th International Symposium on Distributed Computing, DISC 2020, October 12-16, 2020, Virtual Conference, pages 17:1–17:17, 2020.
- [BCG+21] Sebastian Brandt, Yi-Jun Chang, Jan Grebík, Christoph Grunau, Vaclav Rozhoň, and Zoltán Vidnyánszky. Local problems on trees from the perspectives of distributed algorithms, finitary factors, and descriptive combinatorics. arXiv:2106.02066, 2021. A short version of the paper was presented at the 13th Innovations in Theoretical Computer Science conference (ITCS 2022).
- [Ber21] Anton Bernshteyn. Probabilistic constructions in continuous combinatorics and a bridge to distributed algorithms. arXiv preprint arXiv:2102.08797, 2021.
- [Ber23] Anton Bernshteyn. Distributed algorithms, the Lovász Local Lemma, and descriptive combinatorics. To appear Inventiones Mathematicae, 2023.
- [BFH+16] Sebastian Brandt, Orr Fischer, Juho Hirvonen, Barbara Keller, Tuomo Lempiäinen, Joel Rybicki, Jukka Suomela, and Jara Uitto. A lower bound for the distributed Lovász local lemma. In Proc. 48th ACM Symp. on Theory of Computing (STOC), pages 479–488, 2016.
- [Bol81] Béla Bollobás. The independence ratio of regular graphs. Proc. Amer. Math. Soc., 83(2):433–436, 1981.
- [CGA+16] Endre Csóka, Łukas Grabowski, Máthé András, Oleg Pikhurko, and Konstantin Tyros. Borel version of the local lemma. arXiv:1605.04877, 2016.
- [CJM+20] Clinton T. Conley, Steve Jackson, Andrew S. Marks, Brandon Seward, and Robin Tucker-Drob. Hyperfiniteness and Borel combinatorics. J. Eur. Math. Soc. (JEMS), 22(3):877–892, 2020.
- [CK11] Andrés E. Caicedo and Richard Ketchersid. A trichotomy theorem in natural models of . In Set theory and its applications, volume 533 of Contemp. Math., pages 227–258. Amer. Math. Soc., Providence, RI, 2011.
- [CMSV21] Raphaël Carroy, Benjamin D. Miller, David Schrittesser, and Zoltán Vidnyánszky. Minimal definable graphs of definable chromatic number at least three. Forum Math. Sigma, 9:e7, 2021.
- [CMTD16] Clinton T. Conley, Andrew S. Marks, and Robin D. Tucker-Drob. Brooks’ theorem for measurable colorings. Forum Math. Sigma, 4:16–23, 2016.
- [DPT15] Carlos A. Di Prisco and Stevo Todorčević. Basis problems for Borel graphs. Zb. Rad.(Beogr.), Selected topics in combinatorial analysis, 17(25):33–51, 2015.
- [Ele18] Gábor Elek. Qualitative graph limit theory. cantor dynamical systems and constant-time distributed algorithms. arXiv preprint arXiv:1812.07511, 2018.
- [FMW92] Qi Feng, Menachem Magidor, and Hugh Woodin. Universally baire sets of reals. In Set theory of the continuum, pages 203–242. Springer, 1992.
- [GP73] Fred Galvin and Karel Prikry. Borel sets and Ramsey’s theorem. The Journal of Symbolic Logic, 38(2):193–198, 1973.
- [GR21a] Jan Grebík and Václav Rozhoň. Classification of local problems on paths from the perspective of descriptive combinatorics. arXiv preprint arXiv:2103.14112, 2021.
- [GR21b] Jan Grebík and Václav Rozhoň. Local problems on grids from the perspective of distributed algorithms, finitary factors, and descriptive combinatorics. arXiv:2103.08394, 2021.
- [HLS14] Hamed Hatami, László Lovász, and Balázs Szegedy. Limits of locally-globally convergent graph sequences. Geom. Funct. Anal., 24(1):269–296, 2014.
- [HSW17] Alexander E. Holroyd, Oded Schramm, and David B. Wilson. Finitary coloring. Ann. Probab., 45(5):2867–2898, 2017.
- [JKL02] Steve Jackson, Alexander S. Kechris, and Alain Louveau. Countable Borel equivalence relations. J. Math. Logic, 2(01):1–80, 2002.
- [Kec78] Alexander S Kechris. Forcing in analysis. In Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13–23, 1977, pages 277–302. Springer, 1978.
- [Kec95] Alexander S. Kechris. Classical descriptive set theory, volume 156 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1995.
- [Kho12] Yurii D. Khomskii. Regularity properties and definability in the real number continuum: idealized forcing, polarized partitions, Hausdorff gaps and mad families in the projective hierarchy. ILLC, 2012.
- [KM04] Alexander S. Kechris and Benjamin D. Miller. Topics in orbit equivalence, volume 1852 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 2004.
- [KM20] Alexander S. Kechris and Andrew S. Marks. Descriptive graph combinatorics. http://www.math.caltech.edu/~kechris/papers/combinatorics20book.pdf, 2020.
- [KST99] Alexander S. Kechris, Sławomir Solecki, and Stevo Todorčević. Borel chromatic numbers. Adv. Math., 141(1):1–44, 1999.
- [Mar] Andrew S. Marks. A short proof that an acyclic -regular Borel graph may have borel chromatic number .
- [Mar75] Donald A. Martin. Borel determinacy. Ann. of Math. (2), 102(2):363–371, 1975.
- [Mar16] Andrew S. Marks. A determinacy approach to Borel combinatorics. J. Amer. Math. Soc., 29(2):579–600, 2016.
- [Mos09] Yiannis N. Moschovakis. Descriptive set theory, volume 155 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, second edition, 2009.
- [Pik21] Oleg Pikhurko. Borel combinatorics of locally finite graphs. arXiv:2009.09113, 2021.
- [Sab12] Marcin Sabok. Complexity of Ramsey null sets. Adv. Math., 230(3):1184–1195, 2012.
- [Shi19] Yaroslav Shitov. Counterexamples to Hedetniemi’s conjecture. Ann. of Math. (2), 190(2):663–667, 2019.
- [STD16] Brandon Seward and Robin D Tucker-Drob. Borel structurability on the 2-shift of a countable group. Annals of Pure and Applied Logic, 167(1):1–21, 2016.
- [Tod10] Stevo Todorcevic. Introduction to Ramsey spaces, volume 174 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2010.
- [TV21] Stevo Todorčević and Zoltán Vidnyánszky. A complexity problem for Borel graphs. Invent. Math., 226:225–249, 2021.
- [TZ19] Claude Tardif and Xuding Zhu. A note on Hedetniemi’s conjecture, Stahl’s conjecture and the Poljak-Rödl function. arXiv preprint arXiv:1906.03748, 2019.
- [Zhu21] Xuding Zhu. Note on Hedetniemi’s conjecture and the Poljak-Rödl function. 2019-20 MATRIX Annals, pages 499–511, 2021.