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:0912.0963 · Physical Review A

Quantum information encoding, protection, and correction from trace-norm isometries

Francesco Ticozzi, Lorenza Viola

Published Mar 15, 2010• 24 citations
arXivHTMLPDF

Abstract

We introduce the notion of trace-norm isometric encoding and explore its implications for passive and active methods for protecting quantum information against errors. Beside providing an operational foundation to the ``subsystems principle'' [E. Knill, Phys. Rev. A 74, 042301 (2006)] for faithfully realizing quantum information in physical systems, our approach allows additional explicit connections between noiseless, protectable, and correctable quantum codes to be identified. Robustness properties of isometric encodings against imperfect initialization and/or deviations from the intended error models are also analyzed.

DOI
10.1103/physreva.81.032313

Related papers

Protected realizations of quantum information

Emanuel H. Knill

There are two complementary approaches to realizing quantum information so that it is protected from a given set of error operators. Both involve encoding information by means of subsystems. One is initialization-based error protection, which involves a quantum operation that is applied before error events occur. The other is operator quantum error correction, which uses a recovery operation applied after the errors have occurred. Together, the two approaches make it clear how quantum information can be stored at all stages of a process involving alternating error and quantum operations. In particular, there is always a subsystem that faithfully represents the desired quantum information. We give a definition of faithful realization of quantum information and show that it always involves subsystems. This supports the ``subsystems principle'' for realizing quantum information. In the presence of errors, one can make use of noiseless, (initialization) protectable, or error-correcting subsystems. We give an explicit algorithm for finding optimal noiseless subsystems. Finding optimal protectable or error-correcting subsystems is in general difficult. Verifying that a subsystem is error correcting is known to involve only linear algebra. We discuss the verification problem for protectable subsystems and reduce it to a simpler version of the problem of finding error-detecting codes.

arXiv:quant-ph/0603252•Physical Review A•Oct 3, 2006•54 citations

Approximate quantum error correction theory of non-isometric codes

Yixu Wang, Yijia Xu, Zi-Wen Liu

Non-isometric encoding arises in various important contexts in quantum error correction, most notably in the finite-energy, non-ideal codewords inevitable in experimental realizations of continuous-variable codes, and holographic quantum gravity. In this work, we present a general and systematic theory of non-isometric quantum error-correcting codes. In particular, we employ the approximate quantum error correction framework to quantitatively study the fundamental limitations imposed by non-isometric encodings on the accuracy of quantum error correction and implementation of logical operations. We apply our theory to analyze GKP and tiger codes under energy constraints, and discuss the implications to holography.

quant-pharXiv:2606.13559•Jun 12, 2026•0 citations

Theory of Quantum Error Correction for General Noise

Emanuel H. Knill, Raymond Laflamme, Lorenza Viola

A measure of quality of an error-correcting code is the maximum number of errors that it is able to correct. We show that a suitable notion of "number of errors" e makes sense for any quantum or classical system in the presence of arbitrary interactions. Thus, e-error-correcting codes protect information without requiring the usual assumptions of independence. We prove the existence of large codes for both quantum and classical information. By viewing error-correcting codes as subsystems, we relate codes to irreducible representations of operator algebras and show that noiseless subsystems are infinite-distance error-correcting codes.

arXiv:quant-ph/9604034•Physical Review Letters•Mar 13, 2000•866 citations

Codeword-stabilized quantum codes on subsystems

Jeonghwan Shin, Jun Heo, Todd A. Brun

Codeword-stabilized quantum codes provide a unified approach to constructing quantum error-correcting codes, including both additive and nonadditive quantum codes. Standard codeword-stabilized quantum codes encode quantum information into subspaces. The more general notion of encoding quantum information into a subsystem is known as an operator (or subsystem) quantum error-correcting code. Most operator codes studied to date are based in the usual stabilizer formalism. We introduce operator quantum codes based on the codeword-stabilized quantum code framework. Based on the necessary and sufficient conditions for operator quantum error correction, we derive an error-correction condition for operator codeword-stabilized quantum codes. Based on this condition, the word operators of a operator codeword-stabilized quantum code are constructed from a set of classical binary errors induced by generators of the gauge group. We use this scheme to construct examples of both additive and nonadditive codes that encode quantum information into a subsystem.

arXiv:1208.6039•Physical Review A•Oct 15, 2012•2 citations

Error Correction Methods for Protecting Quantum Information

Swathi Mummadi, Gnaneshwara Chary Udari, C. Achyuth +1 more

The field of quantum computing holds immense promise for solving complex problems that are currently intractable for classical computers. However, the practical realization of quantum computers faces a critical challenge: the inherent fragility of qubits, the fundamental units of quantum information. Quantum systems are susceptible to various types of errors and decoherence due to their interaction with the surrounding environment, which can lead to a rapid degradation of quantum information. This chapter delves into the pivotal aspect of quantum error correction techniques as a means to mitigate the adverse effects of errors and decoherence in quantum computing systems. Begins by elucidating the theoretical foundations of quantum error correction, exploring the principles that underlie the encoding of quantum information into larger, redundant codes that are resilient to errors. A comprehensive overview of prominent quantum error correction codes, such as the stabilizer codes and topological codes, is provided, along with a discussion of their respective strengths and limitations.

Advances in marketing, customer relationship management, and e-services book series•Dec 13, 2024•0 citations

Operator quantum error-correcting subsystems for self-correcting quantum memories

Dave Bacon

The most general method for encoding quantum information is not to encode the information into a subspace of a Hilbert space, but to encode information into a subsystem of a Hilbert space. Recently this notion has led to a more general notion of quantum error correction known as operator quantum error correction. In standard quantum error-correcting codes, one requires the ability to apply a procedure which exactly reverses on the error-correcting subspace any correctable error. In contrast, for operator error-correcting subsystems, the correction procedure need not undo the error which has occurred, but instead one must perform corrections only modulo the subsystem structure. This does not lead to codes which differ from subspace codes, but does lead to recovery routines which explicitly make use of the subsystem structure. Here we present two examples of such operator error-correcting subsystems. These examples are motivated by simple spatially local Hamiltonians on square and cubic lattices. In three dimensions we provide evidence, in the form a simple mean field theory, that our Hamiltonian gives rise to a system which is self-correcting. Such a system will be a natural high-temperature quantum memory, robust to noise without external intervening quantum error-correction procedures.

arXiv:quant-ph/0506023•Physical Review A•Jan 30, 2006•486 citations
We introduce the notion of trace-norm isometric encoding and explore its implications for passive and active methods for protecting quantum information against errors. Beside providing an operational foundation to the ``subsystems principle'' [E. Knill, Phys. Rev. A 74, 042301 (2006)] for faithfully realizing quantum information in physical systems, our approach allows additional explicit connections between noiseless, protectable, and correctable quantum codes to be identified. Robustness properties of isometric encodings against imperfect initialization and/or deviations from the intended error models are also analyzed.
There are two complementary approaches to realizing quantum information so that it is protected from a given set of error operators. Both involve encoding information by means of subsystems. One is initialization-based error protection, which involves a quantum operation that is applied before error events occur. The other is operator quantum error correction, which uses a recovery operation applied after the errors have occurred. Together, the two approaches make it clear how quantum information can be stored at all stages of a process involving alternating error and quantum operations. In particular, there is always a subsystem that faithfully represents the desired quantum information. We give a definition of faithful realization of quantum information and show that it always involves subsystems. This supports the ``subsystems principle'' for realizing quantum information. In the presence of errors, one can make use of noiseless, (initialization) protectable, or error-correcting subsystems. We give an explicit algorithm for finding optimal noiseless subsystems. Finding optimal protectable or error-correcting subsystems is in general difficult. Verifying that a subsystem is error correcting is known to involve only linear algebra. We discuss the verification problem for protectable subsystems and reduce it to a simpler version of the problem of finding error-detecting codes.
Non-isometric encoding arises in various important contexts in quantum error correction, most notably in the finite-energy, non-ideal codewords inevitable in experimental realizations of continuous-variable codes, and holographic quantum gravity. In this work, we present a general and systematic theory of non-isometric quantum error-correcting codes. In particular, we employ the approximate quantum error correction framework to quantitatively study the fundamental limitations imposed by non-isometric encodings on the accuracy of quantum error correction and implementation of logical operations. We apply our theory to analyze GKP and tiger codes under energy constraints, and discuss the implications to holography.
A measure of quality of an error-correcting code is the maximum number of errors that it is able to correct. We show that a suitable notion of "number of errors" e makes sense for any quantum or classical system in the presence of arbitrary interactions. Thus, e-error-correcting codes protect information without requiring the usual assumptions of independence. We prove the existence of large codes for both quantum and classical information. By viewing error-correcting codes as subsystems, we relate codes to irreducible representations of operator algebras and show that noiseless subsystems are infinite-distance error-correcting codes.
Codeword-stabilized quantum codes provide a unified approach to constructing quantum error-correcting codes, including both additive and nonadditive quantum codes. Standard codeword-stabilized quantum codes encode quantum information into subspaces. The more general notion of encoding quantum information into a subsystem is known as an operator (or subsystem) quantum error-correcting code. Most operator codes studied to date are based in the usual stabilizer formalism. We introduce operator quantum codes based on the codeword-stabilized quantum code framework. Based on the necessary and sufficient conditions for operator quantum error correction, we derive an error-correction condition for operator codeword-stabilized quantum codes. Based on this condition, the word operators of a operator codeword-stabilized quantum code are constructed from a set of classical binary errors induced by generators of the gauge group. We use this scheme to construct examples of both additive and nonadditive codes that encode quantum information into a subsystem.
The field of quantum computing holds immense promise for solving complex problems that are currently intractable for classical computers. However, the practical realization of quantum computers faces a critical challenge: the inherent fragility of qubits, the fundamental units of quantum information. Quantum systems are susceptible to various types of errors and decoherence due to their interaction with the surrounding environment, which can lead to a rapid degradation of quantum information. This chapter delves into the pivotal aspect of quantum error correction techniques as a means to mitigate the adverse effects of errors and decoherence in quantum computing systems. Begins by elucidating the theoretical foundations of quantum error correction, exploring the principles that underlie the encoding of quantum information into larger, redundant codes that are resilient to errors. A comprehensive overview of prominent quantum error correction codes, such as the stabilizer codes and topological codes, is provided, along with a discussion of their respective strengths and limitations.
The most general method for encoding quantum information is not to encode the information into a subspace of a Hilbert space, but to encode information into a subsystem of a Hilbert space. Recently this notion has led to a more general notion of quantum error correction known as operator quantum error correction. In standard quantum error-correcting codes, one requires the ability to apply a procedure which exactly reverses on the error-correcting subspace any correctable error. In contrast, for operator error-correcting subsystems, the correction procedure need not undo the error which has occurred, but instead one must perform corrections only modulo the subsystem structure. This does not lead to codes which differ from subspace codes, but does lead to recovery routines which explicitly make use of the subsystem structure. Here we present two examples of such operator error-correcting subsystems. These examples are motivated by simple spatially local Hamiltonians on square and cubic lattices. In three dimensions we provide evidence, in the form a simple mean field theory, that our Hamiltonian gives rise to a system which is self-correcting. Such a system will be a natural high-temperature quantum memory, robust to noise without external intervening quantum error-correction procedures.