Skip to Main content Skip to Navigation

Modèles formels du calcul quantique : ressources, machines abstraites et calcul par mesure

Abstract : The study of foundational structures of quantum information processing is a key issue to gain a deeper insight into what quantum computation is in general, its scope and limits. It also contributes to the physical realisation while minimising the resources of quantum computing. The resources consist of the space and times as well as the size of the operations and the amount of entanglement.
This thesis contributes in several ways to minimise resources for recently developed models of quantum computation which open new promising perspectives of physical realisation. These models are the one-way quantum computation and the measurement-only quantum computation. This thesis has also permitted to reduce the resources in time and space necessary for the preparation of some quantum states called graph states.
The reduction of the resources requires abstraction and formalisation of quantum computing models which point out the structures of the quantum computing processing. The q-calculus and the classically-controled quantum Turing machines, introduced in this thesis, contribute to this objective. More specific models dedicated to one-way and measurement-only quantum computations are considered as well.
Document type :
Complete list of metadata

Cited literature [90 references]  Display  Hide  Download
Contributor : Simon Perdrix <>
Submitted on : Wednesday, April 23, 2008 - 12:45:52 PM
Last modification on : Friday, November 6, 2020 - 4:03:35 AM
Long-term archiving on: : Friday, May 28, 2010 - 5:20:22 PM


  • HAL Id : tel-00275323, version 1




Simon Perdrix. Modèles formels du calcul quantique : ressources, machines abstraites et calcul par mesure. Informatique [cs]. Institut National Polytechnique de Grenoble - INPG, 2006. Français. ⟨tel-00275323⟩



Record views


Files downloads