# Localized Quantitative Criteria for Equidistribution

## TL;DR

This paper establishes a local criterion for equidistribution of sequences on the torus and general manifolds, linking heat kernel sums at small scales to uniform distribution, and recovers recent results on Poissonian pair correlation.

## Contribution

It introduces a localized quantitative criterion for equidistribution based on heat kernel sums, extending to arbitrary compact manifolds and unifying previous results.

## Key findings

- Sequence equidistribution is characterized by heat kernel sum limits at small scales.
- The criterion applies to sequences on manifolds using the heat kernel instead of exponential functions.
- The approach recovers recent results on Poissonian pair correlation and uniform distribution.

## Abstract

Let $(x_n)_{n=1}^{\infty}$ be a sequence on the torus $\mathbb{T}$ (normalized to length 1). We show that if there exists a sequence of positive real numbers $(t_n)_{n=1}^{\infty}$ converging to 0 such that $$\lim_{N \rightarrow \infty}{ \frac{1}{N^2} \sum_{m,n = 1}^{N}{ \frac{1}{\sqrt{t_N}} \exp{\left(- \frac{1}{t_N} (x_m - x_n)^2 \right)}} } = \sqrt{\pi},$$ then $(x_n)_{n=1}^{\infty}$ is uniformly distributed. This is especially interesting when $t_N$ is close to $N^{-2}$ since the size of the sum is then mostly determined by local gaps at scale $\sim N^{-1}$. A similar argument can then be used to show equidistribution of sequences with Poissonian pair correlation, which recovers a recent result of Aistleitner, Lachmann \& Pausinger and Grepstad \& Larcher. The general form of the result is proven on arbitrary compact manifolds $(M,g)$ where the role of the exponential function is played by the heat kernel $e^{t\Delta}$: for all $x_1, \dots, x_N \in M$ and all $t>0$ $$\frac{1}{N^2} \sum_{m,n=1}^N {[e^{t\Delta}\delta_{x_m}](x_n)} \geq \frac{1}{vol(M)}$$ and equality is attained as $N \rightarrow \infty$ if and only if $(x_n)_{n=1}^\infty$ equidistributes.