---
title: Fermionic LDPC Code Memory
url: https://www.emergentmind.com/topics/fermionic-low-density-parity-check-code-memory
type: topic
---

# Fermionic LDPC Code Memory

Searching arXiv for recent and foundational work on fermionic LDPC code memories and related Majorana/code-phase results.
Fermionic low-density parity-check code memory denotes an error-protected fermionic memory in which logical information is stored directly in fermionic modes and protected by sparse parity checks of bounded weight. In the Majorana-stabilizer formulation, the checks are commuting even-parity products of Majorana operators, so the memory combines ordinary code-distance protection with fermion-parity superselection; in later fermion-to-fermion architectures, such memories act as high-rate storage blocks whose states are transferred to fermionic color-code processors by lattice surgery. A related simulation-oriented construction uses LDPC parity-check matrices to store fixed-particle-number occupation vectors as compressed syndromes, emphasizing optimal qubit cost rather than a commuting-projector memory Hamiltonian [1004.3791], [2508.15323], [2309.09370], [2411.01002].

## 1. Majorana-stabilizer foundation

A system of $n$ complex fermionic modes can be described by $2n$ Hermitian Majorana operators $\gamma_i$, $i=1,\dots,2n$, obeying
$$
\{\gamma_i,\gamma_j\}=2\delta_{ij}I,\qquad \gamma_i^\dagger=\gamma_i.
$$
Products of Majoranas generate the group of Majorana operators,
$$
\eta\,\gamma_A,\qquad \gamma_A:=\prod_{u\in A}\gamma_u,\qquad \eta\in\{\pm1,\pm i\},\qquad A\subseteq\{1,\dots,2n\},
$$
with weight $|\gamma_A|=|A|$. A Majorana operator is even or odd according to whether $|A|$ is even or odd, and monomials satisfy
$$
\gamma_A\gamma_B = (-1)^{|A|\cdot |B|+|A\cap B|}\gamma_B\gamma_A.
$$
The total fermion parity operator is
$$
P := i^n\,\gamma_1\gamma_2\cdots\gamma_{2n}.
$$
These relations define the algebraic setting for Majorana fermion codes and, more generally, fermionic LDPC memories built from even-parity checks [1004.3791].

A Majorana fermion code is specified by an Abelian subgroup $\mathcal{S}\subseteq \mathrm{Maj}(2n)$ such that $-I\notin\mathcal{S}$ and every stabilizer has even weight. The code space is the common $+1$ eigenspace of the stabilizers, the centralizer $\mathcal{C}(\mathcal{S})$ consists of all Majorana monomials commuting with $\mathcal{S}$, and logical operators are the elements of $\mathcal{C}(\mathcal{S})\setminus\mathcal{S}$. For code parameters $[n,k,d]$, the distance is
$$
d:=\min_{C\in \mathcal{C}(\mathcal{S})\setminus\mathcal{S}} |C|.
$$
If $\mathcal{S}$ has $n-k$ independent generators, then the code encodes $k$ qubits. The existence of odd logical operators is controlled by fermion parity: an MFC has at least one odd logical operator iff $P\notin \pm\mathcal{S}$.

The LDPC condition is expressed directly in fermionic language. Majorana modes occupy sites of a lattice or, in nongeometric constructions, vertices of a sparse interaction graph, and local checks take the form
$$
S_a = \eta_a \prod_{u\in A_a}\gamma_u,\qquad |A_a|=O(1),
$$
with bounded check weight and bounded participation of each mode in the set of checks. In geometric realizations, pairwise commutation follows from even overlaps $|A_a\cap A_b|$.

## 2. Protection mechanisms, distance measures, and two-dimensional limits

The defining physical motivation is protection against low-weight fermionic errors, namely operators acting on sufficiently small subsets of fermionic modes. When the environment conserves fermion parity, physically realizable evolutions and errors must be even Majorana operators. This produces a distinction between the ordinary distance $d$ and a superselection-sensitive length scale for even logicals,
$$
l_{\mathrm{even}}:=\min_{\substack{C\in \mathcal{C}(\mathcal{S})\setminus\mathcal{S}\\ |C|=0\pmod 2}} \mathrm{diam}\big(\mathrm{supp}(C)\big).
$$
The point is not merely that a logical operator has large weight, but that parity-preserving environments may forbid odd logicals outright, leaving only even logicals as physically relevant error channels [1004.3791].

The one-dimensional Kitaev chain gives the minimal example of this mechanism. For
$$
H = i\sum_{j=1}^{L-1} \gamma_{2j}\gamma_{2j+1},
$$
the stabilizers are $\langle i\gamma_2\gamma_3,\dots,i\gamma_{2L-2}\gamma_{2L-1}\rangle$, the logical operators may be chosen as $\bar{X}=\gamma_1$, $\bar{Y}=-\gamma_{2L}$, and $\bar{Z}=i\gamma_1\gamma_{2L}$, and the code has $d=1$ but $l_{\mathrm{even}}=2L$. This is the canonical instance in which ordinary distance is trivial while the even logical has macroscopic diameter.

In two dimensions, Bravyi, Terhal, and Leemhuis proposed a Majorana color code on a cylinder $\Sigma=S^1\times[0,1]$. One Majorana mode is placed at each vertex of a trivalent graph with even-length face boundaries and odd-length boundary loops, and the face checks are
$$
C_f := \prod_{u\in V(f)} \gamma_u,\qquad f\in F.
$$
With appropriate phases $\eta_f$, the Hamiltonian
$$
H = -\sum_{f\in F} \eta_f\, C_f
$$
is a local commuting-projector Hamiltonian whose ground space is the code space. The odd boundary logicals are
$$
\bar{X}=\bar{C}_0:=\prod_{u\in \gamma_0}\gamma_u,\qquad
\bar{Y}=\bar{C}_1:=\prod_{u\in \gamma_1}\gamma_u,\qquad
\bar{Z}=-i\,\bar{C}_0\bar{C}_1,
$$
and an even logical can be realized as a string of bilinears $\bar{C}_\gamma=\prod_{(u,v)\in\gamma}\gamma_u\gamma_v$ connecting the two boundaries. For a cylinder with circumference $R$ and separation $L$, the paper proves
$$
d=\Omega(\min\{R,L\}),\qquad l_{\mathrm{even}}=\Omega(L).
$$

A common misconception is that fermion-parity superselection alone yields a self-correcting two-dimensional memory. The 2010 analysis shows otherwise. In any 2D local MFC, there are string-like logical operators: either an even logical exists on a single strip of constant width, or there is a pair of odd logicals on disjoint strips whose product is an even logical supported on two strings. Consequently, logical transitions can be implemented by sequences of local even operators with energy cost $O(1)$ at each step, so the energy barrier is $O(1)$. The result is a two-dimensional no-go theorem for self-correction at finite temperature, even though parity superselection can still suppress odd processes [1004.3791].

## 3. Construction from self-dual CSS codes

A systematic fermion-to-fermion LDPC construction starts from a self-dual CSS code with qubit parity-check matrices $H_X=H_Z=A$ satisfying
$$
AA^T=0\pmod 2.
$$
From this data one builds a block-diagonal Majorana check matrix
$$
H=\begin{pmatrix}
H_\gamma & 0\\
0 & H_{\gamma'}
\end{pmatrix},\qquad H_\gamma=H_{\gamma'}=A,
$$
where each row $r$ of $H_\gamma$ defines an even-parity $\gamma$-type stabilizer
$$
S_r^{(\gamma)}=\prod_{j\in\mathrm{supp}(r)}\gamma_j,
$$
and each row of $H_{\gamma'}$ defines an even-parity $\gamma'$-type stabilizer
$$
S_r^{(\gamma')}=\prod_{j\in\mathrm{supp}(r)}\gamma'_j.
$$
Even row weights guarantee even fermion parity, $AA^T=0$ guarantees commutation within each species, and the two species act on disjoint Majorana sets. The LDPC sparsity of the fermionic memory is inherited directly from the LDPC sparsity of $A$ [2508.15323].

Logical operator vectors lie in
$$
\ker(A)/\mathrm{im}(A)
$$
for each Majorana species. A logical complex fermion is then assembled from a pair of logical Majoranas,
$$
\overline{c}_j^\dagger=\frac{1}{2}\big(\overline{\gamma}_j+i\,\overline{\gamma}'_j\big).
$$
The paper imposes an additional fermionic-statistics condition: all logical Majoranas in the memory should have odd weight and even pairwise overlap, so that the corresponding logical Majoranas anticommute appropriately when interfaced with a processor. To extract such odd-weight logicals, the authors generalize Gram–Schmidt orthogonalization to $\mathbb{F}_2$ by repeatedly isolating an odd-weight vector and orthogonalizing the remaining basis vectors against it.

The existence criterion for at least one odd-weight logical in $\ker(A)/\mathrm{im}(A)$ is
$$
(1,1,\dots,1)^T\notin \mathrm{im}(A).
$$
This criterion is restrictive. Not all self-dual CSS LDPC codes are suitable fermionic memories: the paper states that some self-dual CSS codes, including the Kitaev Majorana code and unicycle codes tested there, lack odd-weight logicals and are therefore unsuitable for the proposed interface scheme. This point is structurally important because the resulting memory is not merely a qubit LDPC code rewritten in fermionic variables; it must also preserve logical fermionic statistics [2508.15323].

## 4. Memory–processor architecture and demonstrated performance

In the fermion-to-fermion architecture, the fermionic LDPC memory is the high-rate storage block, while logical operations are executed on fermionic color code processors. State transfer is performed by fermionic lattice surgery. If block $A$ contains the logical fermion to be moved and block $B$ is initialized in the logical vacuum, the protocol first measures
$$
i\,\overline{\gamma}_A\,\overline{\gamma}_B.
$$
If the outcome is $-1$, one applies
$$
\overline{Z}_A=\exp\big(i\pi\,\overline{n}_A\big),\qquad \overline{n}_A=\overline{c}_A^\dagger\overline{c}_A.
$$
One then measures $\overline{n}_A$; if the outcome is $1$, one applies
$$
\overline{D}=\exp\Big(i\frac{\pi}{2}\overline{\gamma}\Big)
$$
on both blocks. The net effect is to transfer the identity of the logical fermion from $A$ to $B$ while preserving its state [2508.15323].

For the joint logical measurement, the paper introduces a merged code with ancillas. If the relevant logical Majorana on block $A$ has weight $d_A$, then the construction uses $4(d_A-1)$ ancilla Majorana modes, equivalently $2(d_A-1)$ ancilla complex fermions, and introduces $d_A$ measurement stabilizers together with $d_A-1$ gauge stabilizers such that their product equals $i\,\overline{\gamma}_A\,\overline{\gamma}_B$. The $\gamma'$-type stabilizers are left unchanged. The merged code contains $2(d_A-1)$ ancilla complex fermions and $2d_A-1$ new stabilizers, and, using subsystem code formalism, the paper states that the merging does not reduce the code distance. Fault-tolerant execution requires $\min\{d_A,d_B\}$ rounds of noisy stabilizer measurements and decoding, followed by measurement of the ancilla complex fermions in the number basis to return to the original code spaces.

The instantiated code families include a bicycle code $[[100,20,10]]_{\mathrm f}$ with $n=100$ physical complex fermions, $k=20$ logical complex fermions, distance $d=10$, and rate $R=0.20$, as well as finite projective and Euclidean geometry examples constructed from self-dual CSS LDPCs. The paper contrasts these with fermionic color codes, which typically encode a single logical fermion per planar block and require $O(d^2)$ physical modes at distance $d$, so $R_{\mathrm{color}}\sim O(1/d^2)$. On that basis, the LDPC memories achieve constant rates while maintaining nontrivial distances.

Under the error model used for benchmarking, physical errors are single-fermion gates chosen independently with equal probability $p/3$ among $\gamma_j$, $\gamma'_j$, and $i\gamma_j\gamma'_j$. The memory protocol runs $N_c=10$ cycles of random errors, syndrome measurement, decoding, and correction, with
$$
P_{\mathrm L}(N_c)=N_{\mathrm{error}}/N_{\mathrm{sample}},\qquad
p_{\mathrm L}=1-\big(1-P_{\mathrm L}(N_c)\big)^{1/N_c}.
$$
For the PG, EG, and bicycle $[[100,20,10]]_{\mathrm f}$ examples, the reported scaling is
$$
p_{\mathrm L}\sim p^\alpha,\qquad \alpha\simeq 2.
$$
In a dynamical simulation, four logical fermions initialized in $\lvert\overline{0}\,\overline{1}\,\overline{0}\,\overline{1}\rangle$ undergo repeated modules built from braid gates
$$
B_{j,j+1}=\exp\!\left(i\frac{\pi}{2}\big(\overline{c}_j^\dagger\overline{c}_{j+1}+\mathrm{H.c.}\big)\right)
$$
and conditional fermionic swaps. The error-corrected runs closely track the noiseless simulation, whereas uncorrected runs deviate significantly, which the paper presents as evidence of effective error suppression [2508.15323].

## 5. Particle-conserved LDPC encoding as compressed fermionic memory

A distinct but related use of LDPC memory language appears in particle-conserved linear encoding for fermionic simulation. Here the stored objects are occupation vectors
$$
x\in\{0,1\}^M,\qquad \sum_i x_i=N,
$$
for an $M$-mode, $N$-particle sector of dimension
$$
D=\binom{M}{N}.
$$
The information-theoretic lower bound on qubit cost is $\lceil \log_2 \binom{M}{N}\rceil$, and the paper proves an upper bound
$$
Q\le 2N\log M,
$$
more tightly
$$
2\lfloor N/2\rfloor \log M < Q \le 2N\log M.
$$
Thus the qubit complexity is $O(N\log M)$, matching the lower bound up to a constant factor $2$ [2309.09370].

The encoding is linear:
$$
y = Gx \bmod 2,\qquad G\in\{0,1\}^{Q\times M},
$$
with dual code generator $C$ satisfying
$$
GC^T=0.
$$
Distinctness of weight-$N$ configurations is ensured by requiring that all even-weight codewords in $\ker(G)$ have Hamming weight at least $2N+2$. The Randomized Linear Encoder chooses $Q$ in the range $N\log_2 M < Q < 2N\log_2 M$, sets
$$
G=[I_Q\mid D],\qquad C=[-D^T\mid I_{M-Q}],
$$
and checks the even-kernel distance condition by random tests. The paper emphasizes that practical LDPC families such as Gallager constructions, together with toolboxes including AFF3CT and OpenFEC, provide sparse parity checks and polynomial-time decoders. At the same time, it notes an important limitation: the appendix baseline uses columns of weight $Q/2$, so that baseline is not strictly LDPC-sparse.

The operator mapping is tailored to fermionic simulation. For binary vectors $a,b,c$,
$$
\mathcal{E}(X^a)=X^{Ga},\qquad \mathcal{E}(P^b)=P^{Gb},\qquad Z^cP^b=(-1)^{c\cdot b}P^b.
$$
This eliminates explicit $Z$-strings in favor of signed projectors. Expectation values are reconstructed by the Fermionic Expectation Decoder, which applies a classical decoder $F(\cdot)$ to measurement outcomes in a single Clifford-transformed basis and post-selects configurations with $\sum_i b_i=N$. For quantum chemistry Hamiltonians built from $1$- and $2$-body terms, the number of measurement bases is bounded by
$$
1+\binom{M}{2}+\binom{M}{4}\in O(M^4).
$$

The empirical demonstrations use variational quantum eigensolver instances. For LiH in STO-3G with $(M,N)=(8,2)$, the method encodes to $Q=6$ qubits and achieves chemical accuracy with $5$ layers of a hardware-efficient ansatz, while the $8$-qubit Jordan–Wigner instance does not converge even with $6$ layers. For LiH in 6-31G with $(M,N)=(16,2)$, the problem is encoded to $Q=8$ qubits and the compressed instance converges while the uncompressed $16$-qubit problem exhibits barren plateaus. For $\mathrm{H}_2$ in 6-311G* with $(M,N)=(12,2)$, the encoding uses $Q=7$ qubits and achieves chemical accuracy across bond lengths $0.5$–$2.5$ Å. This line of work is therefore best understood as an LDPC-coded fermionic memory for compressed simulation rather than as a commuting-projector Majorana memory Hamiltonian [2309.09370].

## 6. Stable phases, misconceptions, and open problems

A separate question is when an LDPC code Hamiltonian defines a stable gapped phase of matter with robust ground-state degeneracy. For qubit stabilizer code Hamiltonians
$$
H_0 = \sum_{\mathcal{Q}\in \Lambda_{\rm c}} \lambda_{\mathcal{Q}}\,\frac{I-\mathcal{Q}}{2},\qquad 1\le \lambda_{\mathcal{Q}}\le a,
$$
the 2024 analysis proves stability under few-body perturbations when the code has LDPC structure, check soundness, and effective distance
$$
d_{\rm s}:=\min(d,d_{\rm c})\ge c_d\log n.
$$
If the perturbation $V$ has sufficiently small local strength
$$
\epsilon:=\|V\|_{\kappa_1}\le \min\Bigl(\epsilon_0,\frac{1}{3c_1}\Bigr),
$$
then the perturbed spectrum satisfies
$$
\mathrm{spec}(H)\subset[-\epsilon_*,\epsilon_*]\;\cup\;[1/2+\epsilon_*,\infty),
$$
with exactly $2^k$ eigenstates in the lower band and
$$
\epsilon_* = c_2\, n\,\epsilon\, e^{-\frac{\kappa_1 d_{\rm s}}{2}}.
$$
The quasiadiabatic unitary connecting ground spaces is generated by $A(t)$ with
$$
U=\mathcal{T}\exp\left(\int_0^1 dt\,A(t)\right),\qquad \max_t\|A(t)\|_{\kappa_1/2}\le 2\epsilon.
$$
For constant-rate codes with $k=Rn$, this yields a constant zero-temperature entropy density $s_0=R\ln 2$ [2411.01002].

All formal proofs in that paper are written for qubit stabilizer codes, not fermionic ones. However, the argument is explicitly described as adaptable to fermionic LDPC Hamiltonians built from commuting even-parity checks, provided there is a fermionic analogue of check soundness, the perturbations are even-parity and few-body, and the relevant logical distance is defined for even-parity logicals. This suggests a principled route to zero-temperature stability for fermionic LDPC memories that are nongeometric or expander-like, although the paper does not supply a fully rigorous fermionic proof.

Two misconceptions therefore need to be separated. The first is that any fermionic LDPC memory is automatically self-correcting; this is false in two dimensions because local MFCs have string-like logical operators and $O(1)$ energy barriers [1004.3791]. The second is that phase-stability results for general LDPC Hamiltonians have already established thermal robustness for fermionic memories; they have not. The 2024 theorem is a $T=0$ statement about spectral stability, quasiadiabatic connectivity, and exponentially small ground-band splitting under static few-body perturbations [2411.01002].

The principal open problems are correspondingly structural. One direction is to construct asymptotically good fermionic LDPC families with constant rate, large distance, guaranteed odd-weight logical Majoranas, and efficient decoders. Another is to engineer interacting fermionic Hamiltonians that realize commuting even-weight checks with controllable locality and strength. Additional unresolved questions include finite-temperature thresholds, rigorous decoder performance, direct logical gates within fermionic LDPC memories without transfer to color-code processors, extensions of lattice surgery to more general operations, and the effect of odd processes such as single-electron poisoning when parity superselection is only approximate [2508.15323], [2309.09370].

Source: https://www.emergentmind.com/topics/fermionic-low-density-parity-check-code-memory