{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:SAMWNTHIHNOJSWYFKC4UXPTBFC","short_pith_number":"pith:SAMWNTHI","canonical_record":{"source":{"id":"2508.02673","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CE","submitted_at":"2025-06-20T09:38:04Z","cross_cats_sorted":["cs.NA","math.NA","quant-ph"],"title_canon_sha256":"427caefd191a61050c2fe967192769e89193d8c8be2d035671802d9a54663b15","abstract_canon_sha256":"454e76ae23db1294930f48c805b4f4956aae2c0d1ab1989ac1dd2b3e390a59bd"},"schema_version":"1.0"},"canonical_sha256":"901966cce83b5c995b0550b94bbe6128a29aaa12b653d637eeb814326d17e139","source":{"kind":"arxiv","id":"2508.02673","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.02673","created_at":"2026-07-05T11:48:28Z"},{"alias_kind":"arxiv_version","alias_value":"2508.02673v1","created_at":"2026-07-05T11:48:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.02673","created_at":"2026-07-05T11:48:28Z"},{"alias_kind":"pith_short_12","alias_value":"SAMWNTHIHNOJ","created_at":"2026-07-05T11:48:28Z"},{"alias_kind":"pith_short_16","alias_value":"SAMWNTHIHNOJSWYF","created_at":"2026-07-05T11:48:28Z"},{"alias_kind":"pith_short_8","alias_value":"SAMWNTHI","created_at":"2026-07-05T11:48:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:SAMWNTHIHNOJSWYFKC4UXPTBFC","target":"record","payload":{"canonical_record":{"source":{"id":"2508.02673","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CE","submitted_at":"2025-06-20T09:38:04Z","cross_cats_sorted":["cs.NA","math.NA","quant-ph"],"title_canon_sha256":"427caefd191a61050c2fe967192769e89193d8c8be2d035671802d9a54663b15","abstract_canon_sha256":"454e76ae23db1294930f48c805b4f4956aae2c0d1ab1989ac1dd2b3e390a59bd"},"schema_version":"1.0"},"canonical_sha256":"901966cce83b5c995b0550b94bbe6128a29aaa12b653d637eeb814326d17e139","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:48:28.828806Z","signature_b64":"PbmfBwFIXqxOO8sXAMpykEpD+XS4tlxkRMpfUZGDpZopwdJDjWqNgshpFFUOzFhdGlFxZLabcGUadS1zNw8xDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"901966cce83b5c995b0550b94bbe6128a29aaa12b653d637eeb814326d17e139","last_reissued_at":"2026-07-05T11:48:28.828313Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:48:28.828313Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.02673","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-05T11:48:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0vHqDtD1HsVW91DD18Nde3v+mQ7TfOCVaUSaouH+nnaOowgb/8le41cZrgKMI94/pSkeAPAFr7j7s7MttVIhDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T19:36:51.228568Z"},"content_sha256":"f97fa18b61a5e45d06c56f193ae3061635d60d105e68c640379d1be98307c780","schema_version":"1.0","event_id":"sha256:f97fa18b61a5e45d06c56f193ae3061635d60d105e68c640379d1be98307c780"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:SAMWNTHIHNOJSWYFKC4UXPTBFC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Numerical Errors in Quantitative System Analysis With Decision Diagrams","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.NA","math.NA","quant-ph"],"primary_cat":"cs.CE","authors_text":"Alfons Laarman, Arend-Jan Quist, Richard M.K. van Dijk, Sebastiaan Brand","submitted_at":"2025-06-20T09:38:04Z","abstract_excerpt":"Decision diagrams (DDs) are a powerful data structure that is used to tackle the state-space explosion problem, not only for discrete systems, but for probabilistic and quantum systems as well. While many of the DDs used in the probabilistic and quantum domains make use of floating-point numbers, this is not without challenges. Floating-point computations are subject to small rounding errors, which can affect both the correctness of the result and the effectiveness of the DD's compression. In this paper, we investigate the numerical stability, i.e. the robustness of an algorithm to small numer"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.02673","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/2508.02673/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-05T11:48:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"np0xcw8sq9JT9CsdZO5NFAH44JvsaFEHdX0wUuo49UBpAKIt8HxKi63mNz7LwXEr28PkMUz9jRmX5bVpNhgJAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T19:36:51.228956Z"},"content_sha256":"2ec2947790ae3d6867ac1679d18b90aa20eaf05c5f1baf10bf6107d2d440758a","schema_version":"1.0","event_id":"sha256:2ec2947790ae3d6867ac1679d18b90aa20eaf05c5f1baf10bf6107d2d440758a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SAMWNTHIHNOJSWYFKC4UXPTBFC/bundle.json","state_url":"https://pith.science/pith/SAMWNTHIHNOJSWYFKC4UXPTBFC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SAMWNTHIHNOJSWYFKC4UXPTBFC/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-07-08T19:36:51Z","links":{"resolver":"https://pith.science/pith/SAMWNTHIHNOJSWYFKC4UXPTBFC","bundle":"https://pith.science/pith/SAMWNTHIHNOJSWYFKC4UXPTBFC/bundle.json","state":"https://pith.science/pith/SAMWNTHIHNOJSWYFKC4UXPTBFC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SAMWNTHIHNOJSWYFKC4UXPTBFC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:SAMWNTHIHNOJSWYFKC4UXPTBFC","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":"454e76ae23db1294930f48c805b4f4956aae2c0d1ab1989ac1dd2b3e390a59bd","cross_cats_sorted":["cs.NA","math.NA","quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CE","submitted_at":"2025-06-20T09:38:04Z","title_canon_sha256":"427caefd191a61050c2fe967192769e89193d8c8be2d035671802d9a54663b15"},"schema_version":"1.0","source":{"id":"2508.02673","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.02673","created_at":"2026-07-05T11:48:28Z"},{"alias_kind":"arxiv_version","alias_value":"2508.02673v1","created_at":"2026-07-05T11:48:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.02673","created_at":"2026-07-05T11:48:28Z"},{"alias_kind":"pith_short_12","alias_value":"SAMWNTHIHNOJ","created_at":"2026-07-05T11:48:28Z"},{"alias_kind":"pith_short_16","alias_value":"SAMWNTHIHNOJSWYF","created_at":"2026-07-05T11:48:28Z"},{"alias_kind":"pith_short_8","alias_value":"SAMWNTHI","created_at":"2026-07-05T11:48:28Z"}],"graph_snapshots":[{"event_id":"sha256:2ec2947790ae3d6867ac1679d18b90aa20eaf05c5f1baf10bf6107d2d440758a","target":"graph","created_at":"2026-07-05T11:48:28Z","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/2508.02673/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Decision diagrams (DDs) are a powerful data structure that is used to tackle the state-space explosion problem, not only for discrete systems, but for probabilistic and quantum systems as well. While many of the DDs used in the probabilistic and quantum domains make use of floating-point numbers, this is not without challenges. Floating-point computations are subject to small rounding errors, which can affect both the correctness of the result and the effectiveness of the DD's compression. In this paper, we investigate the numerical stability, i.e. the robustness of an algorithm to small numer","authors_text":"Alfons Laarman, Arend-Jan Quist, Richard M.K. van Dijk, Sebastiaan Brand","cross_cats":["cs.NA","math.NA","quant-ph"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CE","submitted_at":"2025-06-20T09:38:04Z","title":"Numerical Errors in Quantitative System Analysis With Decision Diagrams"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.02673","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:f97fa18b61a5e45d06c56f193ae3061635d60d105e68c640379d1be98307c780","target":"record","created_at":"2026-07-05T11:48:28Z","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":"454e76ae23db1294930f48c805b4f4956aae2c0d1ab1989ac1dd2b3e390a59bd","cross_cats_sorted":["cs.NA","math.NA","quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CE","submitted_at":"2025-06-20T09:38:04Z","title_canon_sha256":"427caefd191a61050c2fe967192769e89193d8c8be2d035671802d9a54663b15"},"schema_version":"1.0","source":{"id":"2508.02673","kind":"arxiv","version":1}},"canonical_sha256":"901966cce83b5c995b0550b94bbe6128a29aaa12b653d637eeb814326d17e139","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"901966cce83b5c995b0550b94bbe6128a29aaa12b653d637eeb814326d17e139","first_computed_at":"2026-07-05T11:48:28.828313Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:48:28.828313Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PbmfBwFIXqxOO8sXAMpykEpD+XS4tlxkRMpfUZGDpZopwdJDjWqNgshpFFUOzFhdGlFxZLabcGUadS1zNw8xDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:48:28.828806Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.02673","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f97fa18b61a5e45d06c56f193ae3061635d60d105e68c640379d1be98307c780","sha256:2ec2947790ae3d6867ac1679d18b90aa20eaf05c5f1baf10bf6107d2d440758a"],"state_sha256":"cf9ef71b34a2582057d25e815f5ef02b530dff2671f4bbc3db37bb4a79fbd52c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bwWyCgM0PwsZ9lykWvGhjm1AQbxzjfeb9jSHvTE8VNzOsoDVgwCYO13n5sEw2jgGR8uMqxwlO5T84xhtvfPGDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T19:36:51.230989Z","bundle_sha256":"c0cb846ca64fd1f3a872132f746b9bafdf417b0f2fba88b4e8d3830345c402b5"}}