×
吴子豪;扬科·博姆;马鲁鲁;徐和峰;张扬

NeatIBP公司1.0，为费曼积分生成小型逐部分积分关系的包。 （英语） Zbl 1531.81006号

计算。物理学。Commun公司。 295，文章ID 108999，11 p.（2024）.
摘要：在这项工作中，我们提出了一个包NeatIBP公司，它自动生成Feynman积分的小尺寸逐部分积分（IBP）恒等式。基于syzyy和模块交集技术，对生成的IBP恒等式的传播度进行了控制，从而使IBP恒等式系统的规模小于标准Laporta算法生成的系统规模。该软件包由计算机代数系统提供支持数学软件和单一、和库垃圾邮件它在费曼积分扇区的水平上进行了并行化。生成的小型IBP恒等式随后可用于有限域约简或解析约简。我们在几个多循环IBP示例中演示了此包的功能。

MSC公司：

81-04 量子理论相关问题的软件、源代码等
80年第30季度 费曼积分与图；代数拓扑与代数几何的应用
81T18型 费曼图

关键词：

费曼积分;IBP身份;糖浆;模块交会法

软件：

单一;FiniteFlow有限流量;数学软件;FireFly公司;LiteRed公司;AMFlow公司;蓝铜矿;剪切工具;垃圾邮件;雷杜泽;消防5;基拉;NeatIBP公司;黑帽;斯帕克
PDF格式BibTeX公司 XML格式引用
\textit{Z.Wu}等人，计算。物理学。Commun公司。295，文章ID 108999，11 p.（2024；Zbl 1531.81006）
全文： 内政部 arXiv公司

参考文献：

[1] LHC机器，J.Instrum。(2008)
[2] Alves，A.A.，LHC的LHCb探测器。J.仪器。(2008)
[3] Chatrchyan，S.，CERN LHC的CMS实验。J.仪器。(2008)
[4] Aad，G.，欧洲粒子物理研究所大型强子对撞机上的ATLAS实验。J.仪器。(2008)
[5] 帕萨里诺，G。；Veltman，M.J.G.，Weinberg模型中e+e-湮灭到mu+mu-的单圈修正。编号。物理学。B、 151-207（1979）
[6] Tkachov，F.V.，四圈重整化群函数的解析可计算性定理。物理学。莱特。B、 65-68（1981年）
[7] Chetyrkin，K.G。；Tkachov，F.V.，《分部积分：在4个循环中计算β函数的算法》。编号。物理学。B、 159-204（1981）
[8] 奥索拉，G。；帕帕佐普洛斯，C.G。；Pittau，R.，《在被积函数级将完整的单圈振幅减少为标量积分》。编号。物理学。B、 147-169（2007）·Zbl 1116.81067号
[9] 奥索拉，G。；帕帕佐普洛斯，C.G。；Pittau，R.，CutTools:实现OPP缩减方法以计算单回路振幅的程序。《高能物理杂志》。(2008)
[10] Laporta，S.，用差分方程高精度计算多回路Feynman积分。国际期刊修订版。物理学。A、 5087-5159（2000）·Zbl 0973.81082号
[11] 斯米尔诺夫，A.V。；Smirnov，V.A.，S-基作为解决费曼积分约化问题的工具。编号。物理学。B、 程序。补遗，80-84（2006）
[12] 斯米尔诺夫，A.V。；Smirnov，V.A.，应用Grobner基解决费曼积分的约化问题。《高能物理杂志》。(2006)
[13] Bitoun，T。；博格纳，C。；Klausen，R.P。；Panzer，E.，参数化零化器的费曼积分关系。莱特。数学。物理。，3, 497-564 (2019) ·Zbl 1412.81141号
[14] Lee，R.N.，逐部分积分恒等式的群结构及其在多回路积分约简中的应用。《高能物理杂志》。(2008)
[15] Lee，R.N.，多回路计算的现代技术，297-300
[16] Baikov，P.A.，多回路积分递推关系的显式解及其应用。编号。仪器。方法，第。A、 347-349（1997）
[17] Grozin，A.G.，《按部分整合：导论》。国际期刊修订版。物理学。A、 2807-2854（2011）·Zbl 1247.81138号
[18] Barakat，M。；Brüser，R。；Fieker，C。；Huber，T。；Piclum，J.，使用Gröbner基的Feynman积分约化·Zbl 07701983号
[19] Mastrolia，P。；Mizera，S.，Feynman积分和交集理论。《高能物理杂志》。(2019) ·兹比尔1411.81093
[20] Frellesvig，H。；Gasparotto，F。；曼达尔，M.K。；Mastrolia，P。；马蒂亚齐，L。；Mizera，S.，费曼积分向量空间和多元交集数。物理学。修订稿。，20 (2019)
[21] Frellesvig，H。；Gasparotto，F。；拉波尔塔，S。；曼达尔，M.K。；Mastrolia出版社。；马蒂亚齐，L。；Mizera，S.，关于交集数最大割上Feynman积分的分解。《高能物理杂志》。(2019) ·Zbl 1416.81198号
[22] Frellesvig，H。；Gasparotto，F。；拉波尔塔，S。；曼达尔，M.K。；Mastrolia，P。；马蒂亚齐，L。；Mizera，S.，用多元交集数分解费曼积分。《高能物理杂志》。(2021) ·Zbl 1461.81044号
[23] 刘，X。；马永清。；Wang，C.-Y.，计算多回路主积分的系统有效方法。物理学。莱特。B、 353-357（2018）
[24] 刘，X。；Ma，Y.-Q.，用真空积分确定任意Feynman积分。物理学。D版，7（2019年）
[25] 关，X。；刘，X。；Ma，Y.-Q.，二圈五光子散射振幅中积分的完全约化。下巴。物理学。C、 9（2020年）
[26] 张，P。；Wang，C.-Y。；刘，X。；马永清。；孟，C。；Chao，K.-T.，胶子碎裂（成^1 S_0^{[1，8]}）次序夸克尼亚的半解析计算。《高能物理杂志》。(2019)
[27] Wang，Y。；李，Z。；Ul Basat，N.，《多回路多尺度散射振幅的直接还原》。物理学。D版，7（2020年）
[28] 刘，Z.-F。；Ma，Y.-Q.，仅用线性代数的输入确定费曼积分。物理学。修订稿。，22 (2022)
[29] 刘，X。；Ma，Y.-Q.，AMFlow:通过辅助质量流计算费曼积分的Mathematica软件包。计算。物理学。Commun公司。(2023)
[30] 刘，X。；Ma，Y.-Q.，使用辅助质量流对撞机过程的多回路修正。物理学。修订版D，5（2022）
[31] 刘，X。；马永清。；陶伟（Tao，W.）。；Zhang，P.，通过辅助质量流计算费曼回路积分和相空间积分。下巴。物理学。C、 1（2021年）
[32] 冯·曼特乌费尔，A。；Schabinger，R.M.，通过零件缩减实现集成的新方法。物理学。莱特。B、 101-104（2015）·Zbl 1330.81151号
[33] Peraro，T.，有限域上的散射振幅和多元函数重建。《高能物理杂志》。(2016) ·Zbl 1390.81631号
[34] Klappert，J.（克拉珀，J.）。；Lange，F.，《用FireFly重建有理函数》。计算。物理学。Commun公司。（2020年）
[35] 克拉佩特，J。；Klein，S.Y。；Lange，F.，密集有理函数和稀疏有理函数的插值以及FireFly中的其他改进。计算。物理学。Commun公司。(2021)
[36] Peraro，T.，FiniteFlow：使用有限域和数据流图的多元函数重建。《高能物理杂志》。(2019)
[37] Kosower，D.A.，零件集成系统的直接解决方案。物理学。版本D，2（2018年）
[38] 阿纳斯塔西奥，C。；Lazopoulos，A.，高阶摄动计算的自动积分简化。《高能物理杂志》。(2004)
[39] Smirnov，A.V.，算法FIRE-Feynman积分还原。《高能物理杂志》。(2008) ·Zbl 1245.81033号
[40] 斯米尔诺夫，A.V。；Smirnov，V.A.、FIRE4、LiteRed和相关工具，用于解决零件关系集成。计算。物理学。社区。，2820-2827 (2013) ·Zbl 1344.81031号
[41] Smirnov，A.V.，FIRE5：费曼积分还原的C++实现。计算。物理学。社区。，182-191 (2015) ·Zbl 1344.81030号
[42] 斯米尔诺夫，A.V。；Chuharev，F.S.，FIRE6：模运算的Feynman积分还原。计算。物理学。Commun公司。(2020) ·Zbl 1510.81007号
[43] Maierhöfer，P。；Usovitsch，J。；Uwer，P.，Kira-Feynman积分简化程序。计算。物理学。社区。，99-112 (2018) ·Zbl 1498.81004号
[44] Maierhöfer，P。；Usovitsch，J.，Kira 1.2发行说明·Zbl 1498.81004号
[45] Maierhöfer，P。；Usovitsch，J.，基拉的最新发展。欧洲核子研究组织黄色代表，Monogr。，201-204 (2020)
[46] Lee，R.N.，LiteRed 1.4：简化多回路积分的强大工具。《物理学杂志》。Conf.序列号。(2014)
[47] Studerus，C.，C++中的Reduze-Feynman积分约简。计算。物理学。社区。，1293-1300 (2010) ·兹比尔1219.81133
[48] 冯·曼特乌费尔，A。；Studerus，C.，Reduze 2-分布式Feynman积分约化
[49] Gluza，J。；Kajda，K。；Kosower，D.A.，《走向平面二环积分的基础》。物理学。D版（2011年）
[50] Schabinger，R.M.，通过部件关系生成单位兼容积分的新算法。《高能物理杂志》。(2012) ·Zbl 1306.81359号
[51] Cabarcas，D。；丁，J.，计算syzygies和gröbner基的线性代数，67-74·Zbl 1323.68588号
[52] 陈，G。；刘，J。；谢瑞。；张，H。；Zhou，Y.，Syzygies探测散射振幅。《高能物理杂志》。(2016) ·Zbl 1390.81209号
[53] Böhm，J。；Georgoudis，A。；Larsen，K.J。；舒尔茨，M。；Zhang，Y.，Feynman积分按部分积分恒等式的对数向量场完备集。物理学。版本D，2（2018年）
[54] Bosma，J。；Larsen，K.J。；Zhang，Y.，无平方传播子的循环积分微分方程。PoS（2018）
[55] Boehm，J。；Bendle，D。；Decker，W。；Georgoudis，A。；Pfreundt，F.-J。；拉恩，M。；Zhang，Y.，多回路Feynman积分逐部分积分约简的模块交集。PoS，004（2022）
[56] Henn，J。；马·R。；Yan，K。；Zhang，Y.，维调节回路积分主要发散的四维微分方程。《高能物理杂志》。(2023) ·Zbl 07690726号
[57] Baikov，P.A.，n回路真空积分递推关系的显式解
[58] Baikov，P.A.，三环真空积分递推关系的显式解。物理学。莱特。B、 404-410（1996）
[59] Baikov，P.A.，多环Feynman积分不可约性的一个实用判据。物理学。莱特。B、 325-329（2006）·Zbl 1247.81314号
[60] Decker，W。；格雷厄尔，G.-M。；普菲斯特，G。；Schönemann，H.，奇异4-3-0-用于多项式计算的计算机代数系统（2022）
[61] group，T.S.，SpaSM：稀疏直接求解器模块（p（2017））
[62] 斯米尔诺夫，A.V。；Petukhov，A.V.，主积分的数量是有限的。莱特。数学。物理。，37-44 (2011) ·Zbl 1216.81076号
[63] Larsen，K.J。；Zhang，Y.，从幺正切割和代数几何中逐部积分的简化。物理学。D版，4（2016）
[64] Zhang，Y.，关于多回路积分约简和应用代数几何的课堂讲稿（2016）
[65] Lee，R.N。；Pomeransky，A.A.，《临界点和主积分数》。《高能物理杂志》。(2013) ·Zbl 1342.81139号
[66] Pak，A.，《现代多回路计算工具箱：新型分析和半分析技术》。《物理学杂志》。Conf.序列号。(2012)
[67] Z·伯尔尼。；Dixon，L.J。；邓巴特区。；Kosower，D.A.，将规范理论树振幅融合为回路振幅。编号。物理学。B、 59-101（1995）
[68] 伯杰，C.F。；Z·伯尔尼。；Dixon，L.J。；费布雷斯·科德罗，F。；福德，D。；伊塔·H。；Kosower，D.A。；Maitre，D.，单回路振幅的壳上方法的自动实现。物理学。D版（2008年）
[69] 布里托，R。；Cachazo，F。；Feng，B.，《N=4超级阳丘中的广义酉性和单圈振幅》。编号。物理学。B、 275-305（2005）·兹比尔1178.81202
[70] Georgoudis，A。；Larsen，K.J。；Zhang，Y.，Azurite：一个基于代数几何的包，用于查找循环积分的基。计算。物理学。社区。，203-215 (2017) ·兹比尔1498.81007
[71] 甘布林，T。；LeGendre，M。；科莱特，M.R。；Lee，G.L。；穆迪，A。；de Supinski，B.R。；Futral，S.，The spack package manager:整顿hpc软件混乱，1-12
[72] 陈，L.-B。；Dong，L。；Li，H.T。；李，Z。；Wang，J。；Wang，Y.，完成两圈QCD振幅太瓦强子对撞机的生产
[73] Henn，J.M。；Lim，J。；托雷斯·博巴迪拉（Torres Bobadilla，W.J.），首先看希格斯粒子+喷流产生的三圈非平面费曼图的评估。《高能物理杂志》。(2023)
[74] Böhm，J。；Decker，W。；Frühbis-Krüger，A。；Pfreundt，F.-J。；Rahn，M。；Ristau，L.，《面向代数几何中的大规模并行计算》。已找到。计算。数学。，767-806 (2020) ·Zbl 1485.14109号
[75] Böhm，J。；Frühbis-Krüger，A.，代数几何中的大规模并行计算，11-14
[76] （2022年），C.C.H.P.C.Fraunhofer ITWM，GPI-Space
[77] 甘布林，T。；勒根德雷，M。；科莱特，M.R。；Lee，G.L。；穆迪，A。；de Supinski，B.R。；Futral，S.，垃圾包管理器：为hpc软件混乱带来秩序
[78] Z·伯尔尼。；Enciso，M。；伊塔·H。；Zeng，M.，对偶共形对称，逐部分积分约简，微分方程和非平面扇形。物理学。版次D，9（2017）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。