---
title: Quantum MDS Convolutional Codes
url: https://www.emergentmind.com/topics/quantum-mds-convolutional-codes
type: topic
---

# Quantum MDS Convolutional Codes

A quantum MDS (maximally distance-separable) convolutional code is a quantum convolutional stabilizer code that attains the quantum Singleton bound for free distance, maximizing the code’s ability to protect quantum information over memory channels. These codes generalize the MDS property from block codes to the convolutional setting and are constructed to support efficient, online, framewise quantum error correction with optimal error tolerance. Recent research has produced infinite families of such codes using constructions based on Hermitian dual-containing constacyclic, BCH, and generalized Reed–Solomon (GRS) block codes, with parameters explicitly given and proofs that they attain the quantum Singleton bound [1408.5782][1212.4654][1511.01616].

## 1. Formalism and Quantum Singleton Bound

A quantum convolutional code of frame size $n$, $k$ logical qudits per frame, memory $\mu$, overall degree $\delta$, and free distance $d_f$ is specified by a full-rank polynomial stabilizer matrix
\[
S(D) = [X(D) \mid Z(D)] \in \mathbb{F}_q[D]^{(n-k) \times 2n}
\]
satisfying the symplectic orthogonality
\[
X(D)Z(1/D)^T - Z(D)X(1/D)^T = 0.
\]
The free distance $d_f$ is the minimum weight of any undetectable error, generalizing the block-code minimum distance to the convolutional context.

For any pure $[(n, k, \mu; \delta, d_f)]_q$ quantum convolutional code, the free distance must satisfy the quantum Singleton bound:
\[
d_f \leq \frac{n-k}{2} \left( \left\lfloor \frac{2\delta}{n+k} \right\rfloor + 1 \right) + \delta + 1.
\]
When equality is achieved, the code is quantum MDS [1408.5782, Lemma 2.7][1212.4654][1511.01616].

## 2. Quantum Convolutional Code Constructions

Modern constructions of quantum MDS convolutional codes employ a CSS-like framework using classical convolutional codes derived from Hermitian dual-containing block codes.

**Key Construction Steps:**
1. Select a classical block code $C$ over $\mathbb{F}_{q^2}$ that is Hermitian dual-containing ($C^{\perp_h} \subseteq C$), such as constacyclic, BCH, or GRS codes.
2. Split the parity-check matrix $H$ of $C$ appropriately (e.g., $H = [H_0 \| H_1]$).
3. Form a classical convolutional generator $G(D)$, typically as $G(D) = H_0 + H_1 D$ (unit-memory) or $G(D) = H_0 + H_1 D + H_2 D^2$ (multi-memory).
4. If the resulting convolutional code $V$ satisfies $V^{\perp_h} \subseteq V$, construct the quantum convolutional code via the CSS method, achieving the desired parameters [1408.5782][1212.4654][1511.01616].

## 3. Explicit Families and Parameters

Three major frameworks dominate recent constructions.

**(A) Constacyclic–based Families [1408.5782]:**
- **Family I:** $[(q^2+1, q^2-4i+3, 1; 2, 2i+2)]_q$ for odd $q \ge 5$, $2 \le i \le \frac{q-1}{2}$.
- **Family II:** $\left[\left(\frac{q^2+1}{10}, \frac{q^2+1}{10} - 4i, 1; 2, 2i+3\right)\right]_q$ for $q = 10m+3$ or $10m+7$ ($m \ge 2$), $2 \le i \le 2m-1$.

**(B) BCH–based Unit-Memory Codes [1212.4654]:**
- For $q=2^t \ge 8$ and $2 \le i \le \frac{q^2}{2}-1$,
\[
[q^2+1, q^2+1-4i, 1; 2, 2i+3]_q,\quad d_f = (n-k)/2 + 3,
\]
where $n=q^2+1$.

**(C) Dual-Containing GRS–Based Constructions [1511.01616]:**
- **Memory $p=1$:** $[(n, n-2t_0, 1; \gamma, n-k+1)]_q$, for $t_0$ between $(n-k)/2$ and $n-k$.
- **Memory $p=2$:** $[(n, 2k-n+4, 2; 2, n-k+1)]_q$, for suitable $k$.

These families systematically cover a broad range of lengths, rates, and free distances, and always saturate the Singleton bound.

| Family                     | Parameters                                                                        | Memory  | Degree | Free Distance (MDS) Bound         |
|----------------------------|-----------------------------------------------------------------------------------|---------|--------|-----------------------------------|
| [1408.5782] Family I       | $[q^2+1, q^2-4i+3, 1; 2, 2i+2]_q$                                                | 1       | 2      | $2i+2$                            |
| [1408.5782] Family II      | $\left[\frac{q^2+1}{10}, \frac{q^2+1}{10}-4i, 1; 2, 2i+3\right]_q$               | 1       | 2      | $2i+3$                            |
| [1212.4654] BCH-based      | $[q^2+1, q^2+1-4i, 1; 2, 2i+3]_q$                                                | 1       | 2      | $2i+3$                            |
| [1511.01616] GRS MDS (p=1) | $[n, n-2t_0, 1; \gamma, n-k+1]_q$                                                | 1       | $\gamma$ | $n-k+1$                          |
| [1511.01616] GRS MDS (p=2) | $[n, 2k-n+4, 2; 2, n-k+1]_q$                                                     | 2       | 2      | $n-k+1$                           |

## 4. Proofs of the MDS Property

All these families achieve the quantum Singleton bound by rigorous arguments:
- The base block code ($C$) is constructed to be MDS and Hermitian dual-containing (e.g., via the defining set $Z$ in constacyclic/BCH cases or the evaluation structure of GRS codes).
- The convolutional code $V$ inherits MDS properties by splitting the block code parity-check matrix and forming a suitable generator $G(D)$.
- The Hermitian dual-containment ensures purity and self-orthogonality, pivotal for quantum stabilizer code construction.
- The final quantum code’s free distance directly saturates the Singleton bound by parameter analysis and explicit computation (see, e.g., $d_f = 2i+3 = (n-k)/2 + 3$ in the BCH case) [1408.5782][1212.4654][1511.01616].

## 5. Generalizations and Advances Over Previous Work

Recent constructions generalize and improve upon earlier results:
- The constacyclic construction in [1408.5782] removes the prior requirement $q \equiv 1 \pmod{4}$ imposed in earlier work, allowing $q$ to be any odd prime power $\ge 5$ (Family I) and $q = 10m+3$ or $10m+7$ (Family II).
- The BCH framework [1212.4654] produces quantum MDS convolutional codes for all even $q = 2^t \ge 8$, for a broad range of parameters, using an entirely algebraic approach with no computer search.
- The GRS-based method [1511.01616] generates eighteen new families—including both memory one and memory two codes—covering a diverse spectrum of code lengths and rates, with explicit worked examples.

Compared to other approaches (e.g., Forney–Guha–Grassl, Almeida–Palazzo, Wilde–Brun), these algebraic methods yield codes with larger free distances relative to frame size and support memory one or two, which is optimal for streaming and framewise error-correction in quantum communication channels [1212.4654][1511.01616].

## 6. Applications and Open Directions

Quantum MDS convolutional codes are integral to real-time, long-distance quantum communication, particularly in scenarios where memory and online error correction are critical (e.g., quantum repeaters and memory-noisy channels). Current lines of investigation address:
- Extending to higher memory $p > 2$ and use of non-GRS (e.g., algebraic-geometry) underlying block codes [1511.01616].
- Optimization of circuit complexity for encoding and syndrome measurement.
- Development of entanglement-assisted variants to further expand achievable code parameters.

A plausible implication is that, as these algebraic constructions continue to improve, they will fill gaps in the quantum convolutional code tables and facilitate scalable quantum communication infrastructure.

## 7. Summary Table: Major Quantum MDS Convolutional Code Families

| Reference           | Underlying Block Code Type     | Quantum Parameters Example                                               | Memory | Notable Features                  |
|---------------------|-------------------------------|-------------------------------------------------------------------------|--------|-----------------------------------|
| [1408.5782]         | Constacyclic (Hermitian)      | $[q^2+1, q^2-4i+3, 1; 2, 2i+2]_q$ (Family I)                            | 1      | Removes $q\equiv1\pmod{4}$ restriction   |
| [1212.4654]         | BCH (Hermitian)               | $[q^2+1, q^2+1-4i, 1; 2, 2i+3]_q$                                      | 1      | Algebraic, no computer search     |
| [1511.01616]        | Generalized Reed–Solomon      | $[n, n-2t_0, 1; \gamma, n-k+1]_q$, $[n, 2k-n+4, 2; 2, n-k+1]_q$         | 1, 2   | 18 new families, broad parameter coverage |

Source: https://www.emergentmind.com/topics/quantum-mds-convolutional-codes