In the 40s R. Feynman invented a simple model of electron motion, which is now known as Feynman's checkers. This model is also known as the one-dimensional quantum walk or the imaginary temperature Ising model. In Feynman's checkers, a checker moves on a checkerboard by simple rules, and the result describes the quantum-mechanical behavior of an electron.
We solve mathematically a problem by R. Feynman from 1965, which was to prove that the model reproduces the usual quantum-mechanical free-particle kernel for large time, small average velocity, and small lattice step. We compute the small-lattice-step and the large-time limits, justifying heuristic derivations by J. Narlikar from 1972 and by A.Ambainis et al. from 2001. The main tools are the Fourier transform and the stationary phase method.
A more detailed description of the model can be found in Skopenkov M.& Ustinov A. Feynman checkers: towards algorithmic quantum theory. (2020) https://arxiv.org/abs/2007.12879[-]

It is well known that the every letter $\alpha$ of an automatic sequence $a(n)$ has a logarithmic density -- and it can be decided when this logarithmic density is actually adensity. For example, the letters $0$ and $1$ of the Thue-Morse sequences $t(n)$ have both frequences $1/2$. The purpose of this talk is to present a corresponding result for subsequences of general automatic sequences along primes and squares. This is a far reaching of two breakthroughresults of Mauduit and Rivat from 2009 and 2010, where they solved two conjectures by Gelfond on the densities of $0$ and $1$ of $t(p_n)$ and $t(n^2)$ (where $p_n$ denotes thesequence of primes). More technically, one has to develop a method to transfer density results for primitive automatic sequences to logarithmic-density results for general automatic sequences. Then asan application one can deduce that the logarithmic densities of any automatic sequence along squares $(n^2){n\geq 0}$ and primes $(p_n)_{n\geq 1}$ exist and are computable. Furthermore, if densities exist then they are (usually) rational. [-]