Essential Unitarity for Higher-Order Quantum Computation
Abstract
We develop a boundary-centric semantic framework for higher-order quantum computation, building on the Kelly-Laplaza description of compact closure and Abramsky's execution account. In the semantic carrier Perm(C), morphisms are complex-linear combinations of polarized boundary linkings, composed by execution. Finite-family addresses provide coherent control over finite-level quantum registers (qudits) while retaining the multiplicative boundary structure. We identify essential unitarity, a boundary condition extending ordinary unitarity to higher-order interfaces. On positive qudit registers it coincides with ordinary matrix unitarity; at higher order it expresses preservation of information across the full polarized boundary. We define a unit-free coherent quantum core generated by multiplicative wiring, unitary gates on positive qudit registers, and contextual coherent control, and prove that every one of its morphisms is essentially unitary. The framework realizes an applied coherent quantum switch and the unitary stages of equal-ratio one-slot supermap dilations with explicit memory. An extended abstract of this work was accepted for QPL 2026 and is forthcoming in its proceedings.
Related
- Time-optimal elevator control with higher-order state constraints: analysis and computation of boundary contacts
- Quantum hypothesis testing of non-mixed-unitarity: A multifaceted hierarchy of quantum channel discrimination
- Finite Non-Commutative Centrally Essential Rings of Minimal Order
- High-Order Predictor–Corrector Schemes for the Simultaneous Computation of Polynomial Roots with Known Multiplicities: Order Analysis and the Role of a Scalar-Derived Correction Factor
- First-Order Optimization under Uniform Nondegeneracy: Geometry, Computation, and Information
BibTeX
@misc{abramsky2026essential,
title = {{Essential Unitarity for Higher-Order Quantum Computation}},
author = {Samson Abramsky and Radha Jagadeesan},
howpublished = {arXiv},
year = {2026},
month = aug,
doi = {10.48550/arxiv.2606.04080},
eprint = {2606.04080},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2606.04080},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Essential Unitarity for Higher-Order Quantum Computation
AU - Samson Abramsky
AU - Radha Jagadeesan
PY - 2026
DA - 2026/08/31
PB - arXiv
DO - 10.48550/arxiv.2606.04080
UR - https://arxiv.org/abs/2606.04080
AB - We develop a boundary-centric semantic framework for higher-order quantum computation, building on the Kelly-Laplaza description of compact closure and Abramsky's execution account. In the semantic carrier Perm(C), morphisms are complex-linear combinations of polarized boundary linkings, composed by execution. Finite-family addresses provide coherent control over finite-level quantum registers (qudits) while retaining the multiplicative boundary structure. We identify essential unitarity, a boundary condition extending ordinary unitarity to higher-order interfaces. On positive qudit registers it coincides with ordinary matrix unitarity; at higher order it expresses preservation of information across the full polarized boundary. We define a unit-free coherent quantum core generated by multiplicative wiring, unitary gates on positive qudit registers, and contextual coherent control, and prove that every one of its morphisms is essentially unitary. The framework realizes an applied coherent quantum switch and the unitary stages of equal-ratio one-slot supermap dilations with explicit memory. An extended abstract of this work was accepted for QPL 2026 and is forthcoming in its proceedings.
ER -