Abstract
We present an efficient method to shorten the analytic integration-by-parts (IBP) reduction coefficients of multi-loop Feynman integrals. For our approach, we develop an improved version of Leinartas’ multivariate partial fraction algorithm, and provide a modern implementation based on the computer algebra system Singular. Furthermore, we observe that for an integral basis with uniform transcendental (UT) weights, the denominators of IBP reduction coefficients with respect to the UT basis are either symbol letters or polynomials purely in the spacetime dimension D. With a UT basis, the partial fraction algorithm is more efficient both with respect to its performance and the size reduction. We show that in complicated examples with existence of a UT basis, the IBP reduction coefficients size can be reduced by a factor of as large as ∼ 100. We observe that our algorithm also works well for settings without a UT basis.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
G. Apollinari et al. eds., High-Luminosity Large Hadron Collider (HL-LHC), Technical Design Report V. 0.1. CERN-2017-007-M (2017).
FCC collaboration, HE-LHC: The High-Energy Large Hadron Collider : Future Circular Collider Conceptual Design Report Volume 4, Eur. Phys. J. ST 228 (2019) 1109 [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 β-functions in 4 Loops, Nucl. Phys. B 192 (1981) 159 [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 and V.A. Smirnov, FIRE4, LiteRed and accompanying tools to solve integration by parts relations, Comput. Phys. Commun. 184 (2013) 2820 [arXiv:1302.5885] [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, arXiv:1901.07808 [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].
P. Maierhöfer and J. Usovitsch, Kira 1.2 Release Notes, arXiv:1812.01491 [INSPIRE].
P. Maierhoefer and J. Usovitsch, Recent developments in Kira, CERN Yellow Rep. Monogr. 3 (2020) 201.
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].
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].
J. Klappert, F. Lange, P. Maierhöfer and J. Usovitsch, Integral Reduction with Kira 2.0 and Finite Field Methods, arXiv:2008.06494 [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.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].
A.V. Smirnov, An Algorithm to construct Grobner bases for solving integration by parts relations, JHEP 04 (2006) 026 [hep-ph/0602078] [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].
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].
H. Ita, Two-loop Integrand Decomposition into Master Integrals and Surface Terms, Phys. Rev. D 94 (2016) 116015 [arXiv:1510.05626] [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, A. Georgoudis, K.J. Larsen, M. Schulze and Y. Zhang, Complete sets of logarithmic vector fields for integration-by-parts identities of Feynman integrals, Phys. Rev. D 98 (2018) 025023 [arXiv:1712.09737] [INSPIRE].
A. von Manteuffel, E. Panzer and R.M. Schabinger, Cusp and collinear anomalous dimensions in four-loop QCD from form factors, Phys. Rev. Lett. 124 (2020) 162001 [arXiv:2002.04617] [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].
J. Klappert and F. Lange, Reconstructing rational functions with FireFly, Comput. Phys. Commun. 247 (2020) 106951 [arXiv:1904.00009] [INSPIRE].
J. Klappert, S.Y. Klein and F. Lange, Interpolation of Dense and Sparse Rational Functions and other Improvements in FireFly, arXiv:2004.01463 [INSPIRE].
T. Peraro, FiniteFlow: multivariate functional reconstruction using finite fields and dataflow graphs, JHEP 07 (2019) 031 [arXiv:1905.08019] [INSPIRE].
J. Böhm, A. Georgoudis, K.J. Larsen, H. Schönemann and Y. Zhang, 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, F. Gasparotto, M.K. Mandal, P. Mastrolia, L. Mattiazzi and S. Mizera, 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].
H. Frellesvig et al., Decomposition of Feynman Integrals by Multivariate Intersection Numbers, arXiv:2008.04823 [INSPIRE].
X. Liu, Y.-Q. Ma and C.-Y. Wang, A Systematic and Efficient Method to Compute Multi-loop Master Integrals, Phys. Lett. B 779 (2018) 353 [arXiv:1711.09572] [INSPIRE].
X. Liu and Y.-Q. Ma, Determining arbitrary Feynman integrals by vacuum integrals, Phys. Rev. D 99 (2019) 071501 [arXiv:1801.10523] [INSPIRE].
X. Guan, X. Liu and Y.-Q. Ma, Complete reduction of integrals in two-loop five-light-parton scattering amplitudes, Chin. Phys. C 44 (2020) 093106 [arXiv:1912.09294] [INSPIRE].
P. Zhang, C.-Y. Wang, X. Liu, Y.-Q. Ma, C. Meng and K.-T. Chao, Semi-analytical calculation of gluon fragmentation into 1 \( {S}_0^{\left[1,8\right]} \) quarkonia at next-to-leading order, JHEP 04 (2019) 116 [arXiv:1810.07656] [INSPIRE].
Y. Wang, Z. Li and N. Ul Basat, Direct reduction of multiloop multiscale scattering amplitudes, Phys. Rev. D 101 (2020) 076023 [arXiv:1901.09390] [INSPIRE].
D.A. Kosower, Direct Solution of Integration-by-Parts Systems, Phys. Rev. D 98 (2018) 025008 [arXiv:1804.00131] [INSPIRE].
A.V. Smirnov and V.A. Smirnov, How to choose master integrals, Nucl. Phys. B 960 (2020) 115213 [arXiv:2002.08042] [INSPIRE].
J. Usovitsch, Factorization of denominators in integration-by-parts reductions, arXiv:2002.08173 [INSPIRE].
J.M. Henn, Multiloop integrals in dimensional regularization made simple, Phys. Rev. Lett. 110 (2013) 251601 [arXiv:1304.1806] [INSPIRE].
J.M. Henn, Lectures on differential equations for Feynman integrals, J. Phys. A 48 (2015) 153001 [arXiv:1412.2296] [INSPIRE].
E.K. Leinartas, Factorization of rational functions of several variables into partial fractions, Izv. Vyssh. Uchebn. Zaved. Mat. 10 (1978) 47 [Soviet Math. (Iz. VUZ) 22 (1978) 35].
A. Raichev, Leinartas’s partial fraction decomposition, arXiv:1206.4740.
C. Meyer, Algorithmic transformation of multi-loop master integrals to a canonical basis with CANONICA, Comput. Phys. Commun. 222 (2018) 295 [arXiv:1705.06252] [INSPIRE].
S. Abreu, J. Dormans, F. Febres Cordero, H. Ita, B. Page and V. Sotnikov, Analytic Form of the Planar Two-Loop Five-Parton Scattering Amplitudes in QCD, JHEP 05 (2019) 084 [arXiv:1904.00945] [INSPIRE].
W. Decker, G.-M. Greuel, G. Pfister and H. Schönemann, Singular 4-1-3 — A computer algebra system for polynomial computations, http://www.singular.uni-kl.de (2020).
A.V. Smirnov and A.V. Petukhov, The Number of Master Integrals is Finite, Lett. Math. Phys. 97 (2011) 37 [arXiv:1004.4199] [INSPIRE].
O. Gituliar and V. Magerya, Fuchsia and master integrals for splitting functions from differential equations in QCD, PoS(LL2016)030 [arXiv:1607.00759] [INSPIRE].
M. Prausa, epsilon: A tool to find a canonical basis of master integrals, Comput. Phys. Commun. 219 (2017) 361 [arXiv:1701.00725] [INSPIRE].
R.N. Lee, Reducing differential equations for multiloop master integrals, JHEP 04 (2015) 108 [arXiv:1411.0911] [INSPIRE].
P. Wasser, Analytic properties of Feynman integrals for scattering amplitudes, Ph.D. Thesis, Johannes Gutenberg University of Mainz, Mainz Germany (2018).
D. Chicherin, T. Gehrmann, J.M. Henn, P. Wasser, Y. Zhang and S. Zoia, All Master Integrals for Three-Jet Production at Next-to-Next-to-Leading Order, Phys. Rev. Lett. 123 (2019) 041603 [arXiv:1812.11160] [INSPIRE].
J. Chen, X. Xu and L.L. Yang, Constructing Canonical Feynman Integrals with Intersection Theory, arXiv:2008.03045 [INSPIRE].
C. Dlapa, J. Henn and K. Yan, Deriving canonical differential equations for Feynman integrals from a single uniform weight integral, JHEP 05 (2020) 025 [arXiv:2002.02340] [INSPIRE].
A.B. Goncharov, Multiple polylogarithms, cyclotomy and modular complexes, Math. Res. Lett. 5 (1998) 497 [arXiv:1105.2076] [INSPIRE].
A.B. Goncharov, M. Spradlin, C. Vergu and A. Volovich, Classical Polylogarithms for Amplitudes and Wilson Loops, Phys. Rev. Lett. 105 (2010) 151605 [arXiv:1006.5703] [INSPIRE].
A.B. Goncharov, A simple construction of grassmannian polylogarithms, arXiv:0908.2238.
C. Duhr, H. Gangl and J.R. Rhodes, From polygons and symbols to polylogarithmic functions, JHEP 10 (2012) 075 [arXiv:1110.0458] [INSPIRE].
C. Duhr, Mathematical aspects of scattering amplitudes, in Theoretical Advanced Study Institute in Elementary Particle Physics: Journeys Through the Precision Frontier: Amplitudes for Colliders (TASI 2014), Boulder U.S.A. (2014), pg. 419 [arXiv:1411.7538] [INSPIRE].
D. Cox, J. Little and D. O’Shea, Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra, Springer-Verlag, New York U.S.A. (1992).
R. Ehrenborg and G.-C. Rota, Apolarity and canonical forms for homogeneous polynomials, Eur. J. Combin. 14 (1993) 157.
G.-M. Greuel and G. Pfister, A singular introduction to commutative algebra, second extended edition, Springer, Berlin Germany (2008).
J. Böhm, W. Decker, C. Fieker and G. Pfister, The use of bad primes in rational reconstruction, Math. Comp. 84 (2015) 3013 [arXiv:1207.1651].
J. Böhm, W. Decker, C. Fieker, S. Laplagne and G. Pfister, Bad primes in computational algebraic geometry, in Lecture Notes in Computer Science. Vol. 9725: Mathematical software — ICMS 2016, Springer, Berlin Germany (2016), pg. 93.
T. Gehrmann and E. Remiddi, Two loop master integrals for γ∗ → 3 jets: The Nonplanar topologies, Nucl. Phys. B 601 (2001) 287 [hep-ph/0101124] [INSPIRE].
J. Henn, B. Mistlberger, V.A. Smirnov and P. Wasser, Constructing d-log integrands and computing master integrals for three-loop four-particle scattering, JHEP 04 (2020) 167 [arXiv:2002.09492] [INSPIRE].
S. Abreu, L.J. Dixon, E. Herrmann, B. Page and M. Zeng, The two-loop five-point amplitude in \( \mathcal{N} \) = 4 super-Yang-Mills theory, Phys. Rev. Lett. 122 (2019) 121603 [arXiv:1812.08941] [INSPIRE].
D. Chicherin, J. Henn and V. Mitev, Bootstrapping pentagon functions, JHEP 05 (2018) 164 [arXiv:1712.09610] [INSPIRE].
J. Boehm, W. Decker, A. Frühbis-Krüger, F.-J. Pfreundt, M. Rahn and L. Ristau, Towards massively parallel computations in algebraic geometry, Found. Comput. Math. (2020) [arXiv:1808.09727].
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: 2008.13194
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
Boehm, J., Wittmann, M., Wu, Z. et al. IBP reduction coefficients made simple. J. High Energ. Phys. 2020, 54 (2020). https://doi.org/10.1007/JHEP12(2020)054
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP12(2020)054