Fourier sampling on a lattice
We characterize the ambiguity in reconstructing bounded measurable sets from their Fourier transforms sampled on a lattice. For a full-rank lattice \(\mathcal L\subset\R^d\), we prove that two bounded measurable sets have identical indicator Fourier transforms on \(\mathcal L^*\) if and only if they are equidecomposable, modulo null sets, into finitely many measurable pieces by translations in \(\mathcal L\). If the sets are connected finite unions of convex bodies and no two distinct points of either set are congruent modulo \(\mathcal L\), we show that this equidecomposition reduces to a single translation by a vector of \(\mathcal L\). In particular, two such sets that are symmetric about the origin must coincide. We also construct counterexamples in dimensions two and three to a conjecture of the second author, which had a similar hypothesis, but lacked the anti-aliasing hypothesis. Together with the first author's counterexamples in dimensions at least four, these show that the conjecture fails in every dimension $d\geq 2$. The positive results here are an outgrowth of refinements of this conjecture.