关于线性系统的相干态路径积分

我们使用“泛函方法”（而非离散时间方法）给出了通用线性系统的相干态路径积分的计算。高斯相空间路径积分形式上由一个由具有相干态边界条件的一阶微分算子构成的行列式给出。我们展示了该行列式如何用能由系统的（一般而言含时的）二次 Hamiltonian 生成的辛变换表示。我们简要讨论了线性系统的相干态路径积分实际存在的条件。路径积分存在的必要——但非充分——条件是 Hamiltonian 生成的辛变换在系统的 Fock 空间上是（幺正）可实现的。