Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Recursivity in quantum mechanics


Author: John C. Baez
Journal: Trans. Amer. Math. Soc. 280 (1983), 339-350
MSC: Primary 81B99; Secondary 03D80, 03E15, 81C10
DOI: https://doi.org/10.1090/S0002-9947-1983-0712264-X
MathSciNet review: 712264
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: The techniques of effective descriptive set theory are applied to the mathematical formalism of quantum mechanics in order to see whether it actually provides effective algorithms for the computation of various physically significant quantities, e.g. matrix elements. Various Hamiltonians are proven to be recursive (effectively computable) and shown to generate unitary groups which act recursively on the Hilbert space of physical states. In particular, it is shown that the $ n$-particle Coulombic Hamiltonian is recursive, and that the time evolution of $ n$-particle quantum Coulombic systems is recursive.


References [Enhancements On Off] (What's this?)

  • [1] O. Aberth, Computable analysis, McGraw-Hill, New York, 1980.
  • [2] G. Kreisel, A notion of mechanistic theory, Synthese 29 (1974), 11-26.
  • [3] Y. Moschovakis, Descriptive set theory, Studies in Logic and the Foundations of Math., Vol. 100, North-Holland, Amsterdam, 1980, Chapter 3. MR 561709 (82e:03002)
  • [4] M. B. Pour-El, and I. Richards, The wave equation with computable initial data such that its unique solution is not computable, Adv. in Math. 39 (1981), 215-239. MR 614161 (83e:03101)
  • [5] M. Reed and B. Simon, Methods of modern mathematical physics. Vols I, II, Academic Press, New York, 1972/1975.

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 81B99, 03D80, 03E15, 81C10

Retrieve articles in all journals with MSC: 81B99, 03D80, 03E15, 81C10


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1983-0712264-X
Article copyright: © Copyright 1983 American Mathematical Society

American Mathematical Society