Poissonian Pair Correlation for Bernoulli Orbits

Source abstract

Let $α, β\in \mathbb{T} = \mathbb{R}/\mathbb{Z}$, and let $(ξ_n)_{n \ge 1}$ be independent random variables taking the values $α$ and $β$ with equal probability. We study the random walk $$X_n = ξ_1 + \cdots + ξ_n \pmod 1$$ and present a deterministic Diophantine condition on $(α, β)$ that implies almost sure Poisson pair correlation. To the best of our knowledge, this is the first result providing explicit examples in this framework where the increment measure is purely discrete. The classical Fourier contraction method fails in this setting; a different approach is required. Our proof uses the parabolic geometry of returns to $1$ and an exact covariance formula for overlapping blocks.