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.
arXiv comment23 pages + 31 pages of references and appendices; more corrections
References in corpus (27)
- Qudits and high-dimensional quantum computing
- Quantum computation based on d-level cluster states
- Fault-Tolerant Quantum Computation with Higher-Dimensional Systems
- The ZX-calculus is complete for stabilizer quantum mechanics
- Qudit versions of the qubit "pi-over-eight" gate
- The ZX calculus is a language for surface code lattice surgery
- There and back again: A circuit extraction tale
- Interacting Hopf Algebras
- Standard Form of Qudit Stabilizer Groups
- A Universal Construction for (Co)Relations
- A universal completion of the ZX-calculus
- Properties of the extended Clifford group with applications to SIC-POVMs and MUBs
- Making the stabilizer ZX-calculus complete for scalars
- Valence bond solid formalism for d-level one-way quantum computation
- A linearized stabilizer formalism for systems of finite dimension
- Interacting Hopf Algebras: the theory of linear systems
- 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
- When Only Topology Matters
- Completeness of the ZH-calculus
- 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
- A consolidating review of Spekkens' toy theory
- Colored props for large scale graphical reasoning
- An Efficient Algorithm to Recognize Locally Equivalent Graphs in Non-Binary Case