Completeness of the ZX-calculus

MaRDI QIDQ5114829zbMATH OpenFDO

Authors Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart

Publication date 26 June 2020

Full work available at URL https://arxiv.org/abs/1903.06035, https://lmcs.episciences.org/6532

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
• Diagrammatic reasoning beyond Clifford+T quantum mechanics
• The ZX-calculus is complete for stabilizer quantum mechanics
• ZX-calculus: cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics
• A generic normal form for ZX-diagrams and application to the rational angle completeness

Cites work

• scientific article; zbMATH DE number 2132450 (Why is no real title available?)
• scientific article; zbMATH DE number 7447789 (Why is no real title available?)
• scientific article; zbMATH DE number 7215290 (Why is no real title available?)
• A complete graphical calculus for Spekkens' toy bit theory
• A diagrammatic axiomatisation for qubit entanglement
• A graphical approach to measurement-based quantum computing
• A simplified stabilizer ZX-calculus
• A survey of graphical languages for monoidal categories
• Both Toffoli and Controlled-NOT need little help to universal quantum computing
• Diagrammatic reasoning beyond Clifford+T quantum mechanics
• Field Theory
• Graph states and the necessity of Euler decomposition
• Interacting Frobenius algebras are Hopf
• Interacting Quantum Observables
• Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
• Quantomatic: a proof assistant for diagrammatic reasoning
• Quantum picturalism for topological cluster-state computing
• Rewriting measurement-based quantum computations with generalised flow
• Supplementarity is necessary for quantum diagram reasoning
• The Compositional Structure of Multipartite Quantum Entanglement
• The ZX-calculus is complete for stabilizer quantum mechanics
• The ZX-calculus is complete for the single-qubit Clifford+T group
• The ZX-calculus is incomplete for quantum mechanics
• Verifying the Steane code with Quantomatic
• ZX-calculus: cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics
• ZX-rules for 2-qubit \(\text{2-qubit Clifford}+\text{T}\) quantum circuits

Cited in

(11)

• scientific article; zbMATH DE number 7561699 (Why is no real title available?)
• Hybrid quantum-classical circuit simplification with the ZX-calculus
• Multi-agent blind quantum computation without universal cluster states
• scientific article; zbMATH DE number 7327933 (Why is no real title available?)
• scientific article; zbMATH DE number 7215290 (Why is no real title available?)
• scientific article; zbMATH DE number 5147179 (Why is no real title available?)
• Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes
• Graphical CSS Code Transformation Using ZX Calculus
• Well-tempered ZX and ZH calculi
• A generic normal form for ZX-diagrams and application to the rational angle completeness
• A near-minimal axiomatisation of ZX-calculus for pure qubit quantum mechanics

Describes a project that uses

Uses Software

• Quantomatic

This page was built for publication: Completeness of the ZX-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5114829)