English

Measurable domatic partitions

Logic 2025-10-15 v2 Combinatorics

Abstract

Let Γ\Gamma be a compact Polish group of finite topological dimension. For a countably infinite subset SΓS\subseteq \Gamma, a domatic 0\aleph_0-partition (for its Schreier graph on Γ\Gamma) is a partial function f:ΓNf:\Gamma\rightharpoonup\mathbb{N} such that for every xΓx\in \Gamma, one has f[Sx]=Nf[S\cdot x]=\mathbb{N}. We show that a continuous domatic 0\aleph_0-partition exists, if and only if a Baire measurable domatic 0\aleph_0-partition exists, if and only if the topological closure of SS is uncountable. A Haar measurable domatic 0\aleph_0-partition exists for all choices of SS. We also investigate domatic partitions in the general descriptive graph combinatorial setting.

Keywords

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

R2 v1 2026-06-24T11:14:46.816Z