Classically-Controlled Quantum Computation - Archive ouverte HAL Access content directly
Journal Articles Mathematical Structures in Computer Science Year : 2006

Classically-Controlled Quantum Computation

Simon Perdrix

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.

Dates and versions

hal-00130305 , version 1 (10-02-2007)

Identifiers

Cite

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

Collections

UGA IMAG CNRS
74 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More