Skip to main content
SpringerLink
Log in

The One Way to Quantum Computation

  • Conference paper
Automata, Languages and Programming (ICALP 2006)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4052))

Included in the following conference series:

Abstract

Measurement-based quantum computation has emerged from the physics community as a new approach to quantum computation where measurements rather than unitary transformations are the main driving force of computation. Among measurement-based quantum computation methods the recently introduced one-way quantum computer [RB01] stands out as basic and fundamental.

In this work we a concrete syntax and an algebra of these patterns derived from a formal semantics. We developed a rewrite theory and proved a general standardization theorem which allows all patterns to be put in a semantically equivalent standard form.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bennett, C., Brassard, G., Crepeau, C., Jozsa, R., Peres, A., Wootters, W.: Teleporting an unknown quantum state via dual classical and EPR channels. Phys Rev Lett 10(5), 1895–1899 (1993), citeseer.ist.psu.edu/bennett93teleporting.html

    Article  MathSciNet  Google Scholar 

  2. Deutsch, D.: Quantum computers. Computer Bulletin 3(2), 24 (1987)

    MathSciNet  Google Scholar 

  3. Vincent Danos, Elham Kashefi, and Prakash Panangaden. The measurement calculus. Available from www.cs.mcgill.ca/~prakash/pubs.html

  4. Danos, V., Kashefi, E., Panangaden, P.: Robust and parsimonious realisations of unitaries in the one-way model. Phys. Rev. A 72 (2005)

    Google Scholar 

  5. Gottesman, D., Chuang, I.L.: Quantum teleportation is a universal computational primitive. Nature, 390–402 (1999)

    Google Scholar 

  6. Grover, L.K.: A framework for fast quantum mechanical algorithms. In: Proceedings of STOC 1998 – Symposium on Theory of Computing, pp. 53–62 (1998)

    Google Scholar 

  7. Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)

    MATH  Google Scholar 

  8. Nielsen, M.A.: Optical quantum computation using cluster states. Phys. Rev. Lett. 93(4), 40503 (2004)

    Article  Google Scholar 

  9. Raussendorf, R., Briegel, H.-J.: A one-way quantum computer. Physical Review Letters 86(5188) (2001)

    Google Scholar 

  10. Raussendorf, R., Browne, D.E., Briegel, H.-J.: Measurement-based quantum computation on cluster states. Phys. Rev. A 68(022312) (2003)

    Google Scholar 

  11. Selinger, P.: Towards a quantum programming language. Mathematical Structures in Computer Science 14(4), 527 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  12. Shor, P.W.: Algorithms for quantum computation: Discrete logarithms and factoring. In: Proceedings of FOCS 1994 – Symposium on Foundations of Computer Science, p. 124 (1994)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Université Paris 7 & CNRS,  

    Vincent Danos

  2. IQC, University of Waterloo & Christ Church, Oxford

    Elham Kashefi

  3. School of Computer Science, McGill University, Montréal, Québec, Canada

    Prakash Panangaden

Authors
  1. Vincent Danos
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Elham Kashefi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Prakash Panangaden
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università Ca’ Foscari, Venice,  

    Michele Bugliesi

  2. Interdisciplinary Institute for BroadBand Technology (IBBT), Belgium

    Bart Preneel

  3. ECS, University of Southampton, UK

    Vladimiro Sassone

  4. FB Informatik, LS2, Univ. Dortmund, 44221, Dortmund, Germany

    Ingo Wegener

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Danos, V., Kashefi, E., Panangaden, P. (2006). The One Way to Quantum Computation. In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I. (eds) Automata, Languages and Programming. ICALP 2006. Lecture Notes in Computer Science, vol 4052. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11787006_2

Download citation

  • DOI: https://doi.org/10.1007/11787006_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-35907-4

  • Online ISBN: 978-3-540-35908-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation