[论文解读] The relativistic KMS condition for the thermal n-point functions of the P(ϕ)_2 model

Christian D. Jäkel, Florian Robl|arXiv (Cornell University)|Mar 18, 2011

Quantum Chromodynamics and Particle Interactions参考文献 40被引用 6

一句话总结

本文为 P(ϕ)₂ 模型中一般 n 点热 Wightman 分布建立了相对论性 KMS 条件，扩展了此前关于两点函数的结果。通过 Osterwalder-Schröder 重建和圆柱面上的欧几里得场论，作者证明了热相关函数可解析延拓至相对论性管域，确认其为温和分布，并满足所有 n 点函数的相对论性 KMS 条件。

ABSTRACT

Thermal quantum field theories are expected to obey a relativistic KMS condition, which replaces both the relativistic spectrum condition of Wightman quantum field theory and the KMS condition, which characterises equilibrium states in quantum statistical mechanics. In a previous work it has been shown that the two-point function of the thermal $P(ϕ)_2$ model satisfies the relativistic KMS condition. Here we extend this result to general $n$-point functions.

研究动机与目标

• 将相对论性 KMS 条件从两点函数推广至热 P(ϕ)₂ 模型中的一般 n 点函数。
• 验证 P(ϕ)₂ 模型的热 Wightman 分布在闵可夫斯基空间中为温和分布。
• 通过 Osterwalder-Schröder 重建，建立圆柱面上的欧几里得场论与闵可夫斯基空间热量子场论之间的严格联系。
• 确认热态满足相对论性 KMS 条件，使热场论与真空场论结构在庞加莱不变性下一致。

提出的方法

• 使用高斯测度和 Minlos 定理（带空间截断 l）在时空圆柱面上构造欧几里得 P(ϕ)₂ 模型。
• 通过 Glimm-Jaffe 方法应用正规排序（Wick 重整化）来定义相互作用的欧几里得场论。
• 利用 Nelson 的对称性消除空间截断，将热 Schwinger 函数与爱因斯坦宇宙（周长为 β）上真空 P(ϕ)₂ 模型的函数联系起来。
• 应用 Osterwalder-Schröder 重建，得到具有希尔伯特空间、真空态、动力学和冯诺依曼代数的闵可夫斯基空间热量子场论。
• 分析 n 点函数向相对论性管域 ℝᵈ + i(V⁺ ∩ (βe − V⁺)) 的解析延拓，证明其收敛于温和分布。
• 通过 Weyl 算子边界条件的微分推导出 KMS 边界条件，确认所有 n 点函数的相对论性 KMS 结构。

实验结果

研究问题

• RQ1 在 P(ϕ)₂ 模型中，相对论性 KMS 条件是否对一般 n 点热 Wightman 分布成立，而不仅限于两点函数？
• RQ2 P(ϕ)₂ 模型的热 Wightman 分布在闵可夫斯基空间中是否为温和分布？
• RQ3 Osterwalder-Schröder 重建程序是否可应用于圆柱面上的热 P(ϕ)₂ 模型，以获得相对论性量子场论？
• RQ4 热 n 点函数的解析性结构如何与相对论性管域及 KMS 条件相关联？
• RQ5 爱因斯坦宇宙在连接热欧几里得场论与闵可夫斯基场论中起什么作用？

主要发现

• 热 P(ϕ)₂ 模型的 n 点 Wightman 分布为温和分布，其收敛性在施瓦茨空间拓扑下得到证明。
• n 点函数可解析延拓至相对论性管域 ℝᵈ + i(V⁺ ∩ (βe − V⁺))，并满足相对论性 KMS 条件。
• 通过 Weyl 算子边界条件的微分，推导出 n 点函数的 KMS 边界条件，确认了其相对论性 KMS 结构。
• 热 Wightman 分布在类空分离区域中具有解析性，其论证与定理 2.10 中的类似。
• 闵可夫斯基空间 ℝ¹⁺¹ 上的热态通过 Osterwalder-Schröder 重建与周长为 β 的爱因斯坦宇宙上的真空态酉等价。
• 该模型对所有 n ≥ 2 满足相对论性 KMS 条件，推广了 Gérard 与 Jäkel（2010）关于两点函数的结果。