{"id":"arxiv/2601.19039","url":"https://arxiv.org/abs/2601.19039","tags":["math.LO","math.CO","math.MG"],"score":0,"title":"$G_δ$ Circle Squaring","domain":"math.LO","source":"arxiv","authors":["Spencer Unger","Narmada Varadarajan","Felix Weilacher"],"reviews":0,"subject":"math.LO","summary":"We show that a circle and square of the same area in $\\mathbb{R}^2$ are equidecomposable by translations using $\\mathbfΔ^0_2$ pieces. That is, pieces which are simultaneously $F_σ$ and $G_δ$ sets. This improves a result of Máthé-Noel-Pikhurko and is the best possible complexity in terms of the Borel hierarchy. More generally we show that bounded sets $A,B \\subseteq \\mathbb{R}^n$ with small enough boundaries and the same nonzero Lebesgue measure are equidecomposable with pieces that are countable unions of finite Boolean combinations of translates of $A,B$, and open sets. The improvement…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-26","reactions":{}}