1: \begin{abstract}

2:   We establish the geometric ergodicity of the preconditioned

3:   Hamiltonian Monte Carlo (HMC) algorithm defined on an

4:   infinite-dimensional Hilbert space, as developed in

5:   \cite{BePiSaSt2011}. This algorithm can be used as a basis to sample

6:   from certain classes of target measures which are absolutely

7:   continuous with respect to a Gaussian measure. Our work addresses an

8:   open question posed in \cite{BePiSaSt2011}, and provides an

9:   alternative to a recent proof based on exact coupling techniques

10:   given in \cite{BoEbPHMC}. The approach here establishes convergence

11:   in a suitable Wasserstein distance by using the weak Harris theorem

12:   together with a generalized coupling argument. We also show that a

13:   law of large numbers and central limit theorem can be derived as a

14:   consequence of our main convergence result. Moreover, our approach yields a novel proof of mixing rates for the classical finite-dimensional HMC algorithm. As such, the methodology

15:   we develop provides a flexible framework to tackle the rigorous

16:   convergence of other Markov Chain Monte Carlo

17:   algorithms. Additionally, we show that the scope of our result

18:   includes certain measures that arise in the Bayesian approach to

19:   inverse PDE problems, cf. \cite{stuart2010inverse}. Particularly, we

20:   verify all of the required assumptions for a certain class of

21:   inverse problems involving the recovery of a divergence free vector

22:   field from a passive scalar, \cite{borggaard2018bayesian}.

23: \end{abstract}

24: