---
title: Conformal Four-Point Ladder Integrals
url: https://www.emergentmind.com/topics/conformal-four-point-ladder-integrals
type: topic
---

# Conformal Four-Point Ladder Integrals

Conformal four-point ladder integrals are conformally covariant box-type Feynman integrals with four external points and a chain of internal “rungs.” After factoring off the external-distance dependence, they reduce to functions of the two independent four-point cross-ratios, usually written either as \(u,v\) or as \(z,\bar z\) with \(u=z\bar z\) and \(v=(1-z)(1-\bar z)\). In four dimensions with unit propagator powers, the standard family is the Usyukina–Davydychev ladder sequence, whose members admit explicit all-loop expressions in classical polylogarithms and furnish a basic exactly computable sector of conformal perturbation theory. In modern developments, these ladders also serve as the elementary building blocks for fishnet correlators, dual conformal invariant integrals, and several recursive, operator-theoretic, and thermal reformulations [1705.03545, 2408.15331].

## 1. Conformal definition and kinematics

A general \(L\)-loop ladder diagram in position space is a four-point conformal integral
\[
I^{(L)}(x_1,x_2,x_3,x_4;\alpha_i,\beta_i,\gamma_i),
\]
with internal vertices \(x_5,\dots,x_{L+4}\) and propagator powers constrained at each internal vertex by
\[
\gamma_{k-1}+\alpha_k+\beta_k+\gamma_k=D.
\]
This is the conformal condition ensuring covariance under inversion and reduction to a function of two cross-ratios only [2510.04235].

For the symmetric one-parameter family relevant to ladder and fishnet-type amplitudes, the external-point dependence can be stripped off so that the integral becomes a reduced function \(f_{(L)}(u,v;\beta)\) of
\[
u=\frac{x_{12}^2x_{34}^2}{x_{24}^2x_{13}^2},\qquad
v=\frac{x_{14}^2x_{23}^2}{x_{24}^2x_{13}^2}.
\]
In the standard four-point parametrization one equivalently uses
\[
u=z\bar z,\qquad v=(1-z)(1-\bar z).
\]
For the even-dimensional ladder family \(D=2k+2\), one also writes
\[
I_L^k(x_1,x_2,x_3,x_4)=\frac{1}{x_{13}^{2k}x_{24}^{2L}}\,\Phi_L^k(u,v),
\]
or, in the conformal frame \((x_1,x_2,x_3,x_4)=(0,\infty,1,z)\), simply \(\Phi_L^k(z,\bar z)\) [2508.16718].

This reduction to two variables is a special case of the general structure of four-dimensional Euclidean conformal integrals: the full integral factorizes into leg factors times an invariant part, and for \(N=4\) that invariant part satisfies a two-variable hypergeometric system of Appell \(F_4\) type. In the formulation based on Lauricella-like equations and GKZ \(A\)-hypergeometric systems, four-point conformal integrals are therefore governed by a finite-rank analytic system rather than by unconstrained multivariable functions [2109.09379].

## 2. Classical four-dimensional ladder functions

The prototypical conformal four-point ladders are the Usyukina–Davydychev functions. In the normalization used for fishnet applications, the \(p\)-loop ladder building block is
\[
L_p=\sum_{j=p}^{2p} \frac{j!\,[-\ln(z\bar z)]^{2p-j}}{p!(j-p)!(2p-j)!}\Bigl[\operatorname{Li}_j(z)-\operatorname{Li}_j(\bar z)\Bigr],
\]
with tree-level seed
\[
L_0=\frac{z-\bar z}{(1-z)(1-\bar z)}.
\]
These functions are explicitly single-valued and real-analytic in \(z,\bar z\), and \(L_p\) has transcendental weight \(2p\) [1705.03545].

At one loop, the box integral is the Bloch–Wigner dilogarithm in conformal dress,
\[
\Phi_1(z,\bar z)=\frac{4D_2(z,\bar z)}{z-\bar z},
\]
where
\[
D_2(z)=\log|z|\,\mathrm{Im}\log(1-z)+\mathrm{Im}\,\mathrm{Li}_2(z).
\]
This is the first member of the ladder sequence and the starting point for several recursive constructions [2506.20095].

A standard closed form for the four-dimensional unit-propagator ladder family is
\[
\phi_{4;\mathbf 1^{(L)}}(z,\bar z)=\frac{1}{z-\bar z}\,L_L(z,\bar z),
\]
with
\[
L_L(z,\bar z)=
\sum_{n=0}^{L}\frac{(-1)^n(2L-n)!}{L!(L-n)!n!}
\log(z\bar z)^n\bigl(\mathrm{Li}_{2L-n}(z)-\mathrm{Li}_{2L-n}(\bar z)\bigr).
\]
This is the familiar polylogarithmic form of the ladder sequence in \(D=4\) [2408.15331].

The ladder functions also admit a representation in terms of single-valued harmonic polylogarithms. In the notation of [1705.03545],
\[
L_p=(-1)^p\Bigl[\mathcal{L}_{0,\ldots,0,1,0,\ldots,0}
-\mathcal{L}_{0,\ldots,0,0,1,0,\ldots,0}\Bigr],
\]
with total length \(2p\). This form makes single-valuedness around both \(z=0\) and \(z=1\) manifest.

## 3. Analytic structure, symmetry, and function spaces

Conformal four-point ladder integrals are distinguished not only by explicit evaluability but by a rigid analytic structure. The ladder functions have no branch cut under
\[
z\to ze^{2\pi i},\qquad \bar z\to \bar z e^{-2\pi i},
\]
yet they possess a nontrivial discontinuity in the common variable \((1-z)(1-\bar z)\), the conformal image of the physical scattering channel. They satisfy the differential recursion
\[
z\bar z\,\partial_z\partial_{\bar z}L_p=-L_{p-1},
\]
and transform under crossing through \(u\leftrightarrow v\), while \(z\leftrightarrow\bar z\) changes sign in the standard normalization [1705.03545].

The symbol alphabet of the classical ladder sector is correspondingly small. In the notation \((x,\bar x)\) for the cross-ratio variables, ladder-type functions are built from the four letters
\[
\{x,\bar x,1-x,1-\bar x\},
\]
and they are expressible in terms of single-valued harmonic polylogarithms. This provides a precise sense in which the ladder sector is function-theoretically closed [1303.6909].

A recurrent misconception is that the same alphabet suffices for all conformal four-point integrals. It does not. The three-loop “Easy” integral remains within the SVHPL class, but the “Hard” integral requires the additional letter \(x-\bar x\), and the four-loop example studied in the same framework requires \(1-x\bar x\) in the extended alphabet. Ladder integrals are therefore the simplest exactly solvable conformal sector, not the full space of conformal four-point functions [1303.6909].

The analytic structure also changes with spacetime dimension. In the Yangian approach to fishnet ladders, the four-dimensional box obeys homogeneous Appell-type equations and is polylogarithmic, whereas in two dimensions the analogous Yangian-invariant solutions are products of Legendre functions or, in the isotropic case, elliptic \(K\)-integrals. The difference is reflected in the behavior of discontinuities: in \(D=4\) they lower transcendentality, while in \(D=2\) repeated discontinuities stay within the same elliptic family [2112.06928].

## 4. Representation-theoretic and operator formulations

One major line of development interprets conformal four-point ladders as intertwiners for representations of \(U(2,2)\). In the quaternionic formalism on \(\mathbb H_{\mathbb C}\simeq M_2(\mathbb C)\), the relevant tensor product \((\pi_l^0,\mathcal H^+)\otimes(\pi_r^0,\mathcal H^+)\) decomposes multiplicity-freely into irreducibles, and each \(n\)-loop box integral defines an equivariant operator \(L^{(n)}\) acting by a scalar on each irreducible summand. This is the representation-theoretic origin of the “magic identities”: all \(n\)-loop box diagrams with the same loop number define the same operator, hence the same conformal four-point integral, once the Minkowski integration cycles are chosen in the correct nested order [1407.2507].

The two-loop ladder is the archetypal example of this construction. Its kernel defines a \(\mathfrak{gl}(2,\mathbb H_{\mathbb C})\)-equivariant operator on \(\mathcal H^+\otimes\mathcal H^+\), and the operator acts diagonally on the irreducible components with explicitly computable eigenvalues. In this formulation, the Feynman integral becomes a spectral problem on representation spaces rather than a direct multiloop integration problem [1309.5665].

A complementary operator formalism is based on graph-building operators
\[
H_\alpha=p^{2\alpha}q^{2\alpha},
\]
which form a commutative family. Their eigenfunctions are fixed by conformal symmetry and coincide with conformal three-point structures; inserting the corresponding completeness relation converts the \(L\)-rung ladder integral into a Mellin–Barnes-type spectral sum over spin \(n\) and spectral parameter \(\nu\). In \(D=4\), contour evaluation of the spectral representation reproduces the standard polylogarithmic Usyukina–Davydychev formula [2302.11238].

From the viewpoint of differential equations, these operator constructions align with the Appell \(F_4\) and GKZ descriptions of four-point conformal integrals. The one-loop box is the basic homogeneous solution, and higher structures arise either by graph building, dimensional recursion, or by imposing additional analyticity constraints [2109.09379].

## 5. Fishnets, Steinmann relations, and determinant generalizations

The most influential modern extension of the ladder story is the observation that planar fishnet four-point integrals are “glued ladders.” In weakly coupled planar \(\phi^4\) theory, the \(m\times n\) fishnet correlator
\[
G_{m,n}(x_i)=\langle \phi_2^n(x_1)\phi_2^{\dagger n}(x_2)\phi_1^m(x_3)\phi_1^{\dagger m}(x_4)\rangle
\]
reduces, after dividing by the disconnected free propagators, to a conformal function \(\Phi_{m,n}(u,v)\). The central conjecture is that the associated pure function is a determinant built from ladder functions,
\[
I_{m,n}=\det M,\qquad M_{ij}=c_{ij}\,L_{n-m-1+i+j}.
\]
For example,
\[
I_{2,2}=L_1L_3-\frac13(L_2)^2.
\]
The nontrivial content is analytic: a generic product of ladders violates the Steinmann condition forbidding double discontinuities in overlapping channels, but these determinant combinations cancel the forbidden double discontinuities [1705.03545].

The same family was later analyzed by exact summation and integration methods, establishing the equivalence of the determinantal formula, the BMN integral representation, and the flux-tube representation. In this form, fishnet integrals become a two-parameter extension of the ladder family, with the ordinary ladder sequence recovered at \(m=1\). The thermodynamic limit \(m,n\to\infty\) at fixed aspect ratio produces a free-energy density described parametrically by complete elliptic integrals, which shows that the open four-point fishnet is strongly sensitive to boundary conditions [2105.10514].

The determinant-of-ladders structure also reappears in planar \(\mathcal N=4\) SYM. In the Coulomb-branch and octagon setting, certain exact combinations of dual conformal invariant four-point integrals are organized by ladder determinants, extending the simplest Basso–Dixon fishnet cases. In that framework, the octagon predicts both determinant combinations and new “magic identities,” including nontrivial vanishing combinations of DCI integrals through six loops, while bootstrap calculations show that at four loops the nontrivial DCI integrals are weight-8 SVHPLs and that at five loops functions beyond the SVHPL space and lower-weight contamination begin to appear [2502.08871].

## 6. Recursions, diverse dimensions, and recent reformulations

A striking structural feature of ladder integrals is the coexistence of loop and dimensional recursions. For track-like conformal integrals, and in particular for ladders, the operator
\[
R=\frac{z\partial_z-\bar z\partial_{\bar z}}{z-\bar z}
\]
shifts the spacetime dimension by two. In even dimensions this allows reduction to the two-dimensional case, where the ladder integrals admit a factorized representation into a product of a \(z\)-series and a \(\bar z\)-series. For the special case \(\beta=1\), the resulting even-dimensional ladders collapse to finite linear combinations of classical polylogarithms with rational-function coefficients [2510.04235].

The same dimension-shift picture has been linked to double-copy and integrable-hierarchy structures. In two dimensions, Basso–Dixon determinant formulas satisfy a Toda molecule equation, while the four-dimensional fishnet generalizations obey a closely related Toda-like equation with an inhomogeneous term. Higher-dimensional ladders can be written as bilinears of two-dimensional periods and their derivatives, yielding a holomorphic–antiholomorphic “double copy” representation of the four-point conformal integral [2408.15331].

Another recent extension embeds ladders into infinite families of planar DCI integrals labeled by binary words with no consecutive \(1\)s, the restriction implementing extended Steinmann relations. In this classification, the ladder family is the canonical word with a single \(1\) followed by zeros,
\[
B_{10},\;B_{100},\;B_{1000},\ldots
\]
and the number of binary Steinmann functions at fixed loop order is Fibonacci:
\[
1,1,2,3,5,8,13,21,34,55,\dots.
\]
The ladder periods in this family are
\[
P_{\mathrm{ladder}(L)}=\binom{2L+2}{L+1}\zeta_{2L+1},
\]
while the alternating-word extreme gives the zigzag periods [2506.20095].

A conceptually different reformulation represents conformal ladder integrals as thermal quantities. In this dictionary, an even-dimensional ladder in \(D=2k+2\) at loop order \(L\) is generated from the partition function of two harmonic oscillators twisted by an imaginary chemical potential, or equivalently from thermal free energies of a free massive complex scalar in odd thermal dimension \(d=2L+1\). The cross-ratio becomes the fugacity
\[
z=e^{-\beta m-i\beta\mu},
\]
and the ladder integrals satisfy a second-order differential equation together with an all-loop Bessel-kernel resummation formula. This does not replace the polylogarithmic and conformal descriptions; it provides an additional organizing principle connecting ladders to thermal one-point functions, recurrence operators, and all-loop summation [2606.30596].

Taken together, these developments place conformal four-point ladder integrals at the intersection of exact multiloop evaluation, conformal representation theory, integrable graph-building formalisms, Steinmann analyticity, and modern bootstrap methods. Their classical status as explicitly computable box integrals remains central, but their contemporary role is broader: they are the canonical solvable sector against which more general conformal four-point integrals, fishnet determinants, and dual-conformal families are organized and compared.

Source: https://www.emergentmind.com/topics/conformal-four-point-ladder-integrals