[论文解读] SpinorsExtras - Mathematica implementation of massive spinor-helicity formalism

Jakub Kuczmarski|arXiv (Cornell University)|Jun 21, 2014

Particle physics theoretical and experimental studies参考文献 25被引用 5

一句话总结

本论文提出 SpinorsExtras，一个 Mathematica 工具包，扩展了 S@M 框架以实现包含自旋-螺旋形式的重费米子和矢量玻色子的螺旋振幅的符号与数值计算。该工具包支持壳上递归、费曼图计算以及参考矢量管理，并内建了规范不变性检验与振幅简化工具，显著简化了大型强子对撞机时代高精度 QCD 与电弱振幅计算。

ABSTRACT

We present SpinorsExtras package implementing massive spinor-helicity formalism in Mathematica on top of S@M package. Package defines new objects for Mathematica - massive spinors and reference, associated and polarization vectors. Various properties of introduced symbols and relations among them are implemented together with functions to manipulate and interchange such objects. The package can be used for symbolic calculation of helicity amplitudes involving massive particles with real or complex momenta, using on- or off-shell recursive techniques or Feynman diagrams.

研究动机与目标

• 为应对大型强子对撞机时代涉及重粒子的散射振幅高精度理论计算日益增长的需求。
• 扩展现有的 S@M 工具包，增加用于重自旋旋量、极化矢量和参考矢量的符号工具，以实现自旋-螺旋形式。
• 实现基于壳上递归、费曼图或其他形式化技术的振幅符号与数值计算的自动化。
• 提供工具用于测试规范不变性与参考矢量无关性，确保结果可靠性。
• 支持在多体振幅中对重粒子使用实数与复数动量。

提出的方法

• 该工具包引入了用于重自旋旋量、极化矢量和参考矢量的新 Mathematica 符号，并定义了其变换与归一化性质。
• 实现了使用显式与隐式参考矢量的光锥分解，必要时使用默认参考矢量处理隐式形式。
• 支持对重自旋旋量进行复数动量位移以实现壳上递归，提供处理边界项与壳上条件的工具。
• 提供函数将重自旋旋量与极化矢量按动量与参考矢量分解，以支持振幅构建。
• 内建简化工具可在参考矢量重新定义下管理表达式，测试振幅的不变性。
• 通过分配质量与动量支持数值计算，并与标准费曼振幅结果进行比较。

实验结果

研究问题

• RQ1 如何系统性地将自旋-螺旋形式扩展至包含实数或复数动量的重粒子？
• RQ2 自动化计算涉及重费米子与矢量玻色子的螺旋振幅，需要哪些符号与算法工具？
• RQ3 如何在符号计算框架中将壳上递归技术适配于重粒子？
• RQ4 在计算出的振幅中，参考矢量无关性与规范不变性在多大程度上可被算法验证？
• RQ5 该工具包能否可靠地重现电子-μ子散射等基准过程的标准费曼图结果？

主要发现

• SpinorsExtras 工具包成功扩展了 S@M，支持包含费米子与规范玻色子的重粒子螺旋振幅的符号计算。
• 该工具包支持对重自旋旋量进行复数动量位移的壳上递归，可高效计算多体振幅。
• 通过该工具包计算的数值结果与标准费曼图计算结果一致，验证了其正确性。
• 通过自动化测试确认了振幅在参考矢量重新定义下的不变性，从而验证了规范不变性。
• 该工具包可简化涉及参考矢量的表达式，并支持对单个费曼图独立进行简化。
• 该实现支持实数与复数动量，适用于单位性与复动量技术。