The One Way to Quantum Computation
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.
KeywordsEntangle State Quantum Computation Denotational Semantic Concrete Syntax Pauli Operator
Unable to display preview. Download preview PDF.
- [DKP]Vincent Danos, Elham Kashefi, and Prakash Panangaden. The measurement calculus. Available from www.cs.mcgill.ca/~prakash/pubs.html
- [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
- [GC99]Gottesman, D., Chuang, I.L.: Quantum teleportation is a universal computational primitive. Nature, 390–402 (1999)Google Scholar
- [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
- [RB01]Raussendorf, R., Briegel, H.-J.: A one-way quantum computer. Physical Review Letters 86(5188) (2001)Google Scholar
- [RBB03]Raussendorf, R., Browne, D.E., Briegel, H.-J.: Measurement-based quantum computation on cluster states. Phys. Rev. A 68(022312) (2003)Google Scholar
- [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