{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:GS5ZUMQRDVTGYMA5EVMECU3QD2","short_pith_number":"pith:GS5ZUMQR","schema_version":"1.0","canonical_sha256":"34bb9a32111d666c301d25584153701e8d9f790bc68f9a7dddd65ad9373b1c5d","source":{"kind":"arxiv","id":"2607.09534","version":1},"attestation_state":"computed","paper":{"title":"Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.LO","authors_text":"Kathleen Barsse, Romain P\\'echoux, Simon Perdrix","submitted_at":"2026-07-10T15:38:33Z","abstract_excerpt":"Processes with indefinite causal orders (ICOs), such as the quantum switch, are higher-order quantum processes that superpose the order in which quantum operations are performed. Such coherent control yields computational advantages but is not faithfully captured by existing quantum programming languages: either they are restricted to the unitary case, and thus cannot combine ICOs with measurement, or they treat coherent control nonlinearly. In both cases, they do not realize the full computational power of ICOs. We introduce a higher-order quantum functional language that supports general qua"},"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":"2607.09534","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-10T15:38:33Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"4e097cd8727ae8b084125f3a33fb715839fdd1cf6ae5e099ce128d57fa74edd1","abstract_canon_sha256":"4afaeed7ff895ada57e74f4390fef80fe34d301765c26098b1d04e50e455bdd3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-13T01:20:17.170761Z","signature_b64":"JQa2//ovhWZ9Vya0GTrnjLBXMrEHrR7wh+maxo1IrS0dggC+/mRQjkh3gSN7tXdkeVJ/RBfTfNXmGpOcQXGKDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"34bb9a32111d666c301d25584153701e8d9f790bc68f9a7dddd65ad9373b1c5d","last_reissued_at":"2026-07-13T01:20:17.169572Z","signature_status":"signed_v1","first_computed_at":"2026-07-13T01:20:17.169572Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.LO","authors_text":"Kathleen Barsse, Romain P\\'echoux, Simon Perdrix","submitted_at":"2026-07-10T15:38:33Z","abstract_excerpt":"Processes with indefinite causal orders (ICOs), such as the quantum switch, are higher-order quantum processes that superpose the order in which quantum operations are performed. Such coherent control yields computational advantages but is not faithfully captured by existing quantum programming languages: either they are restricted to the unitary case, and thus cannot combine ICOs with measurement, or they treat coherent control nonlinearly. In both cases, they do not realize the full computational power of ICOs. We introduce a higher-order quantum functional language that supports general qua"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.09534","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/2607.09534/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":"2607.09534","created_at":"2026-07-13T01:20:17.170155+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.09534v1","created_at":"2026-07-13T01:20:17.170155+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.09534","created_at":"2026-07-13T01:20:17.170155+00:00"},{"alias_kind":"pith_short_12","alias_value":"GS5ZUMQRDVTG","created_at":"2026-07-13T01:20:17.170155+00:00"},{"alias_kind":"pith_short_16","alias_value":"GS5ZUMQRDVTGYMA5","created_at":"2026-07-13T01:20:17.170155+00:00"},{"alias_kind":"pith_short_8","alias_value":"GS5ZUMQR","created_at":"2026-07-13T01:20:17.170155+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/GS5ZUMQRDVTGYMA5EVMECU3QD2","json":"https://pith.science/pith/GS5ZUMQRDVTGYMA5EVMECU3QD2.json","graph_json":"https://pith.science/api/pith-number/GS5ZUMQRDVTGYMA5EVMECU3QD2/graph.json","events_json":"https://pith.science/api/pith-number/GS5ZUMQRDVTGYMA5EVMECU3QD2/events.json","paper":"https://pith.science/paper/GS5ZUMQR"},"agent_actions":{"view_html":"https://pith.science/pith/GS5ZUMQRDVTGYMA5EVMECU3QD2","download_json":"https://pith.science/pith/GS5ZUMQRDVTGYMA5EVMECU3QD2.json","view_paper":"https://pith.science/paper/GS5ZUMQR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.09534&json=true","fetch_graph":"https://pith.science/api/pith-number/GS5ZUMQRDVTGYMA5EVMECU3QD2/graph.json","fetch_events":"https://pith.science/api/pith-number/GS5ZUMQRDVTGYMA5EVMECU3QD2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GS5ZUMQRDVTGYMA5EVMECU3QD2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GS5ZUMQRDVTGYMA5EVMECU3QD2/action/storage_attestation","attest_author":"https://pith.science/pith/GS5ZUMQRDVTGYMA5EVMECU3QD2/action/author_attestation","sign_citation":"https://pith.science/pith/GS5ZUMQRDVTGYMA5EVMECU3QD2/action/citation_signature","submit_replication":"https://pith.science/pith/GS5ZUMQRDVTGYMA5EVMECU3QD2/action/replication_record"}},"created_at":"2026-07-13T01:20:17.170155+00:00","updated_at":"2026-07-13T01:20:17.170155+00:00"}