{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T23:13:39Z","timestamp":1776381219187,"version":"3.51.2"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T00:00:00Z","timestamp":1561420800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T00:00:00Z","timestamp":1561420800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Numer. Math."],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1007\/s00211-019-01056-4","type":"journal-article","created":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T20:58:39Z","timestamp":1561496319000},"page":"379-421","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":30,"title":["Hybrid Monte Carlo methods for sampling probability measures on submanifolds"],"prefix":"10.1007","volume":"143","author":[{"given":"Tony","family":"Leli\u00e8vre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Rousset","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Stoltz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,25]]},"reference":[{"key":"1056_CR1","series-title":"Advanced Book Program","volume-title":"Foundations of Mechanics","author":"R Abraham","year":"1978","unstructured":"Abraham, R., Marsden, J.E.: Foundations of Mechanics. Advanced Book Program. Benjamin\/Cummings Publishing Co. Inc., San Francisco (1978)"},{"key":"1056_CR2","unstructured":"Afshar, H.M., Domke, J.: Reflection, refraction, and Hamiltonian Monte Carlo. In: Advances in Neural Information Processing Systems, pp. 3007\u20133015 (2015)"},{"key":"1056_CR3","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/0021-9991(83)90014-1","volume":"52","author":"HC Andersen","year":"1983","unstructured":"Andersen, H.C.: Rattle: a \u201cvelocity\u201d version of the Shake algorithm for molecular dynamics calculations. J. Comput. Phys. 52, 24\u201334 (1983)","journal-title":"J. Comput. Phys."},{"key":"1056_CR4","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2063-1","volume-title":"Mathematical Methods of Classical Mechanics","author":"VI Arnol\u2019d","year":"1989","unstructured":"Arnol\u2019d, V.I.: Mathematical Methods of Classical Mechanics. Graduate Texts in Mathematics, vol. 60. Springer, Berlin (1989)"},{"issue":"5","key":"1056_CR5","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1002\/cpa.20306","volume":"63","author":"N Bou-Rabee","year":"2009","unstructured":"Bou-Rabee, N., Vanden-Eijnden, E.: Pathwise accuracy and ergodicity of metropolized integrators for SDEs. Commun. Pure Appl. Math. 63(5), 655\u2013696 (2009)","journal-title":"Commun. Pure Appl. Math."},{"key":"1056_CR6","unstructured":"Breiding, P., Marigliano, O.: Sampling from the uniform distribution on an algebraic manifold. arXiv preprint arXiv:1810.06271 (2018)"},{"key":"1056_CR7","unstructured":"Brubaker, M., Salzmann, M., Urtasun, R.: A family of MCMC methods on implicitly defined manifolds. In: Lawrence, N.D., Girolami, M., (eds.) Proceedings of the Fifteenth International Conference on Artificial Intelligence and Statistics, volume\u00a022 of Proceedings of Machine Learning Research, La Palma, Canary Islands, pp. 161\u2013172 (2012)"},{"issue":"2","key":"1056_CR8","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1051\/m2an:2007014","volume":"41","author":"E Canc\u00e8s","year":"2007","unstructured":"Canc\u00e8s, E., Legoll, F., Stoltz, G.: Theoretical and numerical comparison of some sampling methods for molecular dynamics. Math. Model. Numer. Anal. 41(2), 351\u2013389 (2007)","journal-title":"Math. Model. Numer. Anal."},{"key":"1056_CR9","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-540-38448-9_4","volume-title":"Free Energy Calculations","author":"E Darve","year":"2007","unstructured":"Darve, E.: Thermodynamic integration using constrained and unconstrained dynamics. In: Chipot, C., Pohorille, A. (eds.) Free Energy Calculations, pp. 119\u2013170. Springer, Berlin (2007)"},{"key":"1056_CR10","first-page":"102","volume":"10","author":"P Diaconis","year":"2013","unstructured":"Diaconis, P., Holmes, S., Shahshahani, M.: Sampling from a manifold. Adv. Mod. Stat. Theory Appl. 10, 102\u2013125 (2013)","journal-title":"Adv. Mod. Stat. Theory Appl."},{"key":"1056_CR11","unstructured":"Durmus, A., Moulines, E., Saksman, E.: On the convergence of Hamiltonian Monte Carlo. arXiv preprint arXiv:1705.00166 (2017)"},{"key":"1056_CR12","doi-asserted-by":"publisher","first-page":"2047","DOI":"10.1090\/S0025-5718-09-02220-0","volume":"78","author":"E Faou","year":"2009","unstructured":"Faou, E., Leli\u00e8vre, T.: Conservative stochastic differential equations: mathematical and numerical analysis. Math. Comput. 78, 2047\u20132074 (2009)","journal-title":"Math. Comput."},{"issue":"2","key":"1056_CR13","first-page":"1","volume":"73","author":"M Girolami","year":"2011","unstructured":"Girolami, M., Calderhead, B.: Riemann manifold Langevin and Hamiltonian Monte Carlo methods. J. R. Stat. Soc. Ser. B (Methodol.) 73(2), 1\u201337 (2011)","journal-title":"J. R. Stat. Soc. Ser. B (Methodol.)"},{"key":"1056_CR14","series-title":"Springer Series in Computational Mathematics","volume-title":"Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations","author":"E Hairer","year":"2006","unstructured":"Hairer, E., Lubich, C., Wanner, G.: Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations. Springer Series in Computational Mathematics, vol. 31. Springer, Berlin (2006)"},{"issue":"4","key":"1056_CR15","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/s10955-007-9470-2","volume":"130","author":"C Hartmann","year":"2008","unstructured":"Hartmann, C.: An ergodic sampling scheme for constrained Hamiltonian systems with applications to molecular dynamics. J. Stat. Phys. 130(4), 687\u2013711 (2008)","journal-title":"J. Stat. Phys."},{"key":"1056_CR16","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/biomet\/57.1.97","volume":"57","author":"WK Hastings","year":"1970","unstructured":"Hastings, W.K.: Monte Carlo sampling methods using Markov chains and their applications. Biometrika 57, 97\u2013109 (1970)","journal-title":"Biometrika"},{"key":"1056_CR17","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/0370-2693(91)90812-5","volume":"268","author":"AM Horowitz","year":"1991","unstructured":"Horowitz, A.M.: A generalized guided Monte-Carlo algorithm. Phys. Lett. B 268, 247\u2013252 (1991)","journal-title":"Phys. Lett. B"},{"issue":"5","key":"1056_CR18","doi-asserted-by":"publisher","first-page":"A2670","DOI":"10.1137\/100800105","volume":"34","author":"DM Kaufman","year":"2012","unstructured":"Kaufman, D.M., Pai, D.K.: Geometric numerical integration of inequality constrained, nonsmooth Hamiltonian systems. SIAM J. Sci. Comput. 34(5), A2670\u2013A2703 (2012)","journal-title":"SIAM J. Sci. Comput."},{"key":"1056_CR19","doi-asserted-by":"publisher","first-page":"20160138","DOI":"10.1098\/rspa.2016.0138","volume":"472","author":"B Leimkuhler","year":"2016","unstructured":"Leimkuhler, B., Matthews, C.: Efficient molecular dynamics using geodesic integration and solvent-solute splitting. Proc. R. Soc. A 472, 20160138 (2016)","journal-title":"Proc. R. Soc. A"},{"issue":"208","key":"1056_CR20","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1090\/S0025-5718-1994-1250772-7","volume":"63","author":"B Leimkuhler","year":"1994","unstructured":"Leimkuhler, B., Reich, S.: Symplectic integration of constrained Hamiltonian systems. Math. Comput. 63(208), 589\u2013605 (1994)","journal-title":"Math. Comput."},{"key":"1056_CR21","volume-title":"Simulating Hamiltonian Dynamics","author":"B Leimkuhler","year":"2004","unstructured":"Leimkuhler, B., Reich, S.: Simulating Hamiltonian Dynamics. Cambridge University Press, Cambridge (2004)"},{"key":"1056_CR22","doi-asserted-by":"publisher","DOI":"10.1142\/p579","volume-title":"Free-energy Computations: A Mathematical Perspective","author":"T Leli\u00e8vre","year":"2010","unstructured":"Leli\u00e8vre, T., Rousset, M., Stoltz, G.: Free-energy Computations: A Mathematical Perspective. Imperial College Press, London (2010)"},{"key":"1056_CR23","doi-asserted-by":"publisher","first-page":"2071","DOI":"10.1090\/S0025-5718-2012-02594-4","volume":"81","author":"T Leli\u00e8vre","year":"2012","unstructured":"Leli\u00e8vre, T., Rousset, M., Stoltz, G.: Langevin dynamics with constraints and computation of free energy differences. Math. Comput. 81, 2071\u20132125 (2012)","journal-title":"Math. Comput."},{"key":"1056_CR24","doi-asserted-by":"crossref","unstructured":"Livingstone, S., Betancourt, M., Byrne, S., Girolami, M.: On the geometric ergodicity of Hamiltonian Monte Carlo. arXiv preprint arXiv:1601.08057 (2016)","DOI":"10.3150\/16-BEJ810"},{"key":"1056_CR25","doi-asserted-by":"publisher","first-page":"1167","DOI":"10.1007\/s11222-011-9288-2","volume":"22","author":"J-M Marin","year":"2012","unstructured":"Marin, J.-M., Pudlo, P., Robert, C., Ryder, R.: Approximate Bayesian computational methods. Stat. Comput. 22, 1167\u20131180 (2012)","journal-title":"Stat. Comput."},{"issue":"2","key":"1056_CR26","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1103\/PhysRevB.45.679","volume":"45","author":"B Mehlig","year":"1992","unstructured":"Mehlig, B., Heermann, D.W., Forrest, B.M.: Hybrid Monte Carlo method for condensed-matter systems. Phys. Rev. B 45(2), 679 (1992)","journal-title":"Phys. Rev. B"},{"issue":"6","key":"1056_CR27","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1063\/1.1699114","volume":"21","author":"N Metropolis","year":"1953","unstructured":"Metropolis, N., Rosenbluth, A.W., Rosenbluth, M.N., Teller, A.H., Teller, E.: Equations of state calculations by fast computing machines. J. Chem. Phys. 21(6), 1087\u20131091 (1953)","journal-title":"J. Chem. Phys."},{"key":"1056_CR28","volume-title":"The Art of Molecular Dynamics Simulations","author":"DC Rapaport","year":"1995","unstructured":"Rapaport, D.C.: The Art of Molecular Dynamics Simulations. Cambridge University Press, Cambridge (1995)"},{"key":"1056_CR29","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1111\/1467-9868.00123","volume":"60","author":"GO Roberts","year":"1998","unstructured":"Roberts, G.O., Rosenthal, J.S.: Optimal scaling of discrete approximations to Langevin diffusions. J. R. Stat. Soc. B 60, 255\u2013268 (1998)","journal-title":"J. R. Stat. Soc. B"},{"issue":"4","key":"1056_CR30","doi-asserted-by":"publisher","first-page":"341","DOI":"10.2307\/3318418","volume":"2","author":"GO Roberts","year":"1996","unstructured":"Roberts, G.O., Tweedie, R.L.: Exponential convergence of Langevin distributions and their discrete approximations. Bernoulli 2(4), 341\u2013363 (1996)","journal-title":"Bernoulli"},{"issue":"10","key":"1056_CR31","doi-asserted-by":"publisher","first-page":"4628","DOI":"10.1063\/1.436415","volume":"69","author":"PJ Rossky","year":"1978","unstructured":"Rossky, P.J., Doll, J.D., Friedman, H.L.: Brownian dynamics as smart Monte Carlo simulation. J. Chem. Phys. 69(10), 4628\u20134633 (1978)","journal-title":"J. Chem. Phys."},{"key":"1056_CR32","unstructured":"Sch\u00fctte, C.: Conformational dynamics: modelling, theory, algorithm and application to biomolecules. Habilitation dissertation, Free University Berlin (1998)"},{"key":"1056_CR33","unstructured":"Schwartz, L.: Analyse I. Th\u00e9orie des ensembles et topologie. Hermann, Paris (1991)"},{"issue":"2","key":"1056_CR34","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1137\/16M110575X","volume":"16","author":"G Stoltz","year":"2018","unstructured":"Stoltz, G., Trstanova, Z.: Stable and accurate schemes for Langevin dynamics with general kinetic energies. Multiscale Model. Simul. 16(2), 777\u2013806 (2018)","journal-title":"Multiscale Model. Simul."},{"key":"1056_CR35","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1093\/genetics\/145.2.505","volume":"145","author":"S Tavar\u00e9","year":"1997","unstructured":"Tavar\u00e9, S., Balding, D., Griffith, R., Donnelly, P.: Inferring coalescence times from DNA sequence data. Genetics 145, 505\u2013518 (1997)","journal-title":"Genetics"},{"key":"1056_CR36","doi-asserted-by":"publisher","first-page":"2609","DOI":"10.1002\/cpa.21783","volume":"71","author":"E Zappa","year":"2018","unstructured":"Zappa, E., Holmes-Cerfon, M., Goodman, J.: Monte Carlo on manifolds: sampling densities and integrating functions. Commun. Pure Appl. Math. 71, 2609\u20132647 (2018)","journal-title":"Commun. Pure Appl. Math."}],"updated-by":[{"DOI":"10.1007\/s00211-019-01086-y","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2019,11,22]],"date-time":"2019-11-22T00:00:00Z","timestamp":1574380800000}}],"container-title":["Numerische Mathematik"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-019-01056-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00211-019-01056-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-019-01056-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,20]],"date-time":"2024-07-20T06:36:19Z","timestamp":1721457379000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00211-019-01056-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,25]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,10]]}},"alternative-id":["1056"],"URL":"https:\/\/doi.org\/10.1007\/s00211-019-01056-4","relation":{},"ISSN":["0029-599X","0945-3245"],"issn-type":[{"value":"0029-599X","type":"print"},{"value":"0945-3245","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,6,25]]},"assertion":[{"value":"18 July 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 April 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 June 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 November 2019","order":4,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":5,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Shiva Darshan and Miranda Holmes\u2013Cerfon (Courant Institute, NYU) pointed out a mistake in the projection functions to enforce the momentum constraint when rewriting the algorithm in Numerical Algorithm\u00a0A of Section\u00a03.1. Two different projection functions are actually needed, see indeed the formula for the Lagrange multiplier","order":6,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 November 2019","order":5,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":5,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Shiva Darshan and Miranda Holmes\ufffd\ufffd\ufffdCerfon (Courant Institute, NYU) pointed out a mistake in the projection functions to enforce the momentum constraint when rewriting the algorithm in Numerical Algorithm\ufffd\ufffdA of Section\ufffd\ufffd3.1. Two different projection functions are actually needed, see indeed the formula for the Lagrange multiplier","order":6,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}