[论文解读] 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.

研究动机与目标

• 解决路径积分中的根本问题：由于非线性噪声和不可微轨迹，无法进行一致的非线性变量变换。
• 为具有乘性噪声的一自由度系统建立一个数学上严格、变量变换无歧义的路径积分形式体系。
• 证明特定的时间离散化方案（由公式(9)–(10)定义）可使路径积分在任意光滑、可逆的动力变量变换下保持协变性。
• 通过确保连续时间极限下链式法则成立，使路径积分形式体系与标准微分学相容。
• 通过统一的离散化框架，将路径积分微积分的有效性扩展至奥恩斯格尔-马赫卢普和马丁-西吉亚-罗斯-扬森-德多米尼克斯（MSRJD）两种形式。

提出的方法

• 提出一种新颖的时间离散化方法，使随机动力学在状态变量的光滑、可逆变换下保持协变性。
• 通过构造满足缩放关系∆x ∼ √∆t 的中点型离散化方式，定义路径积分的协变作用量。
• 推导替换规则（如∆x² → 2Dg(¯x₀)²∆t），以处理作用量展开中出现的奇异项（如∆x³∆t⁻¹），确保连续时间极限的正确性。
• 通过双路径比较（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₁)|的雅可比贡献，恰好抵消了朴素变换中缺失的项，仅在协变方案下才能实现一致性。
• 通过该方法构建的路径积分在数学上是良定义的，可实现对不可微轨迹的泛函微积分，从而解决了统计场论与量子场论中长期存在的问题。