{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:IYJXQH6HVLLT34ETGTH6O4ALCE","short_pith_number":"pith:IYJXQH6H","schema_version":"1.0","canonical_sha256":"4613781fc7aad73df09334cfe7700b1111028b6108982dc59ee5ce6224a75121","source":{"kind":"arxiv","id":"1811.03585","version":2},"attestation_state":"computed","paper":{"title":"Quantitative Robustness Analysis of Quantum Programs (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.PL","authors_text":"Kesha Hietala, Michael Hicks, Mingsheng Ying, Shaopeng Zhu, Shih-Han Hung, Xiaodi Wu","submitted_at":"2018-11-08T18:12:45Z","abstract_excerpt":"Quantum computation is a topic of significant recent interest, with practical advances coming from both research and industry. A major challenge in quantum programming is dealing with errors (quantum noise) during execution. Because quantum resources (e.g., qubits) are scarce, classical error correction techniques applied at the level of the architecture are currently cost-prohibitive. But while this reality means that quantum programs are almost certain to have errors, there as yet exists no principled means to reason about erroneous behavior. This paper attempts to fill this gap by developin"},"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.03585","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-11-08T18:12:45Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"290849940aef44840fa1143cdb36b0701deec177bb48e89b0b920b5cdde029b6","abstract_canon_sha256":"78cbf32569006b23b402f1df0944421eb1f228307688b9587cc4995bd1208d21"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:59:22.068583Z","signature_b64":"gAuPaMB1pzYxAoPqmXCzEh4hr12+fbMN9XmYJNEMun2uU4dwzEz+KlzTh3d9g5lJeLTikKF1DI8ifk5WsGytDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4613781fc7aad73df09334cfe7700b1111028b6108982dc59ee5ce6224a75121","last_reissued_at":"2026-05-17T23:59:22.068189Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:59:22.068189Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Quantitative Robustness Analysis of Quantum Programs (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.PL","authors_text":"Kesha Hietala, Michael Hicks, Mingsheng Ying, Shaopeng Zhu, Shih-Han Hung, Xiaodi Wu","submitted_at":"2018-11-08T18:12:45Z","abstract_excerpt":"Quantum computation is a topic of significant recent interest, with practical advances coming from both research and industry. A major challenge in quantum programming is dealing with errors (quantum noise) during execution. Because quantum resources (e.g., qubits) are scarce, classical error correction techniques applied at the level of the architecture are currently cost-prohibitive. But while this reality means that quantum programs are almost certain to have errors, there as yet exists no principled means to reason about erroneous behavior. This paper attempts to fill this gap by developin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.03585","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":""},"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.03585","created_at":"2026-05-17T23:59:22.068247+00:00"},{"alias_kind":"arxiv_version","alias_value":"1811.03585v2","created_at":"2026-05-17T23:59:22.068247+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.03585","created_at":"2026-05-17T23:59:22.068247+00:00"},{"alias_kind":"pith_short_12","alias_value":"IYJXQH6HVLLT","created_at":"2026-05-18T12:32:31.084164+00:00"},{"alias_kind":"pith_short_16","alias_value":"IYJXQH6HVLLT34ET","created_at":"2026-05-18T12:32:31.084164+00:00"},{"alias_kind":"pith_short_8","alias_value":"IYJXQH6H","created_at":"2026-05-18T12:32:31.084164+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/IYJXQH6HVLLT34ETGTH6O4ALCE","json":"https://pith.science/pith/IYJXQH6HVLLT34ETGTH6O4ALCE.json","graph_json":"https://pith.science/api/pith-number/IYJXQH6HVLLT34ETGTH6O4ALCE/graph.json","events_json":"https://pith.science/api/pith-number/IYJXQH6HVLLT34ETGTH6O4ALCE/events.json","paper":"https://pith.science/paper/IYJXQH6H"},"agent_actions":{"view_html":"https://pith.science/pith/IYJXQH6HVLLT34ETGTH6O4ALCE","download_json":"https://pith.science/pith/IYJXQH6HVLLT34ETGTH6O4ALCE.json","view_paper":"https://pith.science/paper/IYJXQH6H","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1811.03585&json=true","fetch_graph":"https://pith.science/api/pith-number/IYJXQH6HVLLT34ETGTH6O4ALCE/graph.json","fetch_events":"https://pith.science/api/pith-number/IYJXQH6HVLLT34ETGTH6O4ALCE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IYJXQH6HVLLT34ETGTH6O4ALCE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IYJXQH6HVLLT34ETGTH6O4ALCE/action/storage_attestation","attest_author":"https://pith.science/pith/IYJXQH6HVLLT34ETGTH6O4ALCE/action/author_attestation","sign_citation":"https://pith.science/pith/IYJXQH6HVLLT34ETGTH6O4ALCE/action/citation_signature","submit_replication":"https://pith.science/pith/IYJXQH6HVLLT34ETGTH6O4ALCE/action/replication_record"}},"created_at":"2026-05-17T23:59:22.068247+00:00","updated_at":"2026-05-17T23:59:22.068247+00:00"}