Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:quant-ph/9912012

Some relations between quantum Turing machines and Turing machines

Andrés Sicard, Mario E. Vélez

Published Dec 3, 1999• 0 citations
arXivHTMLPDF

Abstract

For quantum Turing machines we present three elements: Its components, its time evolution operator and its local transition function. The components are related with the components of deterministic Turing machines, the time evolution operator is related with the evolution of reversible Turing machines and the local transition function is related with the transition function of probabilistic and reversible Turing machines.

DOI
10.48550/arxiv.quant-ph/9912012

Related papers

Local Transition Functions of Quantum Turing Machines

Masanao Ozawa, Harumichi Nishimura

Foundations of the notion of quantum Turing machines are investigated. According to Deutsch's formulation, the time evolution of a quantum Turing machine is to be determined by the local transition function. In this paper, the local transition functions are characterized for fully general quantum Turing machines, including multi-tape quantum Turing machines, extending the results due to Bernstein and Vazirani.

arXiv:quant-ph/9811069•Nov 25, 1998•1 citation

Local Transition Functions of Quantum Turing Machines

Masanao Ozawa, Harumichi Nishimura

Foundations of the notion of quantum Turing machines are investigated. According to Deutsch's formulation, the time evolution of a quantum Turing machine is to be determined by the local transition function. In this paper, the local transition functions are characterized for fully general quantum Turing machines, including multi-tape quantum Turing machines, extending the results due to Bernstein and Vazirani.

RAIRO - Theoretical Informatics and Applications•Sep 1, 2000•36 citations

Quantum Turing Machines: Local Transition, Preparation, Measurement, and Halting

Masanao Ozawa

Foundations of the theory of quantum Turing machines are investigated. The protocol for the preparation and the measurement of quantum Turing machines is discussed. The local transition functions are characterized for fully general quantum Turing machines. A new halting protocol is proposed without augmenting the halting qubit and is shown to work without spoiling the computation.

arXiv:quant-ph/9809038•Kluwer Academic Publishers eBooks•Dec 19, 2005•11 citations

On the Halting Problem for Quantum Turing Machines

Masanao Ozawa

Foundations of the theory of quantum Turing machines are investigated.The local transition functions are characterized for fully general quantum Tur- ing machines.Foundational problems on the preparation and the measurement of quantum Turing machines are discussed.The halt scheme, originally proposed by Deutsch, is formulated precisely and is shown to work without spoiling computation.

•Oct 1, 1998•2 citations

On Halting Process of Quantum Turing Machine

Takayuki Miyadera, Masanori Ohya

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.

arXiv:quant-ph/0302051•Open Systems & Information Dynamics•Aug 24, 2005•27 citations

Simple circuit simulations of classical and quantum Turing machines

Yuri G. Gurevich, Andreas R. Blass

We construct reversible Boolean circuits efficiently simulating reversible Turing machines. Both the circuits and the simulation proof are rather simple. Then we give a fairly straightforward generalization of the circuits and the simulation proof to the quantum case.

arXiv:2111.10830•Proceedings of the Royal Society A Mathematical Physical and Engineering Sciences•Sep 1, 2022•4 citations
For quantum Turing machines we present three elements: Its components, its time evolution operator and its local transition function. The components are related with the components of deterministic Turing machines, the time evolution operator is related with the evolution of reversible Turing machines and the local transition function is related with the transition function of probabilistic and reversible Turing machines.