One-ended spanning trees and definable combinatorics
Abstract
Let be a Polish space with Borel probability measure and a locally finite one-ended Borel graph on We show that admits a Borel one-ended spanning tree generically. If is induced by a free Borel action of an amenable (resp., polynomial growth) group then we show the same result -a.e. (resp., everywhere). Our results generalize recent work of Tim\'ar, as well as of Conley, Gaboriau, Marks, and Tucker-Drob, who proved this in the probability measure preserving setting. We apply our theorem to find Borel orientations in even degree graphs and measurable and Baire measurable perfect matchings in regular bipartite graphs, refining theorems that were previously only known to hold for measure preserving graphs. In particular, we prove that bipartite one-ended -regular Borel graphs admit Baire measurable perfect matchings.
Cite
@article{arxiv.2210.14300,
title = {One-ended spanning trees and definable combinatorics},
author = {Matthew Bowen and Antoine Poulin and Jenna Zomback},
journal= {arXiv preprint arXiv:2210.14300},
year = {2022}
}
Comments
18 pager, 4 figures