{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:BX4JVML6NEB7FWEIAXVJH22BRN","short_pith_number":"pith:BX4JVML6","schema_version":"1.0","canonical_sha256":"0df89ab17e6903f2d88805ea93eb418b6eed86d5f24926eeb9cd56c7fa44e740","source":{"kind":"arxiv","id":"1511.01567","version":1},"attestation_state":"computed","paper":{"title":"Quantum Alternation: Prospects and Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.PL","authors_text":"Costin B\\u{a}descu, Prakash Panangaden","submitted_at":"2015-11-05T01:41:34Z","abstract_excerpt":"We propose a notion of quantum control in a quantum programming language which permits the superposition of finitely many quantum operations without performing a measurement. This notion takes the form of a conditional construct similar to the IF statement in classical programming languages. We show that adding such a quantum IF statement to the QPL programming language simplifies the presentation of several quantum algorithms. This motivates the possibility of extending the denotational semantics of QPL to include this form of quantum alternation. We give a denotational semantics for this ext"},"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":"1511.01567","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-11-05T01:41:34Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"b9e848d7664bf76014add61a0946587babb41aa0c081e7c58db29bbf9659de91","abstract_canon_sha256":"339c881305754cecb79fab6b13c979ac81fb801c362332bf9504632787079ef5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:27:45.249548Z","signature_b64":"ySATr6MX3CtaQb+635exfClWAw1YDE6e9D9+/qxA7Vh+DrZQkdWa2UezUv6mp6MgZ5Mi4yXcqaQ2e1Q6ZDKcBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0df89ab17e6903f2d88805ea93eb418b6eed86d5f24926eeb9cd56c7fa44e740","last_reissued_at":"2026-05-18T01:27:45.249029Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:27:45.249029Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Quantum Alternation: Prospects and Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.PL","authors_text":"Costin B\\u{a}descu, Prakash Panangaden","submitted_at":"2015-11-05T01:41:34Z","abstract_excerpt":"We propose a notion of quantum control in a quantum programming language which permits the superposition of finitely many quantum operations without performing a measurement. This notion takes the form of a conditional construct similar to the IF statement in classical programming languages. We show that adding such a quantum IF statement to the QPL programming language simplifies the presentation of several quantum algorithms. This motivates the possibility of extending the denotational semantics of QPL to include this form of quantum alternation. We give a denotational semantics for this ext"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.01567","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":""},"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":"1511.01567","created_at":"2026-05-18T01:27:45.249110+00:00"},{"alias_kind":"arxiv_version","alias_value":"1511.01567v1","created_at":"2026-05-18T01:27:45.249110+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.01567","created_at":"2026-05-18T01:27:45.249110+00:00"},{"alias_kind":"pith_short_12","alias_value":"BX4JVML6NEB7","created_at":"2026-05-18T12:29:14.074870+00:00"},{"alias_kind":"pith_short_16","alias_value":"BX4JVML6NEB7FWEI","created_at":"2026-05-18T12:29:14.074870+00:00"},{"alias_kind":"pith_short_8","alias_value":"BX4JVML6","created_at":"2026-05-18T12:29:14.074870+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/BX4JVML6NEB7FWEIAXVJH22BRN","json":"https://pith.science/pith/BX4JVML6NEB7FWEIAXVJH22BRN.json","graph_json":"https://pith.science/api/pith-number/BX4JVML6NEB7FWEIAXVJH22BRN/graph.json","events_json":"https://pith.science/api/pith-number/BX4JVML6NEB7FWEIAXVJH22BRN/events.json","paper":"https://pith.science/paper/BX4JVML6"},"agent_actions":{"view_html":"https://pith.science/pith/BX4JVML6NEB7FWEIAXVJH22BRN","download_json":"https://pith.science/pith/BX4JVML6NEB7FWEIAXVJH22BRN.json","view_paper":"https://pith.science/paper/BX4JVML6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1511.01567&json=true","fetch_graph":"https://pith.science/api/pith-number/BX4JVML6NEB7FWEIAXVJH22BRN/graph.json","fetch_events":"https://pith.science/api/pith-number/BX4JVML6NEB7FWEIAXVJH22BRN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BX4JVML6NEB7FWEIAXVJH22BRN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BX4JVML6NEB7FWEIAXVJH22BRN/action/storage_attestation","attest_author":"https://pith.science/pith/BX4JVML6NEB7FWEIAXVJH22BRN/action/author_attestation","sign_citation":"https://pith.science/pith/BX4JVML6NEB7FWEIAXVJH22BRN/action/citation_signature","submit_replication":"https://pith.science/pith/BX4JVML6NEB7FWEIAXVJH22BRN/action/replication_record"}},"created_at":"2026-05-18T01:27:45.249110+00:00","updated_at":"2026-05-18T01:27:45.249110+00:00"}