Principal Landau Determinants

This page contains auxiliary files to the papers:

Claudia Fevola, Sebastian Mizera, and Simon Telen:

Landau Singularities Revisited: Computational Algebraic Geometry for Feynman Integrals. In: Physical Review Letters Vol. 132, Iss. 10, 101601 (2024). DOI: https://doi.org/10.1103/PhysRevLett.132.101601 ARXIV: https://arxiv.org/abs/2311.14669
Principal Landau Determinants. ARXIV: https://arxiv.org/abs/2311.16219

ABSTRACT: We reformulate the Landau analysis of Feynman integrals with the aim of advancing the state of the art in modern particle-physics computations. We contribute new algorithms for computing Landau singularities, using tools from polyhedral geometry and symbolic/numerical elimination. Inspired by the work of Gelfand, Kapranov, and Zelevinsky (GKZ) on generalized Euler integrals, we define the principal Landau determinant of a Feynman diagram. We illustrate with a number of examples that this algebraic formalism allows to compute many components of the Landau singular locus. We adapt the GKZ framework by carefully specializing Euler integrals to Feynman integrals. For instance, ultraviolet and infrared singularities are detected as irreducible components of an incidence variety, which project dominantly to the kinematic space. We compute principal Landau determinants for the infinite families of one-loop and banana diagrams with different mass configurations, and for a range of cutting-edge Standard Model processes. Our algorithms build on the \(\verb|Julia|\) package Landau.jl and are implemented in the new open-source package \(\verb|PLD.jl|\).

As an illustration, the following figure shows the real part of the incidence variety introduced in Example 5.1 in the article. Our algorithm can compute the projection of each codimension one primary component to the parameter space symbolically or numerically. Section 5 of the paper explains in detail how the algorithm works.

As mentioned above, our symbolic and numerical methods are implemented in julia. Our package \(\verb|PLD.jl|\) can be download here PLD_code.zip. It makes use of HomotopyContinuation.jl (v2.6.4) and Oscar.jl (v0.10.0).

The following Jupyter notebook, which may be downloaded here PLD_notebook.zip, illustrates how to use the main features provided by the package \(\verb|PLD.jl|\).

A PLD.jl tutorial

Database

The following database gives the components of the principal Landau determinant for 23 Feynman diagrams, together with different choices of linear subspaces of the kinematic space, for a total of 114 example diagrams.

For each diagram, we provide: Symanzik polynomials, value of the generic signed Euler characteristic, f-vector of the Newton polytope of the graph polynomial. An additional purpose of this database is to compare the components of the principal Landau determinant with the output given by the \(\verb|cgReduction|\) from HyperInt.

In particular, for each component we indicate:

the method used to compute it, namely, \(\verb|PLD.jl|\) (with symbolic “PLD_sym” or numerical “PLD_num” method) or HyperInt.

the Euler characteristic for generic choices of parameters on the prescribed component.

You can download the complete database by clicking here PLD_database.zip. The notation of the files is as follows \(\verb|NameOfDiagram_internalMasses_externalMasses.txt|\). If \(\verb|*|\) appears at the end of the file-name, it means that the \(\verb|cgReduction|\) in HyperInt did not terminate on that specific choice of kinematic space. For further details, we refer to Section 5 and Appendix A in the paper.

\(G\,=\,\texttt{A}_4\) `A4_zero_zero.txt` `A4_zero_equal.txt` `A4_equal_zero.txt` `A4_zero_generic.txt` `A4_generic_zero.txt` `A4_equal_equal.txt` `A4_equal_generic.txt` `A4_generic_equal.txt` `A4_generic_generic.txt`	\(G\,=\,\texttt{B}_4\) `B4_zero_zero.txt` `B4_zero_equal.txt` `B4_equal_zero.txt` `B4_zero_generic.txt` `B4_generic_zero.txt` `B4_equal_equal.txt` `B4_equal_generic.txt` `B4_generic_equal.txt` `B4_generic_generic.txt`	\(G\,=\,\texttt{par}\) `par_zero_zero.txt` `par_zero_equal.txt` `par_equal_zero.txt` `par_zero_generic.txt` `par_generic_zero.txt` `par_equal_equal.txt` `par_equal_generic.txt` `par_generic_equal.txt`















\(G\,=\,\texttt{acn}\) `acn_zero_zero.txt` `acn_zero_equal.txt` `acn_equal_zero.txt` `acn_zero_generic.txt` `acn_generic_zero.txt` `acn_equal_equal.txt` `acn_equal_generic.txt` `acn_generic_equal.txt` `acn_generic_generic*.txt`	\(G\,=\,\texttt{env}\) `env_zero_zero.txt` `env_zero_equal.txt` `env_equal_zero.txt` `env_zero_generic.txt` `env_generic_zero.txt` `env_equal_equal.txt` `env_equal_generic.txt` `env_generic_equal.txt` `env_generic_generic.txt`	\(G\,=\,\texttt{npltrb}\) `npltrb_zero_zero.txt` `npltrb_zero_equal.txt` `npltrb_equal_zero.txt` `npltrb_zero_generic.txt` `npltrb_generic_zero.txt` `npltrb_equal_equal.txt` `npltrb_equal_generic.txt` `npltrb_generic_equal.txt` `npltrb_generic_generic*.txt`















\(G\,=\,\texttt{tdetri}\) `tdetri_zero_zero.txt` `tdetri_zero_equal.txt` `tdetri_equal_zero.txt` `tdetri_zero_generic.txt` `tdetri_generic_zero.txt` `tdetri_equal_equal.txt` `tdetri_equal_generic.txt` `tdetri_generic_equal.txt` `tdetri_generic_generic*.txt`	\(G\,=\,\texttt{debox}\) `debox_zero_zero.txt` `debox_zero_equal.txt` `debox_equal_zero.txt` `debox_zero_generic.txt` `debox_generic_zero.txt` `debox_equal_equal.txt` `debox_equal_generic.txt` `debox_generic_equal.txt` `debox_generic_generic*.txt`	\(G\,=\,\texttt{tdebox}\) `tdebox_zero_zero.txt` `tdebox_zero_equal.txt` `tdebox_equal_zero.txt` `tdebox_zero_generic.txt` `tdebox_generic_zero.txt` `tdebox_equal_equal.txt` `tdebox_equal_generic.txt` `tdebox_generic_equal.txt` `tdebox_generic_generic.txt`















\(G\,=\,\texttt{pltrb}\) `pltrb_zero_zero.txt` `pltrb_zero_equal.txt` `pltrb_equal_zero.txt` `pltrb_zero_generic.txt` `pltrb_generic_zero.txt` `pltrb_equal_equal.txt` `pltrb_equal_generic.txt` `pltrb_generic_equal.txt` `pltrb_generic_generic.txt`	\(G\,=\,\texttt{dbox}\) `dbox_zero_zero.txt` `dbox_zero_equal.txt` `dbox_equal_zero.txt` `dbox_zero_generic.txt` `dbox_generic_zero.txt` `dbox_equal_equal.txt` `dbox_equal_generic.txt` `dbox_generic_equal.txt` `dbox_generic_generic*.txt`	\(G\,=\,\texttt{pentb}\) `pentb_zero_zero.txt` `pentb_zero_equal.txt` `pentb_equal_zero.txt` `pentb_zero_generic.txt`















\(G\,=\,\texttt{inner-dbox}\) `inner-dbox_custom.txt`	\(G\,=\,\texttt{outer-dbox}\) `outer-dbox_custom.txt`	\(G\,=\,\texttt{Hj-npl-dbox}\) `Hj-npl-dbox_custom.txt`







\(G\,=\,\texttt{Bhabha-dbox}\) `Bhabha-dbox_custom.txt`	\(G\,=\,\texttt{Bhabha2-dbox}\) `Bhabha2-dbox_custom.txt`	\(G\,=\,\texttt{Bhabha-npl-dbox}\) `Bhabha-npl-dbox_custom*.txt`







\(G\,=\,\texttt{kite}\) `kite_generic_generic.txt`	\(G\,=\,\texttt{par}\) `par_generic_generic.txt`	\(G\,=\,\texttt{Hj-npl-pentb}\) `Hj-npl-pentb_custom*.txt`







\(G\,=\,\texttt{dpent}\) `dpent_zero_zero*.txt`	\(G\,=\,\texttt{npl-dpent}\) `npl-dpent_zero_zero*.txt`	\(G\,=\,\texttt{npl-dpent2}\) `npl-dpent2_zero_zero*.txt`

Project page created: 24/11/2023

Project contributors: Claudia Fevola, Sebastian Mizera, Simon Telen

Corresponding author of this page: Claudia Fevola, claudia.fevola@inria.fr

Software used: HomotopyContinuation.jl (Version 2.6.4), Julia (Version 1.8), Oscar (Version 0.10.0)

System setup used: MacBook Pro with macOS Ventura 13.5.1, Chip Apple M2, Memory 16 GB (for running the package on a diagram with no high complexity). For the database: the full computation for one of the simplest diagrams, \(G\,=\,\texttt{inner-dbox}\), took 9.3 minutes, while the most difficult diagram, \(G\,=\,\texttt{npl-dpentb}\), took 63.7 hours on two Intel Xeon E5-2695 v4 CPUs with 18 cores each.

License for code of this project page: MIT License (https://spdx.org/licenses/MIT.html)

License for all other content of this project page: CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/)

Last updated 24/11/2023.