-
Performing integration-by-parts reductions using NeatIBP 1.1 + Kira
Authors:
Zihao Wu,
Janko Böhm,
Rourou Ma,
Johann Usovitsch,
Yingxuan Xu,
Yang Zhang
Abstract:
We introduce a new version v1.1 of NeatIBP. In this new version, a Kira interface is included. It allows the user to reduce the integration-by-parts (IBP) identity systems generated by NeatIBP using Kira in a highly automated way. This new version also implements the so-called spanning cuts method. It helps to reduce the total computational complexity of IBP reduction for certain hard problems. An…
▽ More
We introduce a new version v1.1 of NeatIBP. In this new version, a Kira interface is included. It allows the user to reduce the integration-by-parts (IBP) identity systems generated by NeatIBP using Kira in a highly automated way. This new version also implements the so-called spanning cuts method. It helps to reduce the total computational complexity of IBP reduction for certain hard problems. Another important feature of this new version is an algorithm to simplify the solution module of the syzygy equations hinted by the idea of maximal cuts.
△ Less
Submitted 28 February, 2025;
originally announced February 2025.
-
NeatIBP 1.0, A package generating small-size integration-by-parts relations for Feynman integrals
Authors:
Zihao Wu,
Janko Boehm,
Rourou Ma,
Hefeng Xu,
Yang Zhang
Abstract:
In this work, we present the package {\sc NeatIBP}, which automatically generates small-size integration-by-parts (IBP) identities for Feynman integrals. Based on the syzygy and module intersection techniques, the generated IBP identities' propagator degree is controlled and thus the size of the system of IBP identities is shorter than that generated by the standard Laporta algorithm. This package…
▽ More
In this work, we present the package {\sc NeatIBP}, which automatically generates small-size integration-by-parts (IBP) identities for Feynman integrals. Based on the syzygy and module intersection techniques, the generated IBP identities' propagator degree is controlled and thus the size of the system of IBP identities is shorter than that generated by the standard Laporta algorithm. This package is powered by the computer algebra systems {\sc Mathematica} and {\sc Singular}, and the library {\sc SpaSM}. It is parallelized on the level of Feynman integral sectors. The generated small-size IBP identities can subsequently be used for either finite field reduction or analytic reduction. We demonstrate the capabilities of this package on several multi-loop IBP examples.
△ Less
Submitted 24 October, 2024; v1 submitted 15 May, 2023;
originally announced May 2023.
-
Geometric Algebra and Algebraic Geometry of Loop and Potts Models
Authors:
Janko Böhm,
Jesper Lykke Jacobsen,
Yunfeng Jiang,
Yang Zhang
Abstract:
We uncover a connection between two seemingly separate subjects in integrable models: the representation theory of the affine Temperley-Lieb algebra, and the algebraic structure of solutions to the Bethe equations of the XXZ spin chain. We study the solution of Bethe equations analytically by computational algebraic geometry, and find that the solution space encodes rich information about the repr…
▽ More
We uncover a connection between two seemingly separate subjects in integrable models: the representation theory of the affine Temperley-Lieb algebra, and the algebraic structure of solutions to the Bethe equations of the XXZ spin chain. We study the solution of Bethe equations analytically by computational algebraic geometry, and find that the solution space encodes rich information about the representation theory of Temperley-Lieb algebra. Using these connections, we compute the partition function of the completely-packed loop model and of the closely related random-cluster Potts model, on medium-size lattices with toroidal boundary conditions, by two quite different methods. We consider the partial thermodynamic limit of infinitely long tori and analyze the corresponding condensation curves of the zeros of the partition functions. Two components of these curves are obtained analytically in the full thermodynamic limit.
△ Less
Submitted 7 February, 2022;
originally announced February 2022.
-
pfd-parallel, a Singular/GPI-Space package for massively parallel multivariate partial fractioning
Authors:
Dominik Bendle,
Janko Boehm,
Murray Heymann,
Rourou Ma,
Mirko Rahn,
Lukas Ristau,
Marcel Wittmann,
Zihao Wu,
Yang Zhang
Abstract:
Multivariate partial fractioning is a powerful tool for simplifying rational function coefficients in scattering amplitude computations. Since current research problems lead to large sets of complicated rational functions, performance of the partial fractioning as well as size of the obtained expressions are a prime concern. We develop a large scale parallel framework for multivariate partial frac…
▽ More
Multivariate partial fractioning is a powerful tool for simplifying rational function coefficients in scattering amplitude computations. Since current research problems lead to large sets of complicated rational functions, performance of the partial fractioning as well as size of the obtained expressions are a prime concern. We develop a large scale parallel framework for multivariate partial fractioning, which implements and combines an improved version of Leinartas' algorithm and the {\sc MultivariateApart} algorithm. Our approach relies only on open source software. It combines parallelism over the different rational function coefficients with parallelism for individual expressions. The implementation is based on the \textsc{Singular}/\textsc{GPI-Space framework} for massively parallel computer algebra, which formulates parallel algorithms in terms of Petri nets. The modular nature of this approach allows for easy incorporation of future algorithmic developments into our package. We demonstrate the performance of our framework by simplifying expressions arising from current multiloop scattering amplitude problems.
△ Less
Submitted 16 December, 2022; v1 submitted 14 April, 2021;
originally announced April 2021.
-
Module Intersection for the Integration-by-Parts Reduction of Multi-Loop Feynman Integrals
Authors:
Dominik Bendle,
Janko Boehm,
Wolfram Decker,
Alessandro Georgoudis,
Franz-Josef Pfreundt,
Mirko Rahn,
Yang Zhang
Abstract:
In this manuscript, which is to appear in the proceedings of the conference "MathemAmplitude 2019" in Padova, Italy, we provide an overview of the module intersection method for the the integration-by-parts (IBP) reduction of multi-loop Feynman integrals. The module intersection method, based on computational algebraic geometry, is a highly efficient way of getting IBP relations without double pro…
▽ More
In this manuscript, which is to appear in the proceedings of the conference "MathemAmplitude 2019" in Padova, Italy, we provide an overview of the module intersection method for the the integration-by-parts (IBP) reduction of multi-loop Feynman integrals. The module intersection method, based on computational algebraic geometry, is a highly efficient way of getting IBP relations without double propagator or with a bound on the highest propagator degree. In this manner, trimmed IBP systems which are much shorter than the traditional ones can be obtained. We apply the modern, Petri net based, workflow management system GPI-Space in combination with the computer algebra system Singular to solve the trimmed IBP system via interpolation and efficient parallelization. We show, in particular, how to use the new plugin feature of GPI-Space to manage a global state of the computation and to efficiently handle mutable data. Moreover, a Mathematica interface to generate IBPs with restricted propagator degree, which is based on module intersection, is presented in this review.
△ Less
Submitted 14 October, 2020;
originally announced October 2020.
-
IBP reduction coefficients made simple
Authors:
Janko Boehm,
Marcel Wittmann,
Zihao Wu,
Yingxuan Xu,
Yang Zhang
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 transcenden…
▽ More
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 $\sim 100$. We observe that our algorithm also works well for settings without a UT basis.
△ Less
Submitted 15 September, 2020; v1 submitted 30 August, 2020;
originally announced August 2020.
-
Integration-by-parts reductions of Feynman integrals using Singular and GPI-Space
Authors:
Dominik Bendle,
Janko Boehm,
Wolfram Decker,
Alessandro Georgoudis,
Franz-Josef Pfreundt,
Mirko Rahn,
Pascal Wasser,
Yang Zhang
Abstract:
We introduce an algebro-geometrically motived integration-by-parts (IBP) reduction method for multi-loop and multi-scale Feynman integrals, using a framework for massively parallel computations in computer algebra. This framework combines the computer algebra system Singular with the workflow management system GPI-Space, which is being developed at the Fraunhofer Institute for Industrial Mathemati…
▽ More
We introduce an algebro-geometrically motived integration-by-parts (IBP) reduction method for multi-loop and multi-scale Feynman integrals, using a framework for massively parallel computations in computer algebra. This framework combines the computer algebra system Singular with the workflow management system GPI-Space, which is being developed at the Fraunhofer Institute for Industrial Mathematics (ITWM). In our approach, the IBP relations are first trimmed by modern algebraic geometry tools and then solved by sparse linear algebra and our new interpolation methods. These steps are efficiently automatized and automatically parallelized by modeling the algorithm in GPI-Space using the language of Petri-nets. We demonstrate the potential of our method at the nontrivial example of reducing two-loop five-point nonplanar double-pentagon integrals. We also use GPI-Space to convert the basis of IBP reductions, and discuss the possible simplification of IBP coefficients in a uniformly transcendental basis.
△ Less
Submitted 25 October, 2019; v1 submitted 12 August, 2019;
originally announced August 2019.
-
Complete integration-by-parts reductions of the non-planar hexagon-box via module intersections
Authors:
Janko Boehm,
Alessandro Georgoudis,
Kasper J. Larsen,
Hans Schoenemann,
Yang Zhang
Abstract:
We present the powerful module-intersection integration-by-parts (IBP) method, suitable for multi-loop and multi-scale Feynman integral reduction. Utilizing modern computational algebraic geometry techniques, this new method successfully trims traditional IBP systems dramatically to much simpler integral-relation systems on unitarity cuts. We demonstrate the power of this method by explicitly carr…
▽ More
We present the powerful module-intersection integration-by-parts (IBP) method, suitable for multi-loop and multi-scale Feynman integral reduction. Utilizing modern computational algebraic geometry techniques, this new method successfully trims traditional IBP systems dramatically to much simpler integral-relation systems on unitarity cuts. We demonstrate the power of this method by explicitly carrying out the complete analytic reduction of two-loop five-point non-planar hexagon-box integrals, with degree-four numerators, to a basis of $73$ master integrals.
△ Less
Submitted 24 June, 2018; v1 submitted 4 May, 2018;
originally announced May 2018.
-
Complete sets of logarithmic vector fields for integration-by-parts identities of Feynman integrals
Authors:
Janko Boehm,
Alessandro Georgoudis,
Kasper J. Larsen,
Mathias Schulze,
Yang Zhang
Abstract:
Integration-by-parts identities between loop integrals arise from the vanishing integration of total derivatives in dimensional regularization. Generic choices of total derivatives in the Baikov or parametric representations lead to identities which involve dimension shifts. These dimension shifts can be avoided by imposing a certain constraint on the total derivatives. The solutions of this const…
▽ More
Integration-by-parts identities between loop integrals arise from the vanishing integration of total derivatives in dimensional regularization. Generic choices of total derivatives in the Baikov or parametric representations lead to identities which involve dimension shifts. These dimension shifts can be avoided by imposing a certain constraint on the total derivatives. The solutions of this constraint turn out to be a specific type of syzygies which correspond to logarithmic vector fields along the Gram determinant formed of the independent external and loop momenta. We present an explicit generating set of solutions in Baikov representation, valid for any number of loops and external momenta, obtained from the Laplace expansion of the Gram determinant. We provide a rigorous mathematical proof that this set of solutions is complete. This proof relates the logarithmic vector fields in question to ideals of submaximal minors of the Gram matrix and makes use of classical resolutions of such ideals.
△ Less
Submitted 1 August, 2018; v1 submitted 26 December, 2017;
originally announced December 2017.
