Hyperfiniteness and Borel combinatorics
Abstract
We study the relationship between hyperfiniteness and problems in Borel graph combinatorics by adapting gametheoretic techniques introduced by Marks to the hyperfinite setting. We compute the possible Borel chromatic numbers and edge chromatic numbers of bounded degree acyclic hyperfinite Borel graphs and use this to answer a question of Kechris and Marks about the relationship between Borel chromatic number and measure chromatic number. We also show that for every $d > 1$ there is a $d$regular acyclic hyperfinite Borel bipartite graph with no Borel perfect matching. These techniques also give examples of hyperfinite bounded degree Borel graphs for which the Borel local lemma fails, in contrast to the recent results of Csóka, Grabowski, Máthé, Pikhurko, and Tyros. Related to the Borel Ruziewicz problem, we show there is a continuous paradoxical action of $(\mathbb{Z}/2\mathbb{Z})^{*3}$ on a Polish space that admits a finitely additive invariant Borel probability measure, but admits no countably additive invariant Borel probability measure. In the context of studying ultrafilters on the quotient space of equivalence relations under $\mathrm{AD}$, we also construct an ultrafilter $U$ on the quotient of $E_0$ which has surprising complexity. In particular, Martin's measure is RudinKiesler reducible to $U$. We end with a problem about whether every hyperfinite bounded degree Borel graph has a witness to its hyperfiniteness which is uniformly bounded below in size.
 Publication:

arXiv eprints
 Pub Date:
 November 2016
 arXiv:
 arXiv:1611.02204
 Bibcode:
 2016arXiv161102204C
 Keywords:

 Mathematics  Logic;
 Mathematics  Combinatorics;
 Mathematics  Dynamical Systems
 EPrint:
 doi:10.4171/JEMS/935