[論文レビュー] 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

ひとこと要約

この論文は、フェニマン・チッカーズ――電子の運動を離散化したモデル――において、光円錐内にある少なくとも1本のチェッカー経路で到達可能な任意の格子点において、電子が存在する確率が正であることを証明している。組合せ的恒等式と再帰的関係を用いて、電子の平均速度が有限の極限に収束すること、および平均速度の期待値が時間平均された瞬間速度に等しいことが示され、この量子ウォークモデルにおける電子伝播に関する未解決問題が解かれた。

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. ウスティノフが提起した『フェニマン・チッカーズにおける光円錐内での電子確率が消えるかどうか』という問いを解消すること。
• D. トレスチェフが提起した『平均電子速度の期待値が、瞬間速度の期待値の時間平均に等しくなるか』という問いに応えること。
• 時間無限大における平均電子速度の極限値を計算すること。
• このモデルに関連する新たな組合せ的恒等式を発見し、提示すること。多くの恒等式は未解決問題のまま残されている。

提案手法

• ステップサイズ 𝜀 と電子質量 𝑚 を持つ離散格子モデルを用い、時空内で対角移動（±𝜀, 𝜀）からなる経路を定義する。
• アモルティude 𝑎(𝑥,𝑡,𝑚,𝜀) を、(0,0) から (𝑥,𝑡) へ至るすべてのチェッカー経路の和として定義し、その重みは (−𝑖𝑚𝜀) を転回回数のべき乗とする。
• 確率を 𝑃(𝑥,𝑡,𝑚,𝜀) = |𝑎(𝑥,𝑡,𝑚,𝜀)|² として計算し、各時刻スライスにおける全確率が1に合計されることを保証する。
• 格子上のディラック方程式から導かれる再帰的関係を用いて、アモルティude の伝播を分析する。
• 有限個の禁止点の集合に対して一般化された確率保存則を適用し、重要な恒等式を証明する。
• 数値実験を用いて新たな恒等式を発見し、一部は証明済み、一部は未解決問題として残されている。

実験結果

リサーチクエスチョン

• RQ1 チェッカー経路で到達可能な光円錐内のある点において、電子が存在する確率がゼロになることはあるか？
• RQ2 平均電子速度の期待値は、瞬間速度の期待値の時間平均に等しいか？
• RQ3 時間無限大における平均電子速度の極限値は何か？
• RQ4 フェニマン・チッカーズモデルにおけるアモルティude を支配する組合せ的恒等式は何か？

主な発見

• 点 (𝑥,𝑡) に電子が存在する確率は、(0,0) から (𝑥,𝑡) へ至るチェッカー経路が少なくとも1本存在する限り、厳密に正である。これは、電子の確率密度が光円錐内でもゼロとならないことを証明する。
• 平均電子速度の期待値は、瞬間速度の期待値の時間平均に等しくなる。これは D. トレスチェフが提起した問いを解決する。
• 時間無限大における平均電子速度の極限値は 𝑣 = 1 / √(1 + 𝑚²𝜀²) に等しく、初等的証明により計算された。
• モデルは一般化された確率保存則を満たす：禁止点の有限集合 𝑇 が、無限大の経路で回避できない場合、𝑇 における確率の和は1に等しい。
• アモルティude と確率にかかわる多数の新しい組合せ的恒等式が発見され、そのうちいくつかは証明済みであり、多くのものは未解決問題のまま残されている。
• アモルティude および確率関数は、ディラック方程式およびクライン＝ゴルドン方程式の離散的類似を満たしており、モデルが相対論的量子力学と整合していることを確認する。