English

Measurable circle squaring

Metric Geometry 2016-09-06 v4 Combinatorics

Abstract

Laczkovich proved that if bounded subsets AA and BB of RkR^k have the same non-zero Lebesgue measure and the box dimension of the boundary of each set is less than kk, then there is a partition of AA into finitely many parts that can be translated to form a partition of BB. Here we show that it can be additionally required that each part is both Baire and Lebesgue measurable. As special cases, this gives measurable and translation-only versions of Tarski's circle squaring and Hilbert's third problem.

Keywords

Cite

@article{arxiv.1501.06122,
  title  = {Measurable circle squaring},
  author = {Łukasz Grabowski and András Máthé and Oleg Pikhurko},
  journal= {arXiv preprint arXiv:1501.06122},
  year   = {2016}
}

Comments

40 pages; Lemma 4.4 improved & more details added; accepted by Annals of Mathematics

R2 v1 2026-06-22T08:12:16.817Z