Transversal gates of the ((3,3,2)) qutrit code and local symmetries of the absolutely maximally entangled state of four qutrits

We provide a proof that there exists a bijection between local unitary (LU) orbits of absolutely maximally entangled (AME) states in $(\mathbb{C}^D)^{\otimes n}$ where $n$ is even, also known as perfect tensors, and LU orbits of $((n-1,D,n/2))_D$ quantum error correcting codes. Thus, by a result of Rather et al. (2023), the AME state of 4 qutrits and the pure $((3,3,2))_3$ qutrit code $\mathcal{C}$ are both unique up to the action of the LU group. We further explore the connection between the 4-qutrit AME state and the code $\mathcal{C}$ by showing that the group of transversal gates of $\mathcal{C}$ and the group of local symmetries of the AME state are closely related. Taking advantage of results from Vinberg’s theory of graded Lie algebras, we find generators of both of these groups.

💡 Research Summary

The paper establishes a deep correspondence between absolutely maximally entangled (AME) states—also known as perfect tensors—and quantum error‑correcting codes (QECCs) of the form ((n‑1,D,n/2))_D when the number of parties n is even. By employing the Hub­er‑Grassl construction, the authors show that tracing out one subsystem of an AME state yields a pure QECC of distance n/2, while conversely, taking a D‑dimensional subspace of a ((n‑1,D,n/2))_D code and appending an ancillary system in a maximally entangled fashion reproduces an AME state. This yields a bijection between LU (local unitary) orbits of normalized AME states in (C^D)^{⊗n} and LU orbits of the corresponding codes.

Specializing to the case D=3 and n=4, the paper invokes the recent result of Rather‑Ramadas‑Ko­di­yal‑Lakshminarayana (2023) that there is a unique 4‑qutrit AME state up to LU equivalence. Consequently, the pure ((3,3,2))_3 code—denoted C—is also unique up to LU transformations. The authors then turn to Vinberg’s theory of graded Lie algebras. They identify the Z₃‑graded Lie algebra e₆, whose grade‑1 component H₃₃₃ ≡ (C³)^{⊗3} contains the code subspace C as a Cartan subspace. In this language, the stabilizer of C (in the QECC sense) coincides with the centralizer of C in Vinberg’s sense, and the normalizer N(C) = {g ∈ SL₃^{⊗3} | gC = C} is precisely the group of transversal gates when intersected with SU₃^{⊗3}.

Through explicit algebraic computation, the authors demonstrate that N(C) is the Weyl group of the Cartan subspace, and they provide concrete generators: reflections and cyclic permutations expressed as 3×3 unitary matrices. These generators are shown to be exactly the normalizers of the Pauli group P₃, confirming that transversal gates act fault‑tolerantly (they do not spread local errors).

The paper also analyses the local symmetry group of the four‑qutrit AME state, S(|Φ⟩) = {g ∈ GL₃^{⊗4} | g|Φ⟩ = |Φ⟩}. Using Vinberg’s framework, they prove that S(|Φ⟩) is generated by the same Weyl group acting on the four‑partite Hilbert space, yielding an explicit set of 4‑party symmetry operators. This shows a tight relationship: the group of transversal gates on the code and the local symmetry group of the AME state are essentially the same Weyl group, reflecting a unified algebraic structure behind both error correction and multipartite entanglement.

Finally, the authors discuss the broader landscape: for dimensions D>3 the bijection still holds, but there are infinitely many LU orbits of AME states and corresponding codes, whereas D=3 is exceptional with uniqueness. They argue that Vinberg’s graded Lie algebra approach provides a powerful toolkit for classifying high‑dimensional multipartite entanglement and associated MDS codes, and that the explicit generators they present can be directly employed in fault‑tolerant quantum circuit design and secret‑sharing protocols. The work thus bridges quantum information theory, algebraic geometry, and Lie theory, offering both conceptual insight and practical tools for quantum error correction and entanglement engineering.