On the Completeness of Quantum Computation Models

The notion of computability is stable (i.e. independent of the choice of an indexing) over infinite-dimensional vector spaces provided they have a finite “tensorial dimension”. Such vector spaces with a finite tensorial dimension permit to define an absolute notion of completeness for quantum computation models and give a precise meaning to the Church-Turing thesis in the framework of quantum theory.

• Type: Conference
• Year: 2010
• Where: CIE
• Authors: Pablo Arrighi, Gilles Dowek
• Keywords: Applied Computing, CIE 2010, Tensorial Dimension, Tensorial Dimension Permit, Vector Spaces