-
Using Semicontinuity for Standard Bases Computations
Authors:
Gert-Martin Greuel,
Gerhard Pfister,
Hans Schönemann
Abstract:
We present new results and an algorithm for standard basis computations of a 0-dimensional ideal I in a power series ring or in the localization of a polynomial ring in finitely many variables over a field K. The algorithm provides a significant speed up if K is the quotient field of a Noetherian integral domain A, when coefficient swell occurs. The most important special cases are perhaps when A…
▽ More
We present new results and an algorithm for standard basis computations of a 0-dimensional ideal I in a power series ring or in the localization of a polynomial ring in finitely many variables over a field K. The algorithm provides a significant speed up if K is the quotient field of a Noetherian integral domain A, when coefficient swell occurs. The most important special cases are perhaps when A is the ring of integers resp. when A is a polynomial ring over some field in finitely many parameters. Given I as an ideal in the polynomial ring over A, we compute first a standard basis modulo a prime number p, resp. by specializing the parameter to a constant. We then use the "highest corner" of the specialized ideal to cut off high order terms from the polynomials during the standard basis computation over K to get the speed up. An important fact is that we can choose p as an arbitrary prime resp. as an arbitrary constant, not just a "lucky" resp. "random" one. Correctness of the algorithm will be deduced from a general semicontinuity theorem due to the first two authors. The computer algebra system Singular provides already the functionality to realize the algorithm and we present several examples illustrating its power.
△ Less
Submitted 22 August, 2021;
originally announced August 2021.
-
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.
-
Constructive $D$-module Theory with \textsc{Singular}
Authors:
Daniel Andres,
Michael Brickenstein,
Viktor Levandovskyy,
Jorge Martín-Morales,
Hans Schönemann
Abstract:
We overview numerous algorithms in computational $D$-module theory together with the theoretical background as well as the implementation in the computer algebra system \textsc{Singular}. We discuss new approaches to the computation of Bernstein operators, of logarithmic annihilator of a polynomial, of annihilators of rational functions as well as complex powers of polynomials. We analyze algorith…
▽ More
We overview numerous algorithms in computational $D$-module theory together with the theoretical background as well as the implementation in the computer algebra system \textsc{Singular}. We discuss new approaches to the computation of Bernstein operators, of logarithmic annihilator of a polynomial, of annihilators of rational functions as well as complex powers of polynomials. We analyze algorithms for local Bernstein-Sato polynomials and also algorithms, recovering any kind of Bernstein-Sato polynomial from partial knowledge of its roots. We address a novel way to compute the Bernstein-Sato polynomial for an affine variety algorithmically. All the carefully selected nontrivial examples, which we present, have been computed with our implementation. We address such applications as the computation of a zeta-function for certain integrals and revealing the algebraic dependence between pairwise commuting elements.
△ Less
Submitted 18 May, 2010;
originally announced May 2010.
