1: \begin{abstract}

2: 		{In this article, we consider the preconditioned Hamiltonian Monte Carlo (pHMC) algorithm defined directly on an infinite-dimensional Hilbert space.  In this context, and under a condition reminiscent of strong log-concavity of the target measure, we prove convergence bounds for adjusted pHMC in the standard 1-Wasserstein distance.   

3: 			The arguments rely on a synchronous coupling of two copies of pHMC, which is controlled by adapting elements from Bou-Rabee, Eberle, Zimmer (2020).}  

4: 		

5: 		%{We prove explicit convergence rates for the preconditioned Hamiltonian Monte Carlo (pHMC) algorithm. Preconditioned HMC is used to sample a measure which is given as a density with respect to a Gaussian reference measure. Examples include Bayesian inference, transition path sampling, and path integral molecular dynamics. Under an assumption reminiscent of strong log-concavity of the target measure, we find explicit convergence rates for Hamiltonian Monte Carlo to the target measure.}

6: 		\textbf{Keywords and phrases:}

7: 		{coupling; convergence to equilibrium; Markov Chain Monte Carlo in infinite dimensions; Hamiltonian Monte Carlo;  Hybrid Monte Carlo; geometric integration; preconditioning; Metropolis-Hastings; Hilbert spaces; Wasserstein distance.}

8: 	\end{abstract}