{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:VS4GMSZJEC6UQBWVREGQQN4DCN","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"b324a05e1e6cffdffd640c901bf28252b3ab222fb5cd39bbcd52f986cddea4ea","cross_cats_sorted":["cs.LG","stat.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"stat.ML","submitted_at":"2019-05-29T07:05:04Z","title_canon_sha256":"885fc4894eb0d14b317a018bc054520ee1a4dbfbc1a73a47cb3b0b0386b0080d"},"schema_version":"1.0","source":{"id":"1905.12247","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.12247","created_at":"2026-07-05T02:05:37Z"},{"alias_kind":"arxiv_version","alias_value":"1905.12247v3","created_at":"2026-07-05T02:05:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.12247","created_at":"2026-07-05T02:05:37Z"},{"alias_kind":"pith_short_12","alias_value":"VS4GMSZJEC6U","created_at":"2026-07-05T02:05:37Z"},{"alias_kind":"pith_short_16","alias_value":"VS4GMSZJEC6UQBWV","created_at":"2026-07-05T02:05:37Z"},{"alias_kind":"pith_short_8","alias_value":"VS4GMSZJ","created_at":"2026-07-05T02:05:37Z"}],"graph_snapshots":[{"event_id":"sha256:cb023d8e9f6b23dcb69e83cb19ad57094473efa01f62b7f1bcb7dc7dca6107d2","target":"graph","created_at":"2026-07-05T02:05:37Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1905.12247/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"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 al","authors_text":"Bin Yu, Martin J. Wainwright, Raaz Dwivedi, Yuansi Chen","cross_cats":["cs.LG","stat.CO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"stat.ML","submitted_at":"2019-05-29T07:05:04Z","title":"Fast mixing of Metropolized Hamiltonian Monte Carlo: Benefits of multi-step gradients"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.12247","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:80b0fdd5480fa3bfa279edbb8fb78af45fb51ba4ed7336577e4f012fb6dfb7ee","target":"record","created_at":"2026-07-05T02:05:37Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"b324a05e1e6cffdffd640c901bf28252b3ab222fb5cd39bbcd52f986cddea4ea","cross_cats_sorted":["cs.LG","stat.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"stat.ML","submitted_at":"2019-05-29T07:05:04Z","title_canon_sha256":"885fc4894eb0d14b317a018bc054520ee1a4dbfbc1a73a47cb3b0b0386b0080d"},"schema_version":"1.0","source":{"id":"1905.12247","kind":"arxiv","version":3}},"canonical_sha256":"acb8664b2920bd4806d5890d083783135542e5f3780aee007655bf1d9b2f12a9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"acb8664b2920bd4806d5890d083783135542e5f3780aee007655bf1d9b2f12a9","first_computed_at":"2026-07-05T02:05:37.059535Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:05:37.059535Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ecfUGZYpmmislBjijDTPCtBwi5Kh1yGHH1MfYKKiekI4xrup4iY2LzQHiqvuKOJcIzt/HGk1v7O4blVTgvk3Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:05:37.060044Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.12247","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:80b0fdd5480fa3bfa279edbb8fb78af45fb51ba4ed7336577e4f012fb6dfb7ee","sha256:cb023d8e9f6b23dcb69e83cb19ad57094473efa01f62b7f1bcb7dc7dca6107d2"],"state_sha256":"f2e26e25676e98ddcd5f5572496348f0c4a5968de742b20be481b52a1262d6f1"}