Measurable Regular Subgraphs

Matt Bowen,Clinton T. Conley,Felix Weilacher
2024-08-19
Abstract:We show that every $d$-regular bipartite Borel graph admits a Baire measurable $k$-regular spanning subgraph if and only if $d$ is odd or $k$ is even. This gives the first example of a locally checkable coloring problem which is known to have a Baire measurable solution on Borel graphs but not a computable solution on highly computable graphs. We also prove the analogous result in the measure setting for hyperfinite graphs.
Logic,Combinatorics
What problem does this paper attempt to address?