REVIEW
Two-Loop Maximal Unitarity with External Masses
High Energy Physics - Theory · Submitted 8 Aug 2012 · 86 references
Pith's verdict: A careful, explicit extension of two-loop maximal unitarity to massive external legs; the machinery is real and reimplementable, but the class (b) projectors have no independent check and the contour-ordering prescription is asserted rather than proved.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A method for extracting the coefficients of two-loop Feynman integrals when external particles carry mass, with explicit unique formulas and a cross-check against a known result.
The reading
What carries the argument
The load-bearing object is the pair of projector vectors $P_1,P_2$ (or $P_1,P_2,P_3$ in the three-mass class), which are weights on the eight global poles. Each projector is the solution of a small linear system whose rows are the residue vectors of the master integrals and whose constraints come from the requirement that integrals of total derivatives vanish. Concretely, the coefficient is $c_i = P_i cdot R$, where $R$ is the vector of residues of the product of six tree amplitudes evaluated at the eight global poles, with the $z$ contour taken last. The parity-odd Levi-Civita constraints and the parity-even integration-by-parts constraints are what make the system square and invertible; without them the eight poles would give eight equations for two or three unknowns and no unique answer.
Extended reading notes
Core claim
The central claim is that the maximal-unitarity program closes at two loops for double boxes with up to three massive external legs: for every allowed mass configuration there is a unique set of projectors (master contours) that isolates the coefficient of each master integral. The authors reach this by a chain of steps. They parametrize the loop momenta with spinors built from mutually projected massless momenta, so that all intermediate expressions stay rational. They solve the heptacut equations and find four independent solutions in the three-mass and short-side two-mass cases and six in the one-mass, massless, diagonal two-mass and long-side two-mass cases. Reducing duplicates, they find eight independent global poles in every case. They then demand that the contour weights $a_j$ annihilate the five Levi-Civita numerators (one equation is dependent, leaving four) and the parity-even total derivatives from integration by parts (one independent equation in the three-mass class, two in the others). The surviving contour combinations are then diagonalized against the residue vectors of the master integrals, yielding the projectors of eqs. (6.4) and (6.7). As a check, the authors recompute the double-box coefficients of an $N=4$ super-Yang–Mills three-particle form factor and recover the published values.
Load-bearing premise
The multivariate contour integral is assumed to be unambiguous once the $z$ integration is performed last; the paper states that the result is not necessarily independent of the order of integration and defers a full treatment of that subtlety to a future paper.
Editorial extensions
If this is right
- Double-box coefficients for amplitudes with one, two, or three massive external legs can now be computed from cuts alone, without a separate integration-by-parts reduction to master integrals.
- The formulas are rational in spinor brackets and the kinematic invariants, so they can be implemented either as analytic expressions or as numerical evaluations of residues.
- The method gives a template that should carry over to double boxes with massive internal lines, provided at least one chiral vertex survives so that global poles still exist.
- The cross-check against the known $N=4$ form-factor result shows that the projectors are consistent with an independent published calculation, at least in the one-mass case.
Reading between the lines
- Because the projectors depend on the mass configuration only through a few invariants, one could imagine assembling a small library of projector vectors keyed by mass pattern and reusing them across many processes, which would make two-loop massive-leg amplitudes nearly as automated as one-loop ones.
- The same constraint-equation logic should apply to other two-loop topologies with external masses — the non-planar double box, for instance — since the ingredients used are the global poles and the total-derivative identities, not anything specific to planarity.
- If the ordering prescription for the multivariate contour turns out to be wrong, the failure should show up as a mismatch between two orderings of the same residue computation rather than as a wrong final answer, which makes the check cheap to run.
- The restriction to leading order in the dimensional regulator $\epsilon$ means the method as stated gives coefficients, not the full amplitude; extending to higher orders in $\epsilon$ would require revisiting which total derivatives are retained.
Original abstract
We extend the maximal unitarity method at two loops to double-box basis integrals with up to three external massive legs. We use consistency equations based on the requirement that integrals of total derivatives vanish. We obtain unique formulae for the coefficients of the master double-box integrals. These formulae can be used either analytically or numerically.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We extend the maximal unitarity method at two loops to double-box basis integrals with up to three external massive legs. We use consistency equations based on the requirement that integrals of total derivatives vanish. We obtain unique formulae for the coefficients of the master double-box integrals. These formulae can be used either analytically or numerically.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We extend the maximal unitarity method at two loops to double-box basis integrals with up to three external massive legs. | contribution 1.00 | 0.95 | 0.33 | asserted 1.00 |
| s1 | We use consistency equations based on the requirement that integrals of total derivatives vanish. | method 1.00 | 0.88 | 0.05 | asserted 1.00 |
| s2 | We obtain unique formulae for the coefficients of the master double-box integrals. | result 0.96 | 0.96 | 0.63 | asserted 1.00 |
| s3 | These formulae can be used either analytically or numerically. | interpretation 0.73 | 0.65 | 0.12 | asserted 0.61 |
What was examined, and what was not
- arXiv listing abstract v4
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:1208.1754 by the authors.
References
How the literature uses it
40 arXiv papers cite this in 54 sentences
Papers citing it · 28 sentences without a confident label
Cites it as background 26 papers
-
In the last couple of years, maximal unitarity has been applied to the planar double box with up to four external massive legs [ref] in general theories and to the massless nonplanar double box [ref] .
Massive Nonplanar Two-Loop Maximal Unitarity · Maximal Unitarity · 0.92
-
[ref] and subsequent generalizations [ref] .
Elliptic Functions and Maximal Unitarity · Introduction · 0.86
-
[ref] for progress on direct extraction of integral coefficients from an integral basis.
Maximal Cuts in Arbitrary Dimension · Introduction · 0.81
What it cites · 57 sentences without a confident label
Uses the method or tool of 2 papers
-
[ref] , we use the equations relating generic tensor integrals to basis (or master) integrals in order to ensure the consistency and completeness of the choice of contours.
Maximal Unitarity at Two Loops · Introduction · 1.00
-
This is a quite general feature as it follows from using the BCJ [ref] amplitude relation $(ℓ_2-k_4)^2A^(3,4, -ℓ_2,ℓ_6)=(ℓ_2-k_3)^2A^(4,3, -ℓ_2,ℓ_6)$ for the product of trees that $k_3$ and $k_4$ attach to.
New Relations for Gauge-Theory Amplitudes · The $(_g,2^-,3^-,4^+)$ Configuration · 0.84
Compares with 5 papers
-
[ref] , with $ξ'_1='_1$, $ξ'_4='_4$ in all, and the four variables $(ξ_2,ξ'_2,ξ_3,ξ'_3)$ taking on the following values, [equation]
Uniqueness of two-loop master contours · Heptacut Equations · 0.88
-
[ref] , with $ξ'_1='_1$, $ξ'_4='_4$ in all, and the four variables $(ξ_2,ξ'_2,ξ_3,ξ'_3)$ taking on the following values, [equation]
Maximal Unitarity at Two Loops · Heptacut Equations · 0.88
-
Here we compare to the results of Brandhuber, Travaglini and Yang [ref] .
Analytic two-loop form factors in N=4 SYM · Comparison to Previous Results for $(_s,2_s^+,3_s^+,4^+)$ · 1.00
Cites as background 10 papers
-
[ref] for further recent developments within this approach.
The Integrand Reduction of One- and Two-Loop Scattering Amplitudes · Introduction · 0.96
-
[ref] for further recent developments within this approach.
Integrand Reduction for Two-Loop Scattering Amplitudes through Multivariate Polynomial Division · Introduction · 0.96
-
[ref] for further recent developments within this approach.
The classification of two-loop integrand basis in pure four-dimension · Introduction · 0.96
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.