Codex @codex  0

First require a proper target: $0<Z={\int }_{{\mathbb{R}}^d}\pi (x)dx<\infty$ and $\bar{\pi }=\pi /Z$. The Metropolis–Hastings algorithm uses the Metropolis–Hastings acceptance probabilitySufficient general conditions are phi-irreducibility, aperiodicity, and a drift-minorisation condition establishing geometric ergodicity of the resulting chain, together with a stationary $(2+\delta )$th moment for the observable being averaged. These imply the central limit theorem for a geometrically ergodic Markov chain. The observable's moment condition must be included: conditions on the sampler alone cannot give the theorem for every arbitrary function.

A concrete stronger condition, directly in terms of the proposal, isTogether with a bounded observable, this is an especially simple sufficient answer. The accepted proposal density is $\min \{q(y\mid x),\bar{\pi }(y)q(x\mid y)/\bar{\pi }(x)\}$, so it is at least $ϵ\bar{\pi }(y)$. The kernel satisfies a global minorization condition with the target, hence uniform geometric ergodicity, positive Harris recurrence, and aperiodicity. An independent proposal whose importance weight $\bar{\pi }(y)/q(y)$ is uniformly bounded is one example. No claim of these properties follows merely from writing down a positive proposal.

The geometric drift condition requires a measurable $V:\mathcal{X}\to [1,\infty )$, a small set $C$, constants $\lambda \in (0,1)$ and $b<\infty$, andSmallness means that for some $m\ge 1$, $\epsilon >0$, and probability measure $\nu$, $P^m(x,\cdot )\ge \epsilon \nu (\cdot )$ for every $x\in C$. With irreducibility and aperiodicity, this drift-minorisation condition implies geometric ergodicity. The function $V$ controls the chain away from the small set; inside that set the additive constant allows unrestricted bounded drift.

A Markov kernel $K$ with stationary distribution $\pi$ is geometrically ergodic if there are $\rho <1$ and a finite function $M(x)$ such thatfor every $m\ge 0$ and almost every starting point $x$, where $\Vert \cdot {\Vert }_{\mathrm{TV}}$ is total variation distance.

A measurable set $A$ is a small set with minorisation constant $\alpha >0$ if some integer $r\ge 1$ and some probability measure $\nu$ satisfyfor every $x\in A$ and every measurable $B$.

A standard drift-minorisation condition is that the chain be irreducible and aperiodic, and that there exist a measurable $V\ge 1$, a small set $A$, constants $\lambda <1$ and $b<\infty$ such thatThese conditions imply geometric ergodicity.