Minimality of the Stabilizer ZX Calculus

Abstract:The stabilizer fragment of the ZX calculus is amongst the most important fragments of the theory. Crucially, the stabilizer calculus can be described by a small collection of rewrites, most of which have been shown to be necessary by Backens--Perdrix--Wang (arXiv:1709.08903). However, two rules, describing the red/green compact-structure coincidence and the important bialgebra law, had not been shown to be necessary. We present two alternate interpretations, showing that both of these rules are individually necessary. Thus, this resolves a problem which has remained open for over a decade, and gives the first complete, minimal ruleset for the stabilizer ZX Calculus.

arXiv:2606.12383 [quant-ph]

(or arXiv:2606.12383v3 [quant-ph] for this version)

https://doi.org/10.48550/arXiv.2606.12383 Focus to learn more arXiv-issued DOI via DataCite

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.