The One Way to Quantum Computation

Vincent Danos, Elham Kashefi, Prakash Panangaden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationAutomata, Languages and Programming
Subtitle of host publication33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
EditorsMichele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener
PublisherSpringer Berlin Heidelberg
Number of pages9
ISBN (Electronic)978-3-540-35908-1
ISBN (Print)978-3-540-35907-4
Publication statusPublished - 2006

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg


Dive into the research topics of 'The One Way to Quantum Computation'. Together they form a unique fingerprint.

Cite this