Rapid Mixing of Hamiltonian Monte Carlo on Strongly Log-Concave DistributionsOren Mangoubi, Aaron Smithmath.PRstat.COstat.ME