Rewriting Measurement-Based Quantum Computations with Generalised Flow

DOI10.1007/978-3-642-14162-1_24zbMath1288.68069OpenAlexW1617295181WikidataQ62472267 ScholiaQ62472267MaRDI QIDQ3587446

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)

Related Items (28)

Outcome determinism in measurement-based quantum computation with qudits ⋮ Tutorial: Graphical Calculus for Quantum Circuits ⋮ Quantomatic: A Proof Assistant for Diagrammatic Reasoning ⋮ Causal categories: relativistically interacting processes ⋮ Unnamed Item ⋮ Categorifying the ZX-calculus ⋮ Unnamed Item ⋮ Light-Matter Interaction in the ZXW Calculus ⋮ Picturing Counting Reductions with the ZH-Calculus ⋮ Hybrid quantum-classical circuit simplification with the ZX-calculus ⋮ A diagrammatic derivation of the Hermitian adjoint ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Interacting quantum observables: categorical algebra and diagrammatics ⋮ Quantum picturalism for topological cluster-state computing ⋮ Quantum computation: from a programmer's perspective ⋮ Compositional Quantum Logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The ZX-calculus is complete for stabilizer quantum mechanics ⋮ Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} ⋮ Reversibility in Extended Measurement-Based Quantum Computation

Uses Software

• Quantomatic

This page was built for publication: Rewriting Measurement-Based Quantum Computations with Generalised Flow