Problems and Prospects for Quantum Computational Speed-up [chapter]

E. V. Krishnamurthy
2003 Lecture Notes in Computer Science  
This paper studies the problems involved in the speed-up of the classical computational algorithms using the quantum computational paradigm. In particular, we relate the primitive recursive function approach used in computability theory with the harmonic oscillator basis used in quantum physics. Also, we raise some basic issues concerning quantum computational paradigm: these include failures in programmability and scalability, limitation on the size of the decoherence -free space available and
more » ... lack of methods for proving quantum programs correct. In computer science, time is discrete and has a well-founded structure. But in physics, time is a real number, continuous and is infinitely divisible; also time can have a fractal dimension. As a result, the time complexity measures for conventional and quantum computation are incomparable. Proving properties of programs and termination rest heavily on the well-founded properties, and the transfinite induction principle. Hence transfinite induction is not applicable to reason about quantum programs.
doi:10.1007/3-540-44864-0_80 fatcat:pb3s7iq5l5fvhkkneep3gdkhym