⚛️ high-energy theory

Notes on LSZ, i epsilon Prescriptions and Perturbation Theory, in QFT and Cosmology

本文回顾了 LSZ 公式将平直时空 S 矩阵与场算符关联函数相联系的经典论证，阐明了不假设渐近自由真空的 $i\epsilon$ prescriptions 起源，并论证了在暴胀宇宙学中进行破坏幺正性的围道变形是不必要的。

原作者： S. P. de Alwis

发布于 2026-02-25

📖 1 分钟阅读🧠 深度阅读

原作者： S. P. de Alwis

原始论文根据 CC0 1.0（http://creativecommons.org/publicdomain/zero/1.0/）发布到公有领域。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇文章就像是一位物理学家在纠正我们教科书里的一些“小误会”，并告诉我们如何更干净、更自然地理解宇宙中粒子的相互作用。

为了让你更容易理解，我们可以把这篇论文的核心思想想象成**“如何在一个永远在装修的房子里，准确地测量家具的位置”**。

1. 核心问题：我们之前的“装修规则”太假了

在传统的量子场论（QFT）和宇宙学计算中，物理学家们为了算出粒子碰撞的结果（S 矩阵）或者宇宙早期的波动（宇宙学微扰），通常不得不使用一些**“作弊”手段**：

旧规则（教科书说法）： 假设在很久以前（大爆炸初期）或很久以后（宇宙尽头），粒子之间的相互作用会自动消失，就像装修工人突然全部下班，房子变成了空荡荡的毛坯房（自由场）。只有在这种“空房子”里，我们才能定义什么是“粒子”。
作者的观点（S. P. de Alwis）： 这太假了！宇宙中的相互作用（比如引力、电磁力）是永远存在的，从来没有真正“关掉”过。强行假设它们关掉，就像是为了测量家具，非要假设房子突然变回毛坯房一样，这在物理上是不自然的，甚至破坏了物理定律（比如时间平移不变性）。

这篇论文要做的事： 证明我们不需要假设相互作用消失，也能算出正确的结果。

2. 第一部分：LSZ 定理——“弱”联系比“强”联系更真实

LSZ 定理是连接“理论计算”和“实验观测”的桥梁。它告诉我们，如何通过测量场（就像测量房间里的空气波动）来算出粒子碰撞的概率。

之前的困惑： 大家一直以为，要让这个桥梁成立，必须假设远处的粒子是“自由”的（没有相互作用）。
作者的澄清： 作者用了一个数学工具叫黎曼 - 勒贝格定理（Riemann-Lebesgue theorem）。
- 比喻： 想象你在一个嘈杂的派对（相互作用场）里，试图听清远处一个人的声音。如果你把耳朵贴得很近，噪音很大。但如果你把时间拉得无限长，那些快速变化的噪音（高频振荡）会相互抵消，只剩下稳定的背景音。
- 结论： 即使相互作用一直存在，只要时间足够久，那些“干扰项”在数学上会自动消失。我们不需要假设相互作用“关掉”了，它们只是在极限情况下变得不可见。这就像你不需要把派对关掉，只要等得够久，也能听清那个人的话。

3. 第二部分： $i\epsilon$ 处方——“虚数”的魔法

在计算中，物理学家经常使用一个神秘的符号 $i\epsilon$ （一个极小的虚数）。它的作用是确保计算结果不爆炸，并且符合因果律（原因在结果之前）。

旧方法（Weinberg 等人的做法）： 为了引入这个 $i\epsilon$ $i ϵ$ ，大家通常假设相互作用在时间上慢慢“关掉”（绝热近似），或者把时间轴强行扭转到虚数方向（复平面旋转）。
- 比喻： 这就像为了测量一个物体的重量，你不得不把它放进一个“平行宇宙”里称一下，然后再转回来。虽然结果是对的，但这个过程在物理上有点“作弊”，因为它破坏了幺正性（Unitarity，简单说就是“概率守恒”，所有可能性的总和必须是 100%）。
作者的新方法： 作者指出，我们根本不需要把时间扭转到虚数方向，也不需要假设相互作用关掉。
- 比喻： 我们只需要承认，“真空”本身就是装修好的房子。我们使用的波函数（描述房子状态的数学工具）已经是包含了所有装修（相互作用）的“完整波函数”。
- 神奇之处： 当我们用这个“完整波函数”去计算时，那些复杂的装修细节（高阶相互作用项）在数学运算中会自动抵消掉，最后剩下的结果，竟然和旧方法算出来的一模一样，而且那个神秘的 $i\epsilon$ 自然就出现了。
- 结论： 我们不需要去“平行宇宙”（虚时间）或者“清空房子”（关掉相互作用），直接在“装修中的房子”里算，结果既准确又符合物理定律。

4. 第三部分：宇宙学中的应用——不需要“旋转时间”

在宇宙学（比如研究宇宙大爆炸后的膨胀）中，情况更复杂，因为宇宙背景本身就在随时间变化。

旧方法： 为了处理宇宙早期的状态，物理学家通常会把时间积分路径旋转到虚数轴上，以此来选择“正确的初始状态”（Bunch-Davies 真空）。
- 比喻： 这就像为了看清早晨的日出，你非要先把太阳“倒着转”一圈，然后再转回来。这违反了物理过程的单向性（幺正性）。
作者的新方法： 作者把上面的“完整波函数”思路应用到了宇宙学。
- 比喻： 我们不需要把时间倒着转。我们只需要承认，宇宙在早期就已经处于一种“相互作用状态”中。通过正确的数学处理（闭合时间路径积分），我们可以直接从早期演化到晚期，而不需要任何违规的“时间旋转”。
- 结论： 宇宙学微扰论（计算宇宙结构形成的工具）可以建立在更坚实、更自然的物理基础上，不需要那些为了计算方便而牺牲物理原则的“捷径”。

总结：这篇论文到底说了什么？

这就好比一位老练的工匠（作者）对学徒们说：

“你们一直以为，要修好这个复杂的机器（计算物理过程），必须先把机器拆开，假设它不转了（关掉相互作用），或者把它拿到另一个维度去修（虚时间旋转）。

其实不用！ 机器一直在转，相互作用一直存在。只要你们用对工具（正确的波函数和数学极限），那些复杂的干扰会自动消失，剩下的就是完美的结果。

这样，我们既不需要破坏物理定律（保持幺正性），也不需要假设那些不现实的场景（相互作用消失），就能算出宇宙和粒子的真相。”

一句话概括： 这篇论文通过严谨的数学推导，证明了我们在计算量子物理和宇宙学时，不需要那些为了简化计算而强行假设的“不真实条件”，从而让理论更加自洽和自然。

这是一份关于 S. P. de Alwis 论文《LSZ、 $i\epsilon$ 处方与微扰论在 QFT 和宇宙学中的笔记》的详细技术总结。

1. 研究背景与核心问题 (Problem)

在量子场论（QFT）和宇宙学微扰论的标准教科书中，计算散射矩阵（S 矩阵）或宇宙学关联函数时，通常依赖两个存在争议的假设：

绝热关闭假设 (Adiabatic Switching-off)：假设在渐近时间（ $t \to \pm \infty$ ），粒子间的相互作用被绝热地“关闭”或设为零，以便定义自由态。然而，这与物理粒子具有物理质量（即自相互作用非零）的事实相矛盾，且破坏了时间平移不变性。
虚时间路径变形 (Contour Deformation)：为了从路径积分推导费曼传播子并得到 $i\epsilon$ 处方，通常需要将时间积分路径旋转到复平面的虚轴方向（如 Wick 旋转）。在宇宙学背景下，这种操作往往被批评为破坏了幺正性（Unitarity），因为它改变了物理时间演化的性质。

核心问题：是否可以在不引入上述非物理假设（即不假设相互作用在渐近区消失，也不进行破坏幺正性的复时间变形）的情况下，严格推导出 LSZ 约化公式、 $i\epsilon$ 处方以及宇宙学微扰论？

2. 方法论 (Methodology)

作者通过重新审视 Lehmann-Symanzik-Zimmermann (LSZ) 定理的原始论证，并结合 Weinberg 关于路径积分的论证，提出了一种基于全相互作用真空波函数的推导方法。主要步骤包括：

LSZ 定理的严格化：
- 利用 Riemann-Lebesgue (RL) 定理 证明渐近条件。作者指出，渐近条件不应被视为算符的强极限（强极限意味着理论是自由的），而应视为正规化态（normalizable states）之间矩阵元的弱极限。
- 通过将场算符在傅里叶空间分解为齐次方程解（自由部分）和相互作用部分，证明在 $t \to \pm \infty$ 时，相互作用部分的矩阵元因振荡而趋于零（由 RL 定理保证），从而自然导出自由场算符的渐近行为，而无需假设相互作用消失。
$i\epsilon$ 处方的推导（平直时空）：
- 摒弃“相互作用在无穷远关闭”的假设，直接引入全相互作用真空的波函数 $\Omega[\phi]$ 。
- 将真空波函数分解为自由部分（二次型）和相互作用部分（三次及更高次）。
- 在路径积分中，利用波函数的自由部分（高斯型）引入一个收敛因子 $\epsilon$ 。通过数学处理证明，相互作用部分的波函数贡献在 $\epsilon \to 0$ 极限下消失，而自由部分自然地生成了标准的 $i\epsilon$ 处方，从而得到费曼传播子。
宇宙学微扰论的推广 (in-in 形式)：
- 将上述方法推广到非平衡态 QFT 和宇宙学背景（如 de Sitter 空间）。
- 使用 Schwinger-Keldysh (闭合时间路径，CTP) 形式，定义密度矩阵 $\rho_0$ 和生成泛函。
- 同样利用全相互作用真空波函数在路径积分端点处的贡献，推导出闭合时间路径上的 $i\epsilon$ 处方。
- 论证了无需将时间积分路径旋转到虚轴（这通常被视为破坏幺正性），即可得到正确的关联函数。

3. 关键贡献 (Key Contributions)

澄清 LSZ 定理的假设：明确指出 LSZ 论证并不要求相互作用在渐近区消失。通过弱极限和 RL 定理，证明了即使相互作用存在，物理态的渐近行为也能正确定义。这消除了关于“物理质量”与“自由渐近态”之间矛盾的困惑。
无需虚时间变形的 $i\epsilon$ 推导：提供了一种在保持实时间演化和幺正性的前提下，从路径积分自然导出 $i\epsilon$ 处方的方法。这通过利用全相互作用真空波函数的结构来实现，而非人为地旋转积分路径。
宇宙学微扰论的严格化：解决了宇宙学微扰论中关于初始态（Bunch-Davies 真空）和 $i\epsilon$ 处方来源的争议。证明了在相互作用真空下计算关联函数是可行的，且不需要破坏幺正性的复时间变形。
统一框架：建立了一个统一的框架，既适用于平直时空的 S 矩阵计算，也适用于宇宙学中的等时关联函数计算，两者都基于全相互作用真空的波函数。

4. 主要结果 (Results)

LSZ 公式的有效性：证明了在保持时间平移不变性和相互作用非零的前提下，LSZ 约化公式依然成立。渐近场算符是相互作用场算符在弱极限下的投影。
传播子的形式：在路径积分形式中，通过包含相互作用真空波函数，自由部分的二次型项自动产生了带有 $i\epsilon$ 的逆算子 $K_\epsilon^{-1}$ ，即标准的费曼传播子：
$K^{-1}_\epsilon(x, x') \sim (p^2 + m^2 - i\epsilon E_p)^{-1}$
宇宙学关联函数：在宇宙学背景下，推导出了闭合时间路径（CTP）上的生成泛函。结果表明，相互作用部分的波函数项在 $\epsilon \to 0$ 极限下不产生贡献，因此微扰论的计算公式与标准教科书一致，但其理论基础更加稳固（基于全相互作用真空而非自由真空）。
幺正性的保持：整个推导过程完全在实时间轴上进行，避免了将时间积分路径旋转到虚轴，从而保证了理论的幺正性。

5. 意义与影响 (Significance)

理论基础的巩固：该工作消除了 QFT 和宇宙学微扰论中一些长期存在的“启发式”或“非物理”假设。它表明标准的微扰计算结果（如费曼规则）是严格成立的，不需要依赖“相互作用在无穷远消失”这种违反物理直觉的假设。
解决概念混淆：澄清了关于 LSZ 定理、渐近态定义以及 $i\epsilon$ 来源的许多教科书中的混淆点。特别是区分了算符的强极限和矩阵元的弱极限。
宇宙学应用的可靠性：为宇宙学微扰论（如原初扰动功率谱的计算）提供了更坚实的理论基础。它表明在计算早期宇宙的关联函数时，无需诉诸于可能破坏幺正性的复时间技巧，从而增强了理论预测的可信度。
方法论的普适性：提出的基于全相互作用真空波函数的方法，可能为处理其他非微扰或强耦合背景下的量子场论问题提供新的思路。

总结：S. P. de Alwis 的这篇论文通过严谨的数学推导（特别是利用 Riemann-Lebesgue 定理和全相互作用真空波函数），证明了标准的微扰论计算（包括 LSZ 公式和 $i\epsilon$ 处方）可以在不牺牲时间平移不变性或幺正性的前提下严格建立。这为平直时空 QFT 和宇宙学微扰论提供了更清晰、更自洽的理论基础。