Abstract:We prove that the sum of $t$ boolean-valued random variables sampled by a random walk on a regular expander converges in total variation distance to a discrete normal distribution at a rate of $O(\lambda/t^{1/2-o(1)})$, where $\lambda$ is the second largest eigenvalue of the random walk matrix in absolute value. To the best of our knowledge, among known Berry-Esseen bounds for Markov chains, our result is the first to show convergence in total variation distance, and is also the first to incorporate a linear dependence on expansion $\lambda$. In contrast, prior Markov chain Berry-Esseen bounds showed a convergence rate of $O(1/\sqrt{t})$ in weaker metrics such as Kolmogorov distance. Our result also improves upon prior work in the pseudorandomness literature, which showed that the total variation distance is $O(\lambda)$ when the approximating distribution is taken to be a binomial distribution. We achieve the faster $O(\lambda/t^{1/2-o(1)})$ convergence rate by generalizing the binomial distribution to discrete normals of arbitrary variance. We specifically construct discrete normals using a random walk on an appropriate 2-state Markov chain. Our bound can therefore be viewed as a regularity lemma that reduces the study of arbitrary expanders to a small class of particularly simple expanders.

Asymptotic expansions for normal deviations of random walks conditioned to stay positive

Expansions for random walks conditioned to stay positive

Precise asymptotics in the law of the iterated logarithm for statistic

Asymptotic properties for Cauchy’s principal values of Brownian and random walk local time

Asymptotics for Self-Normalized Random Products of Sums of I.i.d. Random Variables

Local asymptotics for the area under the random walk excursion

Cramér type moderate deviation for random walks conditioned to stay positive

Asymptotic Normality of Superdiffusive Step-Reinforced Random Walks

Asymptotics for the Density of the Supremum of a Certain Kind of Random Walks

An expansion for self-interacting random walks

Large deviation expansions for the coefficients of random walks on the general linear group

A Self-Normalized Central Limit Theorem for Markov Random Walks

Tail Asymptotics and Local Asymptotics for the Supremum of a Random Walk with an Infinite Mean

Berry-Esseen inequality for random walks conditioned to stay positive

On the prospective minimum of the random walk conditioned to stay non-negative

The Influence On The Asymptotics Of The Random Walks Caused By The Variation Of The Increments

Central Limit Theorems for Asymptotically Negatively Associated Random Fields

Random walks conditioned to stay non-negative and branching processes in non-favorable random environment

A New Berry-Esseen Theorem for Expander Walks

Scaling limit of the local time of random walks conditioned to stay positive

Asymptotic expansions for the distribution of the product of correlated normal random variables