{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:HGWOR7BCZ4BALGA5ZWNJM6BKKE","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":"e248a0349cc95c485804a3d47d5e0db458a608c62d233c76283bdc2738dbbcab","cross_cats_sorted":["cs.ET"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-10-14T18:00:00Z","title_canon_sha256":"29e2ee931f2c0550a89e319b5c7036c6c8f4e6920823a0bb913d160d3582bd9b"},"schema_version":"1.0","source":{"id":"2410.10946","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.10946","created_at":"2026-07-05T11:12:21Z"},{"alias_kind":"arxiv_version","alias_value":"2410.10946v2","created_at":"2026-07-05T11:12:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.10946","created_at":"2026-07-05T11:12:21Z"},{"alias_kind":"pith_short_12","alias_value":"HGWOR7BCZ4BA","created_at":"2026-07-05T11:12:21Z"},{"alias_kind":"pith_short_16","alias_value":"HGWOR7BCZ4BALGA5","created_at":"2026-07-05T11:12:21Z"},{"alias_kind":"pith_short_8","alias_value":"HGWOR7BC","created_at":"2026-07-05T11:12:21Z"}],"graph_snapshots":[{"event_id":"sha256:ec11dd78fc714a56c17252e5ffed2ffca4743d5c6e5f361306fbe878e5bddcf8","target":"graph","created_at":"2026-07-05T11:12:21Z","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/2410.10946/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As quantum computing advances, the complexity of quantum circuits is rapidly increasing, driving the need for robust methods to aid in their design. Equivalence checking plays a vital role in identifying errors that may arise during compilation and optimization of these circuits and is a critical step in quantum circuit verification. In this work, we introduce a novel method based on Matrix Product Operators (MPOs) for determining the equivalence of quantum circuits. Our approach contracts tensorized quantum gates from two circuits into an intermediary MPO, exploiting their reversibility to de","authors_text":"Aaron Sander, Lukas Burgholzer, Robert Wille","cross_cats":["cs.ET"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-10-14T18:00:00Z","title":"Equivalence checking of quantum circuits via intermediary matrix product operator"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.10946","kind":"arxiv","version":2},"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:f5d61e2f00a0f741129123a7c9454975bc6f4aeae48ead2a99b099926bb3c261","target":"record","created_at":"2026-07-05T11:12:21Z","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":"e248a0349cc95c485804a3d47d5e0db458a608c62d233c76283bdc2738dbbcab","cross_cats_sorted":["cs.ET"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-10-14T18:00:00Z","title_canon_sha256":"29e2ee931f2c0550a89e319b5c7036c6c8f4e6920823a0bb913d160d3582bd9b"},"schema_version":"1.0","source":{"id":"2410.10946","kind":"arxiv","version":2}},"canonical_sha256":"39ace8fc22cf0205981dcd9a96782a5112cf8e44bea1ea327cda2802fb331c33","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"39ace8fc22cf0205981dcd9a96782a5112cf8e44bea1ea327cda2802fb331c33","first_computed_at":"2026-07-05T11:12:21.296228Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:12:21.296228Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eAVcpTv1RxVmjRoaYWFWs5ZNesQ/b9vRw73zG89FzZ0MBUMbZTI5wsi5eriWSFV2ZLcURzeODOe5YAbeqM8SBw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:12:21.296758Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.10946","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f5d61e2f00a0f741129123a7c9454975bc6f4aeae48ead2a99b099926bb3c261","sha256:ec11dd78fc714a56c17252e5ffed2ffca4743d5c6e5f361306fbe878e5bddcf8"],"state_sha256":"174dc4857069b55ce96217bfba14da41536e450955cf7a6e6f7f6c9f6e88ba26"}