Canonical Feynman integrals are of great interest in the study of scattering amplitudes at the multi-loop level. We propose to construct $d\log$-form integrals of the hypergeometric type, treat them as a representation of Feynman integrals, and project them into master integrals using intersection theory. This provides a constructive way to build canonical master integrals whose differential equations can be solved easily. We use our method to investigate both the maximally cut integrals and the uncut ones at one and two loops, and demonstrate its applicability in problems with multiple scales.
We give a pedagogical review of the recently-introduced notion of a "scalar product" between Feynman integrals and how it helps us understand the analytic structure of the perturbative S-matrix. (This article is a contribution to the proceedings of the workshop "MathemAmplitudes 2019: Intersection Theory and Feynman Integrals" held in Padova, Italy on 18-20 December 2019.)
We present a detailed description of the recent idea for a direct decomposition of Feynman integrals onto a basis of master integrals by projections, as well as a direct derivation of the differential equations satisfied by the master integrals, employing multivariate intersection numbers. We discuss a recursive algorithm for the computation of multivariate intersection numbers and provide three different approaches for a direct decomposition of Feynman integrals, which we dub the straight decomposition, the bottom-up decomposition, and the top-down decomposition. These algorithms exploit the …
Feynman integrals obey linear relations governed by intersection numbers, which act as scalar products between vector spaces. We present a general algorithm for constructing multivariate intersection numbers relevant to Feynman integrals, and show for the first time how they can be used to solve the problem of integral reduction to a basis of master integrals by projections, and to directly derive functional equations fulfilled by the latter. We apply it to the derivation of contiguity relations for special functions admitting multi-fold integral representations, and to the decomposition of a …
The method of canonical differential equations is an important tool in the calculation of Feynman integrals in quantum field theories. It has been realized that the canonical bases are closely related to $d$-dimensional $d\log$-form integrands. In this work, we introduce the concept of generalized loop-by-loop Baikov representation, and clarify its relation and difference with Feynman integrals using the language of intersection theory. We then utilize the generalized Baikov representation to construct $d$-dimensional $d\log$-form integrands, and discuss how to convert them to Feynman integral…
We elaborate on the recent idea of a direct decomposition of Feynman integrals onto a basis of master integrals on maximal cuts using intersection numbers. We begin by showing an application of the method to the derivation of contiguity relations for special functions, such as the Euler beta function, the Gauss ${}_2F_1$ hypergeometric function, and the Appell $F_1$ function. Then, we apply the new method to decompose Feynman integrals whose maximal cuts admit 1-form integral representations, including examples that have from two to an arbitrary number of loops, and/or from zero to an arbitrar…
This document is a contribution to the proceedings of the MathemAmplitudes 2019 conference held in December 2019 in Padova, Italy. A key step in modern high energy physics scattering amplitudes computation is to express the latter in terms of a minimal set of Feynman integrals using linear relations. In this work we present an innovative approach based on intersection theory, in order to achieve this decomposition. This allows for the direct computation of the reduction, projecting integrals appearing in the scattering amplitudes onto an integral basis in the same fashion as vectors may be pro…
High precision calculations in perturbative QFT often require evaluation of big collection of Feynman integrals. Complexity of this task can be greatly reduced via the usage of linear identities among Feynman integrals. Based on mathematical theory of intersection numbers, recently a new method for derivation of such identities and decomposition of Feynman integrals was introduced and applied to many non-trivial examples. In this note we discuss the latest developments in algorithms for the evaluation of intersection numbers, and their application to the reduction of Feynman integrals.
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, wo…
Feynman integrals that have been evaluated in dimensional regularization can be written in terms of generalized hypergeometric functions. It is well known that properties of these functions are revealed in the framework of intersection theory. We propose a new application of intersection theory to construct a coaction on generalized hypergeometric functions. When applied to dimensionally regularized Feynman integrals, this coaction reproduces the coaction on multiple polylogarithms order by order in the parameter of dimensional regularization.
We introduce the tools of intersection theory to the study of Feynman integrals, which allows for a new way of projecting integrals onto a basis. In order to illustrate this technique, we consider the Baikov representation of maximal cuts in arbitrary space-time dimension. We introduce a minimal basis of differential forms with logarithmic singularities on the boundaries of the corresponding integration cycles. We give an algorithm for computing a basis decomposition of an arbitrary maximal cut using so-called intersection numbers and describe two alternative ways of computing them. Furthermor…
We study the symbology of planar Feynman integrals in dimensional regularization by considering geometric configurations in momentum twistor space corresponding to their leading singularities (LS). Cutting propagators in momentum twistor space amounts to intersecting lines associated with loop and external dual momenta, including the special line associated with the point at infinity, which breaks dual conformal symmetry. We show that cross-ratios of intersection points on these lines, especially those on the infinity line, naturally produce symbol letters for Feynman integrals in $D=4-2ε$, wh…
The worldline path integral approach to the Bern-Kosower formalism is reviewed, which offers an alternative to Feynman diagram calculations in quantum field theory. Recent progress in constructing a multiloop generalization of this formalism is reported.
Intersection matrices associated to geometric-ordered bases of Feynman integrals
Johannes Gutenberg-Universität Mainz（约翰内斯·古腾堡美因茨大学）；Universität Bonn（波恩大学）；University of Zurich（苏黎世大学）；The Chinese University of Hong Kong, Shenzhen（香港中文大学（深圳））；Xiamen University（厦门大学）
In this review I discuss intersection numbers of twisted cocycles and their relation to physics. After defining what these intersection number are, I will first discuss a method for computing them. This is followed by three examples where intersection numbers appear in physics. These examples are: tree-level scattering amplitudes within the the CHY-formalism, reduction of Feynman integrals to master integrals and correlation functions on the lattice.
We review some relations occurring between the combinatorial intersection theory on the moduli spaces of stable curves and the asymptotic behavior of the 't Hooft-Kontsevich matrix integrals. In particular, we give an alternative proof of the Witten-Di Francesco-Itzykson-Zuber theorem --which expresses derivatives of the partition function of intersection numbers as matrix integrals-- using techniques based on diagrammatic calculus and combinatorial relations among intersection numbers. These techniques extend to a more general interaction potential.
AMFlow is a Mathematica package to numerically compute dimensionally regularized Feynman integrals via the recently proposed auxiliary mass flow method. In this framework, integrals are treated as functions of an auxiliary mass parameter and their results can be obtained by constructing and solving differential systems with respect to this parameter, in an automatic way. The usage of this package is described in detail through an explicit example of double-box family involved in two-loop $t\bar{t}$ hadroproduction.
We elucidate the vector space (twisted relative cohomology) that is Poincaré dual to the vector space of Feynman integrals (twisted cohomology) in general spacetime dimension. The pairing between these spaces - an algebraic invariant called the intersection number - extracts integral coefficients for a minimal basis, bypassing the generation of integration-by-parts identities. Dual forms turn out to be much simpler than their Feynman counterparts: they are supported on maximal cuts of various sub-topologies (boundaries). Thus, they provide a systematic approach to generalized unitarity, the re…
This course on Feynman integrals starts from the basics, requiring only knowledge from special relativity and undergraduate mathematics. Topics from quantum field theory and advanced mathematics are introduced as they are needed. The course covers modern developments in the field of Feynman integrals. Topics included in this course are: Representations of Feynman integrals, integration-by-parts, differential equations, intersection theory, multiple polylogarithms, Gelfand-Kapranov-Zelevinsky systems, coactions and symbols, cluster algebras, elliptic Feynman integrals, motives associated to Fey…
We study a surprising phenomenon in which Feynman integrals in $D=4-2\varepsilon$ space-time dimensions as $\varepsilon \to 0$ can be fully characterized by their behavior in the opposite limit, $\varepsilon \to \infty$. More concretely, we consider vector bundles of Feynman integrals over kinematic spaces, whose connections have a polynomial dependence on $\varepsilon$ and are known to be governed by intersection numbers of twisted forms. They give rise to differential equations that can be obtained exactly as a truncating expansion in either $\varepsilon$ or $1/\varepsilon$. We use the latte…
The first paper of this series introduced objects (elements of twisted relative cohomology) that are Poincaré dual to Feynman integrals. We show how to use the pairing between these spaces -- an algebraic invariant called the intersection number -- to express a scattering amplitude over a minimal basis of integrals, bypassing the generation of integration-by-parts identities. The initial information is the integrand on cuts of various topologies, computable as products of on-shell trees, providing a systematic approach to generalized unitarity. We give two algorithms for computing the multi-va…
In the present review we provide an extensive analysis of the intertwinement between Feynman integrals and cohomology theories in the light of the recent developments. Feynman integrals enter in several perturbative methods for solving non linear PDE, starting from Quantum Field Theories and including General Relativity and Condensed Matter Physics. Precision calculations involve several loop integrals, one strategy to address which is to bring them back in terms of linear combinations of a complete set of integrals (the Master Integrals). In this sense Feynman integrals can be thought as defi…
The purpose of this paper is to show that, under certain combinatorial conditions on the graph, parametric Feynman integrals can be realized as periods on the complement of the determinant hypersurface in an affine space depending on the number of loops of the Feynman graph. The question of whether the Feynman integrals are periods of mixed Tate motives can then be reformulated (modulo divergences) as a question on a relative cohomology being a realization of a mixed Tate motive. This is the cohomology of the pair of the determinant hypersurface complement and a normal crossings divisor depend…
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.
We derive a minimal set of Feynman rules for the loop amplitudes in unitary models of closed strings, whose target space is a simply laced (extended) Dynkin diagram. The string field Feynman graphs are composed of propagators, vertices (including tadpoles) of all topologies, and leg factors for the macroscopic loops. A vertex of given topology factorizes into a fusion coefficient for the matter fields and an intersection number associated with the corresponding punctured surface. As illustration we obtain explicit expressions for the genus-one tadpole and the genus-zero four-loop amplitude.
We describe how Groebner bases can be used to solve the reduction problem for Feynman integrals, i.e. to construct an algorithm that provides the possibility to express a Feynman integral of a given family as a linear combination of some master integrals. Our approach is based on a generalized Buchberger algorithm for constructing Groebner-type bases associated with polynomials of shift operators. We illustrate it through various examples of reduction problems for families of one- and two-loop Feynman integrals. We also solve the reduction problem for a family of integrals contributing to the …
By elaborating on the recent progress made in the area of Feynman integrals, we apply the intersection theory for twisted de Rham cohomologies to simple integrals involving orthogonal polynomials, matrix elements of operators in Quantum Mechanics and Green's functions in Field Theory, showing that the algebraic identities they obey are related to the decomposition of twisted cocycles within cohomology groups, and which, therefore, can be derived by means of intersection numbers. Our investigation suggests an algebraic approach generically applicable to the study of higher-order moments of prob…
We formulate and prove Cutkosky's Theorem regarding the discontinuity of Feynman integrals in the massive one-loop case up to the involved intersection index. This is done by applying the techniques to treat singular integrals developed in \cite{app-iso}. We write one-loop integrals as an integral of a holomorphic family of holomorphic forms over a compact cycle. Then, we determine at which points simple pinches occur and explicitly compute a representative of the corresponding vanishing sphere. This also yields an algorithm to compute the Landau surface of a one-loop graph without explicitly …
The problem of constructing a quantum theory of gravity has been tackled with very different strategies, most of which relying on the interplay between ideas from physics and from advanced mathematics. On the mathematical side, a central role is played by combinatorial topology, often used to recover the space-time manifold from the other structures involved. An extremely attractive possibility is that of encoding all possible space-times as specific Feynman diagrams of a suitable field theory. In this work we analyze how exactly one can associate combinatorial 4-manifolds to the Feynman diagr…
The saddle points of a conventional Feynman path integral are not entangled, since they comprise a sequence of classical field configurations. We combine insights from field theory and tensor networks by constructing a Feynman path integral over a sequence of matrix product states. The paths that dominate this path integral include some degree of entanglement. This new feature allows several insights and applications: i. A Ginzburg-Landau description of deconfined phase transitions. ii. The emergence of new classical collective variables in states that are not adiabatically continuous with pro…
We formulate the problem of renormalization of Feynman integrals and its relation to periods of motives in configuration space instead of momentum space. The algebro-geometric setting is provided by the wonderful compactifications of arrangements of subvarieties associated to the subgraphs of a Feynman graph and a (quasi)projective variety. The motive and the class in the Grothendieck ring are computed explicitly for these wonderful compactifications, in terms of the motive of the variety and the combinatorics of the Feynman graph, using recent results of Li Li. The pullback to the wonderful c…
We present a general method for constructing supergravity solutions for intersecting branes. The solutions are written in terms of a single function, which is the solution to a nonlinear differential equation. We illustrate this procedure in detail for the case of M2-branes ending on M5-branes. We also present supergravity solutions for strings ending on Dp-branes. Unlike previous results in the literature, these branes are completely localized.
This work lies at an intersection of three subjects: quantum field theory, algebraic geometry and number theory, in a situation where dialogue between practitioners has revealed rich structure. It contains a theorem and 7 conjectures, tested deeply by 3 optimized algorithms, on relations between Feynman integrals and L-series defined by products, over the primes, of data determined by moments of Kloosterman sums in finite fields. There is an extended introduction, for readers who may not be familiar with all three of these subjects. Notable new results include conjectural evaluations of non-cr…
It is well known that Feynman integrals in dimensional regularization often evaluate to functions of hypergeometric type. Inspired by a recent proposal for a coaction on one-loop Feynman integrals in dimensional regularization, we use intersection numbers and twisted homology theory to define a coaction on certain hypergeometric functions. The functions we consider admit an integral representation where both the integrand and the contour of integration are associated with positive geometries. As in dimensionally-regularized Feynman integrals, endpoint singularities are regularized by means of …
Using CSW rules for constructing scalar Feynman diagrams from MHV vertices, we compute the contribution of $\mathcal {N}=1$ chiral multiplet to one-loop MHV gluon amplitude. The result agrees with the one obtained previously using unitarity-based methods, thereby demonstrating the validity of the MHV-diagram technique, in the case of one-loop MHV amplitudes, for all massless supersymmetric theories.
For any near-threshold asymptotic regime and for any Feynman diagram (involving loop and/or phase space integrals), a systematic prescription for explicitly constructing all-logs, all-powers (all-twists) expansions in perfectly factorized form with explicit integrals for coefficients, is presented. The distribution-theoretic nature of the method of asymptotic operation employed allows treatment of totally exclusive phase space in the same manner as loop integrals.
