An Introduction to Hamiltonian Monte Carlo Method for Sampling
summary
Algorithm samples by drawing a Gaussian momentum, simulating Hamiltonian flow for time T, then refreshing momentum; it removes the Metropolis accept/reject in the idealized continuous case because the flow preserves the Hamiltonian and phase-space volume (time-reversible, energy-conserving ODEs). For smooth strongly log‑concave targets contraction and Wasserstein mixing are controlled by the condition number (κ) not dimension, e.g. harmonic‑oscillator gives explicit T and contraction ≈1−m/M. Practical use requires symplectic (leapfrog) integrators and discretization reintroduces ε and implementation costs.
AI-written summary · about
chapters (30)
- 0:00Introduction
- 0:22Problem overview
- 1:18Markov Chain Monte Carlo
- 3:05Sampling challenges
- 4:14Hamiltonian Monte Carlo
- 4:58Hamiltonian dynamics basics
- 7:26Idealized HMC algorithm
- 8:46Density preservation property
- 10:22HMC simulation overview
- 11:49Visualizing HMC
- 13:16Crash course on dynamics
- 15:05Hamilton's equations
- 16:56Time reversibility
- 18:12Conservation of Hamiltonian
- 20:15Volume preservation
- 24:23HMC convergence theorems
- 25:47Dimension independence
- 28:43Preserving target density
- 32:29Velocity refresh step
- 34:23Trajectory mapping
- 38:41Volume preservation mechanics
- 40:49Running time bounds
- 41:58Coupling for HMC
- 44:06Harmonic oscillator analysis
- 46:11Contraction proof
- 52:13Coordinate-wise analysis
- 54:50Final convergence bound
- 55:49Q&A and intuition
- 1:00:24Leapfrog integrator
- 1:03:24Conclusion and workshop
related talks
31mThe Convergence of Hamiltonian Monte Carlo
34mFast Algorithms for Multivariate ODEs arising in Sampling and Learning
12mIterative Methods and High-Dimensional Statistics
20mNonparametric Involutive Markov Chain Monte Carlo
01h 02mSampling for Linear Algebra, Statistics, and Optimization II
31mInterpreting Machine Learning From the Perspective of Nonequilibrium Systems
01h 07mEfficient Classical Simulation of Many-body Systems with Local Integrals of Motion
32mMonte Carlo Sampling Approach to Solving Stochastic Multistage Programs
