Unsolvability of the halting problem in quantum dynamics

DOI10.1007/S10773-007-9621-XMaRDI QIDQ1008077zbMATH OpenOpenAlexFDO

Authors Daegene Song

Publication date 24 March 2009

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/quant-ph/0610047

zbMATH Keywords

Heisenberg picturereference framesHalting problem

Mathematics Subject Classification ID

Quantum computation (81P68)

Abstract: It is shown that the halting problem cannot be solved consistently in both the Schrodinger and Heisenberg pictures of quantum dynamics. The existence of the halting machine, which is assumed from quantum theory, leads into a contradiction when we consider the case when the observer's reference frame is the system that is to be evolved in both pictures. We then show that in order to include the evolution of observer's reference frame in a physically sensible way, the Heisenberg picture with time going backwards yields a correct description.

Recommendations

• IRREVERSIBILITY IN THE HALTING PROBLEM OF QUANTUM COMPUTER
• (Un)decidable Problems about Reachability of Quantum Systems
• On the halting problem for a quantum computer
• scientific article; zbMATH DE number 1379489
• scientific article; zbMATH DE number 2013798
• Insolubility of the quantum measurement problem
• Undecidability and the problem of outcomes in quantum measurements
• Undecidable problems in quantum field theory
• Undecidability on quantum finite automata

Cites work

• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• A note on Euclidean Ramsey theory and a construction of Bourgain
• Can a Universal Quantum Computer Be Fully Quantum?
• Information flow in entangled quantum systems
• Programmable Quantum Gate Arrays
• Quantum theory, the Church–Turing principle and the universal quantum computer
• Remarks on universal quantum computer

Cited in

(6)

• Immeasurability of zero-point energy in the cosmological constant problem
• On the halting problem for a quantum computer
• scientific article; zbMATH DE number 1542832 (Why is no real title available?)
• (Un)decidable Problems about Reachability of Quantum Systems
• IRREVERSIBILITY IN THE HALTING PROBLEM OF QUANTUM COMPUTER
• Nonlocality and the correlation of measurement bases

This page was built for publication: Unsolvability of the halting problem in quantum dynamics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1008077)