Abstract:The essential insight of quantum error correction was that quantum information can be protected by suitably encoding this quantum information across multiple independently erred quantum systems. Recently it was realized that, since the most general method for encoding quantum information is to encode it into a subsystem, there exists a novel form of quantum error correction beyond the traditional quantum error correcting subspace codes. These new quantum error correcting subsystem codes differ from subspace codes in that their quantum correcting routines can be considerably simpler than related subspace codes. Here we present a class of quantum error correcting subsystem codes constructed from two classical linear codes. These codes are the subsystem versions of the quantum error correcting subspace codes which are generalizations of Shor's original quantum error correcting subspace codes. For every Shor-type code, the codes we present give a considerable savings in the number of stabilizer measurements needed in their error recovery routines.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: how to construct a new type of quantum error - correcting subsystem codes by using two classical linear codes, thereby simplifying the number of stabilizer measurements in the quantum error - correction process and increasing the threshold of fault - tolerant quantum computing.
### Problem Background
In quantum computing, quantum information is easily affected by factors such as decoherence, quantum noise, and imprecise measurement and control. These problems can cause a quantum computer to lose its quantum properties and even be unable to perform any calculations. To overcome these problems, researchers have proposed quantum error - correcting codes, which can encode quantum information into multiple independent quantum systems to protect it from errors.
Traditional quantum error - correcting codes are usually subspace codes, that is, encoding quantum information into a subspace of Hilbert space. However, in recent years, it has been realized that the most general method is to encode quantum information into a subsystem rather than a subspace. Compared with traditional subspace codes, this new type of quantum error - correcting subsystem code can significantly reduce the number of required stabilizer measurements in some cases, thereby simplifying the error - correction process.
### Core Problem of the Paper
The core problem of this paper is: how to use two classical linear codes to construct a new quantum error - correcting subsystem code that has the same error - correction ability as the generalized Shor code but can significantly reduce the number of stabilizer measurements, thereby increasing the threshold of fault - tolerant quantum computing.
### Specific Methods
The paper proposes a method for constructing quantum error - correcting subsystem codes based on two classical linear codes \(C_1\) and \(C_2\). The specific steps are as follows:
1. **Define Classical Linear Codes**:
- \(C_1\) is a \([n_1, k_1, d_1]\) code, and \(C_2\) is a \([n_2, k_2, d_2]\) code.
- \(P_1\) and \(P_2\) are the parity - check matrices of these two codes respectively, and \(G_1\) and \(G_2\) are the generator matrices respectively.
2. **Construct Stabilizer Groups**:
- Use the rows of \(P_1\) to construct the stabilizer group \(S_1\) on \(n_1\) qubits, and its generators are \(S_i=\bigotimes_{j = 1}^{n_1}Z^{(P_1)_{ij}}\).
- Use the rows of \(P_2\) to construct the stabilizer group \(S_2\) on \(n_2\) qubits, and its generators are \(T_i=\bigotimes_{j = 1}^{n_2}X^{(P_2)_{ij}}\).
3. **Construct Non - Abelian Group \(T\)**:
- Let the generators of \(S_1\) act on all columns and the generators of \(S_2\) act on all rows to form a non - Abelian group \(T\).
4. **Construct Abelian Invariant Subgroup \(S\)**:
- Take a stabilizer operator from \(S_1\), take a codeword \(v\) from \(C_2\), and construct an operator that acts as \(S_v^j\) on each column \(j\).
- Similarly, take a stabilizer operator from \(S_2\), take a codeword \(w\) from \(C_1\), and construct an operator that acts as \(S_w^j\) on each row \(j\).
- These operators form the Abelian invariant subgroup \(S\).
5. **Construct Logical Operators \(L\)**:
- Use the encoding operators of \(C_1\) and \(C_2\) to construct logical operators \(L\) such that they look like encoding operators on each row or column and commute or anticommute with each other.
Through this method, the paper successfully constructs a new type of quantum error - correcting subsystem code. This code can significantly reduce the number of stabilizer measurements while maintaining the same error - correction ability as the generalized Shor code, thereby increasing the threshold of fault - tolerant quantum computing.