{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:GS5ZUMQRDVTGYMA5EVMECU3QD2","short_pith_number":"pith:GS5ZUMQR","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"},"canonical_sha256":"34bb9a32111d666c301d25584153701e8d9f790bc68f9a7dddd65ad9373b1c5d","source":{"kind":"arxiv","id":"2607.09534","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.09534","created_at":"2026-07-13T01:20:17Z"},{"alias_kind":"arxiv_version","alias_value":"2607.09534v1","created_at":"2026-07-13T01:20:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.09534","created_at":"2026-07-13T01:20:17Z"},{"alias_kind":"pith_short_12","alias_value":"GS5ZUMQRDVTG","created_at":"2026-07-13T01:20:17Z"},{"alias_kind":"pith_short_16","alias_value":"GS5ZUMQRDVTGYMA5","created_at":"2026-07-13T01:20:17Z"},{"alias_kind":"pith_short_8","alias_value":"GS5ZUMQR","created_at":"2026-07-13T01:20:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:GS5ZUMQRDVTGYMA5EVMECU3QD2","target":"record","payload":{"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"},"canonical_sha256":"34bb9a32111d666c301d25584153701e8d9f790bc68f9a7dddd65ad9373b1c5d","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"},"source_kind":"arxiv","source_id":"2607.09534","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-13T01:20:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QOM7KhEgZzgM0+yL0lW0cOAHl9NT6atcF/af66LHQXneZIPgAJwesZh2rXeOQfwswTgoGXQm6hjUuGh5pseMAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T13:02:41.127845Z"},"content_sha256":"bab00bad9b57eabc94ef334ebe38ad21a6226d9416be793ba37bfd5de9ee91c1","schema_version":"1.0","event_id":"sha256:bab00bad9b57eabc94ef334ebe38ad21a6226d9416be793ba37bfd5de9ee91c1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:GS5ZUMQRDVTGYMA5EVMECU3QD2","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-13T01:20:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WXCVc8MNRIdIsS29AdTRNg/+528KRAdQ9zy6JiPEbqluq/RvPD5MOi9RqB2u7ENLRjWo+eYuHGlD78WxiKgqBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T13:02:41.129462Z"},"content_sha256":"7147548e9279029aa763325aec847e9134c0aacbf760eb00e2d349d08249eed7","schema_version":"1.0","event_id":"sha256:7147548e9279029aa763325aec847e9134c0aacbf760eb00e2d349d08249eed7"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:GS5ZUMQRDVTGYMA5EVMECU3QD2","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1137/S0097539703432165.Augustin) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"“A Lambda Calculus for Quantum Computation. ”SIAM J. Comput., 33, 5, 1109–1135. doi:10.1137/S0 097539703432165. Augustin Vanrietvelde, Nick Ormrod, Hlér Kristjánsson, and Jonathan Barrett. Dec","arxiv_id":"2607.09534","detector":"doi_compliance","evidence":{"ref_index":42,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"“A Lambda Calculus for Quantum Computation. ”SIAM J. Comput., 33, 5, 1109–1135. doi:10.1137/S0 097539703432165. Augustin Vanrietvelde, Nick Ormrod, Hlér Kristjánsson, and Jonathan Barrett. Dec","reconstructed_doi":"10.1137/S0097539703432165.Augustin"},"severity":"advisory","ref_index":42,"audited_at":"2026-07-13T02:22:48.370581Z","event_type":"pith.integrity.v1","detected_doi":"10.1137/S0097539703432165.Augustin","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"80195fbde998188ca9f27642b1239058b930af731c3dd49ef12113b7f6164220","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":12817,"payload_sha256":"e7738d9755b094928c949e56028b8bd64ebe40db2e8bd5e3f0416d13aa5d9416","signature_b64":"PriITrB9iv9iwDsui6TfpMXkxgEA3l2cdUDOcIahUlIQLmhuhtheI9DlXpeHOb1NvkJ/A3vZv2T6OMxk9EXuDg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-13T02:23:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K8tgQ+sdteBdwjPKN1GEV8ayR4YDr9nQAW2lnzK8Rl31aIr0EE04X4yUvJ0SciYBgOF5cU2ntSOzgDLqNGjlCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T13:02:41.221481Z"},"content_sha256":"3844fe96a5e0ffa24c5788adc677e6d8b6d0856a69ed0acaa859dcfe0f59adfb","schema_version":"1.0","event_id":"sha256:3844fe96a5e0ffa24c5788adc677e6d8b6d0856a69ed0acaa859dcfe0f59adfb"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:GS5ZUMQRDVTGYMA5EVMECU3QD2","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-319-89366-2_19.Peter) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"“From Symmetric Pattern-Matching to Quantum Control. ” In: Proceedings of the 21st International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2018(Lecture Notes in Computer Science). Ed. by Christel Baie","arxiv_id":"2607.09534","detector":"doi_compliance","evidence":{"ref_index":36,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"“From Symmetric Pattern-Matching to Quantum Control. ” In: Proceedings of the 21st International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2018(Lecture Notes in Computer Science). Ed. by Christel Baie","reconstructed_doi":"10.1007/978-3-319-89366-2_19.Peter"},"severity":"advisory","ref_index":36,"audited_at":"2026-07-13T02:22:48.370581Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-319-89366-2_19.Peter","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"ad7e6dc1314ab52a478e09a36ee6014c2ccc84a775282000bf1071e3f8edfc45","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":12816,"payload_sha256":"7dc02da344638a0b2bfde6404b8a66165569355c3d6f7094124cc55164eae1c8","signature_b64":"nBA73ITgkWGAQSlt+oYx5orRwZzM/iuR/13V2sPw2Horw+8b+w1n2vGE4JqSARZVNxRtiZfifYrpx1G481XnBg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-13T02:23:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7j0zSbQ2+1NP23Y0Ky3DjxfxFR/P+xTejMOpITNPfb6QMfBWCOWVV1EI2GNvU6npzmxSL/LbOuK4CuYML8FSDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T13:02:41.222164Z"},"content_sha256":"6e462cb7397ca823c4fef1ff2b6d5dde458c76ac2d4b7792b00104cb8e4ff696","schema_version":"1.0","event_id":"sha256:6e462cb7397ca823c4fef1ff2b6d5dde458c76ac2d4b7792b00104cb8e4ff696"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:GS5ZUMQRDVTGYMA5EVMECU3QD2","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.22331/q-2026-05-05-2090.28) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"doi:10.22331/q- 2026-05-05-2090. 28 Kathleen Barsse, Romain Péchoux, and Simon Perdrix G.M. Kelly and M.L. Laplaza","arxiv_id":"2607.09534","detector":"doi_compliance","evidence":{"ref_index":29,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"doi:10.22331/q- 2026-05-05-2090. 28 Kathleen Barsse, Romain Péchoux, and Simon Perdrix G.M. Kelly and M.L. Laplaza","reconstructed_doi":"10.22331/q-2026-05-05-2090.28"},"severity":"advisory","ref_index":29,"audited_at":"2026-07-13T02:22:48.370581Z","event_type":"pith.integrity.v1","detected_doi":"10.22331/q-2026-05-05-2090.28","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"870dd06969a0cc6a9f1c1bd67835378779b4f0773c58dd2df19016d8416a318d","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":12815,"payload_sha256":"9ae06bcf7b8280cb3a20fc27a2acf4903a70b56d09359b868beea91bee1e7732","signature_b64":"tfADydbRPPhLVC7ha1RD9HCPx4/HhWWJcqrWL1LPdZ038pudkrzhi5V9wpv5c+CHVLS0qQZnxyXYvOj2lRNIAA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-13T02:23:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VU3wuLg46OcViHF33aTgZ18nOEvU4UbFTCrJ6zUbjM5X2+MJE83eEfbDGss9tB5RJufkPfo9mxKM+TkGjL/pCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T13:02:41.222583Z"},"content_sha256":"81bfba5d9bc98a2e6568337f6afba65eee2305f3ec1848e3aff62c3c01070759","schema_version":"1.0","event_id":"sha256:81bfba5d9bc98a2e6568337f6afba65eee2305f3ec1848e3aff62c3c01070759"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:GS5ZUMQRDVTGYMA5EVMECU3QD2","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-319-71069-3_22.Alejandro) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"“Typing Quantum Superpositions and Measurement. ” In:Proceedings of the 6th International Conference on Theory and Practice of Natural Computing, TPNC 2017(Lecture Notes in Computer Science). Ed. by Carlos Martín-Vide, Roman Neruda, and Mig","arxiv_id":"2607.09534","detector":"doi_compliance","evidence":{"ref_index":16,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"“Typing Quantum Superpositions and Measurement. ” In:Proceedings of the 6th International Conference on Theory and Practice of Natural Computing, TPNC 2017(Lecture Notes in Computer Science). Ed. by Carlos Martín-Vide, Roman Neruda, and Mig","reconstructed_doi":"10.1007/978-3-319-71069-3_22.Alejandro"},"severity":"advisory","ref_index":16,"audited_at":"2026-07-13T02:22:48.370581Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-319-71069-3_22.Alejandro","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"1004263fc7bb78526d6b7fc7fe73157894650ea4d8b6dfee4d535de466842c78","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":12814,"payload_sha256":"32437bf7a0b28f46e0a8de34f9c2491b7b3a60fbb8d5c70e0e83769073ac3022","signature_b64":"FapJb+7v3mn6e5Ebj9j0MJfG8W+MyFL3TzAKCGD8q9SovxiOqUw43QjBvkzbzDxEWFIdbIiCW+GC9tBdXgVcAg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-13T02:23:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i/MWuhJTXCN39crRbewyGPogEWZh023cju8ygk13OxDZ8EpRtKcM/If2dsywdo49fG9QFtOJP6fGtdlBIzEgCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T13:02:41.222976Z"},"content_sha256":"1ce5977eea8f3810ce6ce9890b43342aa161016353a56fc28287036ce1e7c4c3","schema_version":"1.0","event_id":"sha256:1ce5977eea8f3810ce6ce9890b43342aa161016353a56fc28287036ce1e7c4c3"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:GS5ZUMQRDVTGYMA5EVMECU3QD2","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1016/j.physleta.2012.08.028.Kinnari) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"“Quantum computation with programmable connections between gates. ”Physics Letters A, 376, 45, 2940–2943. doi:https://doi.org/10.1016/j.physleta.20 12.08.028. Kinnari Dave, Louis Lemonnier, Romain Péchoux, and Vladimir Zamdzhiev","arxiv_id":"2607.09534","detector":"doi_compliance","evidence":{"ref_index":14,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"“Quantum computation with programmable connections between gates. ”Physics Letters A, 376, 45, 2940–2943. doi:https://doi.org/10.1016/j.physleta.20 12.08.028. Kinnari Dave, Louis Lemonnier, Romain Péchoux, and Vladimir Zamdzhiev","reconstructed_doi":"10.1016/j.physleta.2012.08.028.Kinnari"},"severity":"advisory","ref_index":14,"audited_at":"2026-07-13T02:22:48.370581Z","event_type":"pith.integrity.v1","detected_doi":"10.1016/j.physleta.2012.08.028.Kinnari","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"feb3128f353a0386e343c6288899d76b3c98d7ae892d0812cfca80932fd80dea","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":12813,"payload_sha256":"5c7be9f9615b946df08fd7d60eca67c9204643d9816336c6514c0dab8039f9fd","signature_b64":"7f0jM+P1TT+KzXsaQulYdpkk8+TDzcWSb4Pva9Urn3BB+WLYLZmfqXP3Dd45b9law9g+yCiNFiWRkzEObqALCA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-13T02:23:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fz0YK2DElAUQdXoJLY06vShZMGOHovkp0Qcb036O1M5A1FlUpr0F0LPTEaC51AFslxTCDNkyeaS1eiPDuZMBCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T13:02:41.223360Z"},"content_sha256":"dcc56b6537d768ce077f28144d0e1cf11e59d7909d1574ac5dfb73f0f29b6494","schema_version":"1.0","event_id":"sha256:dcc56b6537d768ce077f28144d0e1cf11e59d7909d1574ac5dfb73f0f29b6494"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GS5ZUMQRDVTGYMA5EVMECU3QD2/bundle.json","state_url":"https://pith.science/pith/GS5ZUMQRDVTGYMA5EVMECU3QD2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GS5ZUMQRDVTGYMA5EVMECU3QD2/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-03T13:02:41Z","links":{"resolver":"https://pith.science/pith/GS5ZUMQRDVTGYMA5EVMECU3QD2","bundle":"https://pith.science/pith/GS5ZUMQRDVTGYMA5EVMECU3QD2/bundle.json","state":"https://pith.science/pith/GS5ZUMQRDVTGYMA5EVMECU3QD2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GS5ZUMQRDVTGYMA5EVMECU3QD2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:GS5ZUMQRDVTGYMA5EVMECU3QD2","merge_version":"pith-open-graph-merge-v1","event_count":7,"valid_event_count":7,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"4afaeed7ff895ada57e74f4390fef80fe34d301765c26098b1d04e50e455bdd3","cross_cats_sorted":["quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-10T15:38:33Z","title_canon_sha256":"4e097cd8727ae8b084125f3a33fb715839fdd1cf6ae5e099ce128d57fa74edd1"},"schema_version":"1.0","source":{"id":"2607.09534","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.09534","created_at":"2026-07-13T01:20:17Z"},{"alias_kind":"arxiv_version","alias_value":"2607.09534v1","created_at":"2026-07-13T01:20:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.09534","created_at":"2026-07-13T01:20:17Z"},{"alias_kind":"pith_short_12","alias_value":"GS5ZUMQRDVTG","created_at":"2026-07-13T01:20:17Z"},{"alias_kind":"pith_short_16","alias_value":"GS5ZUMQRDVTGYMA5","created_at":"2026-07-13T01:20:17Z"},{"alias_kind":"pith_short_8","alias_value":"GS5ZUMQR","created_at":"2026-07-13T01:20:17Z"}],"graph_snapshots":[{"event_id":"sha256:7147548e9279029aa763325aec847e9134c0aacbf760eb00e2d349d08249eed7","target":"graph","created_at":"2026-07-13T01:20:17Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.09534/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Kathleen Barsse, Romain P\\'echoux, Simon Perdrix","cross_cats":["quant-ph"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-10T15:38:33Z","title":"Higher-Order Programs with Indefinite Causal Orders: a Linear Approach to Coherent Control of Quantum Processes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.09534","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:bab00bad9b57eabc94ef334ebe38ad21a6226d9416be793ba37bfd5de9ee91c1","target":"record","created_at":"2026-07-13T01:20:17Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"4afaeed7ff895ada57e74f4390fef80fe34d301765c26098b1d04e50e455bdd3","cross_cats_sorted":["quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-10T15:38:33Z","title_canon_sha256":"4e097cd8727ae8b084125f3a33fb715839fdd1cf6ae5e099ce128d57fa74edd1"},"schema_version":"1.0","source":{"id":"2607.09534","kind":"arxiv","version":1}},"canonical_sha256":"34bb9a32111d666c301d25584153701e8d9f790bc68f9a7dddd65ad9373b1c5d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"34bb9a32111d666c301d25584153701e8d9f790bc68f9a7dddd65ad9373b1c5d","first_computed_at":"2026-07-13T01:20:17.169572Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-13T01:20:17.169572Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JQa2//ovhWZ9Vya0GTrnjLBXMrEHrR7wh+maxo1IrS0dggC+/mRQjkh3gSN7tXdkeVJ/RBfTfNXmGpOcQXGKDQ==","signature_status":"signed_v1","signed_at":"2026-07-13T01:20:17.170761Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.09534","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:1ce5977eea8f3810ce6ce9890b43342aa161016353a56fc28287036ce1e7c4c3","sha256:3844fe96a5e0ffa24c5788adc677e6d8b6d0856a69ed0acaa859dcfe0f59adfb","sha256:6e462cb7397ca823c4fef1ff2b6d5dde458c76ac2d4b7792b00104cb8e4ff696","sha256:81bfba5d9bc98a2e6568337f6afba65eee2305f3ec1848e3aff62c3c01070759","sha256:dcc56b6537d768ce077f28144d0e1cf11e59d7909d1574ac5dfb73f0f29b6494"]}],"invalid_events":[],"applied_event_ids":["sha256:bab00bad9b57eabc94ef334ebe38ad21a6226d9416be793ba37bfd5de9ee91c1","sha256:7147548e9279029aa763325aec847e9134c0aacbf760eb00e2d349d08249eed7"],"state_sha256":"82bb75462fdbb5dd39a2b97ca9dbe4465574f7000eeebde999213e607309d550"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pdRfEDe5FClydfbQj414OAdlxNKlqoiQ5dhBUpjnY7/3R/3MKq9C7uc1x3UyV+MXwmrnEyuDVlb8ycYcmkWiCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T13:02:41.228040Z","bundle_sha256":"4b75a9ec37a1d543c6a144d36a1ebc371be036910a7e5d84c02da52b77440ceb"}}