Distributed measurement-based quantum computation

DOI10.1016/J.ENTCS.2006.12.012MaRDI QIDQ2864169zbMATH OpenOpenAlexFDO

Authors Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/quant-ph/0506070

zbMATH Keywords

formal languagequantum communicationquantum computingsemantics

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Quantum measurement theory, state operations, state preparations (81P15) Quantum information, communication, networks (quantum-theoretic aspects) (81P45) Quantum computation (81P68)

Abstract: We develop a formal model for distributed measurement-based quantum computations, adopting an agent-based view, such that computations are described locally where possible. Because the network quantum state is in general entangled, we need to model it as a global structure, reminiscent of global memory in classical agent systems. Local quantum computations are described as measurement patterns. Since measurement-based quantum computation is inherently distributed, this allows us to extend naturally several concepts of the measurement calculus, a formal model for such computations. Our goal is to define an assembly language, i.e. we assume that computations are well-defined and we do not concern ourselves with verification techniques. The operational semantics for systems of agents is given by a probabilistic transition system, and we define operational equivalence in a way that it corresponds to the notion of bisimilarity. With this in place, we prove that teleportation is bisimilar to a direct quantum channel, and this also within the context of larger networks.

Recommendations

• Distributed Quantum Programming
• The measurement calculus
• Extended measurement calculus
• Distributed quantum programming
• The One Way to Quantum Computation

Cites work

• Communicating quantum processes
• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• Quantum computation by measurement and quantum memory
• QUANTUM COMPUTATION BY MEASUREMENTS
• Quantum weakest preconditions

Cited in

(17)

• Distributed quantum programming
• Classical knowledge for quantum security
• Classical knowledge for quantum cryptographic reasoning
• Can quantum communication speed up distributed computation?
• Distributed Quantum Programming
• Implementation of generalized measurements with minimal disturbance on a quantum computer
• GENERAL CIRCUITS FOR INDIRECTING AND DISTRIBUTING MEASUREMENT IN QUANTUM COMPUTATION
• scientific article; zbMATH DE number 5320265 (Why is no real title available?)
• The measurement calculus
• Extended measurement calculus
• What Can Be Observed Locally?
• Efficient distributed quantum computing
• A scheme for distributed quantum search through simultaneous state transfer mechanism
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• A protocol for quantum energy distribution
• Emerging applications of measurement-based quantum computing
• Hypothesis of quantum as a distributed self-organized computation by collective of particles

This page was built for publication: Distributed measurement-based quantum computation

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