{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:MWORSX27ARIPXBRGINMSX5DJKS","short_pith_number":"pith:MWORSX27","schema_version":"1.0","canonical_sha256":"659d195f5f0450fb862643592bf46954a08d58549f120280546a13933072161e","source":{"kind":"arxiv","id":"1811.07722","version":3},"attestation_state":"computed","paper":{"title":"Equivalence Checking of Sequential Quantum Circuits","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Mingsheng Ying, Qisheng Wang, Riling Li","submitted_at":"2018-11-16T06:22:45Z","abstract_excerpt":"We define a formal framework for equivalence checking of sequential quantum circuits. The model we adopt is a quantum state machine, which is a natural quantum generalisation of Mealy machines. A major difficulty in checking quantum circuits (but not present in checking classical circuits) is that the state spaces of quantum circuits are continuums. This difficulty is resolved by our main theorem showing that equivalence checking of two quantum Mealy machines can be done with input sequences that are taken from some chosen basis (which are finite) and have a length quadratic in the dimensions "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1811.07722","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2018-11-16T06:22:45Z","cross_cats_sorted":[],"title_canon_sha256":"fdbad61460ba77af6e5654b23de6f82db5ae606684a59e9ee9b43ab21ec03167","abstract_canon_sha256":"f5597fe6385292f4081b648a6615896858dec5613b4a488d482ac99c365219be"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:55:59.702895Z","signature_b64":"bkIo6m9mLu3yrNC4fA/hEriLy+gmPZyE7qLZfF1c4jE81NxXxmMdjVkqnTV5zb7vQPWgKZd1F7hOzDFewBpzDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"659d195f5f0450fb862643592bf46954a08d58549f120280546a13933072161e","last_reissued_at":"2026-07-05T04:55:59.702531Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:55:59.702531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Equivalence Checking of Sequential Quantum Circuits","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Mingsheng Ying, Qisheng Wang, Riling Li","submitted_at":"2018-11-16T06:22:45Z","abstract_excerpt":"We define a formal framework for equivalence checking of sequential quantum circuits. The model we adopt is a quantum state machine, which is a natural quantum generalisation of Mealy machines. A major difficulty in checking quantum circuits (but not present in checking classical circuits) is that the state spaces of quantum circuits are continuums. This difficulty is resolved by our main theorem showing that equivalence checking of two quantum Mealy machines can be done with input sequences that are taken from some chosen basis (which are finite) and have a length quadratic in the dimensions "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.07722","kind":"arxiv","version":3},"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/1811.07722/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1811.07722","created_at":"2026-07-05T04:55:59.702596+00:00"},{"alias_kind":"arxiv_version","alias_value":"1811.07722v3","created_at":"2026-07-05T04:55:59.702596+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.07722","created_at":"2026-07-05T04:55:59.702596+00:00"},{"alias_kind":"pith_short_12","alias_value":"MWORSX27ARIP","created_at":"2026-07-05T04:55:59.702596+00:00"},{"alias_kind":"pith_short_16","alias_value":"MWORSX27ARIPXBRG","created_at":"2026-07-05T04:55:59.702596+00:00"},{"alias_kind":"pith_short_8","alias_value":"MWORSX27","created_at":"2026-07-05T04:55:59.702596+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MWORSX27ARIPXBRGINMSX5DJKS","json":"https://pith.science/pith/MWORSX27ARIPXBRGINMSX5DJKS.json","graph_json":"https://pith.science/api/pith-number/MWORSX27ARIPXBRGINMSX5DJKS/graph.json","events_json":"https://pith.science/api/pith-number/MWORSX27ARIPXBRGINMSX5DJKS/events.json","paper":"https://pith.science/paper/MWORSX27"},"agent_actions":{"view_html":"https://pith.science/pith/MWORSX27ARIPXBRGINMSX5DJKS","download_json":"https://pith.science/pith/MWORSX27ARIPXBRGINMSX5DJKS.json","view_paper":"https://pith.science/paper/MWORSX27","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1811.07722&json=true","fetch_graph":"https://pith.science/api/pith-number/MWORSX27ARIPXBRGINMSX5DJKS/graph.json","fetch_events":"https://pith.science/api/pith-number/MWORSX27ARIPXBRGINMSX5DJKS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MWORSX27ARIPXBRGINMSX5DJKS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MWORSX27ARIPXBRGINMSX5DJKS/action/storage_attestation","attest_author":"https://pith.science/pith/MWORSX27ARIPXBRGINMSX5DJKS/action/author_attestation","sign_citation":"https://pith.science/pith/MWORSX27ARIPXBRGINMSX5DJKS/action/citation_signature","submit_replication":"https://pith.science/pith/MWORSX27ARIPXBRGINMSX5DJKS/action/replication_record"}},"created_at":"2026-07-05T04:55:59.702596+00:00","updated_at":"2026-07-05T04:55:59.702596+00:00"}