{"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"}