A survey on signature-based Gr\"obner basis computations

This paper is a survey on the area of signature-based Gr\"obner basis algorithms that was initiated by Faug\`ere's F5 algorithm in 2002. We explain the general ideas behind the usage of signatures. We show how to classify the various known variants by 3 different orderings. For this we give translations between different notations and show that besides notations many approaches are just the same. Moreover, we give a general description of how the idea of signatures is quite natural when performing the reduction process using linear algebra. This survey shall help to outline this field of active research.Comment: 53 pages, 8 figures, 11 table

Towards a four-loop form factor

The four-loop, two-point form factor contains the first non-planar correction to the lightlike cusp anomalous dimension. This anomalous dimension is a universal function which appears in many applications. Its planar part in N = 4 SYM is known, in principle, exactly from AdS/CFT and integrability while its non-planar part has been conjectured to vanish. The integrand of the form factor of the stress-tensor multiplet in N = 4 SYM including the non-planar part was obtained in previous work. We parametrise the difficulty of integrating this integrand. We have obtained a basis of master integrals for all integrals in the four-loop, two-point class in two ways. First, we computed an IBP reduction of the integrand of the N = 4 form factor using massive computer algebra (Reduze). Second, we computed a list of master integrals based on methods of the Mint package, suitably extended using Macaulay2 / Singular. The master integrals obtained in both ways are consistent with some minor exceptions. The second method indicates that the master integrals apply beyond N = 4 SYM, in particular to QCD. The numerical integration of several of the master integrals will be reported and remaining obstacles will be outlinedComment: 9 Pages, Radcor/Loopfest 2015 Proceeding

Numerical Algebraic Geometry: A New Perspective on String and Gauge Theories

The interplay rich between algebraic geometry and string and gauge theories has recently been immensely aided by advances in computational algebra. However, these symbolic (Gr\"{o}bner) methods are severely limited by algorithmic issues such as exponential space complexity and being highly sequential. In this paper, we introduce a novel paradigm of numerical algebraic geometry which in a plethora of situations overcomes these short-comings. Its so-called 'embarrassing parallelizability' allows us to solve many problems and extract physical information which elude the symbolic methods. We describe the method and then use it to solve various problems arising from physics which could not be otherwise solved.Comment: 36 page

Two-loop Integral Reduction from Elliptic and Hyperelliptic Curves

We show that for a class of two-loop diagrams, the on-shell part of the integration-by-parts (IBP) relations correspond to exact meromorphic one-forms on algebraic curves. Since it is easy to find such exact meromorphic one-forms from algebraic geometry, this idea provides a new highly efficient algorithm for integral reduction. We demonstrate the power of this method via several complicated two-loop diagrams with internal massive legs. No explicit elliptic or hyperelliptic integral computation is needed for our method.Comment: minor changes: more references adde

Time Delay Interferometry for LISA with one arm dysfunctional

In order to attain the requisite sensitivity for LISA - a joint space mission of the ESA and NASA- the laser frequency noise must be suppressed below the secondary noises such as the optical path noise, acceleration noise etc. By combining six appropriately time-delayed data streams containing fractional Doppler shifts - a technique called time delay interferometry (TDI) - the laser frequency noise may be adequately suppressed. We consider the general model of LISA where the armlengths vary with time, so that second generation TDI are relevant. However, we must envisage the possibility, that not all the optical links of LISA will be operating at all times, and therefore, we here consider the case of LISA operating with two arms only. As shown earlier in the literature, obtaining even approximate solutions of TDI to the general problem is very difficult. Since here only four optical links are relevant, the algebraic problem simplifies considerably. We are then able to exhibit a large number of solutions (from mathematical point of view an infinite number) and further present an algorithm to generate these solutions