{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/fast-mixing-of-metropolized-hamiltonian-monte","title":"Fast mixing of Metropolized Hamiltonian Monte Carlo: Benefits of multi-step gradients","arxiv_id":"1905.12247","date":"2019-05-29","proceeding":null,"authors":["Yuansi Chen","Raaz Dwivedi","Martin J. Wainwright","Bin Yu"],"abstract":"Hamiltonian Monte Carlo (HMC) is a state-of-the-art Markov chain Monte Carlo sampling algorithm for drawing samples from smooth probability densities over continuous spaces. We study the variant most widely used in practice, Metropolized HMC with the St\\\"{o}rmer-Verlet or leapfrog integrator, and make two primary contributions. First, we provide a non-asymptotic upper bound on the mixing time of the Metropolized HMC with explicit choices of step-size and number of leapfrog steps. This bound gives a precise quantification of the faster convergence of Metropolized HMC relative to simpler MCMC algorithms such as the Metropolized random walk, or Metropolized Langevin algorithm. Second, we provide a general framework for sharpening mixing time bounds of Markov chains initialized at a substantial distance from the target distribution over continuous spaces. We apply this sharpening device to the Metropolized random walk and Langevin algorithms, thereby obtaining improved mixing time bounds from a non-warm initial distribution.","url_abs":"https://arxiv.org/abs/1905.12247v3","url_pdf":"https://arxiv.org/pdf/1905.12247v3.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"fast-mixing-of-metropolized-hamiltonian-monte","repo_url":"https://github.com/yuachen/fastmixingHMC_public","is_official":0,"mentioned_in_paper":0,"mentioned_in_github":1,"framework":"none","reach":null}],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":"https://syntology.ai/paper/1905.12247","atlas_url":"https://app.syntology.ai/?focus=1905.12247","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"1905.12247"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-25T09:33:49+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"provenance":"external:paperswithcode_snapshot_2025-07-28","url":"https://github.com/yuachen/fastmixingHMC_public","reach":null}],"summary":{"ran_honours":3,"ran_draft_wrong":2,"ran_violates":1},"by_repo_kind":{"listed":{"samples":6,"ran":6,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":6,"samples":[{"code_sha256_prefix":"208ccbd43b688998","entry":"density_f","repo":"yuachen/fastmixingHMC_public","repo_kind":"listed","path":"mcmc_gaussian_nonisotropic_d_exps.py","file_url":"https://github.com/yuachen/fastmixingHMC_public/blob/HEAD/mcmc_gaussian_nonisotropic_d_exps.py","link_basis":"first_harvest_node","language":"python","status":"ran_honours","verification_level":1,"contract_check":"HONOURS","metamorphic_tier":"invariant","behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"208ccbd43b688998"}},{"code_sha256_prefix":"4ecee13626733e8e","entry":"f","repo":"yuachen/fastmixingHMC_public","repo_kind":"listed","path":"mcmc_gaussian_nonisotropic_d_exps.py","file_url":"https://github.com/yuachen/fastmixingHMC_public/blob/HEAD/mcmc_gaussian_nonisotropic_d_exps.py","link_basis":"first_harvest_node","language":"python","status":"ran_honours","verification_level":1,"contract_check":"HONOURS","metamorphic_tier":"invariant","behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"4ecee13626733e8e"}},{"code_sha256_prefix":"254b52ca03fdd804","entry":"grad_f","repo":"yuachen/fastmixingHMC_public","repo_kind":"listed","path":"mcmc_gaussian_nonisotropic_d_exps.py","file_url":"https://github.com/yuachen/fastmixingHMC_public/blob/HEAD/mcmc_gaussian_nonisotropic_d_exps.py","link_basis":"first_harvest_node","language":"python","status":"ran_honours","verification_level":1,"contract_check":"HONOURS","metamorphic_tier":"invariant","behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"254b52ca03fdd804"}},{"code_sha256_prefix":"4bc1f6b5f5602d51","entry":"mala","repo":"yuachen/fastmixingHMC_public","repo_kind":"listed","path":"mcmc.py","file_url":"https://github.com/yuachen/fastmixingHMC_public/blob/HEAD/mcmc.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"4bc1f6b5f5602d51"}},{"code_sha256_prefix":"b4a06edf70ac73c6","entry":"neglog_density_normal","repo":"yuachen/fastmixingHMC_public","repo_kind":"listed","path":"mcmc.py","file_url":"https://github.com/yuachen/fastmixingHMC_public/blob/HEAD/mcmc.py","link_basis":"first_harvest_node","language":"python","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":"invariant","behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"b4a06edf70ac73c6"}},{"code_sha256_prefix":"b6f683f422511d2e","entry":"ula","repo":"yuachen/fastmixingHMC_public","repo_kind":"listed","path":"mcmc.py","file_url":"https://github.com/yuachen/fastmixingHMC_public/blob/HEAD/mcmc.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"MISDECLARED","metamorphic_tier":"deterministic","behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"b6f683f422511d2e"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}