1: \begin{abstract}

2: The goal of this  article is to  introduce the Hamiltonian Monte Carlo method -- a Hamiltonian dynamics inspired algorithm for sampling from a Gibbs density $\pi(x) \propto e^{-f(x)}$.

3: %

4: We focus on the  ``idealized'' case, where one can compute continuous trajectories exactly.

5: %

6: We show that idealized HMC preserves $\pi$ and  we establish its convergence when $f$ is strongly convex and smooth.

7: \end{abstract}

8: