A covariant Stinespring theorem
arXiv:2108.09872 · doi:10.1063/5.0071215
Abstract
We prove a finite-dimensional covariant Stinespring theorem for compact quantum groups. Let G be a compact quantum group, and let T:= Rep(G) be the rigid C*-tensor category of finite-dimensional continuous unitary representations of G. Let Mod(T) be the rigid C*-2-category of cofinite semisimple finitely decomposable T-module categories. We show that finite-dimensional G-C*-algebras can be identified with equivalence classes of 1-morphisms out of the object T in Mod(T). For 1-morphisms X: T -> M1, Y: T -> M2, we show that covariant completely positive maps between the corresponding G-C*-algebras can be 'dilated' to isometries t: X -> Y \otimes E, where E: M2 -> M1 is some 'environment' 1-morphism. Dilations are unique up to partial isometry on the environment; in particular, the dilation minimising the quantum dimension of the environment is unique up to a unitary. When G is a compact group this recovers previous covariant Stinespring-type theorems.
arXiv comment59 pages, many pictures. Rev 4: Final version
References in corpus (32)
- A survey of graphical languages for monoidal categories
- Quantum Symmetry Groups of Finite Spaces
- Fusion 2-categories and a state-sum invariant for 4-manifolds
- Ergodic coactions with large multiplicity and monoidal equivalence of quantum groups
- Categorical formulation of quantum algebras
- Operator algebras in rigid C*-tensor categories
- Icons
- The Baum-Connes conjecture for free orthogonal quantum groups
- Homological algebra in bivariant K-theory and other triangulated categories
- On unitary 2-representations of finite groups and topological quantum field theory
- Biunitary constructions in quantum information
- The Morita theory of quantum graph isomorphisms
- Stinespring's theorem for maps on Hilbert C*-modules
- Structure of irreducibly covariant quantum channels for finite groups
- Q-system completion for C* 2-categories
- Quantum channels irreducibly covariant with respect to the finite group generated by the Weyl operators
- Frobenius algebras and ambidextrous adjunctions
- Minimal index and dimension for 2--categories with finite-dimensional centers
- Higher Quantum Theory
- Category Theory Using String Diagrams
- Tannaka-Krein duality for compact quantum homogeneous spaces. I. General theory
- Highly entangled, non-random subspaces of tensor products from quantum groups
- Temperley-Lieb quantum channels
- Realization of rigid C*-bicategories as bimodules over type II von Neumann algebras
- Unitary transformations of fibre functors
- 2-C*-categories with non-simple units
- SU(2)-Irreducibly covariant and EPOSIC channels
- Categorically Morita equivalent compact quantum groups
- Entanglement-symmetries of covariant channels
- Some remarks on free products of rigid -2-categories
- Unitary pseudonatural transformations
- Covariant version of the Stinespring type theorem for Hilbert C*-modules