English

Orienting Borel Graphs

Logic 2021-07-12 v3 Combinatorics Probability

Abstract

We investigate when a Borel graph admits a (Borel or measurable) orientation with outdegree bounded by kk for various cardinals kk. We show that for a p.m.p. graph GG, a measurable orientation can be found when kk is larger than the normalized cost of the restriction of GG to any positive measure subset. Using an idea of Conley and Tamuz, we can also find Borel orientations of graphs with subexponential growth; however, for every kk we also find graphs which admit measurable orientations with outdegree bounded by kk but no such Borel orientations. Finally, for special values of kk we bound the projective complexity of Borel kk-orientability for graphs and graphings of equivalence relations. It follows from these bounds that the set of equivalence relations admitting a Borel selector is Σ21\mathbf{\Sigma}^1_2 in the codes, in stark contrast to the case of smooth relations.

Keywords

Cite

@article{arxiv.2001.01319,
  title  = {Orienting Borel Graphs},
  author = {Riley Thornton},
  journal= {arXiv preprint arXiv:2001.01319},
  year   = {2021}
}
R2 v1 2026-06-23T13:03:21.188Z