×
乔纳斯·克拉佩特;费比安·兰格;菲利普·迈尔霍夫;约翰·乌索维奇

使用Kira 2.0和有限域方法进行积分约简。 （英语） Zbl 1523.81078号

计算。物理学。Commun公司。 266，文章ID 108024，15 p.（2021）.
摘要：我们推出了新版本2费曼积分约化程序基拉并描述新功能。主要的新特征是通过有限域方法，借助于FireFly公司。此过程可以在计算机群集上与并行磁粉探伤此外，对用户提供的方程组的支持也得到了显著改进。此模式提供了集成的灵活性基拉用于使用专门化约简公式、振幅直接约简的项目，或涉及不限于标准费曼积分之间关系的线性方程组的问题。我们展示了最先进的费曼积分缩减问题的示例，并提供了新功能的基准测试，证明了与以前版本的基拉.

引用于44文件

MSC公司：

80年第30季度 费曼积分与图；代数拓扑与代数几何的应用
81系列40 量子力学中的路径积分
81层33 量子场论中的维数紧化
2015年上半年03日 非标准算术模型
68瓦30 符号计算和代数计算

关键词：

费曼图;多环费曼积分;维数正则化;拉波尔塔算法;模运算;计算机代数

软件：

yaml-cpp公司;火灾;差异支出;雷杜泽;果冻;打火石;费马;GiNaC公司;CLN公司
PDF格式BibTeX公司 XML格式引用
\textit{J.Klappert}等人，计算。物理学。Commun公司。266，文章ID 108024，15 p.（2021；Zbl 1523.81078）
全文： 内政部 arXiv公司

参考文献：

[1] Amoroso，S.（第11届TeV对撞机上的Les Houches物理研讨会：PhysTeV Les Houghes（2020）），3
[2] Henn，J.M.，《物理学》。修订稿。，110，第251601条pp.（2013）
[3] Argeri，M。；Di Vita，S。；Mastrolia，P。；米拉贝拉，E。；施伦克，J。；舒伯特，U.，J.高能物理学。，03，第082条，第（2014）页·Zbl 1333.81379号
[4] 冯·曼特乌费尔，A。；E装甲车。；Schabinger，R.M.，物理学。D版，93，第125014条pp.（2016）
[5] Moriello，F.，J.高能物理学。，01，第150条pp.（2020）
[6] Hidding，M.，DiffExp，用一维级数展开计算费曼积分的Mathematica包·兹比尔1518.65150
[7] Gluza，J。；Kajda，K。；Kosower，D.A.，物理学。D版，83，第045012条pp.（2011）
[8] Schabinger，R.M.，J.高能物理学。，01，第077条pp.（2012）
[9] Ita，H.，物理学。D版，94，第116015条，第（2016）页
[10] Böhm，J。；Georgoudis，A。；Larsen，K.J。；舒尔茨，M。；Zhang，Y.，物理学。D版，98，第025023条pp.（2018）
[11] Kosower，D.A.，物理学。D版，98，第025008条pp.（2018）
[12] 冯·曼特乌费尔，A。；E装甲车。；Schabinger，R.M.，物理学。修订稿。，124，第162001条pp.（2020）
[13] Larsen，K.J。；Zhang，Y.，物理学。D版，93，第041701条pp.（2016）
[14] Böhm，J。；Georgoudis，A。；Larsen，K.J。；Schönemann，H。；张勇，J.高能物理。，09，第024条pp.（2018）·Zbl 1398.81264号
[15] Bendle，D。；Böhm，J。；Decker，W。；Georgoudis，A。；Pfreundt，F.-J。；Rahn，M.，J.高能物理学。，02，第079条pp.（2020）
[16] Mastrolia，P。；Mizera，S.，J.高能物理学。，02，第139条pp.（2019）
[17] Frellesvig，H。；Gasparotto，F。；拉波尔塔，S。；曼达尔，M.K。；Mastrolia，P。；Mattiazzi，L.，J.高能物理学。，05，第153条pp.（2019）·Zbl 1416.81198号
[18] Frellesvig，H。；Gasparotto，F。；曼达尔，M.K。；Mastrolia，P。；Mattiazzi，L.公司。；Mizera，S.，物理学。修订稿。，123，第201602条pp.（2019）
[19] Weinzierl，S.，关于扭曲循环交叉数的计算·Zbl 1469.81050号
[20] Frellesvig，H。；加斯帕罗托，F。；拉波尔塔，S。；曼达尔，M.K。；Mastrolia，P。；Mattiazzi，L.，用多元交集数分解费曼积分·Zbl 1461.81044号
[21] 冯·曼特乌费尔，A。；Schabinger，R.M.，物理学。莱特。B、 744101（2015）·Zbl 1330.81151号
[22] Peraro，T.，J.高能物理学。，12，第030条pp.（2016）
[23] 斯米尔诺夫，A.V。；Chukharev，F.S.，计算。物理学。社区。，第247条，第106877页（2020年）·Zbl 1510.81007号
[24] 克拉佩特，J。；Lange，F.，计算。物理学。社区。，第247条，第106951页（2020年）·Zbl 1509.68342号
[25] Peraro，T.，J.高能物理学。，07，第031条pp.（2019）
[26] 克拉佩特，J。；Klein，S.Y。；Lange，F.，计算。物理学。社区。，264，第107968条pp.（2021）·Zbl 1524.65056号
[27] 刘，X。；马永清。；Wang，C.-Y.，物理。莱特。B、 779353（2018）
[28] 刘，X。；Ma，Y.-Q.，物理学。D版，99，第071501条pp.（2019）
[29] Wang，Y。；李，Z。；ul Basat，N.，物理学。D版，101，第076023条pp.（2020）
[30] 关，X。；刘，X。；Ma，Y.-Q，Chin。物理学。C、 44，第093106条pp.（2020）
[31] Laporta，S.，国际期刊Mod。物理学。A、 15087（2000）·Zbl 0973.81082号
[32] 阿纳斯塔西奥，C。；Lazopoulos，A.，J.高能物理学。，07，第046条pp.（2004）
[33] 冯·曼特乌费尔，A。；Studerus，C.，Reduze 2-分布式Feynman积分约化
[34] Smirnov，A.V.，《计算》。物理学。社区。，189182（2015）·Zbl 1344.81030号
[35] Maierhöfer，P。；Usovitsch，J。；Uwer，P.，计算。物理学。社区。，230, 99 (2018) ·Zbl 1498.81004号
[36] 消息传递接口·兹比尔0825.68198
[37] 哈兰德，R.V。；Kluth，Y。；Lange，F.，《欧洲物理学》。J.C，78，944（2018）
[38] Artz，J。；哈兰德，R.V。；兰格，F。；诺依曼，T。；Prausa，M.，J.高能物理学。，06，第121条pp.（2019）·Zbl 1445.81069号
[39] 哈兰德，R.V。；兰格，F。；Neumann，T.，J.高能物理学。，08，第109条pp.（2020）
[40] Tkachov，F.V.，物理学。莱特。B、 100、65（1981年）
[41] Chetyrkin，K.G。；Tkachov，F.V.，编号。物理学。B、 192159（1981）
[42] Gehrmann，T。；雷米迪，E.，Nucl。物理学。B、 580485（2000）·Zbl 1071.81089号
[43] Lewis，R.H.，计算机代数系统Fermat
[44] 考尔斯，M.，Nucl。物理学。B、 程序。补遗，183，245（2008）
[45] 康德，P.，《计算》。物理学。社区。，185, 1473 (2014) ·Zbl 1344.81020号
[46] 德克莱恩，J。；莫纳根，M。；Wittkopf，A.，《美国国家科学院院刊》。国际交响乐团。符号。代数比较。，2005, 124 (2005)
[47] 齐佩尔，R.，Symb。代数比较。EUROSAM，1979，216（1979）
[48] Ben-Or，M。；蒂瓦里（Tiwari），P.，Proc。ACM交响乐团。理论比较。，20, 301 (1988)
[49] Kaltoffen，E。；Y.、Lakshman、Symb。代数比较。伊萨克，1988，467（1989）
[50] Zippel，R.，J.塞姆。计算。，9, 375 (1990) ·Zbl 0702.65011号
[51] Kaltoffen，E。；Lee，W.s。；Lobo，A.A.，（Proc.Int.Symp.Symbolic Algebraic Comp..Proc.Int Symp.符号代数Comp.，2000（2000）），192
[52] Kaltoffen，E。；Lee，W.s.，J.Symb。计算。，36, 365 (2003) ·Zbl 1074.68080号
[53] Cuyt，A。；Lee，W.s.，Theor。计算。科学。，412, 1445 (2011) ·Zbl 1211.65014号
[54] 王培生，（《符号代数比较程序》，ACM Symp.Symbolic Algebraic Comp.，1981（1981）），第212页·Zbl 0486.68026号
[55] 莫纳根，M.，Proc。国际交响乐团。符号。代数比较。，2004, 243 (2004)
[56] 冯·祖尔·盖森，J。；Gerhard，J.，《现代计算机代数》（2013），剑桥大学出版社·Zbl 1277.68002号
[57] DeMillo，R.A。；Lipton，R.J.，《信息处理》。莱特。，7, 193 (1978) ·Zbl 0397.68011号
[58] 施瓦茨，J.T.，J.ACM，27，701（1980）·Zbl 0452.68050号
[59] Evans，J.，Jemalloc内存分配器
[60] Maierhöfer，P。；Usovitsch，J.，Kira 1.1发行说明·Zbl 1498.81004号
[61] Maierhöfer，P。；Usovitsch，J.，Kira 1.2，发行说明·Zbl 1498.81004号
[62] C·萨巴，公牛。社会数学。Fr.，120，371（1992）·Zbl 0766.32011号
[63] 斯米尔诺夫，A.V。；斯米尔诺夫，V.A.，Nucl。物理学。B、 960，第115213条pp.（2020）·Zbl 1472.81102号
[64] Usovitsch，J.，分母在逐部分积分约简中的因式分解
[65] 帕帕佐普洛斯，C.G。；托马西尼，D。；Wever，C.，高能物理杂志。，01，第072条pp.（2015）
[66] 隐藏，M。；Moriello，F.，J.高能物理学。，01，第169条pp.（2019）·兹比尔1409.81048
[67] 帕帕佐普洛斯，C.G。；Wever，C.，J.高能物理学。，02，第112条pp.（2020）
[68] Grozin，A.G.，Springer Tracts Mod.公司。物理。，201, 1 (2004)
[69] Frellesvig，H。；Bonciani，R。；德尔杜卡，V。；莫列洛，F。；Henn，J。；Smirnov，V.，PoS，LL2018，第076条pp.（2018）
[70] Corporation、Intel、Intel®MPI库
[71] Pakkanen，J.，介子构建系统
[72] 马丁·E·忍者·Zbl 1030.68017号
[73] 自动工具
[74] Bauer，C。；弗林克，A。；Kreckel，R.B.，GiNaC不是CAS
[75] Bauer，C。；弗林克，A。；Kreckel，R.，J.塞姆。计算。，33, 1 (2002) ·Zbl 1017.68163号
[76] 沃林加，J.，Nucl。Instrum公司。方法。A、 559282（2006）
[77] 海布尔，B。；Kreckel，R.B.，CLN——数字类库
[78] 盖利，J.-l。；阿德勒，M.，兹利卜
[79] GNU多精度算术库
[80] GNU多精度浮点可靠库
[81] Beder，J.、yaml-cpp
[82] Hart，W.，FLINT：数论快速库
[83] Gabriel，E.，开源高性能计算
[84] Gabriel，E.（高级并行虚拟机消息传递接口，EuroPVM/MPI，第2004卷（2004）），97
[85] 格罗普，W.，MPICH
[86] Ellis，J.P.，《计算》。物理学。社区。，210, 103 (2017) ·Zbl 1376.68154号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。