Establishing central limit theorems (CLTs) for ergodic averages of Markov chains is a fundamental problem in probability and its applications. Since the seminal work~\cite{MR834478}, a vast literature has emerged on the sufficient conditions for such CLTs. To counterbalance this, the present paper provides verifiable necessary conditions for CLTs of ergodic averages of Markov chains on general state spaces. Our theory is based on drift conditions, which also yield lower bounds on the rates of convergence to stationarity in various metrics. The validity of the ergodic CLT is of particular importance for sampling algorithms, where it underpins the error analysis of estimators in Bayesian statistics and machine learning. Although heavy-tailed sampling is of central importance in applications, the characterisation of the CLT and the convergence rates are theoretically poorly understood for almost all practically-used Markov chain Monte Carlo (MCMC) algorithms. In this setting our results provide sharp conditions on the validity of the ergodic CLT and establish convergence rates for large families of MCMC sampling algorithms for heavy-tailed targets. Our study includes a rather complete analyses for random walk Metropolis samplers (with finite- and infinite-variance proposals), Metropolis-adjusted and unadjusted Langevin algorithms and the stereographic projection sampler (as well as the independence sampler). By providing these sharp results via our practical drift conditions, our theory offers significant insights into the problems of algorithm selection and comparison for sampling heavy-tailed distributions (see short YouTube presentations~\cite{YouTube_talk} describing our \href{https://youtu.be/m2y7U4cEqy4}{\underline{theory}} and \href{https://youtu.be/w8I_oOweuko}{\underline{applications}}).
翻译:为马尔可夫链的遍历平均建立中心极限定理是概率论及其应用中的一个基本问题。自开创性工作~\cite{MR834478}以来,关于此类中心极限定理的充分条件已有大量文献。作为补充,本文针对一般状态空间上马尔可夫链遍历平均的中心极限定理,给出了可验证的必要条件。我们的理论基于漂移条件,这些条件同时给出了多种度量下收敛到平稳态的速率下界。遍历中心极限定理的有效性对于采样算法尤为重要,因为它支撑着贝叶斯统计和机器学习中估计量的误差分析。尽管重尾采样在应用中至关重要,但对于几乎所有实际使用的马尔可夫链蒙特卡洛算法,其中心极限定理的特征刻画与收敛速率在理论上仍缺乏深入理解。在此背景下,我们的结果为遍历中心极限定理的有效性提供了精确条件,并为重尾目标分布的大类MCMC采样算法建立了收敛速率。我们的研究包含了对随机游走Metropolis采样器(具有有限方差与无限方差提议分布)、Metropolis调整及未调整的Langevin算法、球极投影采样器(以及独立采样器)的较为完整的分析。通过基于实用漂移条件给出这些精确结果,我们的理论为选择与比较重尾分布采样算法的问题提供了重要见解(参见简要YouTube报告~\cite{YouTube_talk},其中介绍了我们的\href{https://youtu.be/m2y7U4cEqy4}{\underline{理论}}与\href{https://youtu.be/w8I_oOweuko}{\underline{应用}})。