---
title: Three-Loop Banana Integrals
url: https://www.emergentmind.com/topics/three-loop-banana-integrals
type: topic
---

# Three-Loop Banana Integrals

The three-loop banana integral, also known as the three-banana graph, is a scalar two-point self-energy Feynman integral at three-loop order with a "banana-shaped" topology—four propagators with a single external momentum running through three loops connected in series. As a multi-scale, multi-loop amplitude it exhibits rich analytic and geometric structure, representing one of the deepest connections between quantum field theory, arithmetic algebraic geometry, and the theory of modular forms and Calabi–Yau manifolds.

## 1. Definition and Analytic Structure

The general three-loop banana integral (in $D=2-2\varepsilon$ dimensions) with arbitrary internal masses $m_1, m_2, m_3, m_4$ and external squared momentum $p^2$ is given by
\[
I(p^2,\{m_j^2\}) = \int \left[ \prod_{i=1}^3 \frac{\mathrm{d}^D k_i}{(k_i^2 - m_i^2)} \right] \frac{1}{[(p-k_1 - k_2 - k_3)^2 - m_4^2]}.
\]
The integral classically appears in multiloop corrections to physical processes such as the $\rho$ parameter in the Standard Model [1912.02747], with topologies encoding intricate non-polylogarithmic function spaces. Its analytic structure is governed by a combination of physical thresholds, singularities, and the geometry of an associated K3 surface [2502.15325].

In the equal-mass case ($m_1=...=m_4=m$), it is well established that the maximal cut of the integral computes the periods of a family of K3 surfaces [1406.2664, 1912.06201, 2502.15325]. The general-mass case promotes this to a multi-parameter K3 family whose transcendental lattice determines the function class (ordinary, Hilbert, Siegel, or hermitian modular forms) into which the maximal cut, and hence the Feynman integral, falls [2502.15325].

## 2. Differential Equations and Canonical Bases

Through IBP (integration-by-parts) reduction, the three-loop banana family is reduced to a finite-dimensional set of master integrals (15 for arbitrary masses, 3 for the equal-mass case) [2507.23061]. These masters satisfy a system of coupled first-order differential equations with respect to kinematic invariants,
\[
\mathrm{d} I(x, \varepsilon) = M(x, \varepsilon) I(x, \varepsilon),
\]
where $x_i=m_i^2/p^2$ are suitable dimensionless variables.

A central methodological advance is the transformation of this system to an $\varepsilon$-factorized or "canonical" form [2207.12893, 2212.08908, 2504.17757, 2507.23061, 2507.23594]. In this basis $J(x,\varepsilon)$:
\[
\mathrm{d}J(x, \varepsilon) = \varepsilon A(x) J(x, \varepsilon), \quad A(x) = \sum_i A_i(x)\,\mathrm{d} \log(\omega_i),
\]
where all $\varepsilon$-dependence is factored and $A(x)$ contains only dlog-forms with rational or algebraic "letters" (functions $\omega_i$ encoding the singular locus). The construction of $J(x,\varepsilon)$ leverages the underlying K3 geometry and associated Picard–Fuchs system [2502.15325, 2504.17757], as well as twisted cohomology to control and minimize the function space [2507.23061].

Boundary conditions are fixed at a point of maximal unipotent monodromy (MUM), such as the small-mass limit $x \to 0$, where the periods of the K3 surface admit explicit series expansions [2507.23061].

## 3. Geometry: K3 Surfaces and Modular Forms

For generic masses, the integral computes periods of a multi-parameter family of K3 surfaces. The holomorphic period furnishes the essential transcendental part of the integral. The period vector $(\int_{\Gamma_i} \Omega)$, where $\Omega$ is the holomorphic 2-form and $\Gamma_i$ a basis of transcendental 2-cycles, transforms under the monodromy group, which is a finite-index subgroup of $O(T(\Sigma),\mathbb{Z})$ for the appropriate transcendental lattice $\Sigma$ [2502.15325].

Depending on mass configuration, exceptional isomorphisms between low-dimensional orthogonal groups and other classical groups enable a modular parametrization of the periods [2502.15325, 2502.15326]:
- **Equal-mass:** periods correspond to the square of a weight-1 modular form (ordinary modular case).
- **Three-equal masses:** periods factor as a product of modular forms in two variables (Hilbert modular).
- **Two-equal or pairwise masses:** periods described by Siegel or hermitian modular forms, respectively.

The maximal cut, and hence the leading transcendental part, is thus expressible (after mirror map and coordinate changes) in terms of iterated integrals of (meromorphic) modular forms, Eisenstein series, or their higher-dimensional analogues [1907.03787, 2109.15251, 2212.08908].

## 4. Iterated Integrals, Elliptic Polylogarithms, and $\varepsilon$-Expansion

The $\varepsilon$-expansion of the three-loop banana can be performed to all orders using the $\varepsilon$-factorized form [2207.12893]. The coefficients are uniform weight iterated integrals over a six-letter alphabet of modular forms in the equal-mass case; in the unequal-mass case the alphabet is generalized to reflect the K3 periods and their derivatives [2212.08908, 2507.23061, 2507.23594].

The periods themselves are often given as iterated integrals (or Chen integrals) of modular forms for a congruence subgroup (usually $\Gamma_1(6)$ for the equal-mass banana [2109.15251, 1907.03787]), and are equivalently written in terms of elliptic multiple polylogarithms (eMPLs) evaluated at rational points. These are generalized in the multi-parameter case to Hilbert, Siegel, or hermitian modular structures.

A prototypical schematic formula for the solution is
\[
J(x,\varepsilon) = P \exp\left[ \varepsilon \int_\gamma A(x) \right] J_0(\varepsilon),
\]
where $P$ denotes path ordering, $A(x)$ is a dlog matrix with modular form entries, and $J_0$ specifies the boundary condition at the basepoint (usually the MUM point) [2507.23061]. The expansion is performed recursively using the shuffle algebra structure of iterated integrals.

## 5. Mass Configurations and Modular Typology

The type of modular/automorphic form controlling the maximal cut depends on the mass configuration, determined via the transcendental lattice $T$ [2502.15325]. The correspondence is summarized as follows:

| Mass Configuration        | Transcendental Lattice $T$       | Modular Domain                | Period Type                   |
|--------------------------|-----------------------------------|-------------------------------|-------------------------------|
| All equal                | $H \oplus \langle 12 \rangle$    | $\mathbb{H}$                | Ordinary modular form         |
| Three equal              | $H \oplus H(3)$                  | $\mathbb{H}\times\mathbb{H}$ | Hilbert modular form          |
| Pairwise equal           | $H \oplus \langle 2 \rangle \oplus \langle-6\rangle$ | $\mathbb{H}\times\mathbb{H}$ | Hilbert modular form          |
| Two equal (others general)| $H \oplus H \oplus \langle -6 \rangle$ | Siegel half-space $H_2$     | Siegel modular form           |
| All different            | $H \oplus H \oplus A_2(-3)$      | Hermitian domain $\mathcal{H}_2$ | Hermitian modular form        |

Here, $H$ denotes the hyperbolic plane lattice. In all cases, periods are orthogonal modular forms for $O(2,n)$, but the explicit modular parametrization varies [2502.15325, 2502.15326].

In the three-equal-mass and certain pairwise-equal cases, the holomorphic period can be written as
\[
\Phi_0(\tau_1, \tau_2) = (t(\tau_1)-3)(t(\tau_2)-3)\,\psi(\tau_1)\psi(\tau_2),
\]
with $\psi(\tau)$ a modular form and $t(\tau)$ the Hauptmodul; this reveals hidden symmetries, e.g., invariance under exchange $\tau_1 \leftrightarrow \tau_2$ up to rescaling [2502.15326].

## 6. Algorithmic and Conceptual Advances

The combined method for arbitrary internal masses proceeds as follows [2507.23594, 2507.23061]:
1. IBP reduce to a finite set of master integrals.
2. Construct a basis of periods (holomorphic and logarithmic solutions) for the associated K3 family.
3. Define period variables (mirror maps) $\tau_j = \psi_j/\psi_0$.
4. Rotate to a canonical basis through a sequence of algorithmically constructed basis transformations (guided by filtrations inspired by Hodge theory and by twisted cohomology).
5. Express the system in an $\varepsilon$-factorized canonical form with only dlog singularities.
6. Use initial data at the MUM point to determine all coefficients in the solution order-by-order in $\varepsilon$ in terms of iterated integrals.

This approach requires no explicit input from the underlying geometry, as the algorithmic structure of IBP and Laporta reduction, together with Baikov representation and twisted cohomology, encodes the necessary period information [2507.23594].

In the case of multi-scale integrals, the solution crucially depends on quadratic relations among K3 periods, reduction of new objects via intersection theory, and identification of minimal function spaces [2507.23061].

## 7. Applications and Broader Significance

The analytic solution of the three-loop banana integral in terms of periods of K3 surfaces and their associated modular forms provides a template for the computation of Feynman integrals attached to higher-dimensional Calabi–Yau geometries [2212.08908, 2309.07531]. This framework generalizes the well-understood cases of polylogarithms (genus zero) and elliptic polylogarithms (genus one), opening the way for systematic study and evaluation of Feynman integrals related to more complicated varieties, including:
- Higher-loop equal-mass bananas (banana topology at four loops corresponds to a CY 3-fold) [2008.10574]
- Multi-scale amplitudes relevant in collider physics where analytic representations were previously intractable.

This methodology has inspired algorithmic and software developments for automating the computation of canonical master integrals for general Calabi–Yau–type Feynman diagrams, and it yields new insights into the Galois and arithmetic structure of quantum field theory amplitudes—central to the cosmic Galois group paradigm [2108.05310, 2502.15325].

In summary, the three-loop banana integral is exemplary of a new class of quantum field theory amplitudes whose analytic structure, functional building blocks, and algorithmic evaluation are deeply intertwined with the arithmetic geometry of Calabi–Yau manifolds, particularly the modularity and period structure of K3 surfaces. This synergy between physics and geometry shapes the future of high-precision amplitude computation and broadens the mathematical foundations of perturbative quantum field theory.

Source: https://www.emergentmind.com/topics/three-loop-banana-integrals