Complete ZX-calculi for the stabiliser fragment in odd prime dimensions
arXiv:2204.12531 · doi:10.4230/LIPIcs.MFCS.2022.24
Abstract
We introduce a family of ZX-calculi which axiomatise the stabiliser fragment of quantum theory in odd prime dimensions. These calculi recover many of the nice features of the qubit ZX-calculus which were lost in previous proposals for higher-dimensional systems. We then prove that these calculi are complete, i.e. provide a set of rewrite rules which can be used to prove any equality of stabiliser quantum operations. Adding a discard construction, we obtain a calculus complete for mixed state stabiliser quantum mechanics in odd prime dimensions, and this furthermore gives a complete axiomatisation for the related diagrammatic language for affine co-isotropic relations.
23 pages + 31 pages of references and appendices; more corrections
References in corpus (15)
- Qudits and high-dimensional quantum computing
- Qudit versions of the qubit "pi-over-eight" gate
- A universal completion of the ZX-calculus
- Properties of the extended Clifford group with applications to SIC-POVMs and MUBs
- Qufinite ZX-calculus: a unified framework of qudit ZX-calculi
- A Graphical Calculus for Lagrangian Relations
- A Near-Optimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics
- Completeness of the ZH-calculus
- When Only Topology Matters
- A non-anyonic qudit ZW-calculus
- String Diagram Rewrite Theory III: Confluence with and without Frobenius
- String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure
- Colored props for large scale graphical reasoning
- A consolidating review of Spekkens' toy theory
- An Efficient Algorithm to Recognize Locally Equivalent Graphs in Non-Binary Case