From Steane to A7: Quantum Codes from Invariant States

We construct a two-parameter family of single-error-correcting seven-ququart codes with transversal $\widetilde{A_7}$ symmetry, realizing the finite component of a two-qubit super-golden gate set. These $((7,4,3){)}_4$ codes encode two logical qubits and support non-Clifford operations by applying the same gate to each physical ququart. Our method constructs invariant parent states rather than searching directly for a codespace. For $n$ systems of local dimension $q$, suppose the local symmetry is a unitary $t$-group and the permutation symmetry is $t$-transitive. Maximal mixing of all marginals on at most $t$ sites is then equivalent to linear equations in Schur–Weyl sector weights. Every feasible solution yields parents of pure distance at least $t+1$; puncturing one site produces a $q$-dimensional code of distance at least $t$ with the prescribed local symmetry acting transversally. Steane and the nonstabilizer Fake Steane code reveal why the construction leaves continuous freedom. They share the same prescribed transversal Clifford and permutation symmetries, and their eight-qubit purifications lie on a circle: error correction fixes two invariant-sector norms but leaves the relative phase free. Keeping the same permutation group and replacing Clifford symmetry by $\widetilde{A_7}$ $\le SU(4)$ gives three fixed sector norms and two free relative phases, producing the new ququart family.