Measurable circle squaring

DOI10.4007/ANNALS.2017.185.2.6zbMATH Open1376.52023arXiv1501.06122OpenAlexW2963125587MaRDI QIDQ519656FDOQ519656

Authors: Łukasz Grabowski, András Máthé, Oleg Pikhurko 

Publication date: 5 April 2017

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Abstract: Laczkovich proved that if bounded subsets $A$ and $B$ of $R^k$ have the same non-zero Lebesgue measure and the box dimension of the boundary of each set is less than $k$, then there is a partition of $A$ into finitely many parts that can be translated to form a partition of $B$. 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.

Full work available at URL: https://arxiv.org/abs/1501.06122

Recommendations

• Borel circle squaring
• Measurable equidecompositions
• Squaring the circle by dissection
• Decomposition of Sets with Small Boundary
• Equidecomposability and discrepancy; a solution of Tarski's circle-squaring problem

zbMATH Keywords

graph matchingbipartite graphBaire measurableequidecomposable setsLebesgue measurableTarski's circle squaring

Mathematics Subject Classification ID

Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.) (05C70) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Length, area, volume, other geometric measure theory (28A75) Dissections and valuations (Hilbert's third problem, etc.) (52B45)

Cited In (21)

• Measurable equidecompositions for group actions with an expansion property
• Title not available (Why is that?)
• How good is Lebesgue measure?
• Title not available (Why is that?)
• Local problems on grids from the perspective of distributed algorithms, finitary factors, and descriptive combinatorics
• Squaring the circle via affine congruence by dissection with smooth pieces
• Decomposition of Sets with Small Boundary
• Decomposition of sets of small or large boundary
• Borel circle squaring
• Rigidity for measurable sets
• Title not available (Why is that?)
• Squaring the circle by dissection
• Combinatorics. Abstracts from the workshop held January 1--7, 2023
• Title not available (Why is that?)
• Mini-workshop: Descriptive combinatorics, LOCAL algorithms and random processes. Abstracts from the mini-workshop held February 13--19, 2022
• Measurable equidecompositions
• Measurable graph combinatorics
• MEASURABLE REALIZATIONS OF ABSTRACT SYSTEMS OF CONGRUENCES
• On Gardner's conjecture
• Orders of absolute measurability
• Measurable Hall's theorem for actions of abelian groups

This page was built for publication: Measurable circle squaring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q519656)