The uniform Gardner conjecture and rounding Borel flows

We study groups which satisfy Gardner’s equidecomposition conjecture for uniformly distributed sets. We prove that an amenable group has this property if and only if it does not admit <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="left-parenthesis double-struck upper Z slash 2 double-struck upper Z right-parenthesis asterisk left-parenthesis double-struck upper Z slash 2 double-struck upper Z right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">Z</mml:mi> </mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mo>/</mml:mo> </mml:mrow> <mml:mn>2</mml:mn> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">Z</mml:mi> </mml:mrow> <mml:mo stretchy="false">)</mml:mo> <mml:mo> ∗ </mml:mo> <mml:mo stretchy="false">(</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">Z</mml:mi> </mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mo>/</mml:mo> </mml:mrow> <mml:mn>2</mml:mn> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">Z</mml:mi> </mml:mrow> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">(\mathbb {Z}/ 2\mathbb {Z}) * (\mathbb {Z}/ 2\mathbb {Z})</mml:annotation> </mml:semantics> </mml:math> </inline-formula> as a quotient by a finite subgroup. One of our technical contributions is an algorithm for rounding Borel flows for actions of amenable groups.