Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition

Simon Perdrix

Résumé

The quantum Turing machine (QTM) has been introduced by Deutsch as an abstract model of quantum computation. The transition function of a QTM is linear, and has to be unitary to be a well-formed QTM. This well-formedness condition ensures that the evolution of the machine does not violate the postulates of quantum mechanics. However , we claim in this paper that the well-formedness condition is too strong and we introduce a weaker condition, leading to a larger class of Turing machines called Observable Quantum Turing Machines (OQTMs). We prove that the evolution of such OQTM does not violate the postulates of quantum mechanics while offering a more general abstract model for quantum computing. This novel abstract model unifies classical and quantum computations, since every well-formed QTM and every deterministic TM are OQTMs, whereas a deterministic TM has to be reversible to be a well-formed QTM. In this paper we introduce the fundamentals of OQTM like a well-observed lemma and a completion lemma. The introduction of such an abstract machine allowing classical and quantum computations is motivated by the emergence of models of quantum computation like the one-way model. More generally, the OQTM aims to be an abstract framework for the pragmatic paradigm of quantum computing: 'quantum data, classical control'. Furthermore , this model allows a formal and rigorous treatment of problems requiring classical interactions, like the halting of QTM. Finally, it opens new perspectives for the construction of a universal QTM.
Fichier principal
Vignette du fichier
weakerQTM.pdf (133.56 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01378693 , version 1 (10-10-2016)

Identifiants

Citer

Simon Perdrix. Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition. Joint 5th QPL and 4th DCM 2008, 2008, Oxford, United Kingdom. pp.99 - 111, ⟨10.1016/j.entcs.2011.01.009⟩. ⟨hal-01378693⟩
39 Consultations
204 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More