Asymptotic dynamics on amenable groups and van der Corput sets

We answer a question of Bergelson and Lesigne by showing that the notion of van der Corput set does not depend on the F\o lner sequence used to define it. This result has been discovered independently by Sa\'ul Rodr\'iguez Mart\'in. Both ours and Rodr\'iguez's proofs proceed by first establishing a converse to the Furstenberg Correspondence Principle for amenable groups. This involves studying the distributions of Reiter sequences over congruent sequences of tilings of the group. Lastly, we show that many of the equivalent characterizations of van der Corput sets in $\mathbb{N}$ that do not involve F\o lner sequences remain equivalent for arbitrary countably infinite groups.