1: \begin{abstract}

2: :~  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.

3: \end{abstract}

4: