---
title: Quantum Rank-Metric Codes
url: https://www.emergentmind.com/topics/quantum-rank-metric-codes
type: topic
---

# Quantum Rank-Metric Codes

Searching arXiv for recent papers on quantum rank-metric codes and stacked quantum memory.
Quantum rank-metric codes are quantum error-correcting codes designed for stacked quantum memories, in which an $m \times n$ or $\ell \times n$ array of qubits is organized into layers and cells, and the relevant size of a Pauli error is its binary rank on that array rather than its Hamming weight. In the formulation introduced for stacked implementations of Clifford circuits, a small number of faulty multi-layer gates induces a final Pauli error whose rank is bounded linearly by the number of gate faults, making rank distance the natural coding parameter. The initial construction is a quantum generalization of Gabidulin codes for square stacked memories, and a later construction based on Hermitian orthogonality and the Matsumoto–Uyematsu method removes the requirement of odd square layouts while preserving maximum-rank-distance structure and efficient decoding principles [2411.09173] [2605.02571].

## 1. Stacked-memory model and the rank-based fault picture

A stacked quantum memory of size $\ell \times n$ is a register of $\ell n$ qubits organized into $n$ cells of $\ell$ qubits each. The $i$-th layer is obtained by selecting qubit $i$ in every cell, so layers are length-$n$ rows and cells are length-$\ell$ columns. In a stacked implementation of an $n$-qubit Clifford circuit $C = U_1 U_2 \cdots U_s$, each gate is executed in parallel across layers: a 1-qubit gate on qubit $j$ is realized as $U^{\otimes \ell}$ on cell $j$, and a 2-qubit gate on qubits $j$ and $k$ is realized as $U^{\otimes \ell}$ acting jointly on cells $j$ and $k$ pairwise across layers [2411.09173].

The circuit fault model places a Pauli fault after each multi-layer gate $U^{\otimes \ell}$ with probability $p$. The fault is drawn uniformly from the non-identity Paulis supported on the cells touched by the gate: one cell for a 1-qubit gate and two cells for a 2-qubit gate. This models intra-cell crosstalk and pairwise faults spanning two directly operated cells, while assuming low crosstalk between distinct cells except when a two-cell gate acts on them. In the later matrix-based notation, an $m \times n$ stacked memory is represented by $\mu_{m,n}(P) \in \mathbb{F}_2^{m \times 2n}$, with the left $n$ columns encoding $X$ components and the right $n$ columns encoding $Z$ components; the rank of the Pauli is then $\operatorname{rank}_{\mathbb{F}_2}(\mu_{m,n}(P))$ [2411.09173] [2605.02571].

The central algebraic fact is the accumulated-rank bound. If at most $t$ gates are faulty, then the total stacked error $Q$ satisfies
$$
\operatorname{rank}(Q) \le 4t.
$$
In the square-memory construction, the proof uses four ingredients: Clifford conjugation maps Paulis to Paulis, Clifford conjugation preserves rank, a single fault after a 1- or 2-qubit gate generates a stacked error of rank at most $4$, and rank is subadditive under multiplication of stacked Pauli errors. In the later formulation, the same phenomenon is expressed as invariance of $\operatorname{rank}(\mu_{m,n}(P))$ under $U^{\otimes m} P U^{\otimes m \dagger}$ for Clifford $U$, together with confinement of a faulty gate’s effect to at most four columns of the $m \times 2n$ binary matrix [2411.09173] [2605.02571].

This establishes the physical motivation for the rank metric. The relevant error morphology is not sparsity of qubit support but low-dimensionality of the row space induced by layerwise correlations and shared-gate faults. A plausible implication is that code design should optimize rank distance whenever the hardware and compilation strategy actually generate this fault geometry.

## 2. Classical rank metric and Gabidulin structure

For vectors $x,y \in \mathbb{F}_Q^n$ with $Q = q^m$, the rank metric is
$$
d_R(x,y) = \operatorname{rank}_{\mathbb{F}_q}(x-y),
$$
where each coordinate of $x-y$ is expanded as an $m$-dimensional vector over $\mathbb{F}_q$. Equivalently, $x-y$ is embedded as a matrix over $\mathbb{F}_q$, and its matrix rank is taken. In the matrix formulation, for $X,Y \in \mathbb{F}_q^{m \times n}$ one has $d_R(X,Y)=\operatorname{rank}(X-Y)$; the vector and matrix viewpoints are equivalent, and the induced rank metric is basis-independent [2411.09173] [2605.02571].

Gabidulin codes are the canonical maximum-rank-distance family in this setting. If $\alpha_1,\dots,\alpha_n \in \mathbb{F}_{q^m}$ are $\mathbb{F}_q$-linearly independent and
$$
f(x)=\sum_{i=0}^{k-1} a_i x^{q^i},
$$
then
$$
\operatorname{Gab}(\alpha,k)=\{(f(\alpha_1),\dots,f(\alpha_n)) : a_0,\dots,a_{k-1}\in \mathbb{F}_{q^m}\}
$$
is an $[n,k]_{q^m}$ code with minimum rank distance
$$
d_R=n-k+1,
$$
meeting the Singleton bound for the rank metric and hence being MRD. A standard generator matrix is the $q$-Moore matrix whose rows are successive Frobenius powers of $\alpha=(\alpha_1,\dots,\alpha_n)$ [2411.09173] [2605.02571].

In the square binary construction, a trace-orthogonal normal basis of $\mathbb{F}_{2^n}$ over $\mathbb{F}_2$ plays a further role. With such a basis, the dual of $\operatorname{Gab}(\alpha,r)$ is
$$
(\operatorname{Gab}(\alpha,r))^\perp=\operatorname{Gab}(\alpha^{2r},n-r).
$$
This duality is one of the mechanisms by which the classical MRD structure is transferred into a stabilizer construction [2411.09173].

Decoding is also inherited from the classical theory. Syndrome-based decoders for Gabidulin codes, formulated through linearized-polynomial algebra, recover errors of rank $t \le \lfloor (d_R-1)/2 \rfloor$ in roughly $O(n^2)$ operations over the extension field, with subquadratic variants available. The 2024 quantum construction leaves the concrete design and optimization of a full quantum decoder as future work, but it explicitly relies on the fact that the underlying Gabidulin structure admits polynomial-time syndrome decoding [2411.09173] [2605.02571].

## 3. CSS-type quantum Gabidulin codes on square stacked memories

The first explicit quantum rank-metric family is a stabilizer construction on an $n \times n$ stacked memory, with $n$ odd. One chooses a trace-orthogonal normal basis
$$
[\alpha,\alpha^2,\dots,\alpha^{2^{n-1}}]
$$
of $\mathbb{F}_{2^n}$ over $\mathbb{F}_2$ satisfying $\operatorname{tr}(\alpha^{2^i}\alpha^{2^j})=\delta_{i,j}$. Each $\beta \in \mathbb{F}_{2^n}^n$ is embedded into a binary $n \times n$ array, and from this embedding one defines $X(\beta)$ and $Z(\gamma)$ operators on the square array of qubits. The relevant bilinear form is
$$
\langle \beta,\gamma\rangle = \sum_j \operatorname{tr}(\beta_j\gamma_j),
$$
and $X(\beta)$ and $Z(\gamma)$ commute if and only if $\langle \beta,\gamma\rangle=0$ [2411.09173].

For integers $r,s$ with $r+s<n$, the quantum Gabidulin code $Q\operatorname{Gab}(\alpha,r,s)$ is defined by taking all $X(\beta)$ with $\beta \in \operatorname{Gab}(\alpha,r)$ as $X$-stabilizers and all $Z(\gamma)$ with $\gamma \in \operatorname{Gab}(\alpha^{2r},s)$ as $Z$-stabilizers. Commutation follows from the duality relation $\operatorname{Gab}(\alpha^{2r},s)\subseteq (\operatorname{Gab}(\alpha,r))^\perp$. In the symmetric family $s=r$ and $r<n/2$, the code has parameters
$$
[[n^2,\; n(n-2r),\; d_Q \ge r+1]],
$$
where the distance is a quantum rank distance: the minimum rank of a nontrivial Pauli that commutes with all stabilizers but is not in the stabilizer group [2411.09173].

The correction guarantee is expressed in rank rather than Hamming weight. Since $d_Q \ge r+1$, the code corrects any Pauli of rank
$$
t_R \le \left\lfloor \frac{d_Q-1}{2}\right\rfloor = \left\lfloor \frac r2 \right\rfloor.
$$
Combining this with the circuit bound $\operatorname{rank}(Q)\le 4t_{\mathrm{gate}}$ yields the guarantee
$$
t_{\mathrm{gate}} \le \left\lfloor \frac r8 \right\rfloor
$$
under ideal syndrome extraction. In symplectic matrix language, if $H_X$ and $H_Z$ are binary parity-check matrices for the embedded Gabidulin spaces, then the commutation condition is
$$
H_X H_Z^\top - H_Z H_X^\top = 0
$$
over $\mathbb{F}_2$ [2411.09173].

This CSS-type construction has a strict algebraic limitation. As later emphasized, the use of a self-dual normal basis over $\mathbb{F}_{2^n}$ is possible if and only if $n$ is odd, so the construction applies only to square $n \times n$ memories with odd $n$. The later Hermitian-based work identifies this as the main layout restriction of the original approach [2605.02571].

## 4. Hermitian orthogonality and generalized quantum rank-metric constructions

A broader framework starts from a binary symplectic self-orthogonal linear space. If $C \subseteq \mathbb{F}_2^{2mn}$ is linear with $|C|=2^{2mk}$, $C \subseteq C^{\perp S}$, and
$$
d_R = \min_{c \in C^{\perp S}\setminus C} \operatorname{rank}_{\mathbb{F}_2}(M(c)),
$$
where $M$ reshapes a length-$2mn$ vector into an $m \times 2n$ matrix, then there exists a quantum rank-metric stabilizer code with parameters
$$
[[m \times n,\; m(n-2k),\; d_R]].
$$
This theorem turns the rank of the reshaped symplectic representative into the quantum distance parameter directly [2605.02571].

The key new ingredient is Hermitian orthogonality. Over $\mathbb{F}_{q^m}$ with even $m$, the Hermitian product is
$$
\langle x,y\rangle_H=\sum_{i=1}^n x_i y_i^{q^{m/2}}.
$$
A basis $\{\beta_1,\dots,\beta_m\}$ of $\mathbb{F}_{q^m}$ over $\mathbb{F}_q$ is self-dual if $\operatorname{Tr}_{\mathbb{F}_{q^m}/\mathbb{F}_q}(\beta_i\beta_j)=\delta_{ij}$; such a basis exists when $q$ is even, and in particular over $\mathbb{F}_2^{2m}$. With $m$ even and $\alpha=(\alpha_1,\dots,\alpha_m)$ a self-dual basis, the Islam–Horlemann lemma states that if $k \le m/2$ then
$$
\operatorname{Gab}(\alpha,k)\subseteq \operatorname{Gab}(\alpha,k)^{\perp H}.
$$
The Matsumoto–Uyematsu method then maps Hermitian self-orthogonality to binary symplectic self-orthogonality through an explicit coordinate expansion $\Phi$ [2605.02571].

Applied to Gabidulin codes, this yields a new family. One works over $\mathbb{F}_2^{2m}$, selects a self-dual $\mathbb{F}_2$-basis $\alpha=(\alpha_1,\dots,\alpha_{2m})$, takes the classical MRD code $C=\operatorname{Gab}(\alpha,k)\subseteq (\mathbb{F}_2^{2m})^{2m}$ with $1 \le k \le m$, and maps it to a binary symplectic code $\Phi(C)$. The resulting quantum rank-metric code has parameters
$$
[[2m \times m,\; 2m(m-k),\; k+1]].
$$
The distance claim follows from preservation of duality under $\Phi$, preservation of rank under $\Phi$ and reshaping, and the fact that $C^{\perp H}$ is again MRD with distance $k+1$ [2605.02571].

The main structural consequences are summarized below.

| Construction | Layout condition | Parameters |
|---|---|---|
| CSS quantum Gabidulin | odd square $n \times n$ | $[[n \times n,\; n(n-2r),\; r+1]]$ |
| Hermitian/MU quantum Gabidulin | removes odd-square restriction; explicit $2m \times m$ family | $[[2m \times m,\; 2m(m-k),\; k+1]]$ |

For comparable rates, the later paper states that the relative minimum rank distance per physical qubit is approximately doubled. In its notation, if $\delta = D/N$, then for the proposed family
$$
\delta_{\mathrm{prop}}=\frac{k+1}{2n^2},
$$
while for the CSS family on the nearest odd square
$$
\delta_{\mathrm{CSS}}=\frac{k+1}{(2n\pm 1)^2},
$$
so $\delta_{\mathrm{prop}}/\delta_{\mathrm{CSS}}$ tends to $2$ as $n$ grows. The same paper also states that this construction eliminates the conventional requirement that the number of cells and layers be odd, thereby increasing design freedom for stacked memories [2605.02571].

## 5. Decoding, syndrome extraction, and representative parameters

In the circuit-level protocol, the stacked implementation of a Clifford circuit maps the initial stabilizer code to an image code by conjugation. If the initial code is $Q\operatorname{Gab}(\alpha,r,r)$ and the circuit is applied layerwise, the conjugated image code $Q'$ has stabilizers obtained from those of the original code by Clifford conjugation. Because Clifford conjugation permutes or phase-rotates Pauli operators, it preserves both rank and the minimum quantum rank distance. Syndrome measurement is then performed on $Q'$ rather than on the original code [2411.09173].

The syndrome model separates $X$ and $Z$ components. In the binary embedding, an unknown Pauli error decomposes as $(E_X \mid E_Z)$, each component being an $n \times n$ binary matrix in the square construction. Measuring $Z$-type stabilizers yields syndrome information for $E_X$ through $H_X$, and measuring $X$-type stabilizers yields syndrome information for $E_Z$ through $H_Z$, with duality ensuring consistency. The end-to-end protocol is: encode a code state, apply the stacked Clifford circuit, measure the stabilizers of the conjugated code, decode to a minimum-rank Pauli $\hat E$ consistent with the syndrome, and apply $\hat E$ as recovery. Under ideal syndrome extraction, any pattern with
$$
t_{\mathrm{gate}} \le \left\lfloor \frac r8 \right\rfloor
$$
faulty gates is guaranteed correctable in the CSS family [2411.09173].

The decoding method is algebraic. Classically, one solves linearized-polynomial key equations for an error-locator and an error-evaluator; quantumly, the same Gabidulin structure is used to decode $E_X$ from $Z$-syndromes and $E_Z$ from $X$-syndromes. The 2024 work leaves an efficient full decoder for the conjugated image code as future work, but states that known Gabidulin decoding methods run in time polynomial in $n$ over $\mathbb{F}_Q$ arithmetic. The 2026 work makes the same point more concretely: after converting the symplectic syndrome back to an extension-field syndrome, one may run a Gabidulin or Loidreau-type rank decoder in roughly $O(n^2)$ operations over $\mathbb{F}_{2^{2m}}$, followed by linear basis transforms and multiplication by the fixed matrices associated with the Matsumoto–Uyematsu map [2411.09173] [2605.02571].

The published examples illustrate both the promise and the current scale. In the square CSS family, choosing $n=5$ and $r=2$ gives
$$
[[25,\;5,\;d_Q \ge 3]].
$$
This corrects all rank-$1$ Pauli errors on the $5 \times 5$ array, but it does not guarantee correction of a single faulty gate because $4 \cdot 1 > \lfloor r/2 \rfloor = 1$. The same paper notes that practical single-fault correction requires $r \ge 8$, hence odd $n \ge 17$, giving
$$
[[n^2,\; n(n-16),\; d_Q \ge 9]]
$$
and guaranteeing correction of one faulty gate via $\lfloor r/8 \rfloor \ge 1$. In the Hermitian/MU family, the explicit example $m=2$, $k=1$ over $\mathbb{F}_{16}$ yields an $[[4 \times 2,\; 4,\; 2]]$ code [2411.09173] [2605.02571].

A common misunderstanding is that these constructions already supply a complete practical fault-tolerant stack. Both papers are explicit that the formal guarantees assume ideal or noiseless syndrome extraction, and that robust fault-tolerant extraction and optimized decoding remain open engineering and algorithmic tasks.

## 6. Applications, comparisons, and open problems

The proposed application domain is high-throughput Clifford-dominated computation on stacked memories. The 2024 work specifically envisions stabilizer-state factories producing $\lvert 0\rangle_L$, $\lvert +\rangle_L$, and Bell pairs in parallel across layers, as well as magic-state factories in which the Clifford part is parallelized and protected. It also suggests batched evaluation of Clifford-heavy subcircuits in variational quantum algorithms. In each case, the intended advantage is that shared-gate or crosstalk-induced faults are aligned with the low-rank patterns targeted by the code rather than with sparse Hamming-weight patterns [2411.09173].

This comparison to other code families is important. CSS, LDPC, and topological codes are described as excelling under local and approximately independent, Hamming-like noise. Subsystem codes may localize checks, but still typically optimize Hamming distance. Quantum rank-metric Gabidulin codes, by contrast, are dense and optimized for rank distance, so they are matched to a fault morphology in which errors are correlated across layers and cells but remain low rank as binary matrices. This does not imply superiority under all noise models; it implies specialization to stacked architectures whose circuit faults obey the accumulated-rank picture [2411.09173].

The later Hermitian-based construction strengthens this architectural case by removing the odd-square restriction and supporting code families built from self-dual bases over $\mathbb{F}_2^{2m}$. The paper states that even numbers of layers and cells are now supported, and also emphasizes explicit rectangular $2m \times m$ footprints. A plausible implication is that hardware-software co-design becomes less constrained, since rectangular layouts may better fit routing and packaging constraints, but the paper presents this as design freedom rather than as an experimentally established advantage [2605.02571].

The main limitations are stated plainly in both works. Practical deployment requires a hardware platform capable of hosting multi-qubit cells with low inter-cell crosstalk, support for simultaneous multi-layer gates with high fidelity, and connectivity for high-weight stabilizer measurement or alternatively LDPC-like rank-metric variants. Fault-tolerant syndrome extraction is still missing in the published protocols, and the required decoders for the conjugated image code need further design and optimization. Additional open directions include broader quantum rank-metric code families with flexible $(n,k,d)$, rigorous fault-tolerance analysis with thresholds and overheads, integration with non-Clifford resource injection, concatenated or subsystem variants, and refined circuit-level noise models that could improve the constant $4$ in the accumulated-rank bound [2411.09173] [2605.02571].

Source: https://www.emergentmind.com/topics/quantum-rank-metric-codes