[论文解读] Path Integral Invariance under Point Transformations

Andres Jordan, Matias Libedinsky|arXiv (Cornell University)|Mar 25, 1997

Experimental and Theoretical Physics Studies参考文献 3被引用 52

一句话总结

该论文建立了一种协变路径积分形式，通过保持微路径的几何结构（具体而言，在时间分段离散化中使用配置空间中的测地线作为连接轨迹），在点变换下保持了量子等价性。结果表明，当微路径被保留时，极坐标下自由粒子核与笛卡尔坐标下的结果一致，无需引入额外势能项或非标准测度。

ABSTRACT

We give here a covariant definition of the path integral formalism for the Lagrangian, which leaves a freedom to choose anyone of many possible quantum systems that correspond to the same classical limit without adding new potential terms nor searching for a strange measure, but using as a framework the geometry of the spaces considered. We focus our attention on the set of paths used to join succesive points in the discretization if the time-slicing definition is used to calculate the integral.If this set of paths is not preserved when performing a point transformation, the integral may change. The reasons for this are geometrically explained. Explicit calculation of the Kernel in polar coordinates is made, yielding the same system as in Cartesian coordinates.

研究动机与目标

• 解决路径积分在点变换下结果不一致的问题，即朴素的坐标变换会导致非等价的量子系统。
• 表明若保持路径积分的几何结构，量子力学无需依赖坐标选择。
• 提供一种协变的路径积分定义，尊重经典极限，同时允许在微路径选择上保持自由。
• 证明标准自由粒子核在极坐标下可不加额外项或修改测度而推导得出。
• 阐明微路径选择在路径积分量化中的作用及其与算符排序歧义的联系。

提出的方法

• 使用时间分段离散化，以连接配置空间中连续点的类经典微路径（测地线）定义路径积分。
• 将沿这些微路径计算的经典作用量作为路径积分中的指数项，确保几何一致性。
• 应用时间分段极限以推导核函数，保持在坐标变换下微路径结构的不变性。
• 通过贝塞尔函数和留数计算，显式计算极坐标下的核函数，对径向和角向变量进行积分。
• 在极坐标中保持与笛卡尔坐标中相同的微路径结构（测地线），避免对作用量或测度进行重新定义。
• 将最终结果与标准笛卡尔核进行比较，通过直接计算确认其等价性。

实验结果

研究问题

• RQ1 为何路径积分中的朴素点变换会导致非等价的量子系统，如在笛卡尔坐标与极坐标下自由粒子的情况？
• RQ2 能否在不添加额外势能项或修改测度的情况下，使路径积分形式在点变换下保持协变？
• RQ3 微路径选择（如直线与测地线）在决定非可微路径贡献的路径积分值中起什么作用？
• RQ4 微路径选择的自由度与哈密顿形式中算符排序歧义之间有何关联？
• RQ5 若微路径在几何上被保持，是否能一致地在不同坐标系中描述同一量子系统？

主要发现

• 使用测地线作为微路径计算出的极坐标下自由粒子的路径积分核，与笛卡尔坐标下的标准结果完全一致。
• 最终核函数为 $ K(b,a) = \frac{m}{2\pi\hbar Ti} \exp\left[\frac{im}{2T\hbar}(r_n^2 + r_0^2 - 2r_n r_0 \cos(\theta_n - \theta_0))\right] $，在坐标代换后与笛卡尔形式完全相同。
• 使用测地线作为微路径可确保在点变换下的不变性，从而无需在作用量中添加额外项或使用奇异测度。
• Edwards与Gulyaev报告的差异源于在坐标变换过程中改变了微路径，而非协变性本身的根本失效。
• 微路径选择——特别是使用经典（测地线）轨迹——可解决非可微路径贡献中的歧义，并与正则量子化中的算符排序相关联。
• 该方法为路径积分量化提供了几何的、坐标无关的基础，并在极坐标中明确展示了其一致性。