Mathematical characterization of quantum algorithm
Satoshi Iriyama, Masanori Ohya · International Conference on Applied Mathematics · 2009
We have studied quantum computation for many years, and defined the generalized quantum Turing machine by using completely positive channels and density operators on the Hilbert space. This mathematical model of quantum algorithm gives us the new language classes in which the class NP is included in a polynomial time class. It has also a possibility to expand the theory of computability which has philosophical significance. In this talk, we explain a definition of the model, the language classes, some theorems and applications.