Classically-Controlled Quantum Computation

Abstract : Quantum computations usually take place under the control of the classical world. We introduce a Classically-controlled Quantum Turing Machine (CQTM) which is a Turing Machine (TM) with a quantum tape for acting on quantum data, and a classical transition function for a formalized classical control. In CQTM, unitary transformations and measurements are allowed. We show that any classical TM is simulated by a CQTM without loss of efficiency. The gap between classical and quantum computations, already pointed out in the framework of measurement-based quantum computation is confirmed. To appreciate the similarity of programming classical TM and CQTM, examples are given.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00130305
Contributor : Import Arxiv <>
Submitted on : Saturday, February 10, 2007 - 8:16:22 PM
Last modification on : Thursday, January 11, 2018 - 6:14:32 AM

Links full text

Identifiers

Collections

IMAG | CNRS | UGA

Citation

Simon Perdrix, Philippe Jorrand. Classically-Controlled Quantum Computation. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2006, 16, pp.601-620. ⟨hal-00130305⟩

Share

Metrics

Record views

159