A covariant Stinespring theorem

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.

59 pages, many pictures. Rev 4: Final version

References in corpus (9)

• Fusion 2-categories and a state-sum invariant for 4-manifolds
• On unitary 2-representations of finite groups and topological quantum field theory
• Q-system completion for C* 2-categories
• Higher Quantum Theory
• Realization of rigid C*-bicategories as bimodules over type II${}_1$ von Neumann algebras
• 2-C*-categories with non-simple units
• Entanglement-symmetries of covariant channels
• Some remarks on free products of rigid $C^{\ast }$-2-categories
• Covariant version of the Stinespring type theorem for Hilbert C*-modules

Cited by in corpus (3)

• Covariant quantum combinatorics with applications to zero-error communication
• Entanglement-symmetries of covariant channels
• Entanglement-invertible channels