Extended measurement calculus

MaRDI QIDQ3560842zbMATH OpenFDO

Authors Vincent Danos, Elham Kashefi, Prakash Panangaden, Simon Perdrix

Publication date 14 May 2010

zbMATH Keywords

algebra of programsdenotational semanticsmeasurement-based quantum computationoperational semanticsprojection-based models of quantum computing

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Quantum computation (81P68)

Recommendations

• The measurement calculus
• The One Way to Quantum Computation
• Reversibility in extended measurement-based quantum computation
• The Role of Classical Computation in Measurement-Based Quantum Computation
• Distributed measurement-based quantum computation

Cited in

(30)

• Optimization of one-way quantum computation measurement patterns
• Quantum computing with octonions
• Quantum channels over graph states using generalized measurement-based quantum computation framework
• Twisted graph states for ancilla-driven universal quantum computation
• Reversibility in extended measurement-based quantum computation
• Partial observation of quantum Turing machines and a weaker well-formedness condition
• Distributed measurement-based quantum computation
• Adiabatic graph-state quantum computation
• The Role of Classical Computation in Measurement-Based Quantum Computation
• The measurement calculus
• Unitary-circuit semantics for measurement-based computations
• Rewriting measurement-based quantum computations with generalised flow
• The One Way to Quantum Computation
• Ancilla-driven quantum computation with twisted graph states
• Quantum computation: from a programmer's perspective
• Automatic translation of quantum circuits to optimized one-way quantum computation patterns
• Extended phase map decompositions for unitaries
• Pauli fusion: a computational model to realise quantum transformations from ZX terms
• SZX-calculus: scalable graphical quantum reasoning
• Topos logic in measurement-based quantum computation
• One-way quantum computation
• Outcome determinism in measurement-based quantum computation with qudits
• A dynamic programming approach to multi-objective logic synthesis of quantum circuits
• Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation
• Emerging applications of measurement-based quantum computing
• Qubit mapping of one-way quantum computation patterns onto 2D nearest-neighbor architectures
• An algebraic formulation of Pauli flow, leading to faster flow-finding algorithms
• Quantum circuit completeness: extensions and simplifications
• Covering a graph with minimal local sets
• Measurement-based quantum computation and undecidable logic

This page was built for publication: Extended measurement calculus

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