Welcome to Randal Douc's wiki

You've loaded an old revision of the document! If you save it, you will create a new version with this data.

====== A necessary condition for a Markov kernel to be geometrically ergodic ======
This result is taken from Roberts and Tweedie, Thm 5.1 (Biometrika 1996): // Geometric convergence and central limlit theorems for multidimensional Hastings and Metropolis algorithms. //  
<WRAP center round tip 80%>  **Proposition. ** Let $ P $ be an irreducible Markov kernel with invariant distribution $ \pi $ which is not concentrated on a single point, such that $P(x,\{x\})$ is measurable and 
$$
\mathrm{ess sup} P(x,\{x\})=1
$$ 
where the essential supremum is taken wrt the measure $ \pi $. Then the Markov kernel $ P $ is not geometrically ergodic
</WRAP>

==== Proof ====
For any $\eta<1$, define $A_\eta=\set{x \in \Xset}{P(x,\{x\})\geq \eta}$. We can assume that $\pi(A_\eta)>0$ (since in the assumptions, the esssup is taken wrt $\pi$). Then, if $x\in A_\eta$, 
\begin{equation*}
  \PP_x(X_1=\ldots=X_j=x) \geq \eta^j
\end{equation*}
Using that $C$ is a small set, we can easily show that $\sup_{x \in C} P(x,\{x\})<1$. This allows to choose $B=A_\eta$ with $\eta$ chosen sufficiently close to $1$ so that $B \cap A_\eta=\emptyset$. Then, there exists $w_0\in C$ and $k \in \nset$ such that $\PP_{w_0}(X_k \in B, \sigma_C >k)>0$ (which can be easily seen by contradiction).

Then, for any $\beta>1$, 
\begin{align*}
        \sup_{x\in C} \PE_x[\beta^{\sigma_C}]&\geq \PE_{w_0}[\beta^{\sigma_C}-1]+1=(\beta-1) \sum_{i=0}^{\infty} \beta^i \PP_{w_0}(\sigma_C > i ) +1\\
        & \geq (\beta-1) \sum_{i=0}^{\infty} \beta^{k+j} \PP_{w_0}(X_k\in B,\sigma_C > k+j ) +1 \\ 
        &  \geq (\beta-1) \sum_{i=0}^{\infty} \beta^{k+j} \PP_{w_0}(X_k\in B,\sigma_C > k, X_k=X_{k+1}= \ldots=X_{k+j} ) +1 \\ 
        & \geq (\beta-1) \sum_{i=0}^{\infty} \beta^{k+j} \PP_{w_0}(X_k\in B,\sigma_C > k) \eta^{j} +1 
\end{align*}
which is divergent for $\eta$ sufficiently close to 1.

Please fill all the letters into the box to prove you're human. Q O R E C Please keep this field empty:

Edit summary

Welcome to Randal Douc's wiki

User Tools

Site Tools

Page Tools