{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:BY5QKYOOHW3AYS6STN2PJPMRUB","short_pith_number":"pith:BY5QKYOO","schema_version":"1.0","canonical_sha256":"0e3b0561ce3db60c4bd29b74f4bd91a073da8aca1163e4b2d458c3b3ff4f05b5","source":{"kind":"arxiv","id":"2405.15450","version":2},"attestation_state":"computed","paper":{"title":"Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.SE","authors_text":"Christoph Laaber, Noah H. Oldfield, Shaukat Ali, Tao Yue","submitted_at":"2024-05-24T11:26:18Z","abstract_excerpt":"Quantum computing promises polynomial and exponential speedups in many domains, such as unstructured search and prime number factoring. However, quantum programs yield probabilistic outputs from exponentially growing distributions and are vulnerable to quantum-specific faults. Existing quantum software testing (QST) approaches treat quantum superpositions as classical distributions. This leads to two major limitations when applied to quantum programs: (1) an exponentially growing sample space distribution and (2) failing to detect quantum-specific faults such as phase flips. To overcome these "},"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":"2405.15450","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-05-24T11:26:18Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"e985c26e0a122c48a90aa0ffa198f6a759e44cfd2d9576d74978c8534151800e","abstract_canon_sha256":"32780f9b9d9c92e3dba298387ab9e42c380145dc87da2539615593c527ecafe2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:27:01.003679Z","signature_b64":"7J8jLCuW6JenTPKSIXaffCj3Qp+ezTV/zV576sdnh84BD7uF9Cq4T8cH6ED3YyRngAsjuedSHdDLCkBB2/4pBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0e3b0561ce3db60c4bd29b74f4bd91a073da8aca1163e4b2d458c3b3ff4f05b5","last_reissued_at":"2026-07-05T09:27:01.003210Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:27:01.003210Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.SE","authors_text":"Christoph Laaber, Noah H. Oldfield, Shaukat Ali, Tao Yue","submitted_at":"2024-05-24T11:26:18Z","abstract_excerpt":"Quantum computing promises polynomial and exponential speedups in many domains, such as unstructured search and prime number factoring. However, quantum programs yield probabilistic outputs from exponentially growing distributions and are vulnerable to quantum-specific faults. Existing quantum software testing (QST) approaches treat quantum superpositions as classical distributions. This leads to two major limitations when applied to quantum programs: (1) an exponentially growing sample space distribution and (2) failing to detect quantum-specific faults such as phase flips. To overcome these "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.15450","kind":"arxiv","version":2},"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/2405.15450/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":"2405.15450","created_at":"2026-07-05T09:27:01.003265+00:00"},{"alias_kind":"arxiv_version","alias_value":"2405.15450v2","created_at":"2026-07-05T09:27:01.003265+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.15450","created_at":"2026-07-05T09:27:01.003265+00:00"},{"alias_kind":"pith_short_12","alias_value":"BY5QKYOOHW3A","created_at":"2026-07-05T09:27:01.003265+00:00"},{"alias_kind":"pith_short_16","alias_value":"BY5QKYOOHW3AYS6S","created_at":"2026-07-05T09:27:01.003265+00:00"},{"alias_kind":"pith_short_8","alias_value":"BY5QKYOO","created_at":"2026-07-05T09:27:01.003265+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/BY5QKYOOHW3AYS6STN2PJPMRUB","json":"https://pith.science/pith/BY5QKYOOHW3AYS6STN2PJPMRUB.json","graph_json":"https://pith.science/api/pith-number/BY5QKYOOHW3AYS6STN2PJPMRUB/graph.json","events_json":"https://pith.science/api/pith-number/BY5QKYOOHW3AYS6STN2PJPMRUB/events.json","paper":"https://pith.science/paper/BY5QKYOO"},"agent_actions":{"view_html":"https://pith.science/pith/BY5QKYOOHW3AYS6STN2PJPMRUB","download_json":"https://pith.science/pith/BY5QKYOOHW3AYS6STN2PJPMRUB.json","view_paper":"https://pith.science/paper/BY5QKYOO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2405.15450&json=true","fetch_graph":"https://pith.science/api/pith-number/BY5QKYOOHW3AYS6STN2PJPMRUB/graph.json","fetch_events":"https://pith.science/api/pith-number/BY5QKYOOHW3AYS6STN2PJPMRUB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BY5QKYOOHW3AYS6STN2PJPMRUB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BY5QKYOOHW3AYS6STN2PJPMRUB/action/storage_attestation","attest_author":"https://pith.science/pith/BY5QKYOOHW3AYS6STN2PJPMRUB/action/author_attestation","sign_citation":"https://pith.science/pith/BY5QKYOOHW3AYS6STN2PJPMRUB/action/citation_signature","submit_replication":"https://pith.science/pith/BY5QKYOOHW3AYS6STN2PJPMRUB/action/replication_record"}},"created_at":"2026-07-05T09:27:01.003265+00:00","updated_at":"2026-07-05T09:27:01.003265+00:00"}