Measurable circle squaring

DOI10.4007/ANNALS.2017.185.2.6zbMATH Open1376.52023OpenAlexW2963125587MaRDI 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)

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

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)

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.

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

Cited in

(21)

• On Gardner's conjecture
• Combinatorics. Abstracts from the workshop held January 1--7, 2023
• Orders of absolute measurability
• scientific article; zbMATH DE number 4133018 (Why is no real title available?)
• 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
• Borel circle squaring
• Measurable Hall's theorem for actions of abelian groups
• How good is Lebesgue measure?
• Rigidity for measurable sets
• scientific article; zbMATH DE number 4120205 (Why is no real title available?)
• Measurable equidecompositions
• scientific article; zbMATH DE number 7293609 (Why is no real title available?)
• Decomposition of Sets with Small Boundary
• Measurable equidecompositions for group actions with an expansion property
• Squaring the circle by dissection
• Decomposition of sets of small or large boundary
• Mini-workshop: Descriptive combinatorics, LOCAL algorithms and random processes. Abstracts from the mini-workshop held February 13--19, 2022
• scientific article; zbMATH DE number 222219 (Why is no real title available?)
• Measurable graph combinatorics
• MEASURABLE REALIZATIONS OF ABSTRACT SYSTEMS OF CONGRUENCES

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)