STR：一个用于唯一性方法的 Mathematica 包

我们推出 STR（星-三角关系，Star-Triangle Relations），一个旨在通过任意欧几里得时空维度下的唯一性方法求解费曼图的 Mathematica 包。唯一性方法是一种在具有共形对称性的理论中求解多圈费曼积分的有力技术，它对传播子幂次与时空维度之间施加某些关系。我们的算法中包含了标量型与汤川型积分的恒等式。该包提供了一个图形化环境，可用鼠标输入绘制所需图，并配备一组修改与计算该图的工具。通过图形界面的使用，该包应能让此前在图计算方面经验甚少或毫无经验的用户轻松上手。本手册包含了一些费曼图计算的教学示例，如标量双圈风筝主积分，以及在双标度极限下计算 $\gamma$ 形变 $\mathcal{N}=4$ SYM 能谱时出现的一个费米子图。