{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:I2V3WYHIOXGMWGVQ4BMSP7AYPV","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":"8c1b41186dc846ccdc1e9b4985c5f61a03731535fd3b73a09ebf617720efefbf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2018-06-29T03:05:42Z","title_canon_sha256":"038366e15a904e82acc2214cc74c670c564dca93e2635d8375bca5c3921f6786"},"schema_version":"1.0","source":{"id":"1806.11255","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.11255","created_at":"2026-05-18T00:12:03Z"},{"alias_kind":"arxiv_version","alias_value":"1806.11255v1","created_at":"2026-05-18T00:12:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.11255","created_at":"2026-05-18T00:12:03Z"},{"alias_kind":"pith_short_12","alias_value":"I2V3WYHIOXGM","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"I2V3WYHIOXGMWGVQ","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"I2V3WYHI","created_at":"2026-05-18T12:32:28Z"}],"graph_snapshots":[{"event_id":"sha256:d09ff5391912efe718507179859d760e4c4fbc1364cd325d61bc3ce7c0d775db","target":"graph","created_at":"2026-05-18T00:12:03Z","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"},"paper":{"abstract_excerpt":"We introduce Path-ZVA: an efficient simulation technique for estimating the probability of reaching a rare goal state before a regeneration state in a (discrete-time) Markov chain. Standard Monte Carlo simulation techniques do not work well for rare events, so we use importance sampling; i.e., we change the probability measure governing the Markov chain such that transitions `towards' the goal state become more likely. To do this we need an idea of distance to the goal state, so some level of knowledge of the Markov chain is required. In this paper, we use graph analysis to obtain this knowled","authors_text":"Daniel Reijsbergen, Pieter-Tjerk de Boer, Sandeep Juneja, Werner Scheinhardt","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2018-06-29T03:05:42Z","title":"Path-ZVA: general, efficient and automated importance sampling for highly reliable Markovian systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.11255","kind":"arxiv","version":1},"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:a590491d4985a6d72e2acf642b8663468f733edcc811fe1ae474621c223fb27d","target":"record","created_at":"2026-05-18T00:12:03Z","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":"8c1b41186dc846ccdc1e9b4985c5f61a03731535fd3b73a09ebf617720efefbf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2018-06-29T03:05:42Z","title_canon_sha256":"038366e15a904e82acc2214cc74c670c564dca93e2635d8375bca5c3921f6786"},"schema_version":"1.0","source":{"id":"1806.11255","kind":"arxiv","version":1}},"canonical_sha256":"46abbb60e875cccb1ab0e05927fc187d729dcd7c20b406f276cf91e1bb97223a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"46abbb60e875cccb1ab0e05927fc187d729dcd7c20b406f276cf91e1bb97223a","first_computed_at":"2026-05-18T00:12:03.099644Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:12:03.099644Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wZQnUqU2/mfbn3Jpn9bJyud7ucpRADXvPjMi9OPNMeZZvnA+l9A6oMfMyQfL4IA7Jg/wUtcOS6yl/vNMyR/IDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:12:03.100335Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.11255","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a590491d4985a6d72e2acf642b8663468f733edcc811fe1ae474621c223fb27d","sha256:d09ff5391912efe718507179859d760e4c4fbc1364cd325d61bc3ce7c0d775db"],"state_sha256":"8f846246bf59d4fa2cf0918e4c0b66dd0b1ed425a6bcfb4433068f97f6640522"}