1: \begin{abstract}

2:  Existing rigorous convergence guarantees for the Hamiltonian Monte Carlo (HMC) algorithm use Gaussian  auxiliary momentum variables, which are crucially symmetrically distributed. 

3:  We present a novel convergence analysis for HMC utilizing new analytic and probabilistic arguments. The convergence is rigorously established under significantly weaker conditions, which among others allow for general auxiliary distributions. 

4:  In our framework, we show that plain HMC with asymmetrical momentum distributions breaks a key self-adjointness requirement. We propose a modified version that we call the Alternating Direction HMC (AD-HMC). Sufficient conditions are established under which AD-HMC exhibits geometric convergence in Wasserstein distance. Numerical experiments 

5:  suggest that AD-HMC can show improved performance over HMC with Gaussian auxiliaries.

6: % on simulated and Bayesian logistic regression data 

7:  \end{abstract}

8: