A family of permutationally invariant quantum codes

Arda Aydin,Max A. Alekseyev,Alexander Barg

DOI: https://doi.org/10.22331/q-2024-04-30-1321

2024-04-16

Abstract:We construct a new family of permutationally invariant codes that correct $t$ Pauli errors for any $t\ge 1$. We also show that codes in the new family correct quantum deletion errors as well as spontaneous decay errors. Our construction contains some of the previously known permutationally invariant quantum codes as particular cases, which also admit transversal gates. In many cases, the codes in the new family are shorter than the best previously known explicit permutationally invariant codes for Pauli errors and deletions. Furthermore, our new code family includes a new $((4,2,2))$ optimal single-deletion-correcting code. As a separate result, we generalize the conditions for permutationally invariant codes to correct $t$ Pauli errors from the previously known results for $t=1$ to any number of errors. For small $t$, these conditions can be used to construct new examples of codes by computer.

Quantum Physics,Information Theory

What problem does this paper attempt to address?

### Problems the paper attempts to solve

This paper aims to construct a new class of permutationally invariant quantum codes, which are capable of correcting any number of Pauli errors as well as quantum deletion errors and spontaneous decay errors. Specifically, the main contributions of the paper include:

1. **Construction of a new code family**:
- A new class of permutationally invariant quantum codes is constructed, and these codes can correct any number of Pauli errors.
- These new code families can not only correct Pauli errors, but also correct quantum deletion errors and spontaneous decay errors.

2. **Performance improvement**:
- In many cases, the new code families are shorter than the best - known explicit permutationally invariant quantum codes, especially in terms of correcting Pauli errors and deletion errors.
- In particular, the new code family contains a new optimal single - deletion error - correcting code \( \text{pp4,2,2qq} \).

3. **Theoretical extension**:
- The conditions for permutationally invariant quantum codes to correct \( t \) Pauli errors are extended from the known \( t = 1 \) to any number of errors.
- For small \( t \), these conditions can be used to construct new code examples by computer.

4. **Application background**:
- Permutationally invariant quantum codes are of great significance in quantum computing because they can protect quantum information from quantum noise, such as decoherence.
- This type of code is particularly suitable for constructing quantum codes in the ground state of the system, such as the ground state of the ferromagnetic Heisenberg model.

### Main technical details

- **Permutation - invariant states**:
- A permutation - invariant state refers to a state that remains unchanged under the action of all exchange operators \( P_{ij} \), that is, these states are the common eigenstates of the exchange operators with an eigenvalue of 1.
- The Hamiltonian of the ferromagnetic Heisenberg model can be expressed as:
\[
\hat{H}=-\sum_{i < j} J_{ij}\left(\hat{P}_{ij}-\frac{1}{2}I\right)
\]
- where \( J_{ij} \) is the exchange constant and \( J_{ij}>0 \).

- **Deletion channels**:
- The quantum deletion channel can be modeled as a partial trace operation, where the traced - out qubit is unknown.
- The deletion operation can be divided into type - 0 deletion \( F_i^{(n)} \) and type - 1 deletion \( G_i^{(n)} \), which correspond to deleting the 0 - state and 1 - state of the \( i \)-th qubit respectively.

- **Error - correction conditions**:
- Through the Knill - Laflamme conditions, the necessary and sufficient conditions for permutationally invariant quantum codes to correct deletion errors are derived.
- For permutationally invariant codes \( |c_0\rangle \) and \( |c_1\rangle \), their coefficient vectors \( \alpha \) and \( \beta \) must satisfy the following conditions:
- \( \sum_{j = 0}^n\alpha_j\beta_j = 0 \)
- \( \sum_{j = 0}^n\alpha_j^2=\sum_{j = 0}^n\beta_j^2 = 1 \)
- For all \( 0\leq a,b\leq 2t \):
\[
\sum_{j = 0}^n\binom{n - 2t}{j}\binom{n}{j + a}\binom{n}{j + b}\alpha_{j + a}\beta_{j + b}=0
\]
- For all \( 0\leq a,b\leq 2t \):
\[
\sum_{j = 0}^n\binom{n - 2t}{j}\binom{n}{j + a}\binom{n}{j + b}(\alpha_{j + a}\alpha_{j + b}-\)