Measurable domatic partitions
Logic
2025-10-15 v2 Combinatorics
Abstract
Let be a compact Polish group of finite topological dimension. For a countably infinite subset , a domatic -partition (for its Schreier graph on ) is a partial function such that for every , one has . We show that a continuous domatic -partition exists, if and only if a Baire measurable domatic -partition exists, if and only if the topological closure of is uncountable. A Haar measurable domatic -partition exists for all choices of . We also investigate domatic partitions in the general descriptive graph combinatorial setting.
Cite
@article{arxiv.2205.05751,
title = {Measurable domatic partitions},
author = {Edward Hou},
journal= {arXiv preprint arXiv:2205.05751},
year = {2025}
}
Comments
35 pages. This version supersedes both the previous version and arXiv:2209.14534. To appear in the Journal of Symbolic Logic