arXiv:1405.1798 · Physical Review A

Quantum subsystems: Exploring the complementarity of quantum privacy and error correction

Tomas Jochym-O’Connor, David W. Kribs, Raymond Laflamme, Sarah Plosker

Published Sep 3, 2014• 11 citations

Abstract

This paper addresses and expands on the contents of the recent Letter [Phys. Rev. Lett. 111, 030502 (2013)] discussing private quantum subsystems. Here we prove several previously presented results, including a condition for a given random unitary channel to not have a private subspace (although this does not mean that private communication cannot occur, as was previously demonstrated via private subsystems) and algebraic conditions that characterize when a general quantum subsystem or subspace code is private for a quantum channel. These conditions can be regarded as the private analog of the Knill-Laflamme conditions for quantum error correction, and we explore how the conditions simplify in some special cases. The bridge between quantum cryptography and quantum error correction provided by complementary quantum channels motivates the study of a new, more general definition of quantum error-correcting code, and we initiate this study here. We also consider the concept of complementarity for the general notion of a private quantum subsystem.

DOI: 10.1103/physreva.90.032305

Related papers

Private Quantum Subsystems

Tomas Jochym-O’Connor, David W. Kribs, Raymond Laflamme +1 more

We investigate the most general notion of a private quantum code, which involves the encoding of qubits into quantum subsystems and subspaces. We contribute to the structure theory for private quantum codes by deriving testable conditions for private quantum subsystems in terms of Kraus operators for channels, establishing an analogue of the Knill-Laflamme conditions in this setting. For a large class of naturally arising quantum channels, we show that private subsystems can exist even in the absence of private subspaces. In doing so, we also discover the first examples of private subsystems that are not complemented by operator quantum error correcting codes, implying that the complementarity of private codes and quantum error correcting codes fails for the general notion of private quantum subsystems.

arXiv:1208.2246Physical Review LettersJul 15, 201313 citations

Complementarity of private and correctable subsystems in quantum cryptography and error correction

Dennis Kretschmann, David W. Kribs, Robert W. Spekkens

We make an explicit connection between fundamental notions in quantum cryptography and quantum error correction. Error-correcting subsystems (and subspaces) for quantum channels are the key vehicles for contending with noise in physical implementations of quantum information processing. Private subsystems (and subspaces) for quantum channels play a central role in cryptographic schemes such as quantum secret sharing and private quantum communication. We show that a subsystem is private for a channel precisely when it is correctable for a complementary channel. This result is shown to hold even for approximate notions of private and correctable defined in terms of the diamond norm for superoperators.

arXiv:0711.3438Physical Review ASep 24, 200835 citations

Hybrid Quantum Systems: Complementarity of Quantum Privacy and Error-Correction, and Higher Rank Matricial Ranges

Mike I. Nelson

We establish operator structure identities for quantum channels and their error-correcting and private codes, emphasizing the complementarity relationship between the two perspectives. Relevant structures include correctable and private operator algebras, and operator spaces such as multiplicative domains and nullspaces of quantum channels and their complementary maps. For the case of privatizing to quantum states, we also derive dimension inequalities on the associated operator algebras that further quantify the trade-off between correction and privacy.

Apr 1, 20210 citations

Quantum complementarity and operator structures

David W. Kribs, Jeremy Livick, Mike I. Nelson +2 more

arXiv:1811.10425Quantum Information and ComputationFeb 1, 20195 citations

Private algebras in quantum information and infinite-dimensional complementarity

Jason Crann, David W. Kribs, Rupert H. Levene +1 more

We introduce a generalized framework for private quantum codes using von Neumann algebras and the structure of commutants. This leads naturally to a more general notion of complementary channel, which we use to establish a generalized complementarity theorem between private and correctable subalgebras that applies to both the finite and infinite-dimensional settings. Linear bosonic channels are considered and specific examples of Gaussian quantum channels are given to illustrate the new framework together with the complementarity theorem.

arXiv:1510.06672Journal of Mathematical PhysicsNov 16, 201522 citations

Matrix Analysis and Operator Theory with Applications to Quantum Information Theory

Shayne Plosker

We explore the connection between quantum error correction and quantum cryptography through the notion of conjugate (or complementary) channels. This connection is at the level of subspaces and operator subsystems; if we use a more general form of subsystem, the link between the two topics breaks down. We explore both the subspace and subsystem settings.\nError correction arises as a means of addressing the issue of the introduction of noise to a message being sent from one party to another. Noise also plays a role in quantum measurement theory: If one wishes to measure a system that is in a particular state via a measurement apparatus, one can first act upon the system by a quantum channel, which can be thought of as a noise source, and then measure the resulting system using a different measurement apparatus. Such a setup amounts\nto the introduction of noise to the measurement process, yet has the advantage of preserving the measurement statistics. Preprocessing by a quantum channel leads to the partial order "cleaner than" on quantum probability measures. Other meaningful partial orders on quantum probability measures exist, and we shall investigate that of cleanness as well as that of absolute continuity.\nLastly, we investigate partial orders on vectors corresponding to quantum states; such partial orders, namely majorization and trumping, have been linked to entanglement theory. We characterize trumping first by means of yet another partial order, power majorization, which gives rise to a family of examples. We then characterize trumping through the complete monotonicity of certain Dirichlet polynomials corresponding to the states in question. This not only generalizes a recent characterization of trumping, but the use of such mathematical objects simpli es the derivation of the result.

Jul 1, 20131 citation