Markov chain Monte Carlo asymptotic variance for a stationary Markov chain and is
whenever the limit and series exist. If a reversible Markov chain has positive spectral gap , then the spectral theorem for normal operators on a separable Hilbert space gives