Schwinger-Keldysh Path Integral for Gauge theories

✨

这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

Each language version is independently generated for its own context, not a direct translation.

想象你正在尝试预测天气。在一个完美、封闭的世界里，你可以写下一组方程，代入当前条件，就能确切知道明天会发生什么。但现实世界是混乱的。大气是一个“开放系统”——它与太空、地面和海洋交换能量和物质。要准确预测天气，你不能只观察空气；你必须考虑空气如何与其接触的一切其他事物相互作用。

本文旨在构建一套更好的数学工具，用于描述这些混乱的开放系统，特别是当它们涉及规范理论时。在物理学中，规范理论是支配电磁力和强核力（将原子结合在一起）等力的规则。作者们正在解决一个非常具体且困难的问题：如何描述这些力在系统不处于平静、稳定状态（如热等离子体或混沌碰撞）而是从特定起点动态演化时的情况。

以下是他们工作的分解，使用了简单的类比：

1. “双账本”问题（Schwinger-Keldysh）

为了追踪开放系统，物理学家使用一种称为Schwinger-Keldysh形式的方法。

类比：想象你在记一天的日记。为了理解发生了什么，你不仅要按时间顺序写下发生的事件（向前），还要写第二本日记，想象这一天是倒着发生的。然后你比较这两本日记。
原因：这种“双日记”允许你计算那些与环境相互作用的系统的概率和平均值，而不仅仅是孤立系统。
挑战：当你将此应用于强核力等力时，由于“规范对称性”，数学变得极其复杂。将规范对称性想象为你语言中的冗余。你可以用许多不同的词（规范）来描述相同的物理现实。在封闭系统中，这很容易处理。但在这种“双日记”设置中，冗余加倍了，作者们必须弄清楚如何在保持数学一致性的同时，不让其崩溃。

2. “鬼”与“负值”（BRST 与不定希尔伯特空间）

为了解决冗余问题，物理学家引入了“鬼”。

类比：这些不是可怕的幽灵。把它们想象成会计鬼。当你拥有一个变量过多（冗余）的系统时，你会添加虚假变量来抵消错误。
问题：在标准物理学中，概率必须始终为正（你不能有 -50% 的降雨概率）。然而，这些“鬼”变量和力场的时间分量在数学中自然会产生“负概率”。
解决方案：作者们展示了如何正确处理这些负数。他们使用了一种特殊的数学技巧（Nakanishi-Lautrup 表示），这就像改变你的会计货币。与其试图强行让数字变为正数，他们重新定义了账本的规则，使负数完美地抵消错误，从而为真实的物理内容留下有效的正概率。

3. “对角线”规则（对称性破缺）

当你有两本日记（向前和向后的分支）时，你可能会认为你有两套规则（对称性）。

类比：想象两个舞者。如果他们在真空中跳舞，他们可以各自做自己的动作。但在这种“开放系统”中，他们在舞蹈结束时手牵手。这种连接迫使它们同步移动。
发现：作者们证明，“向后”的舞者（超前对称性）不能自由移动；他们的动作被末端的连接打破了。只有“向前”的舞者（对角线或推迟对称性）仍然有效。这至关重要，因为它确切地告诉我们要遵循哪些规则以确保我们的预测有意义。如果我们试图使用被打破的规则，数学会给出荒谬的结果。

4. 环境的“影响”（开放有效场论）

通常，我们并不关心系统中的每一个粒子（如每一个空气分子）。我们只想知道特定物体（如汽车）如何在空气中移动。

类比：这就像在计算汽车的阻力时，不需要模拟每一个空气分子。你“积分掉”空气分子，并用单一的“摩擦”力来替代它们。
创新：作者们展示了如何将这些复杂的规范力做到这一点。他们创建了一个"Feynman-Vernon 影响泛函”。把它想象成一个魔法过滤器。你将混乱的完整系统放入过滤器，它会吐出一个简化的“有效理论”，仅针对你关心的部分。
保证：他们工作中最重要的部分是证明这个简化理论仍然遵守原始复杂系统的基本规则（BRST 对称性）。他们表明，即使在简化之后，“鬼”和“负数”仍然能正确抵消。

5. 现实世界的例子

这篇论文不仅仅停留在理论上；他们在两个具体场景中测试了他们的数学：

硬热圈（HTL）：这描述了一锅热的粒子汤（如早期宇宙或粒子对撞机中）。他们展示了如何通过平均掉“快”粒子来简化“慢”粒子的数学，同时保持规则不变。
破缺对称性（希格斯相）：这描述了一种情况，由于场（如希格斯场）“打破”了对称性，力的行为变得不同。他们展示了如何为这种破缺状态编写规则，使其仍然适用于开放的非平衡系统。

总结

简而言之，本文建立了一个稳健的、遵守规则的框架，用于描述复杂的力场在混乱、高温并与环境相互作用时的行为。他们解决了通常会导致这些情况下的数学崩溃的“负数”和“鬼”的处理问题。通过证明特定的“对角线”对称性是唯一天然存留的，他们提供了一种安全的方法来简化复杂的物理问题，而不会失去支配它们的基本定律。

Each language version is independently generated for its own context, not a direct translation.

以下是 Kaplanek、Mylova 和 Tolley 所著论文《规范理论的施温格 - 凯尔迪什路径积分》的详细技术总结。

1. 问题陈述

施温格 - 凯尔迪什（SK）或闭合时间路径（CTP）形式体系是描述非平衡量子系统和开放量子系统的标准工具。然而，将其应用于有限时间定义的任意初始态（纯态或混合态）的非阿贝尔规范理论，在技术上一直发展不足。

本工作解决的关键挑战包括：

不定度规希尔伯特空间： 规范理论需要协变规范（如洛伦兹规范）以保持显式的洛伦兹不变性，这引入了负范态（类时光子）和非物理自由度（鬼场）。标准的 SK 形式体系往往难以在这些不定度规空间中定义一致的內积和迹运算，特别是对于非真空态。
开放系统中的 BRST 对称性： 虽然 BRST 对称性保证了封闭系统的幺正性，但尚不清楚它如何在 SK 轮廓固有的场“倍增”（推迟/超前分支）以及环境自由度的迹运算中幸存下来。
边界条件： 标准处理通常假设无限时间极限（ $t_i \to -\infty, t_f \to +\infty$ ）并采用 $i\epsilon$ 处方。本文关注通用的有限时间初始态，其中边界项不可忽略。
开放有效场论（EFT）的构建： 构建开放规范系统（例如硬热圈）的有效场论，需要严格理解在积分掉高能模式或物质场后，哪些对称性约束了有效作用量。

2. 方法论

作者基于Becchi-Rouet-Stora-Tyutin (BRST) 形式体系，特别是利用Nakanishi-Lautrup (NL) 表示，发展了一个严格的路径积分框架。

A. 不定度规希尔伯特空间的量子化（薛定谔绘景）

泡利表示： 为了处理类时光子分量（ $A_0$ ）不可归一化的波泛函，作者采用了泡利表示，其中厄米算符 $\hat{A}_0$ 的本征值为纯虚数（ $A_0 \to iA_4$ ）。这允许定义一个可归一化的內积，其中包含奇数个类时光子的态具有负范数，与希尔伯特空间的不定度规一致。
鬼场薛定谔表示： 与需要相干态的费米子不同，作者为 Faddeev-Popov 鬼场构建了薛定谔表示，因为它们的运动方程是二阶的。他们定义了鬼场（ $c$ ）和反鬼场（ $\bar{c}$ ）的同时本征态，建立了 consistent 的內积和迹公式。
Nakanishi-Lautrup 表示： 作者没有积分掉辅助 $B$ $B$ 场（这迫使 BRST 代数仅在壳上闭合），而是将 $B$ $B$ （或 $B_4$ $B_{4}$ ）视为与 $A_0$ $A_{0}$ 共轭的基本构型变量。在此表示中：
- BRST 代数在壳外闭合（ $\hat{s}^2 = 0$ ）。
- BRST 变换直接作用于等时场变量，而不在作用量中产生边界项。
- 物理波泛函的形式为 $\psi_{phys} = e^{\hat{s}G} \Psi_{gauge-inv}$ ，其中 $G$ 是规范固定费米子， $\Psi$ 是规范不变的。

B. 用于迹运算的 Hata-Kugo 处方

为了在不定度规希尔伯特空间中计算物理期望值，作者实施了Hata-Kugo 迹：
$\text{Tr}_{phys}[\hat{O}] = \text{Tr}[e^{\pi \hat{Q}_G} \hat{\rho} \hat{O}]$
其中 $\hat{Q}_G$ 是鬼荷。插入 $e^{\pi \hat{Q}_G}$ （它翻转鬼场的符号）抵消了来自鬼场迹的费米子负号，有效地将密度矩阵投影到物理希尔伯特空间。这一处方对于推导正确的边界条件（例如热态中鬼场的周期性 KMS 条件）至关重要。

C. 施温格 - 凯尔迪什路径积分构建

场倍增： 路径积分涉及所有场（ $A_\mu, B, c, \bar{c}$ ）的两个分支（ $+$ 和 $-$）。
对角 BRST 对称性： 作者证明，虽然 SK 轮廓朴素地暗示了两个 BRST 对称性的副本，但最终时间边界条件（ $f_+(t_f) = f_-(t_f)$ ）破坏了“超前”（非对角）BRST 对称性。只有对角（推迟）BRST 对称性幸存下来。
Zinn-Justin 方程： 他们推导了生成泛函的 in-in Zinn-Justin（主）方程，该方程编码了 Ward-Takahashi-Slavnov-Taylor 恒等式。该方程适用于任意初始态，并包含复合算符（反场）的源项以追踪 BRST 变换。

3. 主要贡献与结果

1. 不定度规问题的解决

该论文提供了在有限时间的薛定谔绘景中定义规范理论內积和迹的完整方案。通过结合 $A_0$ 的虚本征值表示和 Hata-Kugo 迹，他们确保了物理态具有正范数，并且路径积分正确地投影到物理子空间。

2. 超前 BRST 对称性的破缺

一个核心结果是明确证明，即使在真空中，in-in 边界条件也破坏了超前 BRST 对称性。

对角（推迟）BRST 对称性是唯一与算符形式体系中的守恒 BRST 荷 $\hat{Q}$ 相容的对称性。
这意味着 SK 形式体系中对称性的“朴素”倍增是一种错觉；开放系统仅保留对角对称性。

3. 开放 EFT 中的凯尔迪什 BRST 对称性

当用推迟（ $r$ ）和超前（ $a$ ）场（凯尔迪什旋转）展开开放 EFT 作用量时，作者识别出一种收缩的凯尔迪什 BRST 对称性：

推迟部分： 在推迟规范场的标准非阿贝尔 BRST 对称性下变换。
超前部分： 在涉及推迟场的协变变换下线性变换（类阿贝尔）。
意义： 这种对称性对于在超前场中截断至二阶的作用量是精确的。它对开放 EFT 中允许的算符施加了严格约束，防止构建那些仅在推迟变换下规范不变但违反完整对角 BRST 结构的项。

4. 硬热圈（HTL）EFT 的应用

作者将其形式体系应用于硬热圈有效理论。他们表明，通过积分掉硬热模式推导出的 SK-HTL 作用量，在凯尔迪什 BRST 对称性下是显式不变的。这证实了 HTL 作用量中的耗散项和随机（噪声）项与幺正性和规范不变性是一致的。

5. 具有自发对称性破缺（SSB）的开放 EFT

该论文构建了希格斯相（所有规范对称性均被破缺）中规范理论的开放 EFT 的一般形式。通过利用 Stueckelberg 机制在幺正规范中恢复规范冗余，他们推导出了在超前场中截断至二阶的最一般 BRST 不变作用量，包括满足因果性和正性约束的噪声核和运动方程。

4. 意义

非平衡规范理论的严格基础： 这项工作填补了文献中的关键空白，为非平衡环境下具有任意初始态的非阿贝尔规范理论提供了数学上一致的路径积分表述。
对开放 EFT 的约束： 对凯尔迪什 BRST 对称性的识别为构建开放 EFT 提供了一个强大的新工具。它阐明了仅施加推迟规范不变性是不够的；超前场必须以特定方式变换以保持底层的 BRST 结构。这防止了在等离子体、宇宙学和重离子碰撞的有效作用量中包含非物理算符。
鬼场与边界条件的处理： 通过 Hata-Kugo 处方和 Nakanishi-Lautrup 表示对鬼场部分和边界项的详细处理，解决了关于热鬼场和有限时间演化的歧义，而这些在唯象处理中通常被忽略。
格里博夫模糊性： 作者承认非微扰的格里博夫模糊性，但认为对于封闭系统与开放系统之间的关系，标准的 BRST 框架（可能带有修正的规范固定项）仍然是适当的组织原则，而对角 BRST 对称性是其稳健特征。

总之，该论文确立了对角 BRST 对称性是开放规范系统的基本组织原则，取代了对倍增对称性的朴素预期，并为构建适用于广泛物理场景的一致、幺正的开放 EFT 提供了技术机制。