Abstract
We prove that there is no algorithm to tell whether an arbitrarily constructed Quantum Turing Machine has same time steps for different branches of computation. We, hence, cannot avoid the notion of halting to be probabilistic in Quantum Turing Machine.
Similar content being viewed by others
References
J. M. Myers, Phys. Rev. Lett. 78, 1823 (1997).
M. Ozawa, Phys. Rev. Lett. 80, 631 (1998); Theoret. Informatics and Appl. 34, 379 (2000).
N. Linden and S. Popescu, quant-ph/9806054.
Y. Shi, Phys. Lett. A 293, 277 (2002).
E. Bernstein and U. Vazirani, SIAM Journal on Computing 26, 1411 (1997).
D. Deutsch, Proc. Roy. Soc. London Ser. A 400, 96 (1985).
P. W. Shor, SIAM J. Computing 26, 1484 (1997).
L. Grover, Phys. Rev. Lett. 79, 325 (1997).
M. Ohya and N. Masuda, Open Syst. Inforamtion Dyn. 7, 33 (2000).
R. Penrose, The Emperor’s New Mind, Oxford University Press, 1989.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Miyadera, T., Ohya, M. On Halting Process of Quantum Turing Machine. Open Syst Inf Dyn 12, 261–264 (2005). https://doi.org/10.1007/s11080-005-0923-2
Received:
Issue Date:
DOI: https://doi.org/10.1007/s11080-005-0923-2