量子场符号类比计算:相对论模型

将量子系统置于时空构型的连续极限中来考量是自然的。再结合爱因斯坦的狭义相对论,便导向量子场论。非相对论量子力学与经典力学是其特例。通过研究可分 Hilbert 空间中量子场算符乘积的真空期望值(Wightman 函数 W(n; z),其中 z 表示 n 个复变量的集合),人们需计算这些函数在多复变量空间 C^n 上的全纯域。Wightman 由这些函数重构了量子场。计算机自动化已作为确定性精确类比计算(在 C^n 连续统上的“胞腔”间计算)得以实现,用于获取原始扩展管状全纯域。这是在一个一维空间加一维时间模型中完成的。通过考虑边界相关的半代数集,以非确定性方法获得了这些域的一些解析延拓。这种新颖计算方法提出了有关可计算性与复杂性的有趣问题。此外,该计算独立于 Lagrangian 或动力学的任何特定形式,且在 n 上是一致的,堪称 C^infinity 上的普适量子机。