Abstract:We introduce a representation of $[[n, k]]$ stabilizer codes as semi-bipartite graphs wherein $k$ ``input'' nodes map to $n$ ``output'' nodes, such that output nodes may connect to each other but input nodes may not. We prove that this graph representation is in bijection with tableaus and give an efficient compilation algorithm that transforms tableaus into graphs. We then show that this map is efficiently invertible, which gives a new universal recipe for code construction by way of finding graphs with sufficiently nice properties. The graph representation gives insight into both code construction and algorithms. To the former, we argue that graphs provide a flexible platform for building codes particularly at smaller (non-asymptotic) scales. We construct as examples constant-size codes, e.g. a $[[64, 6, 5]]$ code and a family of roughly $[[n, \frac{n}{\log n}, \log n]]$ codes. We also leverage graphs in a probabilistic analysis to extend the quantum Gilbert-Varshamov bound into a three-way distance-rate-weight tradeoff. To the latter, we show that key coding algorithms -- distance approximation, weight reduction, and decoding -- are unified as instances of a single optimization game on a graph. Moreover, key code properties such as distance, weight, and encoding circuit depth, are all controlled by the graph degree. We give efficient algorithms for producing simple encoding circuits whose depths scale as twice the degree and for implementing logical diagonal and certain Clifford gates with non-constant but reduced depth. Finally, we construct a simple efficient decoding algorithm and prove a performance guarantee for a certain class of graphs, including the roughly $[[n, \frac{n}{\log n}, \log n]]$ code. These results give evidence that graphs are generically useful for the study of stabilizer codes and their practical implementations.

Storage codes on coset graphs with asymptotically unit rate

Storage Codes on Coset Graphs with Asymptotically Unit Rate

The BCH Family of Storage Codes on Triangle-Free Graphs is of Unit Rate

Optimal storage codes on graphs with fixed locality

New Constructions of Large Cyclic Subspace Codes and Sidon Spaces.

Storage codes and recoverable systems on lines and grids

Quantum Codes on Graphs

Identifying codes in triangle-free graphs of bounded maximum degree

Universal graph representation of stabilizer codes

Gilbert-Varshamov Bound for Codes in $L_1$ Metric using Multivariate Analytic Combinatorics

Low-density graph codes that are optimal for source/channel coding and binning

Upper bounds for linear graph codes

Storage Codes with Flexible Number of Nodes

Combinatorial Alphabet-Dependent Bounds for Locally Recoverable Codes

Nonlinear Codes Exceeding the Gilbert-Varshamov and Tsfasman-Vlăduţ-Zink Bounds.

Asymptotically Good Quantum Codes with Transversal Non-Clifford Gates

Bounds and Constructions for Generalized Batch Codes

Optimal local identifying and local locating-dominating codes

On Decoding Cohen-Haeupler-Schulman Tree Codes

Efficient Encoding Of Cycle Codes On Graphs With Large Girths