Schwinger-Keldysh Cosmological Cutting Rules

技术摘要：Schwinger-Keldysh 宇宙学切割规则

问题陈述
宇宙学相关函数（correlators）编码了暴胀期间产生的原初扰动的统计特性，这对于理解早期宇宙至关重要。虽然 Schwinger-Keldysh (SK) 或“in-in”形式化方法为计算这些可观测物理量提供了一个稳健的框架，但由于存在嵌套时间积分，该方法往往会导致技术上极具挑战性的解析表达式。尽管基于幺正性的切割规则（类似于平直空间散射中的 Cutkosky 规则）此前已在波函数系数中得到推导，但如何直接将这些规则应用于在 SK 路径积分形式化方法下计算的宇宙学可观测物理量（in-in 相关函数），仍然是一个悬而未决的挑战。德西特（de Sitter）空间中缺乏渐近的“out”态，这使得直接应用标准的 S-矩阵幺正性论证变得复杂。

方法论
作者利用 Schwinger-Keldysh 路径积分形式化方法，直接为宇宙学相关函数推导切割规则。其方法论包括：

1. 形式化设置： 利用带有时间排序（$+$）和反时间排序（$-$）场的 SK 形式化方法，定义了四种类型的体-体（bulk-to-bulk）及体-边界（bulk-to-boundary）传播子（$G_{++}, G_{--}, G_{+-}, G_{-+}$）。
2. 不连续算符（Discontinuity Operator）： 定义了一个特定的不连续算符 $\text{disc}_{k_I}$，它通过将函数与其复共轭求和来作用于函数 $f$，其中不在指标集 $I$ 中的动量被进行解析延拓（符号翻转）。该算符的构建旨在重现由演化算符的 Dyson 级数展开所导出的宇宙学幺正关系式的左侧。
3. 图解分析： 系统地分析该不连续算符对树级和圈级图的作用。作者引入了一个新的代数对象——带杠相关函数（barred correlator, $\langle \dots \rangle'_a$），其定义为涉及顶点符号指标的特定图组合的线性组合。引入这一对象是必要的，因为 in-in 相关函数的不连续性不能仅表示为低阶 in-in 相关函数的乘积；它需要这些辅助组合来解释 SK 传播子的特定结构。
4. 推广： 将分析从简单的三次相互作用 ($\phi^3$) 扩展到具有空间和时间导数耦合的理论，最后扩展到具有 $V$ 个顶点的任意树级线性链图以及一般的单圈图。

主要贡献与结果

• 树级切割规则的推导： 本文明确展示了 $s$ 通道四点树级图的不连续性可以分解为低阶点图的乘积。至关重要的是，这种分解涉及标准不连续性与带杠相关函数之不连续性的乘积之和。作者提供了一个通用的“切割配方”，适用于任意树级线性链图，表明切割一个内部传播子会将图分解为若干连通子图，每个子图都被视为低阶点相关函数或带杠相关函数的不连续性。
• 处理导数耦合： 作者验证了切割规则对于包含空间导数（例如 $(\partial_i \phi)^2 \phi$）和时间导数（例如 $\phi (\partial_\tau \phi)^2$）的相互作用同样成立。他们证明了传播子及其导数的宇称关系允许不连续操作分解时间积分，从而消除了 SK 计算中典型的嵌套结构。
• 向圈修正的扩展： 该框架被扩展到了单圈图。作者表明，具有 $V$ 个顶点的单圈相关函数的不连续性可以完全用树级相关函数（包括正则相关函数和带杠相关函数）来表示。这证实了不连续性性质在树级之上依然保持，镜像了平直空间中广义幺正性的结构。
• 带杠相关函数： 本文的一个重要技术贡献是带杠相关函数的正式定义与利用。这些对象本身并不出现在物理可观测量的计算中，但作为必要的代数构建模块，用于将物理相关函数的不连续性表示为低阶项的乘积。它们自然地源于传播子在不连续操作下的实部与虚部分解。

意义与主张
本文声称深化了对宇宙学环境下幺正性的理解，提供了一种系统性的、图解的方法来计算 in-in 相关函数的不连续性。其主要意义在于简化了摄动计算的实际过程：一旦提取出切割部分，嵌套的时间积分就会发生分解，从而极大地降低了高阶和高圈计算的计算复杂度。

作者将这项工作定位为“宇宙学自助程序”（cosmological bootstrap）计划的一步，在该程序中，高阶相关函数可以通过幺正性约束从低阶数据中重建。他们指出，带杠相关函数的代数结构与混合进/退（r/a）Keldysh 基底中的超前场（advanced fields）具有相似之处，这表明两者之间存在更深层的结构联系，值得进一步研究。本文明确验证了这些规则在各种相互作用类型和圈阶下的有效性，为未来在暴胀宇宙学中的应用奠定了基础。作者承认该工作与近期一项独立的最新工作 [67] 存在显著的概念重叠，并指出其分析是基于先前的硕士论文 [68, 69]。