[论文解读] Path Integrals, and Classical and Quantum Constraints

John R. Klauder|ArXiv.org|Jul 22, 2005

Photonic and Optical Devices参考文献 4被引用 3

一句话总结

本文提出了一种基于相干态路径积分和投影算符的量子系统路径积分形式化方法，适用于具有经典与量子约束的系统，避免了传统方法中的规范固定、Faddeev-Popov行列式和Dirac括号等问题。该方法直接施加正则化的量子约束，并与抽象算符形式体系保持一致，无需引入辅助变量或不定度规，实现了对一阶与二阶约束的统一处理。

ABSTRACT

Systems with constraints pose problems when they are quantized. Moreover, the Dirac procedure of quantization prior to reduction is preferred. The projection operator method of quantization, which can be most conveniently described by coherent state path integrals, enables one to directly impose a regularized form of the quantum constraints. This procedure also overcomes conventional difficulties with normalization and second class constraints that invalidate conventional Dirac quantization procedures.

研究动机与目标

• 开发一种路径积分形式化方法，以一致地实现具有经典与量子约束系统的量子化。
• 克服标准Dirac量子化程序的局限性，特别是针对二阶约束与归一化问题。
• 提出一种通过投影算符在相干态路径积分框架内直接引入量子约束的形式化方法。
• 消除在约束量子化中对辅助变量、鬼场或不定度规的需求。
• 通过相干态表示确保与量子力学基本算符形式体系的兼容性。

提出的方法

• 使用相干态路径积分来表示具有约束的量子系统的时间演化。
• 引入投影算符 IÊ，将动力学限制在由约束定义的物理希尔伯特空间内。
• 采用双重离散化：时间步长 ε 与精炼步长 M，以在 ε 的二阶内正确正则化约束项。
• 构建包含 δ 函数和对拉格朗日乘子 λα 的高斯积分的路径积分测度，以强制实现约束。
• 将约束项 Φα 展开至 ε 的二阶，以在连续极限下保持一致性。
• 使用归一化常数 c = −4πiM/ε，以确保路径积分表达式中的正确归一化。

实验结果

研究问题

• RQ1 如何在不依赖规范固定的情况下，于路径积分形式化中一致地施加量子约束？
• RQ2 相干态在确保约束系统中经典与量子哈密顿量之间正确对应关系中起什么作用？
• RQ3 如何在不引入Dirac括号或辅助变量的情况下处理二阶约束？
• RQ4 能否构建一种路径积分形式化，直接投影到物理希尔伯特空间，同时保持幺正性与归一化？
• RQ5 为正确处理一阶与二阶约束，路径积分测度需要进行哪些修改？

主要发现

• 所提出的路径积分形式化通过投影算符 IÊ 有效强制实现量子约束，确保动力学仅发生在物理希尔伯特空间内。
• 该方法避免了规范固定、Faddeev-Popov行列式、Gribov模糊性以及辅助场的引入，解决了约束量子化中长期存在的问题。
• 在 ε 中对约束项进行二阶正则化，确保了在连续极限下的一致性与收敛性。
• 使用相干态确保了笛卡尔坐标系下的经典哈密顿量与量子哈密顿量之间在 O(ħ) 修正内保持一致，维持了物理对应关系。
• 最终的路径积分表达式与抽象算符演化 e^{-i(ÊHÊ)T} 一致，证实了与标准量子力学的相容性。
• 该形式化方法不包含不定度规，也无需使用Dirac括号，为一阶与二阶约束提供了明显一致的处理方式。