English

One-ended spanning trees and definable combinatorics

Combinatorics 2022-10-27 v1 Logic

Abstract

Let (X,τ)(X,\tau) be a Polish space with Borel probability measure μ,\mu, and GG a locally finite one-ended Borel graph on X.X. We show that GG admits a Borel one-ended spanning tree generically. If GG is induced by a free Borel action of an amenable (resp., polynomial growth) group then we show the same result μ\mu-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 dd-regular Borel graphs admit Baire measurable perfect matchings.

Keywords

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

R2 v1 2026-06-28T04:30:14.599Z