{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:VGWDFF4HZ3EQHJ53TXBKYT3YSN","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"cd479a46e39281f685bc784dd19091c7887d0626693c915dff6eb2d25df802c4","cross_cats_sorted":["cs.LO","quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-17T13:10:20Z","title_canon_sha256":"40636c12f8d15a7ef3eebf25c1ba7ceefad814404eb26a955e815eafdfc73019"},"schema_version":"1.0","source":{"id":"2607.15926","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.15926","created_at":"2026-07-20T01:19:17Z"},{"alias_kind":"arxiv_version","alias_value":"2607.15926v1","created_at":"2026-07-20T01:19:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.15926","created_at":"2026-07-20T01:19:17Z"},{"alias_kind":"pith_short_12","alias_value":"VGWDFF4HZ3EQ","created_at":"2026-07-20T01:19:17Z"},{"alias_kind":"pith_short_16","alias_value":"VGWDFF4HZ3EQHJ53","created_at":"2026-07-20T01:19:17Z"},{"alias_kind":"pith_short_8","alias_value":"VGWDFF4H","created_at":"2026-07-20T01:19:17Z"}],"graph_snapshots":[{"event_id":"sha256:4fd889c537ea8c489b2b973f1a5bb28a44877bd98b970966d28017eb257d4fc6","target":"graph","created_at":"2026-07-20T01:19: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.15926/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Indefinite causal order is a characteristic phenomenon in quantum computation, with examples including the quantum SWITCH and the OCB process. Not all such processes are believed to be physically realizable: while some implementations of the quantum SWITCH have been proposed, the OCB process is suspected to be unrealizable. This difference in realizability is commonly attributed to constraints imposed by physical causality.\n  This paper studies such a causality issue in a higher-order setting, proposing a typed lambda calculus with quantum control and its categorical semantics. Our calculus ex","authors_text":"Kengo Hirata, Takeshi Tsukada","cross_cats":["cs.LO","quant-ph"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-17T13:10:20Z","title":"Causality in Pure Quantum Computation with Quantum Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.15926","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:b8aa41a1a470728b45c0a39f9fe396df3ebe1f24ed16b975a7043b60dc9eb22f","target":"record","created_at":"2026-07-20T01:19: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":"cd479a46e39281f685bc784dd19091c7887d0626693c915dff6eb2d25df802c4","cross_cats_sorted":["cs.LO","quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-17T13:10:20Z","title_canon_sha256":"40636c12f8d15a7ef3eebf25c1ba7ceefad814404eb26a955e815eafdfc73019"},"schema_version":"1.0","source":{"id":"2607.15926","kind":"arxiv","version":1}},"canonical_sha256":"a9ac329787cec903a7bb9dc2ac4f78934e41ba073dc879cbbf4b45962ee2ae28","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a9ac329787cec903a7bb9dc2ac4f78934e41ba073dc879cbbf4b45962ee2ae28","first_computed_at":"2026-07-20T01:19:17.579823Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-20T01:19:17.579823Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WEkhHTHWXe/nfdPBCMj+W/VM8bcT1vQJZpxOb0h0vyTQvImrPDqigTho1jeKnmJmB8Qgp16orbgDZOFA0U7EBA==","signature_status":"signed_v1","signed_at":"2026-07-20T01:19:17.580683Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.15926","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b8aa41a1a470728b45c0a39f9fe396df3ebe1f24ed16b975a7043b60dc9eb22f","sha256:4fd889c537ea8c489b2b973f1a5bb28a44877bd98b970966d28017eb257d4fc6"],"state_sha256":"ee724f5173d854f2e506295da41123e1319b0fa339d27fd53cc3a25f1991765e"}