[论文解读] Path integrals in a multiply-connected configuration space (50 years after)

Amaury Mouchet|arXiv (Cornell University)|Oct 4, 2020

Noncommutative and Quantum Gravity Theories参考文献 65被引用 3

一句话总结

本文严格证明了在多重连通配置空间中，路径积分按路径同伦类分解时，系数 E(c) 必须来自第一同伦群 π₁(Q) 的酉表示。它批判了先前的论证不够完整，并证明唯有此类表示才能确保与量子力学的一致性，特别是在任意子或多孔结构等具有非阿贝尔拓扑的系统中。

ABSTRACT

The proposal made 50 years ago by Schulman (1968), Laidlaw & Morette-DeWitt (1971) and Dowker (1972) to decompose the propagator according to the homotopy classes of paths was a major breakthrough: it showed how Feynman functional integrals opened a direct window on quantum properties of topological origin in the configuration space. This paper casts a critical look at the arguments brought by this series of papers and its numerous followers in an attempt to clarify the reason why the emergence of the unitary linear representation of the first homotopy group is not only sufficient but also necessary.

研究动机与目标

• 建立第一同伦群 π₁(Q) 的酉表示在多重连通配置空间中一致路径积分表述中的必要性。
• 批判性评估 Schulman (1968)、Laidlaw 与 Morette-DeWitt (1971) 以及 Dowker (1972) 的基础论证，识别其概念性缺陷。
• 澄清 π₁(Q) 与 H₁(Q) 等拓扑不变量之间的区别，尤其关注非交换性与实验可检验性。
• 展示基于同伦的路径积分分解在空间周期性模型中的普遍性与物理相关性，这些模型常被忽视而代之以刻板模型。
• 探讨非阿贝尔任意子和有限非阿贝尔群（如 S₃）如何在量子系统中实现非交换拓扑相。

提出的方法

• 将量子传播子 K(qf, tf, qi, ti) 按同伦类 c ∈ π₁(qi, qf) 进行形式分解，其中路径积分贡献由系数 E(c) 加权。
• 在配置空间中使用路径积分表述，以分离局部（拉格朗日量）与全局（拓扑）对量子演化的影响。
• 证明 E(c) 必须构成 π₁(Q) 的酉表示，以保持量子演化算符的幺正性与一致性。
• 通过 braid 群与有限非阿贝尔群（如 S₃）作为具体实现，分析 π₁(Q) 中非交换性与 H₁(Q) 中交换性的角色。
• 构建显式的 3×3 酉矩阵，表示对称群 S₃ 的生成元，保持非交换性并满足 Artin-Yang-Baxter 关系。
• 应用于物理系统，如超导环、Mach-Zehnder 干涉仪，以及具有三重内部自由度的冷原子系统。

实验结果

研究问题

• RQ1 为何 π₁(Q) 的酉表示不仅充分而且是路径积分按同伦类分解的必要条件？
• RQ2 Schulman、Laidlaw 与 Morette-DeWitt 关于酉表示出现的原始论证中存在哪些概念性缺陷？
• RQ3 π₁(Q) 的非交换结构如何与 H₁(Q) 的阿贝尔结构在实验上区分？
• RQ4 在哪些物理系统中，π₁(Q) 的非阿贝尔性质可通过路径积分振幅实现并探测？
• RQ5 有限非阿贝尔群（如 S₃）能否用于在量子系统中实现具有非对易 E(c) 矩阵的拓扑相？

主要发现

• 路径积分按同伦类分解时，系数 E(c) 必须构成第一同伦群 π₁(Q) 的酉表示，该条件对幺正性而言既必要又充分。
• 先前对酉表示出现的论证被发现不完整，仅依赖充分性而非必要性，仅有 Laidlaw 与 Morette-DeWitt (1971) 和 Schulman (1981) 提供了部分但依然不足的推导。
• π₁(Q) 的非交换性无法由阿贝尔同调群 H₁(Q) 捕获，只有具有非阿贝尔表示（维度 ≥2）的系统才能在实验中揭示该结构。
• 对于 N ≥3 个任意子的辫群，非阿贝尔特性编码于生成元 bn 的非交换性中，这要求 E(bn) 为维度 ≥2 的酉矩阵以保持该性质。
• 最小的非阿贝尔有限群 S₃ 具有保持非交换性的 3 维酉表示，显式矩阵 E₁, E₂, E₃, E₊, E₋ 满足 E²₊ = E₋ 且 E³₊ = 1。
• 此类表示在自旋-1 系统或具有三个相关内部能级的冷原子系统中可实现，其中 SO(3) 中的旋转对应于双孔配置空间中的拓扑路径类。