×

FIRE4、LiteRed和随附工具,用于解决零件关系集成。 (英语) Zbl 1344.81031号

小结:我们介绍了新版本的Mathematica代码FIRE及其背后的思想。它可以与Lee最近开发的代码LiteRed一起应用,以提供一种按部分归约的积分,从而掌握相当复杂的Feynman积分族的积分。作为一个例子,我们考虑四圈无质量传播子积分,LiteRed提供了约简规则,FIRE帮助应用这些规则。因此,作为副产品,我们获得了著名算法MINCER的四环路变体。这些显式约简规则的存在表明,任何四圈无质量传播子积分都可以约简为数学定理意义上主积分的线性组合。我们还描述了各种代数方法,以找到与几个费曼积分族相关的主积分之间的附加关系。

MSC公司:

81-04 量子理论相关问题的软件、源代码等
第81页第18页 费曼图
80年第30季度 费曼积分与图;代数拓扑与代数几何的应用
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Chetyrkin,K.G。;Tkachov,F.V.,《分部积分:计算4个回路中β函数的算法》,核物理。B、 192159-204(1981年)
[2] Smirnov,V.A.,费曼积分的分析工具,(Springer Tracts Mod.Phys.,第250卷(2012)),1-296·Zbl 1268.81004号
[3] 斯米尔诺夫,A.V。;Petukhov,A.V.,主积分的数量是有限的,Lett。数学。物理。,97, 37-44 (2011) ·Zbl 1216.81076号
[4] Smirnov,A.V.,算法FIRE-Feynman积分还原,高能物理杂志。,107年10月(2008年)·Zbl 1245.81033号
[5] 阿纳斯塔西奥,C。;Lazopoulos,A.,《高阶微扰计算的自动积分简化》,《高能物理学杂志》。,07, 046 (2004)
[6] Studerus,C.,《C++中的Reduze-Feynman积分约简》,计算。物理。Comm.,1811293-1300(2010)·Zbl 1219.81133号
[9] Gorishnii,S.G。;拉林,S.A。;苏格拉泽,L.R。;Tkachov,F.V.,MINCER:SCHOONSCHIP系统量子场论中的多回路计算程序,计算。物理。Comm.,55,381-408(1989)
[10] Baikov,P.A。;Chetyrkin,K.G.,《四圈无质量传播器:所有主积分的代数计算》,核物理。B、 837186-220(2010)·Zbl 1206.81087号
[11] 卡尔米科夫,M.Y。;Kniehl,B.A.,计算主积分:部分积分与微分归约,Phys。莱特。B、 702、268-271(2011)
[12] 卡尔米科夫,M.Y。;Kniehl,B.A.,Mellin-Barnes费曼图表示,微分方程线性系统,多项式解,物理学。莱特。B、 714103-109(2012)
[13] Laporta,S.,用差分方程对多回路Feynman积分进行高精度计算,国际。现代物理学杂志。,A15,5087-5159(2000)·Zbl 0973.81082号
[14] Lee,R.N.,逐部积分恒等式的群结构及其在多回路积分约简中的应用,高能物理学杂志。,07, 031 (2008)
[15] Pak,A.,《现代多回路计算工具箱:新型分析和半分析技术》,J.Phys。Conf.序列号。,368, 012049 (2012)
[16] 斯米尔诺夫,A.V。;Smirnov,V.A.,(S)-作为解决费曼积分约化问题的工具,核物理。B程序。增刊,160,80-84(2006)
[17] 拉波尔塔,S。;Remiddi,E.,QED中(α^3\)级电子的分析值((g-2)\),Phys。莱特。B、 379283-291(1996)
[18] 拉波尔塔,S。;Remiddi,E.,《电子(g(E)-2)和α值:1 ppb下QED的检查》,《物理学学报》。波隆。B、 28959-977(1997)
[19] Lee,R.N。;Smirnov,V.A.,对应于无质量三圈形状因子和三圈g-2到四圈超越性权重的主积分的解析ε展开式,J.高能物理学。,1102, 102 (2011) ·Zbl 1294.81290号
[20] Kniehl,B.A。;Kotikov,A.V.,《计算主积分:有效质量的逐部分积分程序》,Phys。莱特。B、 712233-234(2012)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。