Progress on the Kretschmann-Schlingemann-Werner Conjecture

Abstract

Given any pair of quantum channels ${\Phi }_1,{\Phi }_2$ such that at least one of them has Kraus rank one, as well as any respective Stinespring isometries $V_1,V_2$, we prove that there exists a unitary $U$ on the environment such that $\Vert V_1-(1\otimes U)V_2{\Vert }_{\infty }\le \sqrt{2\Vert {\Phi }_1-{\Phi }_2{\Vert }_{\diamond }}$. Moreover, we provide a simple example which shows that the factor $\sqrt{2}$ on the right-hand side is optimal, and we conjecture that this inequality holds for every pair of channels.

9+3 pages. UPDATE: conjecture proven in arXiv:2606.16418

References in corpus (11)

• General conditions for approximate quantum error correction and near-optimal recovery channels
• Approaches for approximate additivity of the Holevo information of quantum channels
• Reexamination of Quantum Bit Commitment: the Possible and the Impossible
• Quantum minimal surfaces from quantum error correction
• Operational distance and fidelity for quantum channels
• Complementarity of Private and Correctable Subsystems in Quantum Cryptography and Error Correction
• Approximate simulation of quantum channels
• Computing Stabilized Norms for Quantum Operations via the Theory of Completely Bounded Maps
• Asymptotically isometric codes for holography
• Strong* convergence of quantum channels
• Finite-Dimensional Stinespring Curves Can Approximate Any Dynamics

Cited by in corpus (1)

• Quantum channels, complex Stiefel manifolds, and optimization