[论文解读] Gauge checks, consistency of approximation schemes and numerical evaluation of realistic scattering amplitudes

Christian Schwinn|ArXiv.org|Jul 4, 2003

Electromagnetic Scattering and Analysis参考文献 8被引用 4

一句话总结

本文提出了一套系统性的框架，用于验证自发对称性自发破缺的规范理论中散射振幅数值计算的规范不变性，特别是在标准模型中。该框架推导出一组有限的四点函数的Ward恒等式，作为O’Mega矩阵元生成器中的规范检查，确保费曼规则的一致实现，并验证近似方案（包括有限宽度和跑动耦合效应）的正确性，通过显式数值检查过程如 $e^+e^- \to e^- \bar{\nu}_e u \bar{d}$。

ABSTRACT

We discuss both theoretical tools to verify gauge invariance in numerical calculations of cross sections and the consistency of approximation schemes used in realistic calculations. A finite set of Ward Identities for 4 point scattering amplitudes is determined, that is sufficient to verify the correct implementation of Feynman rules of a spontaneously broken gauge theory in a model independent way. These identities have been implemented in the matrix element generator O'Mega and have been used to verify the implementation of the complete Standard Model in R_ξgauge. The consistency of approximation schemes in tree level calculations is discussed in the last part of this work. We determine the gauge invariance classes of spontaneously broken gauge theories, providing a new proof for the formalism of gauge and flavor flips. The schemes for finite width effects that have been implemented in O'Mega are reviewed. As a comparison with existing calculations, we study the consistency of these schemes in the process e^-e^+ o e^- \bar ν_e u\bar d. The violations of gauge invariance caused by the introduction of running coupling constants are analyzed.

研究动机与目标

• 开发一种与模型无关的方法，用于验证自发对称性自发破缺的规范理论中散射振幅数值实现的规范不变性。
• 确保近似方案（尤其是有限宽度和跑动耦合效应）在树图计算中的一致性。
• 使用规范不变性类对规范和味翻转形式化进行系统性证明。
• 验证O’Mega矩阵元生成器中在 $R_\xi$ 规范下完整标准模型的实现。
• 分析并量化由近似（如跑动耦合常数）引起的规范不变性破坏。

提出的方法

• 推导出一组有限的四点振幅Ward恒等式，足以验证数值计算中的规范不变性。
• 将Slavnov-Taylor恒等式应用于自发对称性破缺规范理论中的格林函数和截断顶点。
• 在O’Mega矩阵元生成器中将这些Ward恒等式实现为自动化的一致性检查。
• 使用图解分析对规范不变性类进行分类，并识别费曼规则中的规范和味翻转。
• 使用Dyson求和与简化方案对包含有限宽度效应的散射振幅进行数值计算。
• 引入具有跑动行为的有效耦合常数，以研究其对规范不变性的影响。

实验结果

研究问题

• RQ1 如何在自发对称性破缺规范理论的散射振幅数值实现中系统性地验证规范不变性？
• RQ2 确保标准模型中费曼规则正确实现所需的最小Ward恒等式集合是什么？
• RQ3 有限宽度效应和跑动耦合常数如何影响树图计算中的规范不变性？
• RQ4 规范不变性类在分类和验证近似方案中起什么作用？
• RQ5 在 $R_\xi$ 规范下，完整标准模型的数值实现在多大程度上保持规范不变性？

主要发现

• 推导并实现了四点函数的一组有限Ward恒等式，使O’Mega中能够实现与模型无关的规范不变性验证。
• 这些恒等式的实现证实了O’Mega中完整标准模型在 $R_\xi$ 规范下的正确规范不变实现。
• 研究发现，有限宽度效应（尤其是使用Dyson求和时）可能破坏Ward恒等式，因此需要仔细设计方案。
• 跑动耦合常数被发现会引入规范不变性的破坏，其影响被定量分析并表明在某些动量区域中不可忽略。
• 通过规范不变性类重新推导了规范和味翻转的形式化，提供了新的证明，并对顶点修正结构有了更深入的理解。
• 对 $e^+e^- \to e^- \bar{\nu}_e u \bar{d}$ 的数值结果表明，必须谨慎选择近似方案以保持规范不变性，否则会出现可观测的偏差。