[论文解读] Implementation of non-linear gauge-fixing in FeynArts package

Jurgis Pašukonis|ArXiv.org|Sep 30, 2007

Distributed and Parallel Computing Systems参考文献 2被引用 5

一句话总结

本硕士论文展示了在费曼规则自动生成软件FeynArts中实现非线性规范固定方法，用于标准模型的费曼图生成。通过将规范固定程序扩展至非线性选择，该方法引入了新的规范参数，这些参数修改的是顶点而非传播子，从而支持更广泛的规范选择。主要贡献在于构建了一个经过验证的自动化框架，可在树图和一阶圈图层次上利用规范不变性检查进行高精度计算。

ABSTRACT

Feynman rules for the Standard Model including non-linear gauges are derived and implemented in the FeynArts package. The calculations using FeynArts with the new rules show that tree-level amplitudes are gauge invariant and that renormalization is not spoiled for one-loop calculations. The FeynArts model files are available at http://www.fi.lt/~garfield/SM/

研究动机与目标

• 扩展FeynArts软件包，使其支持标准模型中的非线性规范固定，从而实现更灵活和全面的规范选择。
• 通过利用规范不变性作为内置的一致性检查，解决验证自动化振幅计算的挑战。
• 以与现有FeynArts和FormCalc工作流兼容的方式，实现并测试包含鬼场和标量相互作用的非线性规范固定顶点。
• 通过显式计算树图和一阶圈图，特别是γγ → WW过程，证明非线性规范固定在可行性和正确性方面的有效性。
• 提供一个模型文件扩展（SM.mod），其中新增的相互作用顶点由非线性规范固定参数（如Galpha、Gbeta、Gepsilon）参数化。

提出的方法

• 改编法捷耶夫-波波夫程序，推导出修改顶点结构而非传播子的非线性规范固定项。
• 在拉格朗日量中引入新的规范参数（如Galpha、Gbeta、Gepsilon、Gkappa、Gdelta、Gepsilon），以参数化非线性规范选择。
• 修改FeynArts模型文件（SM.mod），以包含涉及规范玻色子、希格斯粒子、戈戈利森玻色子和鬼场的非线性规范参数的新解析耦合。
• 实现新的相互作用顶点，如$\bar{c}^Z c^Z hh$、$\bar{c}^Z c^\pm \chi^\mp h$和$\bar{c}^\mp c^A \chi^\pm h$，其显式依赖于规范固定参数。
• 使用FormCalc接口通过改变规范参数来评估振幅，执行规范不变性的数值检查。
• 通过γγ → WW过程的树图和一阶圈图计算验证实现，确认在不同参数选择下均保持规范不变性。

实验结果

研究问题

• RQ1 如何系统性地在FeynArts软件包中实现非线性规范固定，以扩展可选规范的范围？
• RQ2 能否以一种仅修改顶点而保持最终振幅规范不变性的方式引入非线性规范固定参数？
• RQ3 在标准模型中，非线性规范固定所需的新型相互作用顶点（包括鬼场和标量相互作用）的具体形式是什么？
• RQ4 在使用非线性规范固定时，规范不变性检查在多大程度上可作为自动化振幅计算的可靠验证工具？
• RQ5 在精度物理背景下，非线性规范参数的引入如何影响拉格朗日量结构及由此产生的费曼规则？

主要发现

• 该实现成功扩展了FeynArts以支持非线性规范固定，引入了修改顶点而非传播子的新规范参数。
• 修改后的模型文件（SM.mod）包含了显式解析耦合的顶点，如$\bar{c}^Z c^Z hh$和$\bar{c}^\mp c^A \chi^\pm h$，其系数与$G\epsilon$、$G\delta$和$G\alpha$成正比。
• 对γγ → WW过程的树图计算显示，当使用不同的非线性规范参数值时，结果完全满足规范不变性，验证了方法的一致性。
• 一阶圈图计算同样表现出规范不变性，证明了该方法在高精度物理应用中的稳健性。
• 引入非线性规范参数显著增加了可访问规范的数量，提升了自动化振幅计算的可靠性。
• 该方法通过允许改变多个规范参数（而不仅标准的$\xi_W, \xi_Z, \xi_A$），实现了更严格的规范不变性检查。