## Description

2BGA codes are the smallest LP codes LP\((a,b)\), constructed from a pair of group algebra elements \(a,b\in \mathbb{F}_q[G]\), where \(G\) is a finite group, and \(\mathbb{F}_q\) is a Galois field. For a group of order \(\ell\), we get a 2BGA code of length \(n=2\ell\). A 2BGA code for an Abelian group is called an Abelian 2BGA code. A construction of such codes in terms of Kronecker products of circulant matrices was introduced in [4].

An \(\mathbb{F}_q\)-linear code isomorphic to a \(Z\) logical subspace of the 2BGA code LP\((a,b)\) can be most naturally defined as a linear space of pairs \((u,v)\in \mathbb{F}_q[G]\times \mathbb{F}_q[G]\) such that \begin{align} a u+v b=0, \tag*{(1)}\end{align} with any two pairs \((u,v)\) and \((u',v')\) such that \(u'=u+w b\) and \(v'=v-aw\) considered equivalent. The order in the products is relevant when the group is non-Abelian.

For example, consider the alternating group \(G=A_4=T\), also known as the rotation group of a regular tetrahedron, \begin{align} T=\langle x,y|x^3=(yx)^3=y^2=1\rangle,\quad |T|=12, \tag*{(2)}\end{align} and the binary algebra \(\mathbb{F}_2[T]\). Select \(a=1+x+y+x^{-1}yx\) and \(b=1+x+y+yx\) to get an essentially non-Abelian 2BGA code LP\([a,b]\) with parameters \([[24,5,3]]_2\) [3].

## Protection

## Rate

The 2BGA construction gives some of the best short codes with small stabilizer weights.

A number of 2BGA codes \([[n,k,d]]_q\) with row weights \(W\le 8\), block lengths \(n\le 100\), and parameters such that \(kd\ge n\) have been constructed by exhaustive enumeration [3]. Examples include GB codes with parameters \([[70,8,10]]_2\), \([[72,10,9]]_2\), Abelian 2BGA for groups \(\mathbb{Z}_{mh}=\mathbb{Z}_m\times \mathbb{Z}_2\) (index-4 QC codes) with parameters \([[48,8,6]]_2\) and \([[56,8,7]]_2\), and non-Abelian codes with parameters \([[64,8,8]]_2\), \([[82,10,9]]_2\), \([[96,10,12]]_2\), and \([[96,12,10]]_2\) (all of these have stabilizer generators of weight \(W=8\).)

## Transversal Gates

## Notes

## Parents

- Lifted-product (LP) code — 2BGA codes are LP\((a,b)\) codes, constructed from a pair of one-by-one matrices \(a,b\in \mathbb{F}_q[G]\) in a group algebra.
- Two-block CSS code — 2BGA codes are two-block quantum codes whose commuting matrices are constructed with the help of a group algebra.

## Children

- Bivariate bicycle (BB) code — Bivariate bicycle codes are Abelian 2BGA codes over groups of the form \(\mathbb{Z}_{r} \times \mathbb{Z}_{s}\).
- Generalized bicycle (GB) code — A code GB\((a,b)\) with circulants of size \(\ell\) is a special case of a 2BGA code over the cyclic group \(\mathbb{Z}_{\ell}\). More precisely, for the cyclic group \(\mathbb{Z}_{\ell}\equiv \langle x|x^\ell=1\rangle \), any element \(a\) of the group algebra \(\mathbb{F}_q[\mathbb{Z}_{\ell}]\) can be seen as a polynomial \(a(x)\in \mathbb{F}_q[x]\) over the group generator \(x\), where the polynomial degree \(\deg a(x)<\ell\). The 2BGA code LP\((a,b)\) is then just a generalized bicycle code GB\([a(x),b(x)]\) constructed from the polynomials \(a(x)\) and \(b(x)\) corresponding to \(a,b\in \mathbb{F}_q[\mathbb{Z}_{\ell}]\).

## Cousins

- Quantum LDPC (QLDPC) code — Given group algebra elements \(a,b\in \mathbb{F}_q[G]\) with weights \(W_a\) and \(W_b\) (i.e., number of non-zero terms in the expansion), the 2BGA code LP\((a,b)\) has stabilizer generators of uniform weight \(W_a+W_b\).
- Group-algebra code

## References

- [1]
- M. B. Hastings, LR codes, private communication, 2014.
- [2]
- R. Wang, H.-K. Lin, and L. P. Pryadko, “Abelian and non-abelian quantum two-block codes”, (2023) arXiv:2305.06890
- [3]
- H.-K. Lin and L. P. Pryadko, “Quantum two-block group algebra codes”, (2023) arXiv:2306.16400
- [4]
- A. A. Kovalev and L. P. Pryadko, “Quantum Kronecker sum-product low-density parity-check codes with finite rate”, Physical Review A 88, (2013) arXiv:1212.6703 DOI
- [5]
- Kalachev, G. V., and Panteleev, P. A. (2020). On the minimum distance in one class of quantum LDPC codes. Intelligent systems. Theory and applications, 24(4), 87-117.
- [6]
- J. N. Eberhardt and V. Steffan, “Logical Operators and Fold-Transversal Gates of Bivariate Bicycle Codes”, (2024) arXiv:2407.03973
- [7]
- H. Sayginel et al., “Fault-Tolerant Logical Clifford Gates from Code Automorphisms”, (2024) arXiv:2409.18175
- [8]
- K. T. Tian, E. Samperton, and Z. Wang, “Haah codes on general three-manifolds”, Annals of Physics 412, 168014 (2020) arXiv:1812.02101 DOI
- [9]
- Hsiang-Ku Lin and Leonid Pryadko, private communication, 2024.

## Page edit log

- Victor V. Albert (2023-10-16) — most recent
- Leonid Pryadko (2023-10-10)

## Cite as:

“Two-block group-algebra (2BGA) codes”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2023. https://errorcorrectionzoo.org/c/2bga