Abstract
We investigate the reduction of Feynman integrals to master integrals using Gröbner bases in a rational double-shift algebra Y in which the integration-by-parts (IBP) relations form a left ideal. The problem of reducing a given family of integrals to master integrals can then be solved once and for all by computing the Gröbner basis of the left ideal formed by the IBP relations. We demonstrate this explicitly for several examples. We introduce so-called first-order normal-form IBP relations which we obtain by reducing the shift operators in Y modulo the Gröbner basis of the left ideal of IBP relations. For more complicated cases, where the Gröbner basis is computationally expensive, we develop an ansatz based on linear algebra over a function field to obtain the normal-form IBP relations.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
A. Huss, J. Huston, S. Jones and M. Pellen, Les Houches 2021 — physics at TeV colliders: report on the standard model precision wishlist, J. Phys. G 50 (2023) 043001 [arXiv:2207.02122] [INSPIRE].
S. Weinzierl, Feynman integrals, arXiv:2201.03593 [https://doi.org/10.1007/978-3-030-99558-4] [INSPIRE].
F.V. Tkachov, A theorem on analytical calculability of four loop renormalization group functions, Phys. Lett. B 100 (1981) 65 [INSPIRE].
K.G. Chetyrkin and F.V. Tkachov, Integration by parts: the algorithm to calculate beta functions in 4 loops, Nucl. Phys. B 192 (1981) 159 [INSPIRE].
S. Laporta, High precision calculation of multiloop Feynman integrals by difference equations, Int. J. Mod. Phys. A 15 (2000) 5087 [hep-ph/0102033] [INSPIRE].
A. von Manteuffel and R.M. Schabinger, A novel approach to integration by parts reduction, Phys. Lett. B 744 (2015) 101 [arXiv:1406.4513] [INSPIRE].
T. Peraro, Scattering amplitudes over finite fields and multivariate functional reconstruction, JHEP 12 (2016) 030 [arXiv:1608.01902] [INSPIRE].
C. Anastasiou and A. Lazopoulos, Automatic integral reduction for higher order perturbative calculations, JHEP 07 (2004) 046 [hep-ph/0404258] [INSPIRE].
A.V. Smirnov, Algorithm FIRE — Feynman Integral REduction, JHEP 10 (2008) 107 [arXiv:0807.3243] [INSPIRE].
A.V. Smirnov, FIRE5: a C++ implementation of Feynman Integral REduction, Comput. Phys. Commun. 189 (2015) 182 [arXiv:1408.2372] [INSPIRE].
A.V. Smirnov and F.S. Chuharev, FIRE6: Feynman Integral REduction with modular arithmetic, Comput. Phys. Commun. 247 (2020) 106877 [arXiv:1901.07808] [INSPIRE].
C. Studerus, Reduze-Feynman integral reduction in C++, Comput. Phys. Commun. 181 (2010) 1293 [arXiv:0912.2546] [INSPIRE].
A. von Manteuffel and C. Studerus, Reduze 2 — distributed Feynman integral reduction, arXiv:1201.4330 [INSPIRE].
P. Maierhöfer, J. Usovitsch and P. Uwer, Kira — a Feynman integral reduction program, Comput. Phys. Commun. 230 (2018) 99 [arXiv:1705.05610] [INSPIRE].
J. Klappert, F. Lange, P. Maierhöfer and J. Usovitsch, Integral reduction with Kira 2.0 and finite field methods, Comput. Phys. Commun. 266 (2021) 108024 [arXiv:2008.06494] [INSPIRE].
T. Peraro, FiniteFlow: multivariate functional reconstruction using finite fields and dataflow graphs, JHEP 07 (2019) 031 [arXiv:1905.08019] [INSPIRE].
Z. Bern, L.J. Dixon and D.A. Kosower, Dimensionally regulated pentagon integrals, Nucl. Phys. B 412 (1994) 751 [hep-ph/9306240] [INSPIRE].
J. Gluza, K. Kajda and D.A. Kosower, Towards a basis for planar two-loop integrals, Phys. Rev. D 83 (2011) 045012 [arXiv:1009.0472] [INSPIRE].
R.M. Schabinger, A new algorithm for the generation of unitarity-compatible integration by parts relations, JHEP 01 (2012) 077 [arXiv:1111.4220] [INSPIRE].
R.N. Lee, Modern techniques of multiloop calculations, in the proceedings of the 49th Rencontres de Moriond on QCD and high energy interactions, (2014), p. 297 [arXiv:1405.5616] [INSPIRE].
J. Böhm et al., Complete sets of logarithmic vector fields for integration-by-parts identities of Feynman integrals, Phys. Rev. D 98 (2018) 025023 [arXiv:1712.09737] [INSPIRE].
D.A. Kosower, Direct solution of integration-by-parts systems, Phys. Rev. D 98 (2018) 025008 [arXiv:1804.00131] [INSPIRE].
K.J. Larsen and Y. Zhang, Integration-by-parts reductions from unitarity cuts and algebraic geometry, Phys. Rev. D 93 (2016) 041701 [arXiv:1511.01071] [INSPIRE].
J. Böhm et al., Complete integration-by-parts reductions of the non-planar hexagon-box via module intersections, JHEP 09 (2018) 024 [arXiv:1805.01873] [INSPIRE].
D. Bendle et al., Integration-by-parts reductions of Feynman integrals using singular and GPI-space, JHEP 02 (2020) 079 [arXiv:1908.04301] [INSPIRE].
P. Mastrolia and S. Mizera, Feynman integrals and intersection theory, JHEP 02 (2019) 139 [arXiv:1810.03818] [INSPIRE].
H. Frellesvig et al., Vector space of Feynman integrals and multivariate intersection numbers, Phys. Rev. Lett. 123 (2019) 201602 [arXiv:1907.02000] [INSPIRE].
H. Frellesvig et al., Decomposition of Feynman integrals on the maximal cut by intersection numbers, JHEP 05 (2019) 153 [arXiv:1901.11510] [INSPIRE].
S. Abreu et al., From positive geometries to a coaction on hypergeometric functions, JHEP 02 (2020) 122 [arXiv:1910.08358] [INSPIRE].
H. Frellesvig et al., Decomposition of Feynman integrals by multivariate intersection numbers, JHEP 03 (2021) 027 [arXiv:2008.04823] [INSPIRE].
S. Weinzierl, On the computation of intersection numbers for twisted cocycles, J. Math. Phys. 62 (2021) 072301 [arXiv:2002.01930] [INSPIRE].
S. Caron-Huot and A. Pokraka, Duals of Feynman integrals. Part II. Generalized unitarity, JHEP 04 (2022) 078 [arXiv:2112.00055] [INSPIRE].
J. Chen et al., Baikov representations, intersection theory, and canonical Feynman integrals, JHEP 07 (2022) 066 [arXiv:2202.08127] [INSPIRE].
V. Chestnov et al., Macaulay matrix for Feynman integrals: linear relations and intersection numbers, JHEP 09 (2022) 187 [arXiv:2204.12983] [INSPIRE].
R.N. Lee, Presenting LiteRed: a tool for the Loop InTEgrals REDuction, arXiv:1212.2685 [INSPIRE].
O.V. Tarasov, Computation of Grobner bases for two loop propagator type integrals, Nucl. Instrum. Meth. A 534 (2004) 293 [hep-ph/0403253] [INSPIRE].
V.P. Gerdt and D. Robertz, A Maple package for computing Grobner bases for linear recurrence relations, Nucl. Instrum. Meth. A 559 (2006) 215 [cs/0509070] [INSPIRE].
A.V. Smirnov and V.A. Smirnov, Applying Grobner bases to solve reduction problems for Feynman integrals, JHEP 01 (2006) 001 [hep-lat/0509187] [INSPIRE].
A.V. Smirnov, An algorithm to construct Grobner bases for solving integration by parts relations, JHEP 04 (2006) 026 [hep-ph/0602078] [INSPIRE].
A.V. Smirnov and V.A. Smirnov, S-bases as a tool to solve reduction problems for Feynman integrals, Nucl. Phys. B Proc. Suppl. 160 (2006) 80 [hep-ph/0606247] [INSPIRE].
R.N. Lee, Group structure of the integration-by-part identities and its application to the reduction of multiloop integrals, JHEP 07 (2008) 031 [arXiv:0804.3008] [INSPIRE].
B. Buchberger, An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal, J. Symb. Comput. 41 (2006) 475.
V. Levandovskyy and H. Schönemann, PLURAL — a computer algebra system for noncommutative polynomial algebras, in Proceedings of the 2003 international symposium on symbolic and algebraic computation, ACM (2003), p. 176 [https://doi.org/10.1145/860854.860895].
F. Chyzak, Gröbner bases, symbolic summation and symbolic integration, in Gröbner bases and applications (Linz, 1998), volume 251 of London mathematical society lecture note series, Cambridge University Press, Cambridge, U.K. (1998), p. 32.
M. Barakat, R. Brüser, T. Huber and J. Piclum, LoopIntegrals, compute master integrals using commutative and noncommutative methods from computational algebraic geometry, https://homalg-project.github.io/pkg/LoopIntegrals. April 2022.
The GAP group, GAP — Groups, Algorithms, and Programming, version 4.11.1, (2021).
homalg project authors, The homalg project — algorithmic homological algebra, https://homalg-project.github.io/prj/homalg_project (2003)–(2022).
W. Decker, G.-M. Greuel, G. Pfister and H. Schönemann, Singular 4-3-1 — a computer algebra system for polynomial computations, http://www.singular.uni-kl.de (2019).
C. Koutschan, Advanced applications of the holonomic systems approach, Ph.D. thesis, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria (2009).
C. Koutschan, HolonomicFunctions (user’s guide), Tech. Rep. 10-01, RISC Report Series, Johannes Kepler University, Linz, Austria (2010).
J.S. Hoff, Methods for multiloop calculations and Higgs boson production at the LHC, Ph.D. thesis, KIT, Karlsruhe, Germany (2015) [INSPIRE].
A. Pak and A. Smirnov, Geometric approach to asymptotic expansion of Feynman integrals, Eur. Phys. J. C 71 (2011) 1626 [arXiv:1011.4863] [INSPIRE].
R.N. Lee, LiteRed 1.4: a powerful tool for reduction of multiloop integrals, J. Phys. Conf. Ser. 523 (2014) 012059 [arXiv:1310.1145] [INSPIRE].
V.P. Gerdt, Grobner bases in perturbative calculations, Nucl. Phys. B Proc. Suppl. 135 (2004) 232 [hep-ph/0501053] [INSPIRE].
M. Barakat, R. Brüser, T. Huber and J. Piclum, The IBP relations of the one-loop box, https://homalg-project.github.io/nb/1LoopBox/ (2022).
B. Ruijl, T. Ueda and J. Vermaseren, FORM version 4.2, arXiv:1707.06453 [https://doi.org/10.48550/arXiv.1707.06453].
Acknowledgments
This research was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under grant 396021762 — TRR 257 “Particle Physics Phenomenology after the Higgs Discovery.”
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
ArXiv ePrint: 2210.05347
Address after 30 September 2022: Albert-Ludwigs-Universität Freiburg, Physikalisches Institut, Hermann-Herder-Str. 3, 79104 Freiburg, Germany. (Robin Brüser)
Rights and permissions
Open Access . This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Barakat, M., Brüser, R., Fieker, C. et al. Feynman integral reduction using Gröbner bases. J. High Energ. Phys. 2023, 168 (2023). https://doi.org/10.1007/JHEP05(2023)168
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP05(2023)168