Rewriting measurement-based quantum computations with generalised flow

DOI10.1007/978-3-642-14162-1_24MaRDI QIDQ3587446zbMATH OpenOpenAlexWikidataFDO

Authors Ross Duncan, Simon Perdrix

Publication date 7 September 2010

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14162-1_24

Mathematics Subject Classification ID

Quantum algorithms and complexity in the theory of computing (68Q12)

Recommendations

• Extended measurement calculus
• The measurement calculus
• Reversibility in extended measurement-based quantum computation
• Outcome determinism in measurement-based quantum computation with qudits
• Unitary-circuit semantics for measurement-based computations

Cited in

(37)

• A diagrammatic derivation of the Hermitian adjoint
• Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}
• Hybrid quantum-classical circuit simplification with the ZX-calculus
• Reversibility in extended measurement-based quantum computation
• Y-calculus: a language for real matrices derived from the ZX-calculus
• Qutrit ZX-calculus is complete for stabilizer quantum mechanics
• Categorifying the ZX-calculus
• scientific article; zbMATH DE number 7449972 (Why is no real title available?)
• scientific article; zbMATH DE number 7449988 (Why is no real title available?)
• The ZX-calculus is complete for stabilizer quantum mechanics
• Tutorial: Graphical Calculus for Quantum Circuits
• Quantomatic: a proof assistant for diagrammatic reasoning
• GENERAL CIRCUITS FOR INDIRECTING AND DISTRIBUTING MEASUREMENT IN QUANTUM COMPUTATION
• Causal categories: relativistically interacting processes
• Unitary-circuit semantics for measurement-based computations
• Quantum computation: from a programmer's perspective
• Compositional quantum logic
• A diagrammatic axiomatisation of fermionic quantum circuits
• Pauli fusion: a computational model to realise quantum transformations from ZX terms
• scientific article; zbMATH DE number 7561601 (Why is no real title available?)
• SZX-calculus: scalable graphical quantum reasoning
• ZX-calculus: cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics
• Completeness of the ZX-calculus
• Interacting quantum observables: categorical algebra and diagrammatics
• Quantum picturalism for topological cluster-state computing
• A diagrammatic calculus of fermionic quantum circuits
• Outcome determinism in measurement-based quantum computation with qudits
• Light-Matter Interaction in the ZXW Calculus
• Picturing Counting Reductions with the ZH-Calculus
• Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation
• The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification
• Multi-agent blind quantum computation without universal cluster states
• Addition and differentiation of ZX-diagrams
• Hypergraph simplification: linking the path-sum approach to the ZH-calculus
• Relating measurement patterns to circuits via Pauli flow
• Emerging applications of measurement-based quantum computing
• Disentangling the gap between quantum and \#SAT

Describes a project that uses

Uses Software

• Quantomatic

This page was built for publication: Rewriting measurement-based quantum computations with generalised flow

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