Title: On the convergence of Hamiltonian Monte Carlo

Abstract: This paper discusses the stability properties of the Hamiltonian Monte Carlo (HMC) algorithm used to sample from a positive target density $\pi$ on $\mathbb{R}^d$, with either a fixed or a random number of integration steps. Under mild conditions on the potential $U$ associated with $\pi$, we show that the Markov kernel associated to the HMC algorithm is irreducible and recurrent. Under some additional conditions, the Markov kernel may be shown to be Harris recurrent. Besides, verifiable conditions on $U$ are derived which imply geometric convergence.