Trellis Decoding for Qudit Stabilizer Codes and Its Application to Qubit Topological Codes

Trellis decoders are a general decoding technique first applied to qubit-based quantum error correction codes by Ollivier and Tillich in 2006. Here, we improve the scalability and practicality of their theory, show that it has strong structure, extend the results using classical coding theory as a guide, and demonstrate a canonical form from which the structural properties of the decoding graph may be computed. The resulting formalism is valid for any prime-dimensional quantum system. The modified decoder works for any stabilizer code <inline-formula><tex-math notation="LaTeX">$S$</tex-math></inline-formula> and separates into two parts: 1) a one-time offline computation that builds a compact graphical representation of the normalizer of the code, <inline-formula><tex-math notation="LaTeX">$\mathcal {S}^{\perp}$</tex-math></inline-formula> and 2) a quick, parallel, online query of the resulting vertices using the Viterbi algorithm. We show the utility of trellis decoding by applying it to four high-density length-20 stabilizer codes for depolarizing noise and the well-studied Steane, rotated surface, and 4.8.8/6.6.6 color codes for <inline-formula><tex-math notation="LaTeX">$Z$</tex-math></inline-formula> only noise. Numerical simulations demonstrate a 20&#x0025; improvement in the code-capacity threshold for color codes with boundaries by avoiding the mapping from color codes to surface codes. We identify trellis edge number as a key metric of difficulty of decoding, allowing us to quantify the advantage of single-axis (<inline-formula><tex-math notation="LaTeX">$X$</tex-math></inline-formula> or <inline-formula><tex-math notation="LaTeX">$Z$</tex-math></inline-formula>) decoding for Calderbank&#x2013;Steane&#x2013;Shor codes and block decoding for concatenated codes.