{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FHFU7I757JJ5WBJB3QMCNO6E5V","short_pith_number":"pith:FHFU7I75","canonical_record":{"source":{"id":"2503.04146","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2025-03-06T06:49:49Z","cross_cats_sorted":["cs.ET","quant-ph"],"title_canon_sha256":"fdd6c1402f1e730df8272a4e43f22167db21d48248562adf65bd16ddee23a8f1","abstract_canon_sha256":"2945bf46f7aa28b717195333a076cadcd195c87fc3d6efaebbc8c3808d8e7e8d"},"schema_version":"1.0"},"canonical_sha256":"29cb4fa3fdfa53db0521dc1826bbc4ed6165e83b96cb30b2544ec453b373fc28","source":{"kind":"arxiv","id":"2503.04146","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.04146","created_at":"2026-07-05T10:25:29Z"},{"alias_kind":"arxiv_version","alias_value":"2503.04146v1","created_at":"2026-07-05T10:25:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.04146","created_at":"2026-07-05T10:25:29Z"},{"alias_kind":"pith_short_12","alias_value":"FHFU7I757JJ5","created_at":"2026-07-05T10:25:29Z"},{"alias_kind":"pith_short_16","alias_value":"FHFU7I757JJ5WBJB","created_at":"2026-07-05T10:25:29Z"},{"alias_kind":"pith_short_8","alias_value":"FHFU7I75","created_at":"2026-07-05T10:25:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FHFU7I757JJ5WBJB3QMCNO6E5V","target":"record","payload":{"canonical_record":{"source":{"id":"2503.04146","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2025-03-06T06:49:49Z","cross_cats_sorted":["cs.ET","quant-ph"],"title_canon_sha256":"fdd6c1402f1e730df8272a4e43f22167db21d48248562adf65bd16ddee23a8f1","abstract_canon_sha256":"2945bf46f7aa28b717195333a076cadcd195c87fc3d6efaebbc8c3808d8e7e8d"},"schema_version":"1.0"},"canonical_sha256":"29cb4fa3fdfa53db0521dc1826bbc4ed6165e83b96cb30b2544ec453b373fc28","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:25:29.871738Z","signature_b64":"ydHGQuaYLF2D8kIYjt1JzaCGJFS0pXB12nLIpLT7txhWXPL3nJ4XAWCEuYrFFPJuNmvGuj+3CyfPoFUZNIE2Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"29cb4fa3fdfa53db0521dc1826bbc4ed6165e83b96cb30b2544ec453b373fc28","last_reissued_at":"2026-07-05T10:25:29.870622Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:25:29.870622Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.04146","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-05T10:25:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QW4bmx0oYNdOyPwJkRVRUudbR8aAlx4PlgAGYW0idWjHdtYDI5CQqabtZ4bg0CNwxE6pobdk/SmVhI7zedrjDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T03:26:13.127605Z"},"content_sha256":"02dfb1f5d2a1f5f11173d4a80900d9386266664ffde0fcc6b835907b256d90b0","schema_version":"1.0","event_id":"sha256:02dfb1f5d2a1f5f11173d4a80900d9386266664ffde0fcc6b835907b256d90b0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FHFU7I757JJ5WBJB3QMCNO6E5V","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Image Computation for Quantum Transition Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.ET","quant-ph"],"primary_cat":"cs.DS","authors_text":"Dingchao Gao, Mingsheng Ying, Sanjiang Li, Shenggang Ying, Xin Hong","submitted_at":"2025-03-06T06:49:49Z","abstract_excerpt":"With the rapid progress in quantum hardware and software, the need for verification of quantum systems becomes increasingly crucial. While model checking is a dominant and very successful technique for verifying classical systems, its application to quantum systems is still an underdeveloped research area. This paper advances the development of model checking quantum systems by providing efficient image computation algorithms for quantum transition systems, which play a fundamental role in model checking. In our approach, we represent quantum circuits as tensor networks and design algorithms b"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.04146","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/2503.04146/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-05T10:25:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CwqHHGCI/cwRkZI3Bo5R4BlnzWabXs4m+lepPBBGU5HAwjj5g6k93rPoFOmHL75OEc7HlVO+5oj1VFVqEdtKBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T03:26:13.128411Z"},"content_sha256":"4e25e6900d09f231a4181eda9d1c4dc64590f8734ef794df9efcb1bd3e3dc251","schema_version":"1.0","event_id":"sha256:4e25e6900d09f231a4181eda9d1c4dc64590f8734ef794df9efcb1bd3e3dc251"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FHFU7I757JJ5WBJB3QMCNO6E5V/bundle.json","state_url":"https://pith.science/pith/FHFU7I757JJ5WBJB3QMCNO6E5V/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FHFU7I757JJ5WBJB3QMCNO6E5V/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-05T03:26:13Z","links":{"resolver":"https://pith.science/pith/FHFU7I757JJ5WBJB3QMCNO6E5V","bundle":"https://pith.science/pith/FHFU7I757JJ5WBJB3QMCNO6E5V/bundle.json","state":"https://pith.science/pith/FHFU7I757JJ5WBJB3QMCNO6E5V/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FHFU7I757JJ5WBJB3QMCNO6E5V/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FHFU7I757JJ5WBJB3QMCNO6E5V","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":"2945bf46f7aa28b717195333a076cadcd195c87fc3d6efaebbc8c3808d8e7e8d","cross_cats_sorted":["cs.ET","quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2025-03-06T06:49:49Z","title_canon_sha256":"fdd6c1402f1e730df8272a4e43f22167db21d48248562adf65bd16ddee23a8f1"},"schema_version":"1.0","source":{"id":"2503.04146","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.04146","created_at":"2026-07-05T10:25:29Z"},{"alias_kind":"arxiv_version","alias_value":"2503.04146v1","created_at":"2026-07-05T10:25:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.04146","created_at":"2026-07-05T10:25:29Z"},{"alias_kind":"pith_short_12","alias_value":"FHFU7I757JJ5","created_at":"2026-07-05T10:25:29Z"},{"alias_kind":"pith_short_16","alias_value":"FHFU7I757JJ5WBJB","created_at":"2026-07-05T10:25:29Z"},{"alias_kind":"pith_short_8","alias_value":"FHFU7I75","created_at":"2026-07-05T10:25:29Z"}],"graph_snapshots":[{"event_id":"sha256:4e25e6900d09f231a4181eda9d1c4dc64590f8734ef794df9efcb1bd3e3dc251","target":"graph","created_at":"2026-07-05T10:25:29Z","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/2503.04146/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"With the rapid progress in quantum hardware and software, the need for verification of quantum systems becomes increasingly crucial. While model checking is a dominant and very successful technique for verifying classical systems, its application to quantum systems is still an underdeveloped research area. This paper advances the development of model checking quantum systems by providing efficient image computation algorithms for quantum transition systems, which play a fundamental role in model checking. In our approach, we represent quantum circuits as tensor networks and design algorithms b","authors_text":"Dingchao Gao, Mingsheng Ying, Sanjiang Li, Shenggang Ying, Xin Hong","cross_cats":["cs.ET","quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2025-03-06T06:49:49Z","title":"Image Computation for Quantum Transition Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.04146","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:02dfb1f5d2a1f5f11173d4a80900d9386266664ffde0fcc6b835907b256d90b0","target":"record","created_at":"2026-07-05T10:25:29Z","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":"2945bf46f7aa28b717195333a076cadcd195c87fc3d6efaebbc8c3808d8e7e8d","cross_cats_sorted":["cs.ET","quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2025-03-06T06:49:49Z","title_canon_sha256":"fdd6c1402f1e730df8272a4e43f22167db21d48248562adf65bd16ddee23a8f1"},"schema_version":"1.0","source":{"id":"2503.04146","kind":"arxiv","version":1}},"canonical_sha256":"29cb4fa3fdfa53db0521dc1826bbc4ed6165e83b96cb30b2544ec453b373fc28","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"29cb4fa3fdfa53db0521dc1826bbc4ed6165e83b96cb30b2544ec453b373fc28","first_computed_at":"2026-07-05T10:25:29.870622Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:25:29.870622Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ydHGQuaYLF2D8kIYjt1JzaCGJFS0pXB12nLIpLT7txhWXPL3nJ4XAWCEuYrFFPJuNmvGuj+3CyfPoFUZNIE2Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:25:29.871738Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.04146","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:02dfb1f5d2a1f5f11173d4a80900d9386266664ffde0fcc6b835907b256d90b0","sha256:4e25e6900d09f231a4181eda9d1c4dc64590f8734ef794df9efcb1bd3e3dc251"],"state_sha256":"2328621be89f7eaeec48a8d97712a07d4c270fcec3a0ed15794d68799a412f95"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NxOcaq+qr1hySlsfoYYeHw/gMX/MXzz704mJpsbINan64bx8GCgV5wqi/s5IWWmCGh2bRSHJXo4kqLhYJ+28CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T03:26:13.133939Z","bundle_sha256":"4f5c3c40bd2ff18f3e27f89480f4da1491d4e83c9e244a433573cc84ea22cb5d"}}