A Stationary Composition Law for Schwinger-Keldysh Effective Actions

技术摘要：Schwinger-Keldysh 有效作用的平稳组合律

问题陈述
在非平衡量子场论中，Schwinger-Keldysh (SK) 形式为开放量子系统提供了一个实时间框架。当系统与环境相互作用时，环境的自由度被积掉，从而产生一个影响作用（influence action）。在连通生成泛函（CGFs）层面，开放系统（$W_O$）、相应的封闭系统（$W_C$）以及环境诱导贡献（$W_{IF}$）之间的关系是加性的：
$$W_O[J] = W_C[J] + W_{IF}[J]$$
其中 $W_{IF} \equiv W_O - W_C$。

一个自然的问题是，这种加性结构在通过勒让德变换到有效作用（$\Gamma$）时是否得以保持。具体而言，人们可能会预期 $\Gamma_O[\Phi] = \Gamma_C[\Phi] + \Gamma_{IF}[\Phi]$。然而，本文证明了这种简单的加性并不成立。其障碍在于，勒让德变换为每个泛函定义了不同的背景场：$\Phi_O[J] = \delta W_O/\delta J$，$\Phi_C[J] = \delta W_C/\delta J$，以及 $\Phi_{IF}[J] = \delta W_{IF}/\delta J$。虽然在固定的源 $J$ 下场满足 $\Phi_O = \Phi_C + \Phi_{IF}$，但有效作用是在其各自的共轭场处进行求值的。因此，对于给定的共同背景 $\Phi$，简单的求和 $\Gamma_C[\Phi] + \Gamma_{IF}[\Phi]$ 并不能得到开放系统的有效作用 $\Gamma_O[\Phi]$。

方法论
本文通过引入一种变分组合律来解决这种不匹配问题。其核心方法论包括：

1. 影响有效作用的定义： 作者将 $\Gamma_{IF}$ 定义为连通影响泛函 $W_{IF}$ 的勒让德变换，它不同于微观影响作用 $S_{IF}$。
2. 辅助分裂场： 对于固定的总背景场 $\Phi$，引入了一个无约束的辅助分裂场 $\Psi$。构造了一个辅助泛函：
   $$F[\Phi, \Psi] = \Gamma_C[\Psi] + \Gamma_{IF}[\Phi - \Psi]$$
   这里，$\Psi$ 代表封闭系统的贡献，而 $\Phi - \Psi$ 代表环境诱导的贡献。
3. 平稳条件： 有效作用并非通过简单相加获得，而是通过在 $\Psi$ 处评估该辅助泛以下得到：
   $$\Gamma_O[\Phi] = \text{Stat}_{\Psi} \{ \Gamma_C[\Psi] + \Gamma_{IF}[\Phi - \Psi] \}$$
   平稳条件 $\delta F / \delta \Psi = 0$ 意味着一个“源匹配”条件：
   $$\frac{\delta \Gamma_C}{\delta \Psi} = \frac{\delta \Gamma_{IF}}{\delta (\Phi - \Psi)} \implies J_C[\Psi] = J_{IF}[\Phi - \Psi]$$
   这确保了分裂后的各部分对应于同一个外部源。
4. 代数分析： 本文研究了该运算（记作 $\Gamma_O = \Gamma_C \otimes \Gamma_{IF}$）的代数性质，证明了其交换性、结合律和分解协变性。

主要贡献与结果

• 平稳组合律： 主要结果是推导出了方程 (7) 和 (69)，确立了开放系统的有效作用是封闭系统有效作用与影响有效作用的平稳组合。这取代了对源-场映射的显式反演，转而使用变分条件。
• 代数性质：
  • 交换性： $\Gamma_1 \otimes \Gamma_2 = \Gamma_2 \otimes \Gamma_1$。
  • 结合律： $(\Gamma_1 \otimes \Gamma_2) \otimes \Gamma_3 = \Gamma_1 \otimes (\Gamma_2 \otimes \Gamma_3)$。这允许对多个环境贡献进行顺序组合。
  • 分解协变性： 本文证明了将 $W_O$ 分解为 $W_C$ 和 $W_{IF}$ 的方式并非唯一（可以将项在两者之间转移）。然而，所得有效作用的平稳组合在这些转移下是不变的，从而确保了无论选择何种分解方式，物理上的开放系统有效作用 $\Gamma_O$ 都是唯一的。
• 线性实现（二次理论）： 对于由响应算符 $A$（封闭）和 $B$（影响）表征的二次有效作用，平稳组合简化为算符的并联和：
  $$A \otimes B = (A^{-1} + B^{-1})^{-1}$$
  该结果适用于局部和非局部（积分微分）核，包括耗散和记忆效应。
• 非线性实现： 对于与时间无关的有效势，组合变为一个非线性代数系统，其中平稳分裂点 $\psi^*$ 由来自封闭部分和影响部分的广义力（势函数的导数）之间的平衡决定。
• 微观解释： 本文阐明了影响有效作用的核（$\Gamma_{IF}$）通常与微观影响作用的核（$S_{IF}$）不同，即使在二次理论中也是如此。两者的关系涉及封闭系统响应算符的反演。

意义与主张
本文声称提供了凸对偶性中发现的下确界卷积（infimal convolution/Legendre-Fenchel 变换）在 SK 框架下的正式类比。在欧几里得凸极限下，平稳组合简化为标准的下确界卷积（极小化）。在一般的 SK 背景下，由于作用量是复数且非凸的，该运算是通过平稳性而非极小化来定义的。

这项工作的意义在于：

1. 结构清晰性： 它解决了开放系统中生成泛函的加性与有效作用的非加性之间的根本不匹配问题。
2. 模块化计算： 组合律提出了一种计算开放系统有效作用的策略，而无需对完整的开放系统生成泛函进行完整的勒让德变换。如果可以从微观影响插入和已知的封闭系统相关函数（例如在高斯环境或弱耦合情况下）直接评估 $W_{IF}$，则可以单独构造 $\Gamma_{IF}$，并通过平稳组合将其与 $\Gamma_C$ 结合。
3. 广泛适用性： 该形式化适用于局部和非局部 SK 作用，涵盖了线性响应理论和非线性有效势。

作者指出，平稳组合并不意味着极小化，且选择正确的平稳分支（在可能存在多个解的情况下）需要物理输入，尽管通过源匹配条件保证了所选分支能还原开放系统作用。文章最后概述了向更高阶有效作用（如 2PI）及在相变中奇异 Hessian 矩阵应用的扩展，以及在宇宙学和流体力学中的潜在应用。