scientific article; zbMATH DE number 7327933

MaRDI QIDQ5856401zbMATH OpenFDO

Authors Miriam Backens, Simon Perdrix, Quanlong Wang

Publication date 26 March 2021

Full work available at URL https://arxiv.org/abs/1709.08903, https://lmcs.episciences.org/7010

Mathematics Subject Classification ID

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

Recommendations

• A simplified stabilizer ZX-calculus
• Making the stabilizer ZX-calculus complete for scalars
• The ZX-calculus is complete for stabilizer quantum mechanics
• Pivoting makes the \textsc{zx}-calculus complete for real stabilizers
• Qutrit ZX-calculus is complete for stabilizer quantum mechanics
• The ZX-calculus as a language for topological quantum computation
• ZX-calculus: cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics
• Categorifying the ZX-calculus
• A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
• scientific article

Cites work

• A classical groupoid model for quantum networks
• A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
• A simplified stabilizer ZX-calculus
• A survey of graphical languages for monoidal categories
• Completeness of the ZX-calculus
• Dagger compact closed categories and completely positive maps (extended abstract)
• Diagrammatic reasoning beyond Clifford+T quantum mechanics
• Graph states and the necessity of Euler decomposition
• Holographic software for quantum networks
• scientific article; zbMATH DE number 7561601 (Why is no real title available?)
• Interacting quantum observables: categorical algebra and diagrammatics
• Making the stabilizer ZX-calculus complete for scalars
• Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
• Pivoting makes the \textsc{zx}-calculus complete for real stabilizers
• Quantum computation and quantum information. 10th anniversary edition
• Supplementarity is necessary for quantum diagram reasoning
• The Heisenberg representation of quantum computers
• The ZX-calculus is complete for stabilizer quantum mechanics
• Two complete axiomatisations of pure-state qubit quantum computing
• ZX-calculus: cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics

Cited in

(13)

• Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}
• Y-calculus: a language for real matrices derived from the ZX-calculus
• scientific article; zbMATH DE number 7449988 (Why is no real title available?)
• The ZX-calculus is complete for stabilizer quantum mechanics
• Supplementarity is necessary for quantum diagram reasoning
• Pivoting makes the \textsc{zx}-calculus complete for real stabilizers
• A simplified stabilizer ZX-calculus
• Making the stabilizer ZX-calculus complete for scalars
• Quantum and braided ZX calculus
• SZX-calculus: scalable graphical quantum reasoning
• The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification
• Minimal equational theories for quantum circuits
• Minimality in finite-dimensional ZW-calculi

This page was built for publication:

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