arXiv:quant-ph/9811001

The halting problem for universal quantum computers

Tien D. Kieu, Michael Danos

Published Nov 2, 1998• 4 citations

Abstract

The halting of universal quantum computers is shown to be incompatible with the constraint of unitarity of the dynamics.

DOI: 10.48550/arxiv.quant-ph/9811001

Related papers

Remarks on the Halting problem, unitarity and reversibility in quantum theory of computations

Alexander Shalyt-Margolin, A. Ya. Tregubovich, В. И. Стражев

The Halting problem for the quantum computer is considered. It is shown, that if the halting for the quantum computer takes place then the corresponding dynamics is described by an irreversible operator.

Jun 19, 20010 citations

The Halting Problem for Quantum Computers

Noah Linden, Sandu Popescu

We argue that the halting problem for quantum computers which was first raised by Myers, is by no means solved, as has been claimed recently. We explicitly demonstrate the difficulties that arise in a quantum computer when different branches of the computation halt at different, unknown, times.

arXiv:quant-ph/9806054Jun 16, 199824 citations

IRREVERSIBILITY IN THE HALTING PROBLEM OF QUANTUM COMPUTER

Alexander Shalyt-Margolin, В. И. Стражев, A. Ya. Tregubovich

The Halting problem of a quantum computer is considered. It is shown that if halting of a quantum computer takes place the associated dynamics is described by an irreversible operator.

arXiv:quant-ph/0106108Modern Physics Letters BJul 10, 20071 citation

A No-Go Theorem for Halting a Universal Quantum Computer

Tien D. Kieu, M. Danos

Acta Physica Hungarica A) Heavy Ion PhysicsSep 1, 20018 citations

Halting in quantum Turing computation

Willem L. Fouché, Johannes Heidema, Jones, G. +1 more

The paper considers the halting scheme for quantum Turing machines. The scheme originally proposed by Deutsch appears to be correct, but not exactly as originally intended. We discuss the result of Ozawa as well as the objections raised by Myers, Kieu and Danos and others. Finally, the relationship of the halting scheme to the quest for a universal quantum Turing machine is considered.

arXiv:0705.3077May 22, 20074 citations

Unsolvability of the Halting Problem in Quantum Dynamics

Daegene Song

arXiv:quant-ph/0610047International Journal of Theoretical PhysicsDec 6, 20073 citations