Here is a list of codes related to perfect codes.
| Code | Description |
|---|---|
| Combinatorial design | A constant-weight binary code that is mapped into a combinatorial \(t\)-design. |
| Editing code | A block code designed to protect against insertions, where a new symbol is added somewhere within the string, and deletions, where a symbol at an unknown location is erased. |
| Perfect binary code | An \((n,K,2t+1)\) binary code is perfect if parameters \(n\), \(K\), and \(t\) are such that the binary Hamming (a.k.a. sphere-packing) bound \begin{align} \sum_{j=0}^{t} {n \choose j} \leq 2^{n}/K \tag*{(1)}\end{align} becomes an equality. For example, for a code with one logical bit (\(K=2\)) and \(t=1\), the bound becomes \(n+1 \leq 2^{n-1}\). Perfect codes are those for which balls of Hamming radius \(t\) exactly fill the space of all \(n\) binary strings. |
| Perfect code | A type of \(q\)-ary code whose parameters satisfy the Hamming bound with equality. |
| Perfect quantum code | A type of block quantum code whose parameters satisfy the quantum Hamming bound with equality. |
| \((2^{m+1}-1,2^{2n-m},3)\) Vasilyev code | Member of an infinite \((2^{m+1}-1,2^{2n-m},3)\) family of perfect nonlinear codes for any \(m \geq 3\). Constructed by applying a modification of the \((u|u+v)\) construction to a perfect \((2^m-1,2^{n-m},3)\) code, not necessarily linear [1; pg. 77]. |
| \([11,6,5]_3\) Ternary Golay code | A \([11,6,5]_3\) perfect ternary linear code with connections to various areas of mathematics, e.g., lattices [2] and sporadic simple groups [1]. Adding a parity bit to the code results in the self-dual \([12,6,6]_3\) extended ternary Golay code. Up to equivalence, both codes are unique for their respective parameters [3]. The dual of the ternary Golay code is a \([11,5,6]_3\) projective two-weight subcode. |
| \([23, 12, 7]\) Golay code | A \([23, 12, 7]\) perfect binary linear code with connections to various areas of mathematics, e.g., lattices [2] and sporadic simple groups [1]. Up to equivalence, it is unique for its parameters [3]. The dual of the Golay code is its \([23,11,8]\) even-weight subcode [4,5]. |
| \([2^r-1,2^r-r-1,3]\) Hamming code | Member of an infinite family of perfect linear codes with parameters \([2^r-1,2^r-r-1, 3]\) for \(r \geq 2\). Their \(r \times (2^r-1) \) parity-check matrix \(H\) has all possible nonzero \(r\)-bit strings as its columns. Adding a parity check yields the \([2^r,2^r-r-1, 4]\) extended Hamming code. |
| \([4,2,3]_3\) Tetracode | The \([4,2,3]_3\) ternary self-dual MDS code that has connections to lattices [2]. |
| \([5,3,3]_4\) Shortened hexacode | A perfect \([5,3,3]_4\) quaternary Hamming code that is the result of puncturing the hexacode [6]. |
| \([7,4,3]\) Hamming code | Second-smallest member of the Hamming code family. |
| \(q\)-ary Hamming code | Member of an infinite family of perfect linear \(q\)-ary codes with parameters \([(q^r-1)/(q-1),(q^r-1)/(q-1)-r, 3]_q\) for \(r \geq 2\). |
References
- [1]
- F. J. MacWilliams and N. J. A. Sloane. The theory of error correcting codes. Elsevier, 1977.
- [2]
- J. H. Conway and N. J. A. Sloane, Sphere Packings, Lattices and Groups (Springer New York, 1999) DOI
- [3]
- P. Delsarte and J. M. Goethals, “Unrestricted codes with the golay parameters are unique”, Discrete Mathematics 12, 211 (1975) DOI
- [4]
- W. Feit. Some remarks on weight functions of spaces over GF(2), unpublished (1972)
- [5]
- C. L. Mallows and N. J. A. Sloane, “Weight enumerators of self-orthogonal codes”, Discrete Mathematics 9, 391 (1974) DOI
- [6]
- G. Höhn, “Self-dual Codes over the Kleinian Four Group”, (2000) arXiv:math/0005266