Measurable Hall's theorem for actions of Z^n
In the 1920's Tarski asked if it is possible to divide the unit square into finitely many pieces, rearrange them by translations and get a disc of area 1. It turns out that this is possible and proved by Laczkovich in the 1990's. His decomposition, however, used non-measurable pieces and seemed paradoxical. Recently, Grabowski, Mathe and Pikhurko and Marks and Unger showed that such decompositions can be obtained using nice measurable pieces. During the talk, I will discuss a measurable version of the Hall marriage theorem for actions of finitely generated abelian groups. This result implies that for measurable actions of such groups, if two equidistributed measurable sets are equidecomposable, then they are equidecomposalble using measurable pieces. The latter generalizes the measurable circle squaring result by Grabowski, Mathe and Pikhurko. This is joint work with Tomasz Ciesla.