Measurable obstructions for unmeasurable colourings
Abstract
Due to the availability of powerful analytic techniques, vastly superior lower bounds are known for the measurable chromatic number of Euclidean spaces compared to their ordinary chromatic number. Indeed, even the breakthrough lower bound of 5 for the famous Hadwiger-Nelson problem lagged over 35 years behind that of the measurable setting. This raises the fundamental question of whether the measurable and ordinary chromatic number of Euclidean spaces differ as conjectured by Székely in 1984. Our main result is that α̅(ℝ4)=m1(ℝ4) and χ(ℝ4)=χ(m)(ℝ4), and for d≥5 that α̅(ℚd) = α̅(ℝd)=m1(ℝd) and χ(ℚd) = χ(ℝd)=χ(m)(ℝd). Our theorem also holds for multiple forbidden distances D={d1,…,dt} provided that d12,…,dt2 ∈ ℚ. As a consequence, we immediately lift numerous measurable chromatic number results into the ordinary setting. We also take the opportunity to further optimize the new bounds. For multiple distances, Erdős asked whether the chromatic number of ℝd with up to k forbidden distances D grows exponentially in k. By a theorem of Bukh, we obtain for d ≥ 4 that sup|D|=kχD(ℝd) ≥ m1(ℝd)−k. Making progress on another problem of Erdős, we prove that (2+o(1))d ≤ χ(ℝd) ≤ (3√3/4+o(1))d. We also vastly improve the lower bounds for χ(ℝd) for small d≥4. We expect that our techniques could be developed much further. This includes the possibility of extending our main theorem that χ(ℝd)=χ(m)(ℝd) for d≥ 4 to d=3 or possibly even to d=2 to tackle the Hadwiger-Nelson problem.
Related
BibTeX
@misc{davies2026measurable,
title = {{Measurable obstructions for unmeasurable colourings}},
author = {James Davies},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.12301},
eprint = {2610.12301},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.12301},
}
RIS
TY - UNPB
TI - Measurable obstructions for unmeasurable colourings
AU - James Davies
PY - 2026
DA - 2026/10/08
PB - arXiv
DO - 10.48550/arxiv.2610.12301
UR - https://arxiv.org/abs/2610.12301
AB - Due to the availability of powerful analytic techniques, vastly superior lower bounds are known for the measurable chromatic number of Euclidean spaces compared to their ordinary chromatic number. Indeed, even the breakthrough lower bound of 5 for the famous Hadwiger-Nelson problem lagged over 35 years behind that of the measurable setting. This raises the fundamental question of whether the measurable and ordinary chromatic number of Euclidean spaces differ as conjectured by Székely in 1984. Our main result is that α̅(ℝ^4)=m_1(ℝ^4) and χ(ℝ^4)=χ^(m)(ℝ^4), and for d≥5 that α̅(ℚ^d) = α̅(ℝ^d)=m_1(ℝ^d) and χ(ℚ^d) = χ(ℝ^d)=χ^(m)(ℝ^d). Our theorem also holds for multiple forbidden distances D={d_1,…,d_t} provided that d_1^2,…,d_t^2 ∈ ℚ. As a consequence, we immediately lift numerous measurable chromatic number results into the ordinary setting. We also take the opportunity to further optimize the new bounds. For multiple distances, Erdős asked whether the chromatic number of ℝ^d with up to k forbidden distances D grows exponentially in k. By a theorem of Bukh, we obtain for d ≥ 4 that sup_|D|=kχ_D(ℝ^d) ≥ m_1(ℝ^d)^−k. Making progress on another problem of Erdős, we prove that (2+o(1))^d ≤ χ(ℝ^d) ≤ (3√3/4+o(1))^d. We also vastly improve the lower bounds for χ(ℝ^d) for small d≥4. We expect that our techniques could be developed much further. This includes the possibility of extending our main theorem that χ(ℝ^d)=χ^(m)(ℝ^d) for d≥ 4 to d=3 or possibly even to d=2 to tackle the Hadwiger-Nelson problem.
ER -