[论文解读] Feynman checkers: the probability to find an electron vanishes nowhere inside the light cone

Ivan Novikov|arXiv (Cornell University)|Oct 10, 2020

Quantum Computing Algorithms and Architecture参考文献 14被引用 6

一句话总结

本文证明了在费曼棋盘——一种电子运动的离散模型中——只要某个格点通过至少一条棋子路径在光锥内可达，电子在该格点处的概率严格为正。通过组合恒等式与递推关系，作者证明了电子的平均速度收敛于有限极限，且平均速度的期望等于时间平均的瞬时速度，从而解决了该量子行走模型中电子传播的若干开放问题。

ABSTRACT

We study Feynman checkers, the most elementary model of electron motion introduced by R. 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.

研究动机与目标

• 解决 A. Ustinov 提出的问题：在费曼棋盘中，电子概率是否在光锥内消失？
• 证明平均电子速度的期望等于瞬时速度期望的时间平均，回应 D. Treschev 的疑问。
• 计算当时间趋于无穷时，平均电子速度的极限值。
• 发现并提出与该模型相关的新型组合恒等式，其中许多仍为开放问题。

提出的方法

• 采用步长为 𝜀、电子质量为 𝑚 的离散格点模型，其中路径由时空中的对角线移动（±𝜀, 𝜀）构成。
• 将振幅 𝑎(𝑥,𝑡,𝑚,𝜀) 定义为从 (0,0) 到 (𝑥,𝑡) 的所有棋子路径之和，权重为 (−𝑖𝑚𝜀) 的路径转折次数次方。
• 计算概率为 𝑃(𝑥,𝑡,𝑚,𝜀) = |𝑎(𝑥,𝑡,𝑚,𝜀)|²，确保在每个时间切片上总概率为 1。
• 应用从格点上的狄拉克方程推导出的递推关系，分析振幅的传播。
• 利用有限禁止点集的广义概率守恒律，证明关键恒等式。
• 通过数值实验发现新恒等式，其中部分已证明，部分仍为开放问题。

实验结果

研究问题

• RQ1 对于可通过棋子路径到达的光锥内任意点，电子的概率是否消失？
• RQ2 平均电子速度的期望是否等于瞬时速度期望的时间平均？
• RQ3 当时间趋于无穷时，平均电子速度的极限值是什么？
• RQ4 哪些组合恒等式控制费曼棋盘模型中的振幅？

主要发现

• 只要存在至少一条从 (0,0) 到 (𝑥,𝑡) 的棋子路径，电子在格点 (𝑥,𝑡) 处的概率严格为正，证明了电子概率密度在光锥内不消失。
• 平均电子速度的期望等于瞬时速度期望的时间平均，解决了 D. Treschev 提出的问题。
• 当时间趋于无穷时，平均电子速度的极限值为 𝑣 = 1 / √(1 + 𝑚²𝜀²)，并给出了初等证明。
• 该模型满足广义概率守恒律：对于任意有限的禁止点集 𝑇，若不存在无限路径可绕过这些点，则 𝑇 上概率之和等于 1。
• 发现了大量涉及振幅与概率的新组合恒等式，其中若干已证明，许多仍为开放问题。
• 振幅与概率函数满足狄拉克方程与克莱因-高布登方程的离散类比，证实了该模型与相对论量子力学的一致性。