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:quant-ph/0405064

Stabilizer Codes for Continuous-variable Quantum Error Correction

Barnes, Richard L.

Published May 13, 2004• 11 citations
arXivHTMLPDF

Abstract

A generalization of the stabilizer code construction presented by Gottesman is described, which allows for the construction of quantum error-correcting codes for continuous-variable systems. This formalism describes all continuous-variable codes presented to date, and can be used to construct new codes based on discrete-variable codes or classical codes. We use it to describe the nine-mode code given by Lloyd and Slotine, and a five-mode code described by Braunstein. In addition, we construct a new continuous-variable code based an code of Gottesman which encodes three logical modes of information into eight physical modes and corrects one error. This generalization is a step toward an independent understanding of continuous-variable quantum information and a theory of fault-tolerant quantum information processing.

DOI
10.48550/arxiv.quant-ph/0405064

Related papers

Quantum Error Correction in Continuous-Variable System

Warit Asavanant, Akira Furusawa

On the physical level, digital computers are not error free. However, by adding the redundancy and using the error-correction technique, the errors on the computational level can be mitigated to the point that the probability of error occurring is negligible for most tasks. In quantum computation, a similar strategy can be employed. Here, a main difference between classical computer and quantum computer is that the quantum error correction needs to mitigate the errors, while maintaining the quantum coherence. In this chapter, we will first discuss the conceptual ideas of how to implement quantum error correction and achieve fault tolerance in the continuous-variable system. In the case of the continuous-variable system, we need to first encode the information using a logical qubit which, in a sense, digitize the broad Hilbert space. We will give some examples of the logical qubits and then discuss a particular type of encoding called Gottesman-Kitaev-Preskill (GKP) qubit, which is one of the currently most promising encoding.

•Jan 25, 2022•1 citation

Stabilizer Formalism for Operator Algebra Quantum Error Correction

Guillaume Dauphinais, David W. Kribs, Michael Vasmer

We introduce a stabilizer formalism for the general quantum error correction framework called operator algebra quantum error correction (OAQEC), which generalizes Gottesman's formulation for traditional quantum error correcting codes (QEC) and Poulin's for operator quantum error correction and subsystem codes (OQEC). The construction generates hybrid classical-quantum stabilizer codes and we formulate a theorem that fully characterizes the Pauli errors that are correctable for a given code, generalizing the fundamental theorems for the QEC and OQEC stabilizer formalisms. We discover hybrid versions of the Bacon-Shor subsystem codes motivated by the formalism, and we apply the theorem to derive a result that gives the distance of such codes. We show how some recent hybrid subspace code constructions are captured by the formalism, and we also indicate how it extends to qudits.

arXiv:2304.11442•Quantum•Feb 21, 2024•6 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

Grand Unification of continuous-variable codes

Allan Tosta, Thiago O. Maciel, Leandro Aolita

Quantum error correction codes in continuous variables (also called CV codes, or single-mode bosonic codes) have recently been identified to be a technologically viable option for building fault-tolerant quantum computers. The best-known examples are the GKP code and the cat-code, both of which were shown to have some advantageous properties over any discrete-variable, or qubit codes. It was recently shown that the cat-code, as well as other kinds of CV codes, belong to a set of codes with common properties called rotation-symmetric codes. We expand this result by giving a general description of sets of codes with common properties, and rules by which they can be mapped into one another, effectively creating a unified description of continuous-variable codes. We prove that the properties of all of these sets of codes can be obtained from the properties of the GKP code. We also show explicitly how this construction works in the case of rotation-symmetric codes, re-deriving known properties and finding new ones.

arXiv:2206.01751•Jun 3, 2022•0 citations

Stabilizer Formalism for Operator Quantum Error Correction

David Poulin

Operator quantum error correction is a recently developed theory that provides a generalized and unified framework for active error correction and passive error avoiding schemes. In this Letter, we describe these codes using the stabilizer formalism. This is achieved by adding a gauge group to stabilizer codes that defines an equivalence class between encoded states. Gauge transformations leave the encoded information unchanged; their effect is absorbed by virtual gauge qubits that do not carry useful information. We illustrate the construction by identifying a gauge symmetry in Shor's 9-qubit code that allows us to remove 3 of its 8 stabilizer generators, leading to a simpler decoding procedure and a wider class of logical operations without affecting its essential properties. This opens the path to possible improvements of the error threshold of fault-tolerant quantum computing.

arXiv:quant-ph/0508131•Physical Review Letters•Dec 1, 2005•344 citations

Nonbinary Stabilizer Codes

Pradeep Kiran Sarvepalli, Andreas Klappenecker, Salah A. Aly

Recently, the field of quantum error-correcting codes has rapidly emerged as an important discipline. As quantum information is extremely sensitive to noise, it seems unlikely that any large scale quantum computation is feasible without quantum error-correction. In this paper we give a brief exposition of the theory of quantum stabilizer codes. We review the stabilizer formalism of quantum codes, establish the connection between classical codes and stabilizer codes and the main methods for constructing quantum codes from classical codes. In addition to the expository part, we include new results that cannot be found elsewhere. Specifically, after reviewing some important bounds for quantum codes, we prove the nonexistence of pure perfect quantum stabilizer codes with minimum distance greater than 3. Finally, we illustrate the general methods of constructing quantum codes from classical codes by explicitly constructing two new families of quantum codes and conclude by showing how to construct new quantum codes by shortening.

Chapman & Hall/CRC applied mathematics and nonlinear science series•Sep 19, 2007•7 citations
A generalization of the stabilizer code construction presented by Gottesman is described, which allows for the construction of quantum error-correcting codes for continuous-variable systems. This formalism describes all continuous-variable codes presented to date, and can be used to construct new codes based on discrete-variable codes or classical codes. We use it to describe the nine-mode code given by Lloyd and Slotine, and a five-mode code described by Braunstein. In addition, we construct a new continuous-variable code based an code of Gottesman which encodes three logical modes of information into eight physical modes and corrects one error. This generalization is a step toward an independent understanding of continuous-variable quantum information and a theory of fault-tolerant quantum information processing.
On the physical level, digital computers are not error free. However, by adding the redundancy and using the error-correction technique, the errors on the computational level can be mitigated to the point that the probability of error occurring is negligible for most tasks. In quantum computation, a similar strategy can be employed. Here, a main difference between classical computer and quantum computer is that the quantum error correction needs to mitigate the errors, while maintaining the quantum coherence. In this chapter, we will first discuss the conceptual ideas of how to implement quantum error correction and achieve fault tolerance in the continuous-variable system. In the case of the continuous-variable system, we need to first encode the information using a logical qubit which, in a sense, digitize the broad Hilbert space. We will give some examples of the logical qubits and then discuss a particular type of encoding called Gottesman-Kitaev-Preskill (GKP) qubit, which is one of the currently most promising encoding.
We introduce a stabilizer formalism for the general quantum error correction framework called operator algebra quantum error correction (OAQEC), which generalizes Gottesman's formulation for traditional quantum error correcting codes (QEC) and Poulin's for operator quantum error correction and subsystem codes (OQEC). The construction generates hybrid classical-quantum stabilizer codes and we formulate a theorem that fully characterizes the Pauli errors that are correctable for a given code, generalizing the fundamental theorems for the QEC and OQEC stabilizer formalisms. We discover hybrid versions of the Bacon-Shor subsystem codes motivated by the formalism, and we apply the theorem to derive a result that gives the distance of such codes. We show how some recent hybrid subspace code constructions are captured by the formalism, and we also indicate how it extends to qudits.
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.
Quantum error correction codes in continuous variables (also called CV codes, or single-mode bosonic codes) have recently been identified to be a technologically viable option for building fault-tolerant quantum computers. The best-known examples are the GKP code and the cat-code, both of which were shown to have some advantageous properties over any discrete-variable, or qubit codes. It was recently shown that the cat-code, as well as other kinds of CV codes, belong to a set of codes with common properties called rotation-symmetric codes. We expand this result by giving a general description of sets of codes with common properties, and rules by which they can be mapped into one another, effectively creating a unified description of continuous-variable codes. We prove that the properties of all of these sets of codes can be obtained from the properties of the GKP code. We also show explicitly how this construction works in the case of rotation-symmetric codes, re-deriving known properties and finding new ones.
Operator quantum error correction is a recently developed theory that provides a generalized and unified framework for active error correction and passive error avoiding schemes. In this Letter, we describe these codes using the stabilizer formalism. This is achieved by adding a gauge group to stabilizer codes that defines an equivalence class between encoded states. Gauge transformations leave the encoded information unchanged; their effect is absorbed by virtual gauge qubits that do not carry useful information. We illustrate the construction by identifying a gauge symmetry in Shor's 9-qubit code that allows us to remove 3 of its 8 stabilizer generators, leading to a simpler decoding procedure and a wider class of logical operations without affecting its essential properties. This opens the path to possible improvements of the error threshold of fault-tolerant quantum computing.
Recently, the field of quantum error-correcting codes has rapidly emerged as an important discipline. As quantum information is extremely sensitive to noise, it seems unlikely that any large scale quantum computation is feasible without quantum error-correction. In this paper we give a brief exposition of the theory of quantum stabilizer codes. We review the stabilizer formalism of quantum codes, establish the connection between classical codes and stabilizer codes and the main methods for constructing quantum codes from classical codes. In addition to the expository part, we include new results that cannot be found elsewhere. Specifically, after reviewing some important bounds for quantum codes, we prove the nonexistence of pure perfect quantum stabilizer codes with minimum distance greater than 3. Finally, we illustrate the general methods of constructing quantum codes from classical codes by explicitly constructing two new families of quantum codes and conclude by showing how to construct new quantum codes by shortening.