Borel circle squaring

DOI10.4007/ANNALS.2017.186.2.4MaRDI QIDQ2404046zbMATH OpenOpenAlexWikidataFDO

Authors Andrew S. Marks, Spencer Unger

Publication date 12 September 2017

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

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

zbMATH Keywords

amenabilitycircle squaringdescriptive graph combinatoricsdescriptive set theoryflowshyperfiniteness

Mathematics Subject Classification ID

Descriptive set theory (03E15) Flows in graphs (05C21) Algebraic ergodic theory, cocycles, orbit equivalence, ergodic equivalence relations (37A20) Dissections and valuations (Hilbert's third problem, etc.) (52B45)

Abstract: We give a completely constructive solution to Tarski's circle squaring problem. More generally, we prove a Borel version of an equidecomposition theorem due to Laczkovich. If $kgeq1$ and $A,Bsubseteqmathbb{R}^k$ are bounded Borel sets with the same positive Lebesgue measure whose boundaries have upper Minkowski dimension less than $k$, then $A$ and $B$ are equidecomposable by translations using Borel pieces. This answers a question of Wagon. Our proof uses ideas from the study of flows in graphs, and a recent result of Gao, Jackson, Krohne, and Seward on special types of witnesses to the hyperfiniteness of free Borel actions of $mathbb{Z}^d$.

Recommendations

• Measurable circle squaring
• Squaring the circle by dissection
• Equidecomposability and discrepancy; a solution of Tarski's circle-squaring problem
• Measurable equidecompositions
• The Banach-Tarski paradox

Cites work

• Borel boundedness and the lattice rounding property
• Borel chromatic numbers
• Boundary-connectivity via graph theory
• Closed Sets Without Measurable Matching
• Convex bodies equidecomposable by locally discrete groups of isometries
• Countable abelian group actions and hyperfinite equivalence relations
• COUNTABLE BOREL EQUIVALENCE RELATIONS
• Decomposition of Sets with Small Boundary
• Diskrepanz und Distanz von Maßen bezüglich konvexer und Jordanscher Mengen. (Discrepancy and distance of measures with respect to convex and Jordan sets)
• Equidecomposability and discrepancy; a solution of Tarski's circle-squaring problem
• FORCING CONSTRUCTIONS AND COUNTABLE BOREL EQUIVALENCE RELATIONS
• Graph theory
• scientific article; zbMATH DE number 3909046 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• Measurable circle squaring
• Metrical Theorems on Fractional Parts of Sequences
• Scissor congruence
• The Max-Flow Min-Cut theorem for countable networks

Cited in

(25)

• How good is Lebesgue measure?
• Flows on measurable spaces
• On Gardner's conjecture
• Measurable equidecompositions for group actions with an expansion property
• Measurable Hall's theorem for actions of abelian groups
• Smooth orbit equivalence of multidimensional Borel flows
• Mini-workshop: Descriptive combinatorics, LOCAL algorithms and random processes. Abstracts from the mini-workshop held February 13--19, 2022
• scientific article; zbMATH DE number 4133018 (Why is no real title available?)
• Decomposition of Sets with Small Boundary
• scientific article; zbMATH DE number 222219 (Why is no real title available?)
• Equidecomposability and discrepancy; a solution of Tarski's circle-squaring problem
• scientific article; zbMATH DE number 4120205 (Why is no real title available?)
• Measurable equidecompositions
• Minimal definable graphs of definable chromatic number at least three
• Measurable circle squaring
• MEASURABLE REALIZATIONS OF ABSTRACT SYSTEMS OF CONGRUENCES
• Combinatorics. Abstracts from the workshop held January 1--7, 2023
• Local problems on grids from the perspective of distributed algorithms, finitary factors, and descriptive combinatorics
• Measurable graph combinatorics
• Circle squaring with pieces of small boundary and low Borel complexity
• Borel factors and embeddings of systems in subshifts
• The uniform Gardner conjecture and rounding Borel flows
• Large-scale geometry of Borel graphs of polynomial growth
• Measurable Vizing's theorem
• Katok's special representation theorem for multidimensional Borel flows

This page was built for publication: Borel circle squaring

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