The One Way to Quantum Computation

  • Vincent Danos
  • Elham Kashefi
  • Prakash Panangaden
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4052)


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.


Entangle State Quantum Computation Denotational Semantic Concrete Syntax Pauli Operator 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BBC+93]
    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), CrossRefMathSciNetGoogle Scholar
  2. [Deu87]
    Deutsch, D.: Quantum computers. Computer Bulletin 3(2), 24 (1987)MathSciNetGoogle Scholar
  3. [DKP]
    Vincent Danos, Elham Kashefi, and Prakash Panangaden. The measurement calculus. Available from
  4. [DKP05]
    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. [GC99]
    Gottesman, D., Chuang, I.L.: Quantum teleportation is a universal computational primitive. Nature, 390–402 (1999)Google Scholar
  6. [Gro98]
    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. [NC00]
    Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)MATHGoogle Scholar
  8. [Nie04]
    Nielsen, M.A.: Optical quantum computation using cluster states. Phys. Rev. Lett. 93(4), 40503 (2004)CrossRefGoogle Scholar
  9. [RB01]
    Raussendorf, R., Briegel, H.-J.: A one-way quantum computer. Physical Review Letters 86(5188) (2001)Google Scholar
  10. [RBB03]
    Raussendorf, R., Browne, D.E., Briegel, H.-J.: Measurement-based quantum computation on cluster states. Phys. Rev. A 68(022312) (2003)Google Scholar
  11. [Sel04]
    Selinger, P.: Towards a quantum programming language. Mathematical Structures in Computer Science 14(4), 527 (2004)MATHCrossRefMathSciNetGoogle Scholar
  12. [Sho94]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Vincent Danos
    • 1
  • Elham Kashefi
    • 2
  • Prakash Panangaden
    • 3
  1. 1.Université Paris 7 & CNRS 
  2. 2.IQCUniversity of Waterloo & Christ ChurchOxford
  3. 3.School of Computer ScienceMcGill UniversityMontréalCanada

Personalised recommendations