---
title: 'Permutation-Invariant Codes: Quantum & Classical'
url: https://www.emergentmind.com/topics/permutation-invariant-codes
type: topic
---

# Permutation-Invariant Codes: Quantum & Classical

Permutation-invariant codes are codes whose codewords are unchanged by permutations of the underlying subsystems or symbols. In quantum information, the term usually denotes a code whose code space lies in the symmetric subspace of $(\mathbb C^q)^{\otimes n}$ and is therefore describable in a Dicke basis; in classical coding, closely related notions include permutation codes in the symmetric group and multiset codes for channels that destroy symbol order [1302.3247, 1812.06886, 1612.08837]. Across these settings, the central effect of permutation symmetry is the same: positional information is removed from the code description and, in many models, from the error model itself.

## 1. Definitions, state spaces, and symmetry models

In the quantum literature, a permutation-invariant (PI) code is a subspace
\[
\mathcal C \subseteq \mathrm{Sym}^n(\mathbb C^q),
\]
the fully symmetric subspace of $n$ qudits. For qubits, a standard basis is given by Dicke states
\[
|D_w^n\rangle=\binom{n}{w}^{-1/2}\sum_{|x|=w}|x\rangle,
\]
and, more generally, qudit Dicke states are indexed by occupation vectors $\lambda$ with $\sum_i \lambda_i=n$ [1302.3247, 2603.10981]. Because every Dicke state is permutation-invariant, any PI codeword is a superposition of Dicke states.

The symmetric-subspace viewpoint admits several equivalent formulations. One is the spin-theoretic picture: a spin-$j$ irreducible representation of $SU(2)$ is isomorphic to the permutation-invariant subspace of $n=2j$ qubits via the Dicke bootstrap, which maps $|j,m\rangle$ to a Dicke state [2310.17652]. Another is the Schur–Weyl perspective, where the symmetric sector is the $(N,0)$ block in the decomposition of $(\mathbb C^2)^{\otimes N}$ into irreducible symmetric-group and $SU(2)$ sectors [2602.13638].

The classical literature uses related but distinct ambient spaces. A permutation code may mean a subset of $S_n$ endowed with the Hamming metric,
\[
d_H(\sigma,\tau)=n-\#\{x: x^\sigma=x^\tau\},
\]
while multiset codes live in the simplex
\[
\triangle_n^{q-1}=\{x\in \mathbb Z^q: x_i\ge 0,\ \sum_i x_i=n\},
\]
which models channels where order is irrelevant or destroyed [1812.06886, 1612.08837]. These classical usages do not coincide with quantum PI codes, but they share the same organizing principle: coding over order-insensitive objects.

## 2. Constructive paradigms and canonical families

A large part of the theory concerns explicit families of PI quantum codes built from structured Dicke-state superpositions. The earliest major family in the supplied literature is the gnu construction, with parameters $(g,n,u)$ and block length $m=gnu$. Its logical basis states are even- and odd-weight Dicke superpositions with amplitudes proportional to square roots of binomial coefficients. When $g=n=2t+1$, these codes perfectly correct arbitrary $t$-sparse errors; when $g=t+1$ and $n>3t$, they approximately correct $t$ amplitude-damping errors [1302.3247].

Subsequent constructions generalized this template in several directions. Polynomial methods produce $d$-dimensional PI qudit codes on at least $(2t+1)^2(d-1)$ qudits correcting $t$ errors, and when $N>(2t+1)^2(d-1)$ the construction yields an uncountable number of such codes [1604.07925]. Another line of work showed that PI codes are not restricted to a single encoded qubit: one can choose $D$ logical basis states with arithmetic separation conditions so that the code encodes $\log_2 D$ qubits while still suppressing spontaneous decay to leading order [1512.02469].

A more recent explicit family is the permutationally invariant family $\mathcal Q_{g,m,\delta,\epsilon}$ with length $n=2gm+\delta+1$. Under the stated parameter conditions, these codes correct $t$-qubit errors, $2t$ deletions, and $t$ amplitude-damping errors; the family contains earlier gnu codes as special cases and includes a new $((4,2,2))$ optimal single-deletion-correcting code [2310.05358]. A distinct representation-theoretic development proves that for every $q\ge 2$ there exists a minimal qudit PI code with parameters $((4,q,2))_q$, and that no PI code of dimension $q$ and distance at least $2$ exists for $n\le 3$ [2605.22439].

The current landscape also includes numerical and semi-analytic constructions. A numerical study conjectures that qubit PI codes correcting up to $d-1$ deletion errors satisfy
\[
n(d)\ge \frac{3d^2+1}{4},
\]
equivalently
\[
d \le \frac{\sqrt{12n-3}}{3},
\]
and reports that Pollatsek–Ruskai codes can saturate this bound [2603.10981]. The same study numerically observes that for qudit PI codes encoding a single qudit, increasing the physical local dimension monotonically decreases the required block length and moves it toward the quantum Singleton bound $n(d)\ge 2d-1$ [2603.10981].

| Family or method | Representative statement | Source |
|---|---|---|
| gnu codes | $m=gnu$; exact $t$-error correction for $g=n=2t+1$ | [1302.3247] |
| Polynomial PI qudit codes | $d$-dimensional codes on at least $(2t+1)^2(d-1)$ qudits | [1604.07925] |
| Multi-logical PI codes | Encode $\log_2 D$ qubits while suppressing spontaneous decay to leading order | [1512.02469] |
| $\mathcal Q_{g,m,\delta,\epsilon}$ family | Corrects Pauli, deletion, and amplitude-damping errors under explicit conditions | [2310.05358] |
| Minimal qudit PI codes | Existence of $((4,q,2))_q$ for every $q\ge 2$; optimality of length $4$ | [2605.22439] |

A recurring misconception is that permutation invariance forces very small logical dimension. The constructions above show otherwise: the literature contains single-qubit, multi-qubit, single-qudit, and higher-dimensional logical encodings [1512.02469, 1604.07925, 2605.22439].

## 3. Error models, distance, and general correction theory

Permutation symmetry has a particularly strong effect on deletion-type noise. For PI codes, deletion errors behave like erasures because the code is insensitive to which subsystems were lost. One paper states this as a general principle: any PI code of distance $t+1$ can correct $t$ quantum deletions in both qubit and qudit settings [2102.02494]. Another develops a direct weight-shell construction $Q_{A,B}^f$ and gives the first explicit quantum codes correcting two or more deletions, as well as the first examples that correct both multiple-qubit errors and multiple deletions [2102.03015].

This deletion/erasure equivalence extends further. For PI codes, insertion and deletion are equivalent in the same spirit as classical Levenshtein equivalence: exact algebraic criteria $(C1)$ and $(C2)$ characterize $t$-insertion correction, and analogous conditions $(C3)$–$(C6)$ characterize semi-insdel and full-insdel correction [2602.08780]. This resolves a longstanding synchronization-error question in the PI setting.

For Pauli-type noise, the Knill–Laflamme conditions can be specialized sharply. The paper introducing the $\mathcal Q_{g,m,\delta,\epsilon}$ family generalizes the Pollatsek–Ruskai $t=1$ conditions to arbitrary $t$, giving explicit coefficient constraints $(C1)$–$(C4)$ on Dicke amplitudes $\alpha_j,\beta_j$ for a real two-dimensional PI code to correct all $t$-qubit errors [2310.05358]. This provides a concrete algebraic test for exact correctability inside the symmetric sector.

A broader conceptual milestone is the first general theory of quantum error correction for PI codes. Using representation theory of the symmetric group, it proves a symmetrizing lemma: if a PI code has distance $d\ge 2t+1$, then a weight-$t$ noise channel and its symmetrized version are both correctible. The resulting recovery algorithms use measurements of nested total angular momentum, quantum Schur transforms, logical-state teleportation, and geometric phase gates; for erasure and deletion errors on certain PI codes, a simpler modulo-Dicke-weight procedure is available [2602.13638].

Two common misunderstandings are explicitly contradicted by this literature. First, deletion errors are not generically equivalent to erasures, but they become equivalent on PI codes because location information is immaterial [2102.02494]. Second, PI codes are not merely ad hoc symmetric ansätze; they admit full Knill–Laflamme-style correction theory and explicit recovery algorithms [2602.13638].

## 4. Transversal symmetry, non-additivity, and fault-tolerant structure

One of the most distinctive modern themes is the interaction between permutation invariance and transversal gate structure. Via the Dicke bootstrap, a $G$-covariant spin-$j$ code of dimension $K$ and spin distance $d$ maps to a $G$-transversal permutation-invariant $((n,K,d))$ multiqubit code with $n=2j$ [2310.17652]. This turns a spin-symmetry problem into a highly structured multiqubit PI-code construction.

The same work argues that the transversal gate group should be treated as a code invariant alongside $(n,K,d)$. It focuses on binary dihedral groups
\[
BD_{2b}=\langle X,\mathrm{Ph}(2\pi/2b)\rangle,
\]
and, for powers of two, $Q^{(r)}:=BD_{2^r}$. Within this framework, the paper constructs PI non-additive codes implementing generalized phase gates transversally, including a family of $((2b+3,2,3))$ codes and, most notably, an $((11,2,3))$ PI code with transversal $T$ gate [2310.17652]. It also reports higher-distance transversal-$T$ PI codes $((27,2,5))$, $((49,2,7))$, $((73,2,9))$, $((107,2,11))$, and $((147,2,13))$, all using fewer qubits than the listed best known stabilizer codes with transversal $T$ at the same or lower distance [2310.17652].

This is where non-additivity becomes central. Apart from the repetition family, the only permutation-invariant stabilizer codes cited in the data are the \([[k+2,k,2]]\) repetition codes, so most PI codes obtained from the Dicke bootstrap are non-additive. The paper’s explicit comparisons therefore support the claim that non-additive codes can outperform stabilizer codes once transversal-gate structure is included in the comparison [2310.17652].

The newer $\mathcal Q_{g,m,\delta,\epsilon}$ family intersects this fault-tolerant picture. Some of its members reproduce previously known PI codes with nontrivial transversal groups: $\mathcal Q_{2,1,2,-}$ matches a code with logical action of the binary icosahedral group $2I$, while codes of the form $\mathcal Q_{3,1,2b-4,+}$ implement $BD_{2b}$ transversally when $3\nmid b$, or $BD_{2b/3}$ when $3\mid b$; in particular, $\mathcal Q_{3,1,4,+}$ is an 11-qubit one-error-correcting code with transversal $T$ [2310.05358].

A recurring misconception is that symmetric codes must be stabilizer-like because of their high symmetry. The cited results indicate the opposite: the symmetry often coexists with non-additivity, and that non-additivity can be operationally advantageous when transversal gates are part of the performance metric [2310.17652].

## 5. Recovery algorithms, approximate correction, and distributed architectures

Recovery for PI codes need not follow the stabilizer-syndrome template. For correlated amplitude-damping noise, a quantum error recovery framework based on coherent CPTP-map implementation constructs optimized recovery channels directly in the Dicke subspace. The recovery uses either an SDP-optimal map or the Petz/Barnum–Knill map and is compiled through ancilla-assisted branch splitting in the style of Ticozzi–Viola [2607.02346]. Within this framework, the paper introduces CAD codes for collective amplitude damping, including a 4-qubit CAD4 code that perfectly corrects one global symmetric amplitude-damping error and a 9-qubit CAD9 code that, under the reported benchmarks, beats several existing short PI codes by more than one order of magnitude at $p=10^{-3}$ and more than two orders of magnitude at $p=10^{-4}$ [2607.02346].

The same work emphasizes a hardware consequence of permutation symmetry: reduced addressability requirements. Because encoding and recovery operate in the symmetric Dicke sector, system-only and system–ancilla primitives can be compiled with geometric phase gates, and the explicit CAD4 recovery circuit uses 10 system/system-ancilla gates realizable from linear geometric phase gates [2607.02346]. This suggests a direct route from symmetry-adapted channel recovery to experimentally implementable circuits.

A separate line develops approximate PI codes for modular quantum computing. The W-state code stores the logical state as a single excitation delocalized over all subsystems, for example
\[
|\psi\rangle_L=\frac{1}{\sqrt n}\bigl(|\psi\bot\bot\dots\bot\rangle+\cdots+|\bot\dots\bot\psi\rangle\bigr),
\]
and is used as the outer layer in Distributed Approximate Quantum Error Correction (DAQEC) [2509.25093]. The proposal is motivated by noisy inter-processor links and heterogeneous processor error rates: permutation invariance spreads the logical state across modules, supports primarily local transversal logical operations, and permits approximate decoding strategies such as measurement-based location readout or measurement-free elective decoding [2509.25093].

This approximate setting is important because it changes the tradeoff imposed by exact-code theorems. The DAQEC proposal explicitly frames approximate, permutation-invariant outer codes as a way to reduce nonlocal gates, mitigate processor-dependent noise, and avoid magic-state distillation or code switching in distributed hardware [2509.25093]. A plausible implication is that PI symmetry is not merely a code-space restriction; it can also be an architectural abstraction for modular fault tolerance.

## 6. Cryptographic and communication applications

Permutation invariance is also useful beyond error suppression. In quantum anonymous secret sharing, a quantum secret is encoded into PI shares so that recovery depends only on how many shares are missing, not on which parties are absent. This symmetry is the mechanism that enables sender-anonymous recovery: shareholders can send their shares to Bob through anonymous transmission subroutines, and because the code is permutation-invariant, Bob’s decoder cannot infer which shareholders participated [2604.27284].

That protocol is formulated in standard quantum error-correction language. The paper relates Knill–Laflamme conditions, a recovery-channel criterion, and a mutual-information formulation, then quantifies leakage in ramp secret sharing by the quantum conditional min-entropy
\[
H_{\min}(R|E)=-\log q_{\mathrm{corr}}(R|E).
\]
It evaluates several PI families—including 4-, 7-, 9-, 11-, and 13-qubit codes—and reports that intermediate-share leakage profiles differ substantially across families even when the distance is the same [2604.27284]. This suggests that PI symmetry supports not only anonymity but also a controlled, code-dependent notion of ramp leakage.

Permutation-invariant codes also appear as an ansatz for quantum communication over i.i.d. channels. Because i.i.d. channels preserve permutation symmetry, symmetric input states admit a Schur–Weyl block decomposition that makes coherent information tractable at much larger blocklengths than generic inputs. One paper exploits this to evaluate coherent information for at least 100 channel copies in qubit-output cases and obtains improved lower bounds on quantum capacities for several families, including general Pauli channels, the dephrasure channel, the generalized amplitude damping channel, and the damping-dephasing channel [2508.09978].

The strongest threshold improvements in that study come from repetition-code-like PI input states built from non-orthogonal pure states rather than orthodox orthogonal repetition codes. For the 2-Pauli and BB84 channel families, the resulting thresholds improve substantially over the Fern–Whaley 2008 benchmarks, while for the generalized amplitude damping channel the reported PI ansatz improves over both single-letter coherent information and the cited neural-network lower bounds [2508.09978]. This use of PI codes is operationally different from quantum memory or fault tolerance, but it relies on the same structural fact: permutation symmetry compresses an otherwise exponential multipartite optimization.

## 7. Related classical notions: permutation arrays, perfect deletion codes, and multiset coding

Outside the symmetric-subspace quantum literature, permutation-invariant coding appears in several classical forms. One is the theory of permutation arrays in $S_n$ under Hamming distance. A recent example constructs isometry-invariant \((n,n-1)\)-permutation arrays for $n=35,48,63,96$ and interprets them as separable permutation codes corresponding to mutually orthogonal Latin squares (MOLS). The resulting codes establish the lower bounds
\[
N(35)\ge 6,\qquad N(48)\ge 10,\qquad N(63)\ge 8,\qquad N(96)\ge 8
\]
for the number of MOLS of those orders [1812.06886].

Another direction studies stable deletions in permutation codes. A direct proof of Levenshtein’s 1992 theorem defines a family of perfect single-deletion-correcting permutation codes $\mathcal C_{T,n}$ using a modular sum condition on a special representation $R(\pi)$ of permutations. Each code has size $(n-1)!$, the full symmetric group $S_n$ is partitioned into $n$ such perfect codes, and the paper gives encoding in $O(n^{1+\epsilon})$ for any fixed $\epsilon>0$ and decoding in $O(n\log n)$ [2411.08258].

A broader order-insensitive classical model is coding in the space of multisets. There the channel randomly permutes or completely ignores order and may additionally introduce insertions, deletions, substitutions, or erasures. Codewords are multiplicity vectors in the simplex $\triangle_n^{q-1}$, and the exact correction condition is minimum distance greater than the error radius in the normalized $\ell_1$ metric
\[
d_1(x,y)=\frac12\sum_i |x_i-y_i|.
\]
In this setting, constructions based on Sidon sets in finite Abelian groups are shown to be asymptotically optimal for any fixed error radius and alphabet size, and in several cases optimal in the stronger maximal-cardinality sense [1612.08837].

These classical objects are distinct from quantum PI codes, but they illuminate the same structural principle. When order is removed from the physical or logical model, successful code design shifts from positional combinatorics to symmetry-adapted algebra: orbit decompositions, lattice packings, Sidon sets, and group actions in the classical case; Dicke sectors, Schur–Weyl blocks, spin irreducibles, and transversal symmetry groups in the quantum case.

Taken together, the literature presents permutation-invariant codes as a broad symmetry-based coding paradigm rather than a single family. In quantum error correction they provide explicit exact, approximate, qubit, and qudit codes; deletion-, insertion-, and amplitude-damping correction; transversal generalized phase gates; and implementations based on global control [1302.3247, 1604.07925, 2310.17652, 2602.13638]. In classical coding they organize the design of order-insensitive codes for permutation and multiset channels [1812.06886, 2411.08258, 1612.08837]. The unifying theme is that permutation symmetry does not merely simplify the code space; it reshapes the notion of error itself.

Source: https://www.emergentmind.com/topics/permutation-invariant-codes