Introduces essential unitarity as the unique structure-compatible generalization of unitarity to higher-order quantum interfaces in a categorical framework, with all quantum core morphisms satisfying it.
Title resolution pending
3 Pith papers cite this work, alongside 534 external citations. Polarity classification is still indexing.
3
Pith papers citing it
534
external citations · OpenAlex
fields
quant-ph 3representative citing papers
Categorical supermaps on any generalised theory with channel-state duality are exactly CJ-supermaps, recovering classical, quantum, and NSWSE-Boxworld supermaps.
Higher order quantum map types are identified with Boolean type functions, with comb types corresponding to chain posets, and type functions decomposed via max/min of basic chains corresponding to affine mixtures and intersections.
citing papers explorer
-
Essential Unitarity for Higher-Order Quantum Computation
Introduces essential unitarity as the unique structure-compatible generalization of unitarity to higher-order quantum interfaces in a categorical framework, with all quantum core morphisms satisfying it.
-
Supermaps on generalised theories
Categorical supermaps on any generalised theory with channel-state duality are exactly CJ-supermaps, recovering classical, quantum, and NSWSE-Boxworld supermaps.
-
On the structure of higher order quantum maps
Higher order quantum map types are identified with Boolean type functions, with comb types corresponding to chain posets, and type functions decomposed via max/min of basic chains corresponding to affine mixtures and intersections.