实施量子约束的普适步骤

我们发展了在一般量子约束存在下量子动力学的抽象表述。我们的构造性步骤使得 onto 物理 Hilbert 空间的相关投影算符通过单一、共同的、对原始 Lagrange 乘子变量的积分步骤获得，该步骤完全独立于约束的一般性质。在相关的格点极限表述中，证明了约束算符贡献按格点间距展开至二阶是必要的，而正如通常那样，动力学算符贡献仅需一阶展开。在各种可能性中，使用相干态路径积分来说明该抽象量子化步骤的完全泛函表示。