Minimality of the Stabilizer ZX Calculus
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,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.12383
curl -X POST /api/v1/records/arxiv/2606.12383/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.12383/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'