Student or educator? Sign up with your school email and get 6 months of Pro free.
Cited by 452

The DOI matches its Crossref record; 53 of the 53 references it cites were found in a registry or an index.

The geometric foundations of Hamiltonian Monte Carlo

Open access
Betancourt, Michael, Byrne, Simon, Livingstone, Sam, Girolami, Mark·2017·Bernoulli

Abstract

Although Hamiltonian Monte Carlo has proven an empirical success, the lack of a rigorous theoretical understanding of the algorithm has in many ways impeded both principled developments of the method and use of the algorithm in practice. In this paper, we develop the formal foundations of the algorithm through the construction of measures on smooth manifolds, and demonstrate how the theory naturally identifies efficient implementations and motivates promising generalizations.

Overview

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

Crossref · 10.3150/16-bej810

Cites

53 of 53 references verified0 citation errors · 0 not checkable

Statistics

Verification

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Citations

Cites

Show all 53 references

Research works printed but not linked: 25

  1. [7] Betancourt, M. (2014). Adiabatic Monte Carlo. Preprint. Available at arXiv:1405.3489. · arXiv
  2. [8] Betancourt, M. and Stein, L.C. (2011). The geometry of Hamiltonian Monte Carlo. Preprint. Available at arXiv:1410.5110. · arXiv
  3. [12] Cannas da Silva, A. (2001). Lectures on Symplectic Geometry. Lecture Notes in Math. 1764. Berlin: Springer.
  4. [13] Censor, A. and Grandini, D. (2014). Borel and continuous systems of measures. Rocky Mountain J. Math. 44 1073–1110. · doi:10.1216/rmj-2014-44-4-1073
  5. [21] Fang, Y., Sanz-Serna, J.-M. and Skeel, R.D. (2014). Compressible generalized hybrid Monte Carlo. J. Chem. Phys. 140 174108. · doi:10.1063/1.4874000
  6. [32] Hairer, E., Lubich, C. and Wanner, G. (2006). Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations, 2nd ed. Springer Series in Computational Mathematics 31. Berlin: Springer.
  7. [35] Holmes, S., Rubinstein-Salzedo, S. and Seiler, C. (2014). Curvature and concentration of Hamiltonian Monte Carlo in high dimensions. Preprint. Available at arXiv:1407.1114. · arXiv
  8. [41] Joulin, A. and Ollivier, Y. (2010). Curvature, concentration and error estimates for Markov chain Monte Carlo. Ann. Probab. 38 2418–2442. · doi:10.1214/10-aop541
  9. [43] Lan, S., Stathopoulos, V., Shahbaba, B. and Girolami, M. (2012). Lagrangian Dynamical Monte Carlo. Preprint. Available at arXiv:1211.3759. · arXiv
  10. [46] Lee, J.M. (2013). Introduction to Smooth Manifolds, 2nd ed. Graduate Texts in Mathematics 218. New York: Springer.
  11. [53] Neal, R.M. (2012). How to view an MCMC simulation as a permutation, with applications to parallel simulation and improved importance sampling. Preprint. Available at arXiv:1205.0070. · arXiv
  12. [57] Polettini, M. (2013). Generally covariant state-dependent diffusion. J. Stat. Mech. Theory Exp. 2013 P07005. · doi:10.1088/1742-5468/2013/07/p07005
  13. [58] Porter, E.K. and Carré, J. (2014). A Hamiltonian Monte-Carlo method for Bayesian inference of supermassive black hole binaries. Classical Quantum Gravity 31 145004, 22. · doi:10.1088/0264-9381/31/14/145004
  14. [63] Schofield, M.R., Barker, R.J., Gelman, A., Cook, E.R. and Briffa, K. (2014). Climate reconstruction using tree-ring data. J. Amer. Statist. Assoc. To appear. Available at arXiv:1510.02557. · arXiv
  15. [65] Simmons, D. (2012). Conditional measures and conditional expectation; Rohlin’s disintegration theorem. Discrete Contin. Dyn. Syst. 32 2565–2582. · doi:10.3934/dcds.2012.32.2565
  16. [74] Wang, H., Mo, H.J., Yang, X., Jing, Y.P. and Lin, W.P. (2014). Exploring the local universe with reconstructed initial density field I: Hamiltonian Markov chain Monte Carlo method with particle mesh dynamics. Preprint. Available at arXiv:1407.3451. · arXiv
  17. [16] Cowling, B.J., Freeman, G., Wong, J.Y., Wu, P., Liao, Q., Lau, E.H., Wu, J.T., Fielding, R. and Leung, G.M. (2012). Preliminary inferences on the age-specific seriousness of human disease caused by Avian influenza A (H7N9) infections in China, March to April 2013. European Communicable Disease Bulletin 18.
  18. [24] Folland, G.B. (1999). Real Analysis: Modern Techniques and Their Applications, 2nd ed. Pure and Applied Mathematics (New York). New York: Wiley.
  19. [52] Neal, R.M. (2011). MCMC using Hamiltonian dynamics. In Handbook of Markov Chain Monte Carlo (S. Brooks, A. Gelman, G.L. Jones and X.-L. Meng, eds.) New York: CRC Press.
  20. [56] Petersen, K. (1989). Ergodic Theory. Cambridge: Cambridge Univ. Press.
  21. [66] Sohl-Dickstein, J., Mudigonda, M. and DeWeese, M. (2014). Hamiltonian Monte Carlo without detailed balance. In Proceedings of the 31 st International Conference on Machine Learning. 719–726. Beijing, China.
  22. [69] Sutherland, D.J., Póczos, B. and Schneider, J. (2013). Active learning and search on low-rank matrices. In Proceedings of the 19 th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. KDD ’13 212–220. New York: ACM.
  23. [73] Tjur, T. (1980). Probability Based on Radon Measures. Chichester: Wiley.
  24. [75] Wang, Z., Mohamed, S. and de Freitas, N. (2013). Adaptive Hamiltonian and Riemann Manifold Monte Carlo. In Proceedings of the 30 th International Conference on Machine Learning (ICML-13) 1462–1470. Atlanta, Georgia, USA.
  25. [78] Zaslavsky, G.M. (2005). Hamiltonian Chaos and Fractional Dynamics. Oxford: Oxford Univ. Press.

Cited by

See all 452

Metadata

Authors
Betancourt, M., Byrne, S., Livingstone, S., & Girolami, M.
Venue
Bernoulli
Published
2017-11-01
Volume
23
Issue
4A
Pages
2257-2298
ISSN
1350-7265 (ISSN-L)
OpenAlex
W2962703949
Cited by
452
References
53
FWCI
22.24
Type
journal article
Language
en
Open access
green

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review

How to cite

Cite CoChat for the checks on this page, and the paper for its own findings.

This page
CoChat. (2026). Citation check: The geometric foundations of Hamiltonian Monte Carlo. https://app.cochat.ai/papers/10.3150/16-bej810
The paper
Betancourt, M., Byrne, S., Livingstone, S., & Girolami, M. (2017). The geometric foundations of Hamiltonian Monte Carlo. Bernoulli. https://doi.org/10.3150/16-bej810

Data sources

Bibliographic data: Semantic Scholar, OpenAlex, Crossref.

Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).

Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.