FeynRules的运行
接上两篇,在我们正确的设定模型参数和拉氏量之后,就可以运行FeynRules来推导费曼规则。
装载文件
首先需要设定FeynRules文件所在位置,并装载FeynRules模块:
$FeynRulesPath = SetDirectory[ ]
<< FeynRules`
接下来是装载写好的模型文件:
LoadModel[ < file.fr >, < file2.fr >, … ]
模型文件后缀为".fr",可以分几块构成。模型描述可以写在 Mathematica notebook上但是不建议这样做。
注意,每次模型描述改变时(除了 Lagrangian 改变外),必须退出 Mathematica 内核,重新装载运行。
提取费曼规则
可以使用函数:vertsQCD = FeynmanRules[ LQCD ] 来提取拉氏量“LQCD”的顶点(vertices)费曼规则。可以选择不打印输出 vertsQCD = FeynmanRules[ LQCD, ScreenOutput -> False] ,此时费曼规则被储存在 vertsQCD 变量中。
使用 FlavorExpansion 指令可以进一步展开顶点费曼规则里的味指标。
vertices = FeynmanRules[ L ];
vertices = FlavorExpansion[ vertices ];
非物理态规范指标必须要展开到物理态上,例如 U ( 1 ) × S U ( 2 ) U(1) \times SU(2) U(1)×SU(2)的 B , W i B, W^i B,Wi场需要展开到 A , Z , W ± A,Z,W^\pm A,Z,W±场上。
费曼规则可能很冗长,一些函数那个只提取某些特定规则,例如 MaxParticles -> n
只提取 腿/粒子数 <= n 的顶点。MinParticles 选项则起相反作用。
MaxCanonicalDimension -> n 则选取出维度<=n算符。MinCanonicalDimension 则相反。
SelectParticles ->{ {…}, {…},…} , Contains -> { … } 和 Free -> { … } 则选择出 由/包含/无 特定粒子构成的费曼规则。更多详见手册。
FeynmanRules默认会检查每个顶点的量子数守恒,设置 ConservedQuantumNumbers 选项为 False 则会关闭这种检查。
顶点规则被如下两分量表示:
第一分量表示顶点相关的三个粒子,后一分量为顶点作用的解析式,1,2,3为相对应的标签。
有时候费曼规则非常场,下面命令后帮助我们只选择3或4 gluon顶点:
冗长的拉氏量也被允许分为部分的和的形式(推荐这样写):
例如 QCD 拉氏量油规范玻色子项(gluon)、费米子项(quark)和 鬼子项(ghost)构成。同时也可以分开提取费曼规则:
最后可以用下面命令将它们合在一起:
超空间操作
这部分涉及到超对称模型的左右手 Wyel 费米子和 Grassmann 代数操作,主要是讨论费米子次序问题的(交换反对称),本人不太熟悉,就跳过。
质量谱是生成
当 gauge本征态和质量本征态之间的Mixing和真空期望被指定之后,FeynRules 就可以通过命令 ComputeMassMatrix[ Lag, options ] 来提取出粒子的质量矩阵。
质量矩阵的定义为 L m a s s = B 2 † M B 1 \mathcal{L}_{\mathrm{mass}}=\mathcal{B}_{2}^{\dagger} M \mathcal{B}_{1} Lmass=B2†MB1 , B 1 , B 2 \mathcal{B}_{1}, \mathcal{B}_{2} B1