Universal Graph Representation of Stabilizer Codes
Name
1gjs-2rhx.pdf
Description
Published version
Size
7.11 MB
Format
Adobe PDF
Checksum (MD5)
532f2dc7f5fec304dabf908da7c3b79e
Author(s)
Khesin, Andrey Boris
Lu, Jonathan Z
Shor, Peter W
Date Issued
November 5, 2025
Journal
PRX Quantum
Publisher
American Physical Society (APS)
Version
Final published version
Abstract
While stabilizer tableaus have proven useful as a descriptive tool for additive quantum codes, they otherwise offer little guidance for concrete constructions or algorithm analysis. We introduce a representation of stabilizer codes as graphs with certain structures, and prove via the ZX calculus that this representation is related to stabilizer tableaus by an efficiently computable bijection. This gives a new universal recipe for code construction by way of finding graphs with nice properties. The graph representation gives insight into both code construction and algorithms. We construct as examples families of [[n, ( n log n ), (log n)]] and [[n, (n4/5), (n1/5)]] codes. We use graphs in a probabilistic analysis to extend the quantum Gilbert-Varshamov bound into a three-way distance-rate-weight trade-off. Moreover, code properties such as distance and encoding circuit depth are bounded by simple functions of the graph degree. We prove that key coding algorithms—distance approximation, minimum-weight generator selection, and decoding—are unified as instances of one optimization game on a graph. By studying this game, we construct an efficient greedy decoder and prove that it corrects all recoverable errors for all graphs with cycle lengths no shorter than 13 (reducible to 5 with mild extra constraints); these include the above two families. Our results suggest that graphs are generically useful for the study of stabilizer codes.
Terms of Use
Creative Commons Attribution
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1103/1gjs-2rhx
