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

Introduction to entanglement-assisted quantum error correction from pre-quantum mathematical literature

Ryutaroh Matsumoto

Published Oct 7, 2026• 0 citations
Publisher

Abstract

The presentation file consists of two parts. In Part 1: Overlooked incompatibility between finite fields and quantum error correction with its remedies, we give a simple counterexample to the popular definition of quantum stabilizer codes invoving finite fields, and review two mathematically correct ways to define them. In Part 2: Introduction to entanglement-assisted quantum error correction from pre-quantum mathematical literature, based on Part 1 we introduce entanglement-assisted quantum error correction by using as much finite fields and as little complex vectors/matrices as possible, which is hopefully more friendly to classical coding theorests. We also clarify the connection to pre-quantum mathematical literature. These slides will be used in a workshop held on November 2026 at Castelló University Institute of Mathematics and Applications (IMAC), Universitat Jaume I, Spain. Version 1 has redundant assumptions in the Witt extension theorem, which are removed in version 2. The other file consists of mathematical proofs omitted from the presentation. It is generated by AI.

DOI
10.5281/zenodo.23199860

Related papers

QUANTUM ERROR CORRECTION AND STABILIZER CODES

Artur Elezi

The goal of this paper is to provide a self contained detailed and rigorous mathematical introduction to some aspects of the quantum error-correcting codes and especially quantum stabilizer codes without venturing much, if at all, into the world of physics. While most of the results presented are not new, it is not easy to extract a precise mathematical formulation of results and to provide their rigorous proofs by reading the vast number of papers in the field, quite a few of which are written by computer scientists or physicists. It is this formulation and proofs - quite a few of of them new - that we present here. The connections between (a) quantum stabilizer codes and classical self-orthogonal codes and (b) between error correction and error detection have been established in details. Techniques from algebra of finite fields as well as representations of finite abelian groups have been employed here.

International Journal of Pure and Apllied Mathematics•Jan 1, 2015•0 citations

Quantum Error Correction via Less Noisy Qubits

Yuichiro Fujiwara

Known quantum error correction schemes are typically able to take advantage of only a limited class of classical error-correcting codes. Entanglement-assisted quantum error correction is a partial solution which made it possible to exploit any classical linear codes over the binary or quaternary finite field. However, the known entanglement-assisted scheme requires noiseless qubits that help correct quantum errors on noisy qubits, which can be too severe an assumption. We prove that a more relaxed and realistic assumption is sufficient by presenting encoding and decoding operations assisted by qubits on which quantum errors of one particular kind may occur. As in entanglement assistance, our scheme can import any binary or quaternary linear codes. If the auxiliary qubits are noiseless, our codes become entanglement-assisted codes, and saturate the quantum Singleton bound when the underlying classical codes are maximum distance separable.

arXiv:1302.5081•Physical Review Letters•Apr 22, 2013•14 citations

A physics-free introduction to quantum error correcting codes

Martin, William J.

Research in the field of quantum algorithms and quantum error correction is progressing at an astounding rate. There are many good papers on both subjects, but reading even a few of these may seem a daunting task to the newcomer. The aim of this paper is to give a leisurely introduction to the basic theory of quantum error correcting codes without appealing to even the most basic notions in physics. Thus the article is not a substitute for important papers such as [12] or [7] but rather an advertisement for them. I would be pleased if, in addition, some readers view this as a useful companion article if and when they go on to read more substantial literature on the subject of quantum error correction. I present nothing new here. Rather, I give an elementary account of the important theorems and proofs which appear in these fundamental works using only undergraduate algebra and a bit of classical coding theory. In particular, I give a full proof of the Knill/Laflamme theorem as well as an elementary treatment of stabilizer codes. The goal is to make the literature dealing with this exciting new area more accessible to discrete mathematicians.

Utilitas Mathematica•May 9, 2004•0 citations

Error Correcting Quantum Codes and Algebraic Curves

Artur Elezi

The goal of this paper is twofold. First, to provide a self contained, detailed and rigorous mathematical introduction to some aspects of the quantum error-correcting codes and especially quantum stabilizer codes and their connection to self-orthogonal linear codes. This has been done without venturing that much, if at all, into the world of physics. While most of the results presented are not new, it is not easy to extract a precise mathematical formulation of results and to provide their rigorous proofs by reading the vast number of papers in the field, quite a few of which are written by computer scientists or physicists. It is this formulation and proofs, some of which are new, that we present here. Techniques from algebra of finite fields as well as representations of finite abelian groups have been employed. The second goal is the construction of some stabilizer codes via self-orthogonal linear codes associated to algebraic curves.

NATO science for peace and security series. D, Information and communication security•Jan 1, 2015•0 citations

Quantum stabilizer codes and beyond

Sarvepalli, Pradeep Kiran

The importance of quantum error correction in paving the way to build a practical quantum computer is no longer in doubt. This dissertation makes a threefold contribution to the mathematical theory of quantum error-correcting codes. Firstly, it extends the framework of an important class of quantum codes -- nonbinary stabilizer codes. It clarifies the connections of stabilizer codes to classical codes over quadratic extension fields, provides many new constructions of quantum codes, and develops further the theory of optimal quantum codes and punctured quantum codes. Secondly, it contributes to the theory of operator quantum error correcting codes also called as subsystem codes. These codes are expected to have efficient error recovery schemes than stabilizer codes. This dissertation develops a framework for study and analysis of subsystem codes using character theoretic methods. In particular, this work establishes a close link between subsystem codes and classical codes showing that the subsystem codes can be constructed from arbitrary classical codes. Thirdly, it seeks to exploit the knowledge of noise to design efficient quantum codes and considers more realistic channels than the commonly studied depolarizing channel. It gives systematic constructions of asymmetric quantum stabilizer codes that exploit the asymmetry of errors in certain quantum channels.

arXiv:0810.2574•Oct 14, 2008•8 citations

An Introduction to Quantum Error Correction

Daniel Gottesman

Quantum states are very delicate, so it is likely some sort of quantum error correction will be necessary to build reliable quantum computers. The theory of quantum error-correcting codes has some close ties to and some striking differences from the theory of classical error-correcting codes. Many quantum codes can be described in terms of the stabilizer of the codewords. The stabilizer is a finite Abelian group, and allows a straightforward characterization of the error-correcting properties of the code. The stabilizer formalism for quantum codes also illustrates the relationships to classical coding theory, particularly classical codes over GF(4), the finite field with four elements.

arXiv:quant-ph/0004072•Apr 18, 2000•77 citations
The presentation file consists of two parts. In Part 1: Overlooked incompatibility between finite fields and quantum error correction with its remedies, we give a simple counterexample to the popular definition of quantum stabilizer codes invoving finite fields, and review two mathematically correct ways to define them. In Part 2: Introduction to entanglement-assisted quantum error correction from pre-quantum mathematical literature, based on Part 1 we introduce entanglement-assisted quantum error correction by using as much finite fields and as little complex vectors/matrices as possible, which is hopefully more friendly to classical coding theorests. We also clarify the connection to pre-quantum mathematical literature. These slides will be used in a workshop held on November 2026 at Castelló University Institute of Mathematics and Applications (IMAC), Universitat Jaume I, Spain. Version 1 has redundant assumptions in the Witt extension theorem, which are removed in version 2. The other file consists of mathematical proofs omitted from the presentation. It is generated by AI.
The goal of this paper is to provide a self contained detailed and rigorous mathematical introduction to some aspects of the quantum error-correcting codes and especially quantum stabilizer codes without venturing much, if at all, into the world of physics. While most of the results presented are not new, it is not easy to extract a precise mathematical formulation of results and to provide their rigorous proofs by reading the vast number of papers in the field, quite a few of which are written by computer scientists or physicists. It is this formulation and proofs - quite a few of of them new - that we present here. The connections between (a) quantum stabilizer codes and classical self-orthogonal codes and (b) between error correction and error detection have been established in details. Techniques from algebra of finite fields as well as representations of finite abelian groups have been employed here.
Known quantum error correction schemes are typically able to take advantage of only a limited class of classical error-correcting codes. Entanglement-assisted quantum error correction is a partial solution which made it possible to exploit any classical linear codes over the binary or quaternary finite field. However, the known entanglement-assisted scheme requires noiseless qubits that help correct quantum errors on noisy qubits, which can be too severe an assumption. We prove that a more relaxed and realistic assumption is sufficient by presenting encoding and decoding operations assisted by qubits on which quantum errors of one particular kind may occur. As in entanglement assistance, our scheme can import any binary or quaternary linear codes. If the auxiliary qubits are noiseless, our codes become entanglement-assisted codes, and saturate the quantum Singleton bound when the underlying classical codes are maximum distance separable.
Research in the field of quantum algorithms and quantum error correction is progressing at an astounding rate. There are many good papers on both subjects, but reading even a few of these may seem a daunting task to the newcomer. The aim of this paper is to give a leisurely introduction to the basic theory of quantum error correcting codes without appealing to even the most basic notions in physics. Thus the article is not a substitute for important papers such as [12] or [7] but rather an advertisement for them. I would be pleased if, in addition, some readers view this as a useful companion article if and when they go on to read more substantial literature on the subject of quantum error correction. I present nothing new here. Rather, I give an elementary account of the important theorems and proofs which appear in these fundamental works using only undergraduate algebra and a bit of classical coding theory. In particular, I give a full proof of the Knill/Laflamme theorem as well as an elementary treatment of stabilizer codes. The goal is to make the literature dealing with this exciting new area more accessible to discrete mathematicians.
The goal of this paper is twofold. First, to provide a self contained, detailed and rigorous mathematical introduction to some aspects of the quantum error-correcting codes and especially quantum stabilizer codes and their connection to self-orthogonal linear codes. This has been done without venturing that much, if at all, into the world of physics. While most of the results presented are not new, it is not easy to extract a precise mathematical formulation of results and to provide their rigorous proofs by reading the vast number of papers in the field, quite a few of which are written by computer scientists or physicists. It is this formulation and proofs, some of which are new, that we present here. Techniques from algebra of finite fields as well as representations of finite abelian groups have been employed. The second goal is the construction of some stabilizer codes via self-orthogonal linear codes associated to algebraic curves.
The importance of quantum error correction in paving the way to build a practical quantum computer is no longer in doubt. This dissertation makes a threefold contribution to the mathematical theory of quantum error-correcting codes. Firstly, it extends the framework of an important class of quantum codes -- nonbinary stabilizer codes. It clarifies the connections of stabilizer codes to classical codes over quadratic extension fields, provides many new constructions of quantum codes, and develops further the theory of optimal quantum codes and punctured quantum codes. Secondly, it contributes to the theory of operator quantum error correcting codes also called as subsystem codes. These codes are expected to have efficient error recovery schemes than stabilizer codes. This dissertation develops a framework for study and analysis of subsystem codes using character theoretic methods. In particular, this work establishes a close link between subsystem codes and classical codes showing that the subsystem codes can be constructed from arbitrary classical codes. Thirdly, it seeks to exploit the knowledge of noise to design efficient quantum codes and considers more realistic channels than the commonly studied depolarizing channel. It gives systematic constructions of asymmetric quantum stabilizer codes that exploit the asymmetry of errors in certain quantum channels.
Quantum states are very delicate, so it is likely some sort of quantum error correction will be necessary to build reliable quantum computers. The theory of quantum error-correcting codes has some close ties to and some striking differences from the theory of classical error-correcting codes. Many quantum codes can be described in terms of the stabilizer of the codewords. The stabilizer is a finite Abelian group, and allows a straightforward characterization of the error-correcting properties of the code. The stabilizer formalism for quantum codes also illustrates the relationships to classical coding theory, particularly classical codes over GF(4), the finite field with four elements.