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.
Chiribella , author G
4 Pith papers cite this work, alongside 337 external citations. Polarity classification is still indexing.
4
Pith papers citing it
337
external citations · OpenAlex
fields
quant-ph 4representative citing papers
Introduces forward-assisted purification via a new spatiotemporal framework that outperforms conventional static purification by up to 50x in copy efficiency and circumvents no-purification theorems for Bell states.
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.
-
Forward-Assisted Purification: A Spatiotemporal Framework Beyond Conventional Limits
Introduces forward-assisted purification via a new spatiotemporal framework that outperforms conventional static purification by up to 50x in copy efficiency and circumvents no-purification theorems for Bell states.
-
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.