Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:0710.2495 · Journal of Functional Analysis

A continuity theorem for Stinespring's dilation

Dennis Kretschmann, Dirk Schlingemann, Reinhard F. Werner

Published Sep 11, 2008• 61 citations
arXivHTMLPDF
DOI
10.1016/j.jfa.2008.07.023

Related papers

A stochastic Stinespring Theorem

Debashish Goswami, J. Martin Lindsay, Stephen J. Wills

Mathematische Annalen•Apr 1, 2001•14 citations

A continuous time version of Stinespring’s theorem on completely positive maps

Kalyanapuram Rangachari Parthasarathy

Lecture notes in mathematics•Jan 1, 1990•6 citations

The Information-Disturbance Tradeoff and the Continuity of Stinespring's Representation

Dennis Kretschmann, Dirk-M. Schlingemann, Reinhard F. Werner

Stinespring's dilation theorem is the basic structure theorem for quantum channels: it states that any quantum channel arises from a unitary evolution on a larger system. Here we prove a continuity theorem for Stinespring's dilation: if two quantum channels are close in cb-norm, then it is always possible to find unitary implementations which are close in operator norm, with dimension-independent bounds. This result generalizes Uhlmann's theorem from states to channels and allows to derive a formulation of the information-disturbance tradeoff in terms of quantum channels, as well as a continuity estimate for the no-broadcasting theorem. We briefly discuss further implications for quantum cryptography, thermalization processes, and the black hole information loss puzzle.

arXiv:quant-ph/0605009•IEEE Transactions on Information Theory•Mar 27, 2008•122 citations

Dilation Theory

Paul Busch, PEKKA J. LAHTI, Juha-Pekka Pellonpää +1 more

Theoretical and mathematical physics•Jan 1, 2016•1 citation

A covariant Stinespring theorem

Dominic Verdon

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 τ: X → Y ⊗ E, where E:M2→M1 is some “environment” 1-morphism. Dilations are unique up to partial isometry on the environment; in particular, the dilation minimizing 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:2108.09872•Journal of Mathematical Physics•Sep 1, 2022•8 citations

On Feenberg's Perturbation Formula

Herman Feshbach

Physical Review•Nov 15, 1948•27 citations
Stinespring's dilation theorem is the basic structure theorem for quantum channels: it states that any quantum channel arises from a unitary evolution on a larger system. Here we prove a continuity theorem for Stinespring's dilation: if two quantum channels are close in cb-norm, then it is always possible to find unitary implementations which are close in operator norm, with dimension-independent bounds. This result generalizes Uhlmann's theorem from states to channels and allows to derive a formulation of the information-disturbance tradeoff in terms of quantum channels, as well as a continuity estimate for the no-broadcasting theorem. We briefly discuss further implications for quantum cryptography, thermalization processes, and the black hole information loss puzzle.
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 τ: X → Y ⊗ E, where E:M2→M1 is some “environment” 1-morphism. Dilations are unique up to partial isometry on the environment; in particular, the dilation minimizing 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.