{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:67JJMIMV3YDTZHCMIJNX33F7BB","short_pith_number":"pith:67JJMIMV","canonical_record":{"source":{"id":"2509.08276","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-09-10T04:29:09Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"4539e4ec1414df85c81e2dbb287b47a5ea315efb4d5703befa5da34ae72f6900","abstract_canon_sha256":"a04ab195597ab68fe8c9b289a5f4bbced9f26534c5cc0c864f3d7a20efb2ee15"},"schema_version":"1.0"},"canonical_sha256":"f7d2962195de073c9c4c425b7decbf086a1beb9f3d504759841f44dd23a48856","source":{"kind":"arxiv","id":"2509.08276","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.08276","created_at":"2026-07-05T12:08:26Z"},{"alias_kind":"arxiv_version","alias_value":"2509.08276v1","created_at":"2026-07-05T12:08:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.08276","created_at":"2026-07-05T12:08:26Z"},{"alias_kind":"pith_short_12","alias_value":"67JJMIMV3YDT","created_at":"2026-07-05T12:08:26Z"},{"alias_kind":"pith_short_16","alias_value":"67JJMIMV3YDTZHCM","created_at":"2026-07-05T12:08:26Z"},{"alias_kind":"pith_short_8","alias_value":"67JJMIMV","created_at":"2026-07-05T12:08:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:67JJMIMV3YDTZHCMIJNX33F7BB","target":"record","payload":{"canonical_record":{"source":{"id":"2509.08276","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-09-10T04:29:09Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"4539e4ec1414df85c81e2dbb287b47a5ea315efb4d5703befa5da34ae72f6900","abstract_canon_sha256":"a04ab195597ab68fe8c9b289a5f4bbced9f26534c5cc0c864f3d7a20efb2ee15"},"schema_version":"1.0"},"canonical_sha256":"f7d2962195de073c9c4c425b7decbf086a1beb9f3d504759841f44dd23a48856","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:08:26.784462Z","signature_b64":"wCdrmZvfmdtgNytDtVSeE7fS5bKiMmpJdTcCylFf14uGGQc74ViwSH2JhU9TpWgCpqrx3f1WqapnN33nf0n0CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f7d2962195de073c9c4c425b7decbf086a1beb9f3d504759841f44dd23a48856","last_reissued_at":"2026-07-05T12:08:26.783968Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:08:26.783968Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.08276","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-05T12:08:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/QDf63xYTo2OTJh8T9L19EmT82JGfKxvBwwS3YNlqbxnKuMDOQob4JI9NuQ3IUMiEwx+NJcQvcL3B4WP7mfhAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T13:58:31.269787Z"},"content_sha256":"0fd75cf1a38a07d92912d61ed0cc10f87d580f217128ac337349a9ee13c2a084","schema_version":"1.0","event_id":"sha256:0fd75cf1a38a07d92912d61ed0cc10f87d580f217128ac337349a9ee13c2a084"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:67JJMIMV3YDTZHCMIJNX33F7BB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"quant-ph","authors_text":"Bin Cheng, Longxiang Yuan, Zhengfeng Ji, Ziyuan Wang","submitted_at":"2025-09-10T04:29:09Z","abstract_excerpt":"Applications of decision diagrams in quantum circuit analysis have been an active research area. Our work introduces FeynmanDD, a new method utilizing standard and multi-terminal decision diagrams for quantum circuit simulation and equivalence checking. Unlike previous approaches that exploit patterns in quantum states and operators, our method explores useful structures in the path integral formulation, essentially transforming the analysis into a counting problem. The method then employs efficient counting algorithms using decision diagrams as its underlying computational engine. Through com"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.08276","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/2509.08276/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-05T12:08:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WEHjUT3Jc4RJrU1Di9vD/V4+GLIGMnpwBmeO1D4VRvDbZX56mNDTu81oPpML+L7I6fv+YHjF3WZkgoxzYlabDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T13:58:31.270301Z"},"content_sha256":"32d8eb8990adad81943bbd2599ad830be609e77d60f5bc0cdc1f629b80d2e0e7","schema_version":"1.0","event_id":"sha256:32d8eb8990adad81943bbd2599ad830be609e77d60f5bc0cdc1f629b80d2e0e7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/67JJMIMV3YDTZHCMIJNX33F7BB/bundle.json","state_url":"https://pith.science/pith/67JJMIMV3YDTZHCMIJNX33F7BB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/67JJMIMV3YDTZHCMIJNX33F7BB/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-06T13:58:31Z","links":{"resolver":"https://pith.science/pith/67JJMIMV3YDTZHCMIJNX33F7BB","bundle":"https://pith.science/pith/67JJMIMV3YDTZHCMIJNX33F7BB/bundle.json","state":"https://pith.science/pith/67JJMIMV3YDTZHCMIJNX33F7BB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/67JJMIMV3YDTZHCMIJNX33F7BB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:67JJMIMV3YDTZHCMIJNX33F7BB","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":"a04ab195597ab68fe8c9b289a5f4bbced9f26534c5cc0c864f3d7a20efb2ee15","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-09-10T04:29:09Z","title_canon_sha256":"4539e4ec1414df85c81e2dbb287b47a5ea315efb4d5703befa5da34ae72f6900"},"schema_version":"1.0","source":{"id":"2509.08276","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.08276","created_at":"2026-07-05T12:08:26Z"},{"alias_kind":"arxiv_version","alias_value":"2509.08276v1","created_at":"2026-07-05T12:08:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.08276","created_at":"2026-07-05T12:08:26Z"},{"alias_kind":"pith_short_12","alias_value":"67JJMIMV3YDT","created_at":"2026-07-05T12:08:26Z"},{"alias_kind":"pith_short_16","alias_value":"67JJMIMV3YDTZHCM","created_at":"2026-07-05T12:08:26Z"},{"alias_kind":"pith_short_8","alias_value":"67JJMIMV","created_at":"2026-07-05T12:08:26Z"}],"graph_snapshots":[{"event_id":"sha256:32d8eb8990adad81943bbd2599ad830be609e77d60f5bc0cdc1f629b80d2e0e7","target":"graph","created_at":"2026-07-05T12:08:26Z","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.08276/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Applications of decision diagrams in quantum circuit analysis have been an active research area. Our work introduces FeynmanDD, a new method utilizing standard and multi-terminal decision diagrams for quantum circuit simulation and equivalence checking. Unlike previous approaches that exploit patterns in quantum states and operators, our method explores useful structures in the path integral formulation, essentially transforming the analysis into a counting problem. The method then employs efficient counting algorithms using decision diagrams as its underlying computational engine. Through com","authors_text":"Bin Cheng, Longxiang Yuan, Zhengfeng Ji, Ziyuan Wang","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-09-10T04:29:09Z","title":"FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.08276","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:0fd75cf1a38a07d92912d61ed0cc10f87d580f217128ac337349a9ee13c2a084","target":"record","created_at":"2026-07-05T12:08:26Z","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":"a04ab195597ab68fe8c9b289a5f4bbced9f26534c5cc0c864f3d7a20efb2ee15","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-09-10T04:29:09Z","title_canon_sha256":"4539e4ec1414df85c81e2dbb287b47a5ea315efb4d5703befa5da34ae72f6900"},"schema_version":"1.0","source":{"id":"2509.08276","kind":"arxiv","version":1}},"canonical_sha256":"f7d2962195de073c9c4c425b7decbf086a1beb9f3d504759841f44dd23a48856","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f7d2962195de073c9c4c425b7decbf086a1beb9f3d504759841f44dd23a48856","first_computed_at":"2026-07-05T12:08:26.783968Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:08:26.783968Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wCdrmZvfmdtgNytDtVSeE7fS5bKiMmpJdTcCylFf14uGGQc74ViwSH2JhU9TpWgCpqrx3f1WqapnN33nf0n0CQ==","signature_status":"signed_v1","signed_at":"2026-07-05T12:08:26.784462Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.08276","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0fd75cf1a38a07d92912d61ed0cc10f87d580f217128ac337349a9ee13c2a084","sha256:32d8eb8990adad81943bbd2599ad830be609e77d60f5bc0cdc1f629b80d2e0e7"],"state_sha256":"19a1c6bd4da860cd0b8d2e42513778ddf215e0831e881ed5fc98713b4d4f441c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ty3MKMnsfZzrX86QIvx2rMcIl49GkSjgayIXEDC7pQGz2X5lyBPePcTPLzSUKJl7tRJ6yksqDIDEuORX7pOGDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T13:58:31.275541Z","bundle_sha256":"eff39f84a6f32c94b4b06285f341a4149858335b57b8bef83d713cc7ef4c89ab"}}