Distributed Measurement-based Quantum Computation

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

Research output: Contribution to journalArticlepeer-review

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 [V. Danos, E. Kashefi and P. Panangaden, The measurement calculus (2004), arXiv:quant-ph/0412135], 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.
Original languageEnglish
Pages (from-to)73 - 94
JournalElectronic Notes in Theoretical Computer Science
Volume170
Issue number0
DOIs
Publication statusPublished - 2007

Keywords

  • semantics
  • formal language
  • quantum communication
  • quantum computing

Fingerprint Dive into the research topics of 'Distributed Measurement-based Quantum Computation'. Together they form a unique fingerprint.

Cite this