On Quantum Turing Machine Halting Deterministically
Quantum Physics
2012-03-01 v1 Computational Complexity
Abstract
We define a subclass of quantum Turing machine (QTM) named SR-QTM, which halts deterministically and has deterministic tape head position. A quantum state transition diagram (QSTD) is proposed to describe SR-QTM. With the help of QSTD, we construct a SR-QTM which is universal for all near-trivial transformations. This means there exists a QTM which is universal for the above subclass. Finally we prove that SR-QTM is computational equivalent with ordinary QTM in the bounded error setting. It can be seen that, because SR-QTM has the same time steps for different branches of computation, the halting scheme problem will not exist when considering SR-QTM as a model of quantum computing.
Keywords
Cite
@article{arxiv.1202.6530,
title = {On Quantum Turing Machine Halting Deterministically},
author = {Min Liang and Li Yang},
journal= {arXiv preprint arXiv:1202.6530},
year = {2012}
}
Comments
13 pages, 7 figures