{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:X6QPQ3B4BDKWO6S6L5637QDZ5L","short_pith_number":"pith:X6QPQ3B4","canonical_record":{"source":{"id":"2004.08828","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2020-04-19T12:03:17Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"c4340ebc7d29a579a618cf1473b220d67602d85ca199047f93f9e373ec13f59e","abstract_canon_sha256":"5e43bf44dbb1487cef513611e3719a4023a9939b81cf751a19f9e5ef27f3585b"},"schema_version":"1.0"},"canonical_sha256":"bfa0f86c3c08d5677a5e5f7dbfc079eac1dcfe78e0266e8017038a9efaee3422","source":{"kind":"arxiv","id":"2004.08828","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.08828","created_at":"2026-07-05T00:56:10Z"},{"alias_kind":"arxiv_version","alias_value":"2004.08828v1","created_at":"2026-07-05T00:56:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.08828","created_at":"2026-07-05T00:56:10Z"},{"alias_kind":"pith_short_12","alias_value":"X6QPQ3B4BDKW","created_at":"2026-07-05T00:56:10Z"},{"alias_kind":"pith_short_16","alias_value":"X6QPQ3B4BDKWO6S6","created_at":"2026-07-05T00:56:10Z"},{"alias_kind":"pith_short_8","alias_value":"X6QPQ3B4","created_at":"2026-07-05T00:56:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:X6QPQ3B4BDKWO6S6L5637QDZ5L","target":"record","payload":{"canonical_record":{"source":{"id":"2004.08828","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2020-04-19T12:03:17Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"c4340ebc7d29a579a618cf1473b220d67602d85ca199047f93f9e373ec13f59e","abstract_canon_sha256":"5e43bf44dbb1487cef513611e3719a4023a9939b81cf751a19f9e5ef27f3585b"},"schema_version":"1.0"},"canonical_sha256":"bfa0f86c3c08d5677a5e5f7dbfc079eac1dcfe78e0266e8017038a9efaee3422","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:56:10.342452Z","signature_b64":"XMVbVX9Up+Bl/y+yR/HursDe0Tb8s4t2gaqflwRjwKzh5Cn9b26mlh8f+vM0FJxzK+tTyhk+SyPu4hQU5tGTDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bfa0f86c3c08d5677a5e5f7dbfc079eac1dcfe78e0266e8017038a9efaee3422","last_reissued_at":"2026-07-05T00:56:10.341931Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:56:10.341931Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2004.08828","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T00:56:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W6sk5UG2BwnadNO+C5GxERGOhPGX34qvEWT2HvaJzdfzKgZSfiJChKboljbJIdtfzESPLMUupyTlNhAC36lxAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T06:04:33.532973Z"},"content_sha256":"5f5dd1f0ac2469a18bfff5914d4b5ec9d66bd8392123be282cd611af95875a27","schema_version":"1.0","event_id":"sha256:5f5dd1f0ac2469a18bfff5914d4b5ec9d66bd8392123be282cd611af95875a27"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:X6QPQ3B4BDKWO6S6L5637QDZ5L","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"cs.DS","authors_text":"Ali Asadi, Amir Kafshdar Goharshady, Andreas Pavlogiannis, Kiarash Mohammadi, Krishnendu Chatterjee","submitted_at":"2020-04-19T12:03:17Z","abstract_excerpt":"Discrete-time Markov Chains (MCs) and Markov Decision Processes (MDPs) are two standard formalisms in system analysis. Their main associated quantitative objectives are hitting probabilities, discounted sum, and mean payoff. Although there are many techniques for computing these objectives in general MCs/MDPs, they have not been thoroughly studied in terms of parameterized algorithms, particularly when treewidth is used as the parameter. This is in sharp contrast to qualitative objectives for MCs, MDPs and graph games, for which treewidth-based algorithms yield significant complexity improveme"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.08828","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2004.08828/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T00:56:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u/yHr32I3i7WRToEnOfziTYBgyWfSSJ77VaYB2HQVk31pOS41WylhQw0wR9VGX8IdYieinYpX4AXvr1V3qZRDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T06:04:33.533472Z"},"content_sha256":"991aeec92ef7000b271c1aa69dcac89f51c7f249aed978a4f3fa855021b372dc","schema_version":"1.0","event_id":"sha256:991aeec92ef7000b271c1aa69dcac89f51c7f249aed978a4f3fa855021b372dc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X6QPQ3B4BDKWO6S6L5637QDZ5L/bundle.json","state_url":"https://pith.science/pith/X6QPQ3B4BDKWO6S6L5637QDZ5L/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X6QPQ3B4BDKWO6S6L5637QDZ5L/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-17T06:04:33Z","links":{"resolver":"https://pith.science/pith/X6QPQ3B4BDKWO6S6L5637QDZ5L","bundle":"https://pith.science/pith/X6QPQ3B4BDKWO6S6L5637QDZ5L/bundle.json","state":"https://pith.science/pith/X6QPQ3B4BDKWO6S6L5637QDZ5L/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X6QPQ3B4BDKWO6S6L5637QDZ5L/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:X6QPQ3B4BDKWO6S6L5637QDZ5L","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":"5e43bf44dbb1487cef513611e3719a4023a9939b81cf751a19f9e5ef27f3585b","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2020-04-19T12:03:17Z","title_canon_sha256":"c4340ebc7d29a579a618cf1473b220d67602d85ca199047f93f9e373ec13f59e"},"schema_version":"1.0","source":{"id":"2004.08828","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.08828","created_at":"2026-07-05T00:56:10Z"},{"alias_kind":"arxiv_version","alias_value":"2004.08828v1","created_at":"2026-07-05T00:56:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.08828","created_at":"2026-07-05T00:56:10Z"},{"alias_kind":"pith_short_12","alias_value":"X6QPQ3B4BDKW","created_at":"2026-07-05T00:56:10Z"},{"alias_kind":"pith_short_16","alias_value":"X6QPQ3B4BDKWO6S6","created_at":"2026-07-05T00:56:10Z"},{"alias_kind":"pith_short_8","alias_value":"X6QPQ3B4","created_at":"2026-07-05T00:56:10Z"}],"graph_snapshots":[{"event_id":"sha256:991aeec92ef7000b271c1aa69dcac89f51c7f249aed978a4f3fa855021b372dc","target":"graph","created_at":"2026-07-05T00:56:10Z","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/2004.08828/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Discrete-time Markov Chains (MCs) and Markov Decision Processes (MDPs) are two standard formalisms in system analysis. Their main associated quantitative objectives are hitting probabilities, discounted sum, and mean payoff. Although there are many techniques for computing these objectives in general MCs/MDPs, they have not been thoroughly studied in terms of parameterized algorithms, particularly when treewidth is used as the parameter. This is in sharp contrast to qualitative objectives for MCs, MDPs and graph games, for which treewidth-based algorithms yield significant complexity improveme","authors_text":"Ali Asadi, Amir Kafshdar Goharshady, Andreas Pavlogiannis, Kiarash Mohammadi, Krishnendu Chatterjee","cross_cats":["cs.DM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2020-04-19T12:03:17Z","title":"Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.08828","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:5f5dd1f0ac2469a18bfff5914d4b5ec9d66bd8392123be282cd611af95875a27","target":"record","created_at":"2026-07-05T00:56:10Z","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":"5e43bf44dbb1487cef513611e3719a4023a9939b81cf751a19f9e5ef27f3585b","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2020-04-19T12:03:17Z","title_canon_sha256":"c4340ebc7d29a579a618cf1473b220d67602d85ca199047f93f9e373ec13f59e"},"schema_version":"1.0","source":{"id":"2004.08828","kind":"arxiv","version":1}},"canonical_sha256":"bfa0f86c3c08d5677a5e5f7dbfc079eac1dcfe78e0266e8017038a9efaee3422","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bfa0f86c3c08d5677a5e5f7dbfc079eac1dcfe78e0266e8017038a9efaee3422","first_computed_at":"2026-07-05T00:56:10.341931Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:56:10.341931Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XMVbVX9Up+Bl/y+yR/HursDe0Tb8s4t2gaqflwRjwKzh5Cn9b26mlh8f+vM0FJxzK+tTyhk+SyPu4hQU5tGTDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T00:56:10.342452Z","signed_message":"canonical_sha256_bytes"},"source_id":"2004.08828","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5f5dd1f0ac2469a18bfff5914d4b5ec9d66bd8392123be282cd611af95875a27","sha256:991aeec92ef7000b271c1aa69dcac89f51c7f249aed978a4f3fa855021b372dc"],"state_sha256":"e153c8a62c585ba9fad931cb4da5c913d6b0fa7e665ece451de8895020646a80"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AIEHtBbGZoRCKbvHNZSyoOUJoosqZ084kqBfU06zSsORNC/cfwHPOWiGnV8CwMEA16kPKGvtOnl7YEwBfm6uBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T06:04:33.537871Z","bundle_sha256":"20f8f93b2cfc3a0370cbfa1ffada1c657ffd10144061924bd8ed9d0f1c6804e0"}}