Best Ergodic Averages via Optimal Graph Filters in Reversible Markov Chains
Naci Saldi
TL;DR
The paper tackles slow convergence of ergodic (Birkhoff) averages in reversible Markov chains by reframing the problem through graph signal processing on the state-space graph. It defines a graph variation and a graph Fourier transform, treats the ergodic iteration as a graph filter, and designs three optimal low-pass polynomial filters—Bernstein, Chebyshev, and Legendre—to accelerate convergence toward $\pi(f)\mathbf{1}$. Theoretical results show that Bernstein, Chebyshev, and Legendre filters can be constructed with provable optimality properties, and numerical experiments on random walks and Glauber chains demonstrate that Chebyshev and Legendre filters yield substantial speedups over the traditional ergodic average, with Bernstein giving modest gains. This work highlights a practical framework for speeding up ergodic averages using graph-signal-processing techniques and suggests directions for extending to more general state spaces and applications.
Abstract
In this paper, we address the problem of finding the best ergodic or Birkhoff averages in the ergodic theorem to ensure rapid convergence to a desired value, using graph filters. Our approach begins by representing a function on the state space as a graph signal, where the (directed) graph is formed by the transition probabilities of a reversible Markov chain. We introduce a concept of graph variation, enabling the definition of the graph Fourier transform for graph signals on this directed graph. Viewing the iteration in the ergodic theorem as a graph filter, we recognize its non-optimality and propose three optimization problems aimed at determining optimal graph filters. These optimization problems yield the Bernstein, Chebyshev, and Legendre filters. Numerical testing reveals that while the Bernstein filter performs slightly better than the traditional ergodic average, the Chebyshev and Legendre filters significantly outperform the ergodic average, demonstrating rapid convergence to the desired value.
