The measurement calculus

DOI10.1145/1219092.1219096zbMath1311.81076arXiv0704.1263OpenAlexW2007542733MaRDI QIDQ3546325

Vincent Danos, Elham Kashefi, Prakash Panangaden

Publication date: 21 December 2008

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0704.1263

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Quantum computation (81P68) Semantics in the theory of computing (68Q55) Quantum measurement theory, state operations, state preparations (81P15)

Related Items (35)

Outcome determinism in measurement-based quantum computation with qudits ⋮ Which Graph States are Useful for Quantum Information Processing? ⋮ Cluster-state quantum computation ⋮ Categorifying the ZX-calculus ⋮ Rigidity of quantum steering and one-sided device-independent verifiable quantum computation ⋮ Ancilla-driven quantum computation with twisted graph states ⋮ Unnamed Item ⋮ A hybrid universal blind quantum computation ⋮ Optimised resource construction for verifiable quantum computation ⋮ Interacting quantum observables: categorical algebra and diagrammatics ⋮ Automatic translation of quantum circuits to optimized one-way quantum computation patterns ⋮ Can a Quantum Computer Run the von Neumann Architecture? ⋮ Qubit mapping of one-way quantum computation patterns onto 2D nearest-neighbor architectures ⋮ Optimization of one-way quantum computation measurement patterns ⋮ Robustness and device independence of verifiable blind quantum computing ⋮ UNITARY-CIRCUIT SEMANTICS FOR MEASUREMENT-BASED COMPUTATIONS ⋮ Nondestructive discrimination of a new family of highly entangled states in IBM quantum computer ⋮ Extended phase map decompositions for unitaries ⋮ Measurement-Based and Universal Blind Quantum Computation ⋮ Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation ⋮ Distributed quantum programming ⋮ CIRCUIT DESIGN FOR A MEASUREMENT-BASED QUANTUM CARRY-LOOKAHEAD ADDER ⋮ Quantum approaches to graph colouring ⋮ Twisted Graph States for Ancilla-driven Universal Quantum Computation ⋮ On a measurement-free quantum lambda calculus with classical control ⋮ Reversibility in Extended Measurement-Based Quantum Computation ⋮ A Fully Fault-Tolerant Representation of Quantum Circuits ⋮ Classical Knowledge for Quantum Security ⋮ Programmable Hamiltonian for One-way Patterns ⋮ Parallelizing quantum circuits ⋮ QPCF: higher-order languages and quantum circuits ⋮ Quadratic Form Expansions for Unitaries ⋮ Classical Knowledge for Quantum Cryptographic Reasoning ⋮ Measurement-based universal blind quantum computation with minor resources ⋮ The brickwork state with fewer qubits in blind quantum computation

This page was built for publication: The measurement calculus