dorsal/arxiv
View SchemaUnsolvability of the Halting Problem in Quantum Dynamics
| Authors | Daegene Song |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0610047 |
| URL | https://arxiv.org/abs/quant-ph/0610047 |
| DOI | 10.1007/s10773-007-9621-x |
| Journal | Int. J. Theor. Phys. 47, 1785 (2008) |
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.
{
"annotation_id": "cab10668-c3ba-4c42-8054-b8d258d84f72",
"date_created": "2026-03-02T18:02:30.497000Z",
"date_modified": "2026-03-02T18:02:30.497000Z",
"file_hash": "afba842cfc50e2a8a772bb3883b18a8c88b65cf7b19bf92fff7cc84d098d8095",
"private": false,
"record": {
"abstract": "It is shown that the halting problem cannot be solved consistently in both\nthe Schrodinger and Heisenberg pictures of quantum dynamics. The existence of\nthe halting machine, which is assumed from quantum theory, leads into a\ncontradiction when we consider the case when the observer\u0027s reference frame is\nthe system that is to be evolved in both pictures. We then show that in order\nto include the evolution of observer\u0027s reference frame in a physically sensible\nway, the Heisenberg picture with time going backwards yields a correct\ndescription.",
"arxiv_id": "quant-ph/0610047",
"authors": [
"Daegene Song"
],
"categories": [
"quant-ph"
],
"doi": "10.1007/s10773-007-9621-x",
"journal_ref": "Int. J. Theor. Phys. 47, 1785 (2008)",
"title": "Unsolvability of the Halting Problem in Quantum Dynamics",
"url": "https://arxiv.org/abs/quant-ph/0610047"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "720d5261-7102-4946-9148-7eec0dede9ef",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}