# Measurable equidecompositions for group actions with an expansion property

@article{Grabowski2022MeasurableEF, title={Measurable equidecompositions for group actions with an expansion property}, author={Lukasz Grabowski and Andr'as M'ath'e and Oleg Pikhurko}, journal={Journal of the European Mathematical Society}, year={2022} }

Given an action of a group Gamma on a measure space X, we provide a criterion under which two subsets A and B of X are measurably equidecomposable, i.e. A can be partitioned into finitely many measurable pieces, which can be rearranged using the elements of Gamma to form a partition of B. In particular, we show that every bounded measurable subset of R^n, n > 2, with non-empty interior is measurably equidecomposable to a ball. Similar result holds e.g. for measurable subsets of the unit sphere…

## Figures from this paper

## 17 Citations

Measure expanding actions, expanders and warped cones

- MathematicsTransactions of the American Mathematical Society
- 2018

We define a way of approximating actions on measure spaces using finite graphs; we then show that in quite general settings these graphs form a family of expanders if and only if the action is…

Geometry of actions, expanders and warped cones

- Mathematics
- 2018

In this thesis we introduce a notion of graphs approximating actions of finitely generated groups on metric and measure spaces. We systematically investigate expansion properties of said graphs and…

Measurable circle squaring

- Mathematics
- 2015

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…

Measurable Hall’s theorem for actions of abelian groups

- MathematicsJournal of the European Mathematical Society
- 2021

We prove a measurable version of the Hall marriage theorem for actions of finitely generated abelian groups. In particular, it implies that for free measure-preserving actions of such groups, if two…

Circle Squaring with Pieces of Small Boundary and Low Borel Complexity

- Mathematics
- 2022

. Tarski’s Circle Squaring Problem from 1925 asks whether it is possible to partition a disk in the plane into ﬁnitely many pieces and reassemble them via isometries to yield a partition of a square…

Local spectral gap in simple Lie groups and applications

- Mathematics
- 2015

We introduce a novel notion of local spectral gap for general, possibly infinite, measure preserving actions. We establish local spectral gap for the left translation action $$\Gamma \curvearrowright…

A Markovian and Roe-algebraic approach to asymptotic expansion in measure

- Mathematics
- 2020

In this paper, we conduct further studies on geometric and analytic properties of asymptotic expansion in measure. More precisely, we develop a machinery of Markov expansion and obtain an associated…

Borel combinatorics of locally finite graphs

- MathematicsBCC
- 2021

Some basic tools and results on the existence of Borel satisfying assignments: Borel versions of greedy algorithms and augmenting procedures, local rules, Borel transversals, etc are presented.

Origami expanders

- Mathematics
- 2021

We construct a new type of expanders, from measure-preserving affine actions with spectral gap on origami surfaces, in each genus g > 1. These actions are the first examples of actions with spectral…

ASYMPTOTIC EXPANDERS, DOMAINS OF EXPANSION AND STRONG ERGODICITY

- Mathematics
- 2020

In this paper we initiate a geometric study of strong ergodicity. We use these techniques to prove a structure result (strongly ergodic actions admits exhaustions by domains of expansion); we show…

## References

SHOWING 1-10 OF 71 REFERENCES

Non-amenable groups with amenable action and some paradoxical decompositions in the plane

- Mathematics
- 1998

A finitely additive non-negative (not necessarily finite) measure is called universal iff it is defined over all subsets of the underlying space. A group G is called amenable iff there exists a…

Decomposition of sets of small or large boundary

- Mathematics
- 1993

We shall say that the sets A, B ⊂ R k are equivalent , if they are equidecomposable using translations; that is, if there are finite decompositions and vectors x 1 ,…, x d ∈ R k such that B j = A j +…

Measurable circle squaring

- Mathematics
- 2015

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…

Equidecomposability of Jordan domains under groups of isometries

- Mathematics
- 2003

Let Gd denote the isometry group of R. We prove that if G is a paradoxical subgroup of Gd then there exist G-equidecomposable Jordan domains with piecewise smooth boundaries and having different…

Coût des relations d’équivalence et des groupes

- Mathematics
- 2000

Abstract.We study a new dynamical invariant for dicrete groups: the cost. It is a real number in {1−1/n}∪[1,∞], bounded by the number of generators of the group, and it is well behaved with respect…

Uniqueness of invariant means for measure-preserving transformations

- Mathematics
- 1981

For some compact abelian groups X (e.g. T', n > 2, and HII.1 Z2), the group G of topological automorphisms of X has the Haar integral as the unique G-invariant mean on L.,(X, Ax). This gives a new…

Equidecomposability and discrepancy; a solution of Tarski's circle-squaring problem

- Mathematics
- 1990

Tarski's circle-squaring problem asks whether a disc is equidecomposable to a square; that is, whether a disc can be decomposed into finitely many parts which can be rearranged to obtain a partition…

Kazhdan’s Property (T)

- Mathematics
- 1984

Let G be a locally compact (second countable) group and π:G → U(ℋ) a unitary representation of G on the (separable) Hilbert space ℋ.Of course,ℋ may or may not contain non-trivial vectors invariant…

Banach-Tarski decompositions using sets with the property of Baire

- Mathematics
- 1994

Perhaps the most strikingly counterintuitive theorem in mathematics is the "Banach-Tarski paradox": A ball in R3 can be decomposed into finitely many pieces which can be rearranged by rigid motions…