{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2008:Z6RSMVWYOIKOXDX3VY6CU7OCZW","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":"e0307638ea2ce1b133a3e6efc1dee57d61711b45bc7c4f52dbf21f4c05f84303","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-08-27T08:35:44Z","title_canon_sha256":"dd5dc264e31f370dc27d7f2637d4a9fbdde2cded957b493d992d727809954a47"},"schema_version":"1.0","source":{"id":"0808.3651","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0808.3651","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"arxiv_version","alias_value":"0808.3651v3","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0808.3651","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"pith_short_12","alias_value":"Z6RSMVWYOIKO","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"Z6RSMVWYOIKOXDX3","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"Z6RSMVWY","created_at":"2026-05-18T12:25:58Z"}],"graph_snapshots":[{"event_id":"sha256:ff7457703a717bcf78ef02daae0c2218e880a26e737c106093270a5659447b18","target":"graph","created_at":"2026-05-18T01:37:42Z","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":"Strong and weak simulation relations have been proposed for Markov chains, while strong simulation and strong probabilistic simulation relations have been proposed for probabilistic automata. However, decision algorithms for strong and weak simulation over Markov chains, and for strong simulation over probabilistic automata are not efficient, which makes it as yet unclear whether they can be used as effectively as their non-probabilistic counterparts. This paper presents drastically improved algorithms to decide whether some (discrete- or continuous-time) Markov chain strongly or weakly simula","authors_text":"David N. Jansen, Friedrich Eisenbrand, Holger Hermanns, Lijun Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-08-27T08:35:44Z","title":"Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0808.3651","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:1cdaab63640906f70226867603257caeda83ddc19095bed7b6eb3864fe95d563","target":"record","created_at":"2026-05-18T01:37:42Z","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":"e0307638ea2ce1b133a3e6efc1dee57d61711b45bc7c4f52dbf21f4c05f84303","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-08-27T08:35:44Z","title_canon_sha256":"dd5dc264e31f370dc27d7f2637d4a9fbdde2cded957b493d992d727809954a47"},"schema_version":"1.0","source":{"id":"0808.3651","kind":"arxiv","version":3}},"canonical_sha256":"cfa32656d87214eb8efbae3c2a7dc2cd83c7a0fd6687b3bb923093294f665f04","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cfa32656d87214eb8efbae3c2a7dc2cd83c7a0fd6687b3bb923093294f665f04","first_computed_at":"2026-05-18T01:37:42.346166Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:42.346166Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xZMsxPwfvkOKyIDoBGdwp/ehN8PjhBrSvtgDImG3XpeGWiRamVwgJHNaFVf534UZyw3jYu6yQZoL2qUGnBm1AA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:42.346829Z","signed_message":"canonical_sha256_bytes"},"source_id":"0808.3651","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1cdaab63640906f70226867603257caeda83ddc19095bed7b6eb3864fe95d563","sha256:ff7457703a717bcf78ef02daae0c2218e880a26e737c106093270a5659447b18"],"state_sha256":"4b316feba7097a12c5c47dd6c96a4c18a4e73dfb349a1a8138a7db11379bd6ed"}