We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Information Theory

Title: On non-detectability of non-computability and the degree of non-computability of solutions of circuit and wave equations on digital computers

Abstract: It is known that there exist mathematical problems of practical relevance which cannot be computed on a Turing machine. An important example is the calculation of the first derivative of continuously differentiable functions. This paper precisely classifies the non-computability of the first derivative, and of the maximum-norm of the first derivative in the Zheng-Weihrauch hierarchy. Based on this classification, the paper investigates whether it is possible that a Turing machine detects this non-computability of the first derivative by observing the data of the problem, and whether it is possible to detect upper bounds for the peak value of the first derivative of continuously differentiable functions. So from a practical point of view, the question is whether it is possible to implement an exit-flag functionality for observing non-computability of the first derivative. This paper even studies two different types of exit-flag functionality. A strong one, where the Turing machine always has to stop, and a weak one, where the Turing machine stops if and only if the input lies within the corresponding set of interest. It will be shown that non-computability of the first derivative is not detectable by a Turing machine for two concrete examples, namely for the problem of computing the input--output behavior of simple analog circuits and for solutions of the three-dimensional wave equation. In addition, it is shown that it is even impossible to detect an upper bound for the maximum norm of the first derivative. In particular, it is shown that all three problems are not even semidecidable. Finally, we briefly discuss implications of these results for analog and quantum computing.
Comments: To appear in IEEE Trans. Inf. Theory. This paper influenced the article of F. Fitzek and H. Boche "Metaverse at the campfire of the future" in Germany's major newspaper, the Frankfurter Allgemeine Zeitung (FAZ), this https URL Technological challenges for the design of the Metaverse are discussed in this article
Subjects: Information Theory (cs.IT)
DOI: 10.1109/TSP.2021.3102826
Cite as: arXiv:2205.12626 [cs.IT]
  (or arXiv:2205.12626v1 [cs.IT] for this version)

Submission history

From: Volker Pohl [view email]
[v1] Wed, 25 May 2022 10:05:28 GMT (41kb)

Link back to: arXiv, form interface, contact.