Mathematical Structures in Feynman Integrals

Feb 13, 2023, 1:00 PM → Feb 16, 2023, 1:30 PM Europe/Berlin

Emmy Noether Campus

Jan Piclum (University of Siegen), Mohamed Barakat (University of Siegen), Robin Brüser (University of Freiburg), Tobias Huber (Siegen U)

The workshop aims at bringing together experts from Mathematics and Physics to discuss the latest developments and future directions in unraveling the Mathematical Structures in Feynman Integrals. Topics will include among others Structures of Feynman integrals, Integral reduction, Applications from algebraic geometry, Finite fields and rational reconstruction, Differential equations, etc.

The program will feature dedicated talks, but will also leave ample time for discussions among workshop participants.

February 11, 2023 marks the 100th anniversary of the death of the mathematician Wilhelm Killing, born in Burbach, only 20km from Siegen. Killing formulated a research program that is still relevant today and has significantly influenced mathematical research for a century. The 100th anniversary of Killing's death is an appropriate opportunity to honour his merits with an inaugural talk.

Confirmed speakers include:

• Johannes Blümlein (DESY Zeuthen)
• Janko Böhm (Univ. Kaiserslautern)
• David Broadhurst (Open Univ., UK)
• Claude Duhr (Univ. Bonn)
• Clément Dupont (Univ. Montpellier)
• Claus Fieker (Univ. Kaiserslautern)
• Wolfgang Hein (Univ. Siegen)
• Daniel Juteau (IMJ-PRG, Paris)
• Fabian Lange (KIT Karlsruhe)
• Pierpaolo Mastrolia (Padova)
• Carsten Schneider (RISC, JKU Linz)
• Stefan Weinzierl (JGU Mainz)

Monday, February 13

1:00 PM Registration

Session I

1 Welcome

Speakers: Jan Piclum (University of Siegen), Mohamed Barakat (University of Siegen), Robin Brüser (University Siegen), Tobias Huber (Siegen U)

2 Wilhelm Killing -- Life and mathematical achievements

February 11, 2023 marks the 100th anniversary of the death of Wilhelm Killing. Far from all scientific centers, Killing formulated a research program that is still relevant today and has significantly influenced mathematical research for a century, namely the structure theory of Lie algebras. The 100th anniversary of Killing's death is an appropriate opportunity to honour Killing's merits which he has earned in tireless work for research and teaching, with a short portrait, albeit very incomplete.

Speaker: Wolfgang Hein

FolienKilling.pdf

3 2D fishnet integrals and Calabi-Yau geometries

We argue that Yangian-invariant l-loop fishnet integrals in 2 dimensions are closely related to a family of Calabi-Yau l-folds.
This allows us to reduce the computation of these integrals to the computation of the Calabi-Yau periods. The periods are solutions of the Picard-Fuchs differential equations, which in turn are determined by the Yangian symmetry. Finally, we show that the values of these fishnet integrals admit a natural interpretation as the quantum volume of the Calabi-Yau.

Speaker: Claude Duhr

duhr.pdf

4:00 PM Coffee Break

Session II

4 Epsilon-factorised differential equations for non-trivial geometries

The method of differential equations is a popular method to compute Feynman integrals. It is particular powerful if the differential equation can be cast into an epsilon-factorised form. In this talk I will discuss how this can be achieved for Feynman integrals which are related to non-trivial geometries like Calabi-Yau manifolds.

Speaker: Stefan Weinzierl

siegen2weinzierl.pdf

5 Constraining the Analytic Properties of Feynman Integrals

The analytic properties of Feynman integrals are heavily constrained by basic physical principles such as causality and locality; however, the specific implications of these principles remain only partially known. In this talk, I will describe two methods for deriving concrete constraints on the analytic structure of Feynman integrals. The first of these methods leverages information about the asymptotic expansion of these integrals around singular points, while the second takes into account homological information about the spaces of momenta that describe on-shell scattering processes. I will illustrate these methods in examples involve generic masses.

Speaker: Andrew McLeod

ConstrainingtheAnalyticPropertiesofFeynmanIntegrals.pdf

6:00 PM Welcome Reception

Tuesday, February 14

Session III

6 Interpolation, Rational Reconstruction and Modular Algorithms

I will give a survey about interpolation, evaluation, and
reconstruction methods for multivariate polynomial and rational problems with applications in linear algebra and Groebner basis. This will include both asymptotically fast as well as practical algorithms.

Speaker: Claus Fieker

talkfieker.pdf

7 The ice cone family and iterated integrals for Calabi-Yau varieties

In this talk I will explain how one can compute ice cone integrals in two dimensions for arbitrary loop order and which mathematical structures show up in this procedure. Using a leading singularity analysis we can find two copies of the banana graph which are related to period integrals on Calabi-Yau varieties. This observation allows us to express also the ice cone through iterated Calabi-Yau period integrals. Furthermore, I will explain how the usage of the canonical variable q can help to understand these iterated integrals better.

Speaker: Christoph Nega

Siegennega.pdf

10:30 AM Coffee Break

Session IV

8 Recent progress in the reconstruction of multi-loop amplitudes

I will discuss recent progress in techniques for generating and reconstructing multi-loop scattering amplitudes. I will focus on novel developments in physical projectors, reduction to master integrals and partial fraction decomposition, as well as their combination with finite fields and rational reconstruction methods.

Speaker: Tiziano Peraro

siegenperaro.pdf

9 Computing intersection numbers with a rational algorithm

Intersection theory allows to exploit the vector space structure obeyed by Feynman integrals, turning the decomposition to master integrals into the calculation of the projection of a vector into a basis, via scalar products called intersection numbers. In this talk I will discuss how the calculation of intersection numbers can be achieved via a purely rational algorithm, through the systematic use of polynomial series expansions, and its implementation over the finite fields using the FiniteFlow program.

Speaker: Gaia Fontana

siegen-gf.pdf

Group picture

12:30 PM Lunch Break

Session V

10 A tale of two packages, pfd-parallel and NeatIBP, for the multi-loop computations

In this talk, we are glad to introduce two packages, pfd-parallel and NeatIBP, based on computational algebraic geometry, aiming at cutting-edge computations for multi-loop Feynman integrals. The former one, powered by Singular and the massive parallelization framework GPI/space, implements multivariate partial fraction algorithms for simplifying analytic coefficients in multi-loop computations. The latter one which implements the syzygy/Module intersection IBP method in a parallelized way, can generate much shorter IBP systems comparing with those from Laporta algorithm. Several nontrivial examples would be presented with the two packages.

Speaker: Yang Zhang

2023_Siegenyz.pdf

11 Massively parallel computer algebra and its application to the computation of Feynman integrals

In this talk, I will first discuss the Singular/GPI-Space project which aims to bring together computer algebra systems and the workflow management system GPI-Space to perform massive parallel computations. I will illustrate how GPI-Space leverages a coordination language based on the idea of Petri nets to efficiently model algorithms. Focusing on specific use cases, I will demonstrate how our approach can be applied, with a particular emphasis on algorithmic methods for Feynman integrals in high-energy physics.

Speaker: Janko Böhm

4:00 PM Coffee Break

Session VI

12 Integration-By-parts-Reduction using syzygies

Integration By parts Reduction to master integrals is an essential step in most modern multi-loop scattering amplitude calculations. In recent years, IBP reduction based on syzygy methods has become increasingly popular, allowing the calculation of many challenging processes. We will discuss our approach to calculate these syzygies using linear algebra and finite field based methods, as well as a few example calculations where these were successfully employed.

Speaker: Bakul Agarwal (KIT)

Siegen_Workshop_Feb_2023_BA.pdf

13 Faster modular IBP solving via Ratracer and tricks

I'd like to present Rational Tracer, a solver of systems of Integration-By-Parts relations (and more) based on modular arithmetic methods, and explain how using new programming ideas we can achieve lower evaluation times and higher flexibility for practical IBP solving.

Speaker: Vitaly Magerya

siegen23-ratracer.pdf

Wednesday, February 15

Session VII

14 Elliptic substructure of 2-loop kites and 3-loop tadpoles

The generic 2-loop kite integral has 5 internal masses. Its
completion by a sixth propagator gives a 3-loop tadpole
whose substructure involves 12 elliptic curves. I shall show
how to compute all such kites and their tadpoles, with 200
digit precision achieved in seconds, thanks to the procedure
of the arithmetic-geometric mean for complete elliptic
integrals of the third kind. The number theory of 3-loop
tadpoles poses challenges for packages such as HyperInt.

Speaker: David Broadhurst

siegenbroadhurst.pdf

15 Computing motives: an approach to irrationality proofs for periods

Following Francis Brown, I will explain why certain questions in number theory, like irrationality of zeta values, make it desirable to be able to compute some mixed Tate motives of moduli spaces. Then I will explain an algorithm devised by Clément Dupont in his Ph.D. thesis for that purpose, and its implementation in the package MotivesForBiarrangements, which uses CAP (Categories, Algorithms, and Programming), a GAP project developed in Siegen.

Speaker: Daniel Juteau

juteausiegen2023-periods.pdf

11:00 AM Coffee Break

Session VIII

16 Amplitudes, Ansätze and Algebraic Geometry

Multi-particle scattering amplitudes beyond tree level are complicated functions of many variables. In practical computations, amplitudes are organized as a linear combination of transcendental functions with rational functions as coefficients. The computation of these rational functions in cutting-edge cases poses a significant challenge. In the modern approach, these rational functions are computed by using numerical evaluations to constrain an Ansatz. An important problem is thus to construct Ansätze for the rational functions that contain very few free parameters.

In this talk, we discuss an approach to constructing compact Ansätze for rational functions in amplitudes by making use of their non-trivial behavior in singular limits. This behavior imposes powerful constraints on the analytic structure of the rational functions, which we then use to construct compact partial fractions Ansätze. Understanding and implementing these constraints is a non-trivial problem that we solve using tools from (computational) algebraic geometry. Specifically, we interpret the constraints as statements of membership of the numerator of the rational function to certain "ideals" of polynomials, as prescribed by the "Zariski-Nagata" theorem. We will discuss the computational bottlenecks which arise in this framework, as well as potential directions for breaking them.

Speaker: Ben Page

pageSiegen-2023.pdf

17 The Function Space of N=4 Scattering Amplitudes in the Regge Limit to all Orders

I will review a recent mathematical technique to efficiently compute scattering amplitudes in the forward scattering limit of N=4 SYM and explain how it can be used to fully determine the function space of scattering amplitudes in this limit to all orders in perturbation theory.

Speaker: Robin Marzucca

MathStruc_RM.pdf

12:30 PM Lunch Break

Session IX

18 One-loop hexagon integral to higher orders in the dimensional regulator

The state–of–the–art in current two–loop QCD amplitude calculations is at five-particle scattering. In contrast, very little is known at present about two–loop six–particle scattering processes. Computing two–loop six–particle processes requires knowledge of the corresponding one–loop amplitudes to higher orders in the dimensional regulator. In this talk, I will show the analytic results for the one–loop hexagon integral to higher
orders in dimensional regulator obtained via differential equations. I will discuss the function alphabet for general D–dimensional external states, function space up to weight
two and one–fold integral representation up to weight four for all integrals in the integral basis. Finally, I will discuss the difference between the conventional dimensional regularization and the four–dimensional helicity scheme at the level of the master integrals. With this, the one–loop integral basis is ready for two–loop amplitude applications.

Speaker: Antonela Matijašić

Matijasic_Siegen.pdf

19 Computer Algebra Methods for Feynman Integrals

We report on a collection of computer algebra algorithms and their implementations that have been used in recent calculations of massive and massless 3-loop Feynman integrals. Among them we will focus on symbolic summation and integration methods, (partial) linear differential and difference equation solvers and the large moment method. A specific feature of all the techniques is that the representation of the closed form output can be given within the class of iterative integrals and sums defined over general letters in terms hyperexponential functions and hypergeometric products.

Speaker: Carsten Schneider

schneiderSiegen.pdf

4:00 PM Coffee Break

Session X

20 Mathematical Structures in Massive Operator Matrix Elements

In this talk we will elaborate, among others, on root-valued alphabets and elliptic structures in Massive Operator Matrix Elements, together with concrete phenomenological results at O(a_s^3).

Speaker: Johannes Blümlein

JBSiegen.pdf

7:00 PM Workshop Dinner

Thursday, February 16

Session XI

21 Antipodal (Self)-Duality in Planar N=4 Super-Yang-Mills Theory

In planar N=4 super-Yang-Mills theory, some scattering amplitudes and form factors that evaluate to multiple polylogarithms can be bootstrapped, or constructed without knowing the precise Feynman integrals, in some cases through eight loops. This allows a window into high orders of perturbation theory for certain scattering processes. Remarkably, the 6-gluon amplitude and the 3-gluon form factor of the chiral stress tensor multiplet are related by a mysterious “antipodal” duality. This duality incorporates the antipode map of the Hopf algebra for multiple polylogarithms, which reverses all the entries in the symbol, thus exchanging the role of branch cuts and derivatives. It has been checked now through eight loops. Moreover, it is a consequence of an antipodal self-duality (ASD) of the 4-gluon form factor. Although ASD has only been checked through two loops, it reduces to the previous duality in (multi)-collinear limits, suggesting that it too holds to all orders. The underlying physical reason for the duality is still a mystery, and it remains unclear whether any version of it holds in more general theories or processes.

Speaker: Lance Dixon

DixonSiegenAntipodalDuality.pdf

22 Motivic Galois theory for Feynman integrals via twisted cohomology

I will report on ongoing joint work with Francis Brown, Javier Fresán, and Matija Tapušković, in which we prove that dimensionally regularized Feynman integrals are closed under the action of the motivic Galois group, termwise in the epsilon expansion. This fits into a larger framework of motivic Galois theory for algebraic Mellin transforms, where the main protagonists are formal versions of « twisted » cohomology groups for algebraic varieties.

Speaker: Clément Dupont

Siegen_talk.pdf

11:00 AM Coffee Break

Session XII

23 Progress on 3-loop Feynman integrals for 4-point 1-mass processes

Speaker: Nikolaos Syrrakos

Siegen_2023_Syrrakos.pdf

24 Intersection Numbers from Electromagnetism to Quantum Field Theory

Elaborating on the recent developments concerning Feynman integrals' calculus, I shall introduce Intersection Theory for twisted de Rham co-homology, and mainly discuss the impact of Intersection Numbers on the Vector-Space structure of special functions appearing in Mathematics and Physics.

Speaker: Pierpaolo Mastrolia

mastrolia_Siegen.pdf

1:00 PM Farewell