[論文レビュー] Building a path-integral calculus: a covariant discretization approach

Leticia F. Cugliandolo, Vivien Lecomte+1 more|arXiv (Cornell University)|Jun 25, 2018

Radioactive Decay and Measurement Techniques被引用数 1

ひとこと要約

この論文は、多重ノイズを伴う確率的および量子系における変数変換の不一致という長年の問題を解決する、共変な離散化スキームを導入する。連続時間極限においてチェーンルールを保存するようにランジュバン方程式を直接離散化することにより、著者らは数学的に整合性のある経路積分形式を構築した。これは、オンサージェール＝マクスプ法と MSRJD 形式の両方に対して有効であり、恣意的な補正なしに正しい関数計算を可能にする。

ABSTRACT

Path integrals are a central tool when it comes to describing quantum or thermal fluctuations of particles or fields. Their success dates back to Feynman who showed how to use them within the framework of quantum mechanics. Since then, path integrals have pervaded all areas of physics where fluctuation effects, quantum and/or thermal, are of paramount importance. Their appeal is based on the fact that one converts a problem formulated in terms of operators into one of sampling classical paths with a given weight. Path integrals are the mirror image of our conventional Riemann integrals, with functions replacing the real numbers one usually sums over. However, unlike conventional integrals, path integration suffers a serious drawback: in general, one cannot make non-linear changes of variables without committing an error of some sort. Thus, no path-integral based calculus is possible. Here we identify which are the deep mathematical reasons causing this important caveat, and we come up with cures for systems described by one degree of freedom. Our main result is a construction of path integration free of this longstanding problem, through a direct time-discretization procedure.

研究の動機と目的

• 経路積分における根本的問題に取り組む：非線形ノイズと非微分可能な軌道のため、非線形な変数変換を一貫して行えないこと。
• 多重ノイズを伴う1自由度系に対して、変数変換のあいまいさのない数学的に厳密な経路積分形式を確立すること。
• 特定の時間離散化スキーム（式 (9)–(10) で定義）が、動的変数の任意の滑らかで可逆な変換に対して共変であることを示すこと。
• 連続時間極限においてチェーンルールが成り立つように、経路積分形式と標準微分積分法を一致させること。
• 統一された離散化フレームワークを通じて、オンサージェール＝マクスプ法とマーティン＝シギア＝ローズ＝ヤンセン＝デ・ドミニコイス（MSRJD）両方の形式の経路積分計算の有効性を拡張すること。

提案手法

• 状態変数の滑らかで可逆な変換に対して、確率的力学の共変性を保つように、ランジュバル方程式の新規時間離散化を提案する。
• 無限小伝播子を中点に近い離散化を用いて構築することで、共変な作用を定義する。このとき、スケーリング ∆x ∼ √∆t を尊重する。
• 伝播子の展開における特異項（例：∆x³∆t⁻¹）を取り扱うための置換規則（例：∆x² → 2Dg(¯x₀)²∆t）を導出する。これにより、連続時間極限での正しい極限が保証される。
• 2通りのアプローチ（a）正確な離散化 vs. （b）単純な代入）を比較することで、連続時間極限 ∆t → 0 において、共変な離散化のみがチェーンルールを保存することを証明する。
• この手法をオンサージェール＝マクスプ法と MSRJD 経路積分形式の両方へ適用し、共変な離散化が変数変換に対して正しく作用を変換することを示す。
• 離散化された伝播子の展開された多項式項を再指数関数化することで、連続極限において期待される関数的形を回復する。

実験結果

リサーチクエスチョン

• RQ1 なぜ標準的な経路積分は、多重ノイズを伴う系において非線形な変数変換に対して共変性を保てないのか？
• RQ2 どのような特定の離散化スキームが、動的変数の滑らかで可逆な変換に対して経路積分が不変に保たれるようにするのか？
• RQ3 どのようにして微分積分法のチェーンルールを、経路積分における非微分可能な確率的軌道の性質と一致させることができるのか？
• RQ4 連続時間極限における経路積分重みの展開における特異項（例：∆x³∆t⁻¹）を取り扱うために必要な置換規則は何か？
• RQ5 MSRJD 経路積分形式は、一貫した離散化によって共変にできるのか？また、オンサージェール＝マクスプ法と比べてどのように異なるのか？

主な発見

• 提案された共変な離散化（式 (9)–(10)）により、任意の滑らかで可逆な変換 u(t) = U(x(t)) に対して経路積分が不変になることが保証され、共変性条件 ∏ₖ dxₖ P_X[{xₗ}] = ∏ₖ duₖ P_U[{uₗ}] を満たす。
• この手法は連続時間極限において標準的なオンサージェール＝マクスプ伝播子を正しく再現し、よく知られたベンチマークとの整合性を検証する。
• 置換規則 (35)–(38) を用いることで、∆x³∆t⁻¹ のような特異項の連続時間極限が一貫して取り扱える。標準的手法では、これらがチェーンルールを破る。
• 連続時間極限 ∆t → 0 において、チェーンルールを保存するのは共変な離散化のみである。MSRJD の作用における単純な代入では、O(∆t¹/²) および O(∆t) 項が欠落し、誤った結果が得られる。
• MSRJD 経路積分における前因子 |g(¯x₀)/g(x₁)| によるヤコビアン寄与項が、単純な変換における欠落項を正確に相殺する。これは共変スキームでのみ一貫性が保証される。
• この手法によって構築された経路積分は数学的に厳密に定義されており、非微分可能な軌道上でも関数計算を可能にする。これは統計的および量子場理論における長年の問題を解決する。