Mixing of Hamiltonian Monte Carlo on strongly log-concave distributions: Continuous dynamics

We obtain several quantitative bounds on the mixing properties of an “ideal” Hamiltonian Monte Carlo (HMC) Markov chain for a strongly log-concave target distribution π on R. Our main result says that the HMC Markov chain generates a sample with Wasserstein error in roughly O(κ log(1/ )) steps, where the condition number κ = M2 m2 is the ratio of the maximum M2 and minimum m2 eigenvalues of the Hessian of − log(π). In particular, this mixing bound does not depend explicitly on the dimension d. These results significantly extend and improve previous quantitative bounds on the mixing of ideal HMC, and can be used to analyze more realistic HMC algorithms. The main ingredient of our argument is a proof that initially “parallel” Hamiltonian trajectories contract over much longer steps than would be predicted by previous heuristics based on the Jacobi manifold.