[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
article

Distributed Measurement-based Quantum Computation

Published: 01 March 2007 Publication History

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.

References

[1]
Abramsky, S. and B. Coecke, A categorical semantics of quantum protocols, in: Proceedings of the 19th annual IEEE Symposium on Logic (LICS) in Computer Science (2004), available as arXiv:quant-ph/0402130
[2]
Danos, V., Kashefi, E. and Panangaden, P., The measurement calculus.
[3]
Danos, V., Kashefi, E. and Panangaden, P., 1-qubit versus 2-qubit measurement-based quantum computation.
[4]
D'Hondt, E., “Distributed quantum computation -- A measurement-based approach,” Ph.D. thesis, Vrije Universiteit Brussel (2005)
[5]
D'Hondt, E. and Panangaden, P., Quantum weakest preconditions. Mathematical Structures in Computer Science. v16. 1-23.
[6]
Gay, S.J. and Nagarajan, R., Communicating quantum processes. In: Selinger, P. (Ed.), Proceedings of the 2nd Workshop on Quantum Programming Languages, Turk Centre for Computer Science.
[7]
Lalire, M. and Jorrand, P., A process algebraic approach to concurrent and distributed quantum computation: operational semantics. In: Selinger, P. (Ed.), Proceedings of the 2nd Workshop on Quantum Programming Languages, Turku Centre for Computer Science.
[8]
Leung, D.W., Quantum computation by measurements. Int. J. of Quant. Comp. v2. 33-43.
[9]
Nielsen, M.A., Universal quantum computation using only projective measurement, quantum memory, and preparation of the 0 state. Phys. Lett. A. v2--3. 96-100.
[10]
Nielsen, M.A. and Chuang, I., Quantum computation and quantum information. Cambridge University Press.
[11]
Raussendorf, R., Browne, D.E. and Briegel, H.J., Measurement-based quantum computation on cluster states. Phys. Rev. A. v68. 022312
[12]
Walther, P., Resch, K.J., Rudolph, T., Schenck, E., Weinfurter, H., Vedral, V., Aspelmeyer, M. and Zeilinger, A., Experimental one-way quantum computing. Nature. v434. 169-176.

Cited By

View all

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)  Volume 170, Issue
March, 2007
195 pages

Publisher

Elsevier Science Publishers B. V.

Netherlands

Publication History

Published: 01 March 2007

Author Tags

  1. Formal language
  2. quantum communication
  3. quantum computing
  4. semantics

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Jan 2025

Other Metrics

Citations

Cited By

View all

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media