1: \begin{abstract}

2: We give the first rigorous proof of the convergence of Riemannian

3: Hamiltonian Monte Carlo, a general (and practical) method for sampling

4: Gibbs distributions. Our analysis shows that the rate of convergence

5: is bounded in terms of natural smoothness parameters of an associated

6: Riemannian manifold. We then apply the method with the manifold defined

7: by the log barrier function to the problems of (1) uniformly sampling

8: a polytope and (2) computing its volume, the latter by extending Gaussian

9: cooling to the manifold setting. In both cases, the total number of

10: steps needed is $O^{*}(mn^{\frac{2}{3}})$, improving

11: the state of the art. A key ingredient of our analysis is a proof

12: of an analog of the KLS conjecture for Gibbs distributions over manifolds. 

13: \end{abstract}