Hyperuniformity and optimal transport of point processes

We examine optimal matchings or transport between two stationary random measures. It covers allocation from the Lebesgue measure to a point process and matching a point process to a regular (shifted) lattice. The main focus of the article is the impact of hyperuniformity(reduced variance fluctuations in point processes) to optimal transport: in dimension 2, we show that the typical matching cost has finite second moment under a mild logarithmic integrability condition on the reduced pair correlation measure, showing that most planar hyperuniform point processes are L2-perturbed lattices. Our method also retrieves known sharp bounds in finite windows for neutral integrable systems such as Poisson processes, and also applies to hyperfluctuating systems. Further, in three dimensions onwards, all point processes with an integrable pair correlation measure are L2-perturbed lattices without requiring hyperuniformity.