Hirvonen , Å & Hyttinen , T 2019 , ' On Eigenvectors, Approximations and the Feynman Propagator ' , Annals of Pure and Applied Logic , vol. 170 , no. 1 , pp. 109-135 . https://doi.org/10.1016/j.apal.2018.09.001
Title: | On Eigenvectors, Approximations and the Feynman Propagator |
Author: | Hirvonen, Åsa; Hyttinen, Tapani |
Contributor organization: | Department of Mathematics and Statistics |
Date: | 2019-01 |
Language: | eng |
Number of pages: | 27 |
Belongs to series: | Annals of Pure and Applied Logic |
ISSN: | 0168-0072 |
DOI: | https://doi.org/10.1016/j.apal.2018.09.001 |
URI: | http://hdl.handle.net/10138/288209 |
Abstract: | Trying to interpret B. Zilber's project on model theory of quantum mechanics we study a way of building limit models from finite-dimensional approximations. Our point of view is that of metric model theory, and we develop a method of taking ultraproducts of unbounded operators. We first calculate the Feynman propagator for the free particle as defined by physicists as an inner product <x(0) vertical bar K-t vertical bar x(1)> of the eigenvector vertical bar x(0)> of the position operator with eigenvalue x(0) and K-t (vertical bar x(1)>), where K-t is the time evolution operator. However, due to a discretising effect, the eigenvector method does not work as expected, and straightforward calculations give the wrong value. We look at this phenomenon, and then complement this by showing how to instead correctly calculate the kernel of the time evolution operator (for both the free particle and the harmonic oscillator) in the limit model. We believe that our method of calculating these is new. (C) 2018 The Authors. Published by Elsevier B.V. |
Subject: |
model theory
metric ultraproducts quantum mechanics eigenvectors 111 Mathematics |
Peer reviewed: | Yes |
Rights: | cc_by_nc_nd |
Usage restriction: | openAccess |
Self-archived version: | acceptedVersion |
Total number of downloads: Loading...
Files | Size | Format | View |
---|---|---|---|
1_s2.0_S0168007218301052_main.pdf | 484.3Kb |
View/ |