[论文解读] Correlation functions of local composite operators from generalized unitarity

Oluf Tang Engelund, Radu Roiban|arXiv (Cornell University)|Sep 3, 2012

Black Holes and Theoretical Physics参考文献 95被引用 25

一句话总结

本文提出了一种广义幺正性方法，用于计算量子场论中局部规范不变算符的关联函数，特别是在 ${\cal N}=4$ 超杨-米尔斯理论中的应用。通过将关联函数视为外部源的振幅，该方法利用动量空间技术与矩阵元，高效计算了BPS与非BPS算符的关联函数，揭示了隐藏对称性，并实现了多点函数与有效作用量的显式计算。

ABSTRACT

We describe the use of generalized unitarity for the construction of correlation functions of local gauge-invariant operators in general quantum field theories and illustrate this method with several calculations in N=4 super-Yang-Mills theory involving BPS and non-BPS operators. Form factors of gauge-invariant operators and their multi-operator generalization play an important role in our construction. We discuss various symmetries of the momentum space presentation of correlation functions, which is natural in this framework and give examples involving non-BPS and any number of BPS operators. We also discuss the calculation of correlators describing the energy flow in scattering processes as well as the construction of the effective action of a background gravitational field.

研究动机与目标

• 开发一种系统化方法，用于计算一般量子场论中局部规范不变算符的关联函数。
• 将壳上技术（如广义幺正性与矩阵元）扩展至动量空间关联函数，类比S矩阵方法。
• 在动量空间表示中揭示关联函数的隐藏对称性，特别是在 ${\cal N}=4$ sYM 中的表现。
• 显式计算涉及BPS与非BPS算符的关联函数，包括引力背景下的能量流与有效作用量。

提出的方法

• 通过在作用量中耦合局部算符与背景场，将关联函数视为外部源的振幅。
• 使用动量空间表示，将关联函数映射为带有外部源的壳上散射振幅。
• 利用广义幺正性，从壳上数据与规范不变算符的矩阵元中重建关联函数的被积函数。
• 利用矩阵元及其多算符推广形式作为高点关联函数的构建模块。
• 应用逐次积分与导数恒等式简化被积函数，并识别标准积分结构，如 $Y_{ijk}$ 与 $I_{ij}$。
• 利用共形对称性与对偶共形对称性，在零分离极限下约束并验证结果。

实验结果

研究问题

• RQ1 广义幺正性技术（在散射振幅中成功应用）能否被适配以计算局部规范不变算符的关联函数？
• RQ2 关联函数的动量空间表示中会出现何种对称性？它们与位置空间共形对称性有何关联？
• RQ3 如何利用规范不变算符的矩阵元来构建 ${\cal N}=4$ sYM 中的多点关联函数？
• RQ4 在平面图极限下，同时包含BPS与非BPS算符的关联函数具有何种结构？
• RQ5 能否通过此动量空间幺正性框架系统地构造背景引力场的有效作用量？

主要发现

• ${\cal N}=4$ sYM 理论中关联函数的动量空间表示继承了共形对称性，尽管该对称性不明显，且被傅里叶变换后的共形生成元所湮灭。
• 该方法成功计算了涉及BPS与非BPS算符的四点关联函数，结果与已知约束和对称性一致。
• 被积函数结构揭示了隐藏对称性，包括拉格朗日插入形式中的置换对称性，从而简化了高阶点函数的计算。
• 显式计算表明，能量流关联函数与背景引力的有效作用量可通过此幺正性方法构建。
• 该方法重现了已知结果，如 $\partial_1^2 H_{41;13} = \frac{I_{13}I_{14}}{I_{34}} Y_{134}$，证实与先前工作的自洽性。
• 导数恒等式与逐次积分将复杂被积函数简化为标准标量积分（如 $Y_{ijk}$ 与 $I_{ij}$）的组合，从而实现系统的计算。