Group-based quantum code 

Group-based error basis: There are two types of \(X\)-type operators, corresponding to left and right group multiplication. These act on computational basis states \(|h\rangle\) as \begin{align} \overrightarrow{X}_{g}|h\rangle&=|gh\rangle\tag*{(1)}\\ \overleftarrow{X}_{g}|h\rangle&=|hg^{-1}\rangle \tag*{(2)}\end{align} for any group elements \(h,g\). The \(Z\)-type operators can be thought of as matrix-product operators (MPOs) [4] whose virtual dimension is the dimension \(d_{\lambda}\) of their corresponding irrep. The are diagonal in the group-valued basis, yielding the \(d_{\lambda}\)-dimensional irrep matrix \(Z_{\lambda}(g)\) evaluated at the given group element, \begin{align} \hat{Z}_{\lambda}\otimes|g\rangle=Z_{\lambda}(g)\otimes|g\rangle~. \tag*{(3)}\end{align} Each matrix element of this irrep matrix is a generally non-unitary operator on the group-valued qudit. For one-dimensional irreps, the matrix reduces to a single unitary \(Z\)-type operator, and the direct-product symbol is no longer needed.