{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:VELC3NZOL6UBFAE2JAS6LQPGDC","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":"6e88007d2f5a385e11d920f95352cd6017d1dcdb766cf9209afe1ff8e942ad68","cross_cats_sorted":["math.PR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SI","submitted_at":"2025-09-10T14:24:29Z","title_canon_sha256":"4151fefff1f149fd01975fffcaf2b315f34d2b39eb68566f25577dc3dcd9c2eb"},"schema_version":"1.0","source":{"id":"2509.08629","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.08629","created_at":"2026-06-19T16:12:14Z"},{"alias_kind":"arxiv_version","alias_value":"2509.08629v2","created_at":"2026-06-19T16:12:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.08629","created_at":"2026-06-19T16:12:14Z"},{"alias_kind":"pith_short_12","alias_value":"VELC3NZOL6UB","created_at":"2026-06-19T16:12:14Z"},{"alias_kind":"pith_short_16","alias_value":"VELC3NZOL6UBFAE2","created_at":"2026-06-19T16:12:14Z"},{"alias_kind":"pith_short_8","alias_value":"VELC3NZO","created_at":"2026-06-19T16:12:14Z"}],"graph_snapshots":[{"event_id":"sha256:0ab1d71687208e5ba92347eb85ec164ff090c72e5fd46761c0ee8e91bc710c38","target":"graph","created_at":"2026-06-19T16:12:14Z","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/2509.08629/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce the Cycle Walk, a new Markov chain Monte Carlo method for sampling distributions on balanced graph partitions, motivated by applications in political redistricting. The method operates on spanning forests and combines two types of updates: local \"cycle\" moves within districts and global moves that exchange population between adjacent districts while preserving balance constraints. This construction enables efficient Metropolis--Hastings correction while allowing proposals at multiple spatial scales.\n  We show that the Cycle Walk naturally interpolates between existing approaches b","authors_text":"Daryl R. DeFord, Gregory Herschlag, Jonathan C. Mattingly","cross_cats":["math.PR"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SI","submitted_at":"2025-09-10T14:24:29Z","title":"A Cycle Walk for Sampling Measures on Spanning Forests for Redistricting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.08629","kind":"arxiv","version":2},"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:56dd833519632fbbe6ea751b11a35dce10c2a723684e945e5aee87e766a0b5f7","target":"record","created_at":"2026-06-19T16:12:14Z","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":"6e88007d2f5a385e11d920f95352cd6017d1dcdb766cf9209afe1ff8e942ad68","cross_cats_sorted":["math.PR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SI","submitted_at":"2025-09-10T14:24:29Z","title_canon_sha256":"4151fefff1f149fd01975fffcaf2b315f34d2b39eb68566f25577dc3dcd9c2eb"},"schema_version":"1.0","source":{"id":"2509.08629","kind":"arxiv","version":2}},"canonical_sha256":"a9162db72e5fa812809a4825e5c1e618bbc6f4d4d3f44978506760ee4496b3de","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a9162db72e5fa812809a4825e5c1e618bbc6f4d4d3f44978506760ee4496b3de","first_computed_at":"2026-06-19T16:12:14.998681Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-19T16:12:14.998681Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qajbdEN+/wJw8SLRGFDJvQERrjZznDNERrjdEY93A/SvRcmA4/5Fjf8iUSar7PGpIVxCtBNVlMFVB8E8+2GTCg==","signature_status":"signed_v1","signed_at":"2026-06-19T16:12:14.999022Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.08629","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:56dd833519632fbbe6ea751b11a35dce10c2a723684e945e5aee87e766a0b5f7","sha256:0ab1d71687208e5ba92347eb85ec164ff090c72e5fd46761c0ee8e91bc710c38"],"state_sha256":"167e0537ea1995303578c6e4ba25c269eef4d015e5cd065cb047e7f4da5561ef"}