{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:JI7NGIUY3RRW7UTOLGH4DTHTYA","short_pith_number":"pith:JI7NGIUY","schema_version":"1.0","canonical_sha256":"4a3ed32298dc636fd26e598fc1ccf3c00a9464843ddd5057e92374a993227150","source":{"kind":"arxiv","id":"2308.00440","version":1},"attestation_state":"computed","paper":{"title":"Decision Diagrams for Symbolic Verification of Quantum Circuits","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Chia-Shun Yeh, Mingsheng Ying, Min-Hsiu Hsieh, Sanjiang Li, Wei-Chen Chien, Wei-Jia Huang, Xin Hong, Yuan Feng","submitted_at":"2023-08-01T10:35:04Z","abstract_excerpt":"With the rapid development of quantum computing, automatic verification of quantum circuits becomes more and more important. While several decision diagrams (DDs) have been introduced in quantum circuit simulation and verification, none of them supports symbolic computation. Algorithmic manipulations of symbolic objects, however, have been identified as crucial, if not indispensable, for several verification tasks. This paper proposes the first decision-diagram approach for operating symbolic objects and verifying quantum circuits with symbolic terms. As a notable example, our symbolic tensor "},"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":"2308.00440","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-08-01T10:35:04Z","cross_cats_sorted":[],"title_canon_sha256":"ff0ed292178cef39d693d65bcdd7d49255fa2aa99b80e9824593e1faa74ebd6e","abstract_canon_sha256":"5cd9ab6ba24b9e9ce57d3a287db969d3fa0869966ad4aa582745d16a1dd5f0a0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:36:47.587655Z","signature_b64":"BUeWQSwilTVdCrPW6FUz/LtYtxuzN5r7rFT7He8S731yVln25YiMu7ocMM5wrFTTzZOFDyKRYDdi1zdRxdB0Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4a3ed32298dc636fd26e598fc1ccf3c00a9464843ddd5057e92374a993227150","last_reissued_at":"2026-07-05T06:36:47.587276Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:36:47.587276Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Decision Diagrams for Symbolic Verification of Quantum Circuits","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Chia-Shun Yeh, Mingsheng Ying, Min-Hsiu Hsieh, Sanjiang Li, Wei-Chen Chien, Wei-Jia Huang, Xin Hong, Yuan Feng","submitted_at":"2023-08-01T10:35:04Z","abstract_excerpt":"With the rapid development of quantum computing, automatic verification of quantum circuits becomes more and more important. While several decision diagrams (DDs) have been introduced in quantum circuit simulation and verification, none of them supports symbolic computation. Algorithmic manipulations of symbolic objects, however, have been identified as crucial, if not indispensable, for several verification tasks. This paper proposes the first decision-diagram approach for operating symbolic objects and verifying quantum circuits with symbolic terms. As a notable example, our symbolic tensor "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.00440","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/2308.00440/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":"2308.00440","created_at":"2026-07-05T06:36:47.587335+00:00"},{"alias_kind":"arxiv_version","alias_value":"2308.00440v1","created_at":"2026-07-05T06:36:47.587335+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.00440","created_at":"2026-07-05T06:36:47.587335+00:00"},{"alias_kind":"pith_short_12","alias_value":"JI7NGIUY3RRW","created_at":"2026-07-05T06:36:47.587335+00:00"},{"alias_kind":"pith_short_16","alias_value":"JI7NGIUY3RRW7UTO","created_at":"2026-07-05T06:36:47.587335+00:00"},{"alias_kind":"pith_short_8","alias_value":"JI7NGIUY","created_at":"2026-07-05T06:36:47.587335+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/JI7NGIUY3RRW7UTOLGH4DTHTYA","json":"https://pith.science/pith/JI7NGIUY3RRW7UTOLGH4DTHTYA.json","graph_json":"https://pith.science/api/pith-number/JI7NGIUY3RRW7UTOLGH4DTHTYA/graph.json","events_json":"https://pith.science/api/pith-number/JI7NGIUY3RRW7UTOLGH4DTHTYA/events.json","paper":"https://pith.science/paper/JI7NGIUY"},"agent_actions":{"view_html":"https://pith.science/pith/JI7NGIUY3RRW7UTOLGH4DTHTYA","download_json":"https://pith.science/pith/JI7NGIUY3RRW7UTOLGH4DTHTYA.json","view_paper":"https://pith.science/paper/JI7NGIUY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2308.00440&json=true","fetch_graph":"https://pith.science/api/pith-number/JI7NGIUY3RRW7UTOLGH4DTHTYA/graph.json","fetch_events":"https://pith.science/api/pith-number/JI7NGIUY3RRW7UTOLGH4DTHTYA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JI7NGIUY3RRW7UTOLGH4DTHTYA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JI7NGIUY3RRW7UTOLGH4DTHTYA/action/storage_attestation","attest_author":"https://pith.science/pith/JI7NGIUY3RRW7UTOLGH4DTHTYA/action/author_attestation","sign_citation":"https://pith.science/pith/JI7NGIUY3RRW7UTOLGH4DTHTYA/action/citation_signature","submit_replication":"https://pith.science/pith/JI7NGIUY3RRW7UTOLGH4DTHTYA/action/replication_record"}},"created_at":"2026-07-05T06:36:47.587335+00:00","updated_at":"2026-07-05T06:36:47.587335+00:00"}