The Computer Bulletin
SIAM Journal on Computing
A framework for fast quantum mechanical algorithms
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Quantum computation and quantum information
Quantum computation and quantum information
MPC '00 Proceedings of the 5th International Conference on Mathematics of Program Construction
On one-dimensional quantum cellular automata
FOCS '95 Proceedings of the 36th Annual Symposium on Foundations of Computer Science
A decision procedure for unitary linear quantum cellular automata
FOCS '96 Proceedings of the 37th Annual Symposium on Foundations of Computer Science
Toward a quantum process algebra
Proceedings of the 1st conference on Computing frontiers
A Lambda Calculus for Quantum Computation
SIAM Journal on Computing
Towards a quantum programming language
Mathematical Structures in Computer Science
A Categorical Semantics of Quantum Protocols
LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
Communicating quantum processes
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Functional Quantum Programming Language
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Distributed Measurement-based Quantum Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Pauli Measurements are Universal
Electronic Notes in Theoretical Computer Science (ENTCS)
Dagger Compact Closed Categories and Completely Positive Maps
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum Programs With Classical Output Streams
Electronic Notes in Theoretical Computer Science (ENTCS)
Computational model underlying the one-way quantum computer
Quantum Information & Computation
Cluster states, algorithms and graphs
Quantum Information & Computation
Reasoning about quantum knowledge
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
A lambda calculus for quantum computation with classical control
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
Mathematical Structures in Computer Science
Interacting Quantum Observables
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Classical Knowledge for Quantum Cryptographic Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Quadratic Form Expansions for Unitaries
Theory of Quantum Computation, Communication, and Cryptography
Quantum approaches to graph colouring
Theoretical Computer Science
Parallelizing quantum circuits
Theoretical Computer Science
On a measurement-free quantum lambda calculus with classical control
Mathematical Structures in Computer Science
Twisted Graph States for Ancilla-driven Universal Quantum Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed Quantum Programming
UC '09 Proceedings of the 8th International Conference on Unconventional Computation
Programming with Quantum Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
Measurement-based and universal blind quantum computation
SFM'10 Proceedings of the Formal methods for quantitative aspects of programming languages, and 10th international conference on School on formal methods for the design of computer, communication and software systems
Rewriting measurement-based quantum computations with generalised flow
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Classical Knowledge for Quantum Security
Electronic Notes in Theoretical Computer Science (ENTCS)
Programmable Hamiltonian for One-way Patterns
Electronic Notes in Theoretical Computer Science (ENTCS)
Computational depth complexity of measurement-based quantum computation
TQC'10 Proceedings of the 5th conference on Theory of quantum computation, communication, and cryptography
The search for structure in quantum computation
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Quantum Information & Computation
An extremal result for geometries in the one-way measurement model
Quantum Information & Computation
Ancilla-driven quantum computation with twisted graph states
Theoretical Computer Science
Hi-index | 0.01 |
Measurement-based quantum computation has emerged from the physics community as a new approach to quantum computation where the notion of measurement is the main driving force of computation. This is in contrast with the more traditional circuit model that is based on unitary operations. Among measurement-based quantum computation methods, the recently introduced one-way quantum computer [Raussendorf and Briegel 2001] stands out as fundamental. We develop a rigorous mathematical model underlying the one-way quantum computer and present a concrete syntax and operational semantics for programs, which we call patterns, and an algebra of these patterns derived from a denotational semantics. More importantly, we present a calculus for reasoning locally and compositionally about these patterns. We present a rewrite theory and prove a general standardization theorem which allows all patterns to be put in a semantically equivalent standard form. Standardization has far-reaching consequences: a new physical architecture based on performing all the entanglement in the beginning, parallelization by exposing the dependency structure of measurements and expressiveness theorems. Furthermore we formalize several other measurement-based models, for example, Teleportation, Phase and Pauli models and present compositional embeddings of them into and from the one-way model. This allows us to transfer all the theory we develop for the one-way model to these models. This shows that the framework we have developed has a general impact on measurement-based computation and is not just particular to the one-way quantum computer.