We study Feynman checkers, the most elementary model of electron motion introduced by Feynman. For the model, we prove that the probability to find an electron vanishes nowhere inside the light cone. We also prove several results on the average electron velocity. In addition, we present a lot of identities related to the model.
We study the most elementary model of electron motion introduced by R.Feynman in 1965. It is a game, in which a checker moves on a checkerboard by simple rules, and we count the turnings. The model is also known as one-dimensional quantum walk. In his publication, R.Feynman introduces a discrete version of path integral and poses the problem of computing the limit of the model when the lattice step and the average velocity tend to zero and time tends to infinity. We get a nontrivial advance in the problem on the mathematical level of rigor in a simple particular case; even this case requires methods not known before. We also prove a conjecture by I.Gaidai-Turlov, T.Kovalev, and A.Lvov on the limit probability of direction reversal in the model generalizing a recent result by A.Ustinov.
We survey and develop the most elementary model of electron motion introduced by Feynman. In this game, a checker moves on a checkerboard by simple rules, and we count the turns. Feynman checkers are also known as a one-dimensional quantum walk or an Ising model at imaginary temperature. We solve mathematically a Feynman problem from 1965, which was to prove that the discrete model (for large time, small average velocity, and small lattice step) is consistent with the continuum one. We study asymptotic properties of the model (for small lattice step and large time) improving the results due to Narlikar from 1972 and to Sunada and Tate from 2012. For the first time we observe and prove concentration of measure in the small-lattice-step limit. We perform the second quantization of the model. We also present a survey of known results on Feynman checkers. Bibliography: 53 titles.
We survey and develop the most elementary model of electron motion introduced by R.Feynman. In this game, a checker moves on a checkerboard by simple rules, and we count the turns. Feynman checkers are also known as a one-dimensional quantum walk or an Ising model at imaginary temperature. We solve mathematically a problem by R.Feynman from 1965, which was to prove that the discrete model (for large time, small average velocity, and small lattice step) is consistent with the continuum one. We study asymptotic properties of the model (for small lattice step and large time) improving the results by J.Narlikar from 1972 and by T.Sunada-T.Tate from 2012. For the first time we observe and prove concentration of measure in the small-lattice-step limit. We perform the second quantization of the model.
We study Feynman checkers, an elementary model of electron motion introduced by Feynman. In this model, a checker moves on a checkerboard, and we count the turns. Feynman checkers are also known as a one-dimensional quantum walk. We prove some new number-theoretic results in this model, for example, sign alternation of the real and imaginary parts of the electron wave function in a specific area. All our results can be stated in terms of Young diagrams, namely, we compare the number of Young diagrams with an odd and an even number of steps.
Feynman gave a famous elementary introduction to quantum theory by discussing the thin-film reflection of light. We make his discussion mathematically rigorous, keeping it elementary, using his other idea. The resulting model leads to accurate quantitative results and allows us to derive a well-known formula from optics. In the process, we get acquainted with mathematical tools such as Smirnov's fermionic observables, transfer matrices, and spectral radii. Quantum walks and the six-vertex model arise as the next step in this direction.
The Feynman propagator has nonzero values outside of the forward light cone. That does not allow messages to be transmitted faster than the speed of light, but it is shown here that it does allow entanglement and mutual information to be generated at space-like separated points. These effects can be interpreted as being due to the propagation of virtual photons outside of the light cone or as a transfer of pre-existing entanglement from the quantum vacuum. The differences between these two interpretations are discussed.