Systematic approach to ell-loop planar integrands from the classical equation of motion
Pith reviewed 2026-05-22 18:27 UTC · model grok-4.3
The pith
The comb component of the classical equation of motion leads to a recursion formula for constructing ℓ-loop planar integrands.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By beginning with the classical equation of motion and isolating the comb component, loop kernels are defined that obey recursion rules allowing the construction of ℓ-loop integrands, ultimately producing a recursion formula for the ℓ-loop planar integrands in colored quantum field theories.
What carries the argument
The comb component extracted from the classical equation of motion, which serves as the basis for defining loop kernels that enable recursive construction of the integrands.
If this is right
- The recursion formula allows direct construction of integrands at arbitrary loop order without explicit diagram summation.
- It applies specifically to the planar sector of colored quantum field theories.
- The method generalizes to arbitrary quantum field theories, including non-Lagrangian ones, to obtain their planar integrands.
- Loop kernels defined this way support the stated recursion rules for building higher-order terms.
Where Pith is reading between the lines
- This recursive structure might simplify numerical or symbolic computations of multi-loop amplitudes in practice.
- Connections could emerge to other recursive approaches in scattering amplitude literature for cross-verification.
- Applying the method to a known theory like maximally supersymmetric Yang-Mills and matching against existing results would test its validity.
- Future extensions might incorporate non-planar contributions or higher-point functions using similar classical dynamics inputs.
Load-bearing premise
The comb component extracted from the classical equation of motion can be used to define loop kernels that support the recursion rules for the integrands.
What would settle it
Computing the two-loop or three-loop planar integrand for a specific colored theory using the derived recursion and finding disagreement with results obtained from traditional Feynman diagram methods or other known recursions would falsify the approach.
Figures
read the original abstract
In this paper, we present a recursive method for $\ell$-loop planar integrands in colored quantum field theories. We start with the classical equation of motion and then pick out the comb component, which will help us to define the loop kernels. Then we construct the $\ell$-loop integrands based on some recursion rules for the $\ell$-loop kernels. Finally, we reach a recursion formula for the $\ell$-loop planar integrands. Our method can be easily generalized to general quantum field theories, even non-Lagrangian theories, to obtain the planar part of the whole $\ell$-loop integrands.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript presents a recursive method for constructing ℓ-loop planar integrands in colored quantum field theories. It begins with the classical equation of motion, extracts the comb component to define loop kernels, applies recursion rules to those kernels, and obtains a recursion formula for the integrands. The approach is claimed to extend to general QFTs, including non-Lagrangian theories, to capture the planar part of the full ℓ-loop integrands.
Significance. If the mapping from the classical EOM comb component to loop kernels is shown to reproduce known quantum integrands and the recursion is independently verified, the result would offer a systematic route to planar loop integrands that bypasses conventional diagrammatic expansions and applies even to non-Lagrangian theories. This could streamline higher-loop calculations in gauge theories and provide a new organizing principle for integrand construction.
major comments (1)
- [Abstract] Abstract: the transition 'pick out the comb component, which will help us to define the loop kernels' is stated without an explicit projection operator, definition of the comb, or derivation demonstrating that the resulting kernels encode the correct loop-momentum dependence and reproduce, for example, the known one-loop planar Yang-Mills integrand up to total derivatives. This mapping is load-bearing for the recursion rules and the central claim that the procedure yields quantum loop integrands rather than tree-level structures.
minor comments (1)
- The abstract would be strengthened by including at least one low-loop explicit example (e.g., the one-loop case) that shows the kernel definition and first application of the recursion rules.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the constructive feedback. We address the major comment below and have revised the abstract and introduction to improve clarity on the mapping from the classical EOM to the loop kernels.
read point-by-point responses
-
Referee: [Abstract] Abstract: the transition 'pick out the comb component, which will help us to define the loop kernels' is stated without an explicit projection operator, definition of the comb, or derivation demonstrating that the resulting kernels encode the correct loop-momentum dependence and reproduce, for example, the known one-loop planar Yang-Mills integrand up to total derivatives. This mapping is load-bearing for the recursion rules and the central claim that the procedure yields quantum loop integrands rather than tree-level structures.
Authors: We agree that the abstract is concise and benefits from additional detail on this central step. In the full manuscript, Section 2 defines the comb component via an explicit projection operator P_comb applied to the perturbative solution of the classical EOM; this operator isolates the planar color-ordered terms carrying the loop-momentum dependence. We have revised the abstract to include a brief reference to this projection. In Section 3 we derive the one-loop kernel explicitly from the comb component and verify by direct comparison that it reproduces the known planar Yang-Mills integrand (up to total derivatives) for the gluon case. This check is presented before the recursion rules are introduced, establishing that the kernels carry the correct quantum loop structure rather than tree-level information. The recursion is then applied to these verified kernels to generate higher-loop integrands. revision: yes
Circularity Check
Derivation chain begins from external classical EOM with independent construction of kernels and recursion
full rationale
The paper starts explicitly from the classical equation of motion as an external input, extracts a comb component to define loop kernels, applies recursion rules to those kernels, and arrives at a recursion formula for the ℓ-loop planar integrands. This structure is presented as systematic and generalizable even to non-Lagrangian theories. No equations or steps are shown reducing by construction to the target integrands themselves, no self-citation is load-bearing for a uniqueness claim, and no parameter is fitted to a subset then renamed as a prediction. The derivation therefore retains independent content and does not collapse to its own inputs.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption A comb component exists in the classical equation of motion that can be isolated to define loop kernels.
- domain assumption Recursion rules for the ℓ-loop kernels produce the correct planar integrands.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We start with the classical equation of motion and then pick out the comb component, which will help us to define the loop kernels. Then we construct the ℓ-loop integrands based on some recursion rules for the ℓ-loop kernels.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 2 Pith papers
-
The bi-adjoint scalar $\ell$-loop planar integrand recursion and graded inverse variables
A new formalism with graded inverse variables refines the ℓ-loop planar integrand recursion in bi-adjoint scalar theory, allowing graph factors and symmetry factors to be read directly from monomials.
-
Off-shell recursion for all-loop planar integrands in Yang-Mills theory
Yang-Mills planar loop integrands admit an off-shell recursion that organizes the pure-gluon sector into matrix form and incorporates ghost contributions, yielding a concrete two-loop strategy.
Reference graph
Works this paper leans on
-
[1]
Consider ordered cyclic set (b ℓ, aℓ,1,2,· · ·, m ℓ − 1, mℓ) and the cyclic permutation of (12· · ·m n), i.e. there arem ℓ sets in total. Note that due to the cyclic properties, (1,2,· · ·, m ℓ −1, m ℓ, aℓ, bℓ) is equivalent to (aℓ, bℓ,1,2· · ·(m ℓ −1)m ℓ)
-
[2]
There is only 1 case for a givenkand a given set
Then, fork-divisions, which means we divide a set intokparts, of each set, we set: i)b ℓ itself to be one part of thek-division, ii) For a part not involving aℓ, there can only be 1 element in the part, like (bℓ|aℓ,1|2|3). There is only 1 case for a givenkand a given set
-
[3]
Then replaceϕ aℓ|aℓ ϕbℓ|bℓ with 1/l2 ℓ and kaℓ =−k bℓ =l ℓ
Consider ak-way bare (ℓ−1)-loop kernel, re- placeϕ i|i of this kernel with the comb compo- nentϕ comb of each part of ak-division, just sim- ilar to (7). Then replaceϕ aℓ|aℓ ϕbℓ|bℓ with 1/l2 ℓ and kaℓ =−k bℓ =l ℓ. This replacement is equivalent to turning legsa ℓ andb ℓ into an internal line. Then add the corresponding graph factorgto each case. Since we ...
-
[4]
Finally we will obtain am ℓ-wayℓ-loop kernel from (ℓ−1)-loop kernelI kernel ℓ,mℓ
Sum over all possiblek-division and allk≥2, just like (8), and divide the results byℓto avoid over- counting. Finally we will obtain am ℓ-wayℓ-loop kernel from (ℓ−1)-loop kernelI kernel ℓ,mℓ . From this recursion, one will find thatℓ-loop kernels can- not be reduced to fewer loop diagrams by cutting a single propagator. It is important to explain the fact...
-
[5]
H. Elvang and Y.-t. Huang, (2013), arXiv:1308.1697 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[6]
Travaglini et al.,The SAGEX review on scattering amplitudes, J
G. Travagliniet al., J. Phys. A55, 443001 (2022), 7 arXiv:2203.13011 [hep-th]
- [7]
-
[8]
F. A. Berends and W. T. Giele, Nucl. Phys. B306, 759 (1988)
work page 1988
-
[9]
Perturbiner Methods for Effective Field Theories and the Double Copy
S. Mizera and B. Skrzypek, JHEP10, 018 (2018), arXiv:1809.02096 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[10]
H. Gomez and R. L. Jusinskas, Phys. Rev. Lett.127, 181603 (2021), arXiv:2106.12584 [hep-th]
-
[11]
C. Armstrong, H. Gomez, R. Lipinski Jusinskas, A. Lip- stein, and J. Mei, Phys. Rev. D106, L121701 (2022), arXiv:2209.02709 [hep-th]
-
[12]
P. Chattopadhyay and K. Krasnov, JHEP03, 191 (2022), arXiv:2110.00331 [hep-th]
-
[13]
P. Chattopadhyay and Y.-X. Tao, JHEP03, 100 (2024), arXiv:2401.02760 [hep-th]
- [14]
-
[15]
C. R. Mafra, O. Schlotterer, S. Stieberger, and D. Tsimpis, Phys. Rev. D83, 126012 (2011), arXiv:1012.3981 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[16]
C. R. Mafra and O. Schlotterer, JHEP03, 097 (2016), arXiv:1510.08846 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[17]
C. R. Mafra, JHEP07, 080 (2016), arXiv:1603.09731 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[18]
Tao, JHEP09, 193 (2023), arXiv:2307.14772 [hep- th]
Y.-X. Tao, JHEP09, 193 (2023), arXiv:2307.14772 [hep- th]
- [19]
- [20]
- [21]
- [22]
- [23]
-
[24]
C. Lopez-Arcos and A. Q. V´ elez, JHEP11, 010 (2019), arXiv:1907.12154 [hep-th]
- [25]
-
[26]
Lee, JHEP05, 051 (2022), arXiv:2202.08133 [hep-th]
K. Lee, JHEP05, 051 (2022), arXiv:2202.08133 [hep-th]
- [27]
-
[28]
N. Arkani-Hamed, Q. Cao, J. Dong, C. Figueiredo, and S. He, (2024), arXiv:2408.11891 [hep-th]
- [29]
-
[30]
K. G. Selivanov, Phys. Lett. B420, 274 (1998), arXiv:hep-th/9710197
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[31]
K. G. Selivanov, Commun. Math. Phys.208, 671 (2000), arXiv:hep-th/9809046
work page internal anchor Pith review Pith/arXiv arXiv 2000
- [32]
-
[33]
On form-factors in Sin(h)-Gordon theory
A. Rosly and K. Selivanov, Phys. Lett. B426, 334 (1998), arXiv:hep-th/9801044
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[34]
The bi-adjoint scalar $\ell$-loop planar integrand recursion and graded inverse variables
Y.-X. Tao, (2025), arXiv:2505.07077 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[35]
Q. Chen and Y.-X. Tao, JHEP08, 038 (2023), arXiv:2301.08043 [hep-th]
- [36]
-
[37]
S. Caron-Huot, JHEP05, 080 (2011), arXiv:1007.3224 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[38]
Generating Feynman Diagrams and Amplitudes with FeynArts 3
T. Hahn, Comput. Phys. Commun.140, 418 (2001), arXiv:hep-ph/0012260
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[39]
S. L. Lyakhovich and A. A. Sharapov, JHEP02, 007 (2006), arXiv:hep-th/0512119
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[40]
Unifying Relations for Scattering Amplitudes
C. Cheung, C.-H. Shen, and C. Wen, JHEP02, 095 (2018), arXiv:1705.03025 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2018
- [41]
-
[42]
Z. Bern, J. J. M. Carrasco, and H. Johansson, Phys. Rev. D78, 085011 (2008), arXiv:0805.3993 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[43]
Z. Bern, J. J. M. Carrasco, and H. Johansson, Phys. Rev. Lett.105, 061602 (2010), arXiv:1004.0476 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2010
- [44]
-
[45]
P. Mazloumi and S. Stieberger, JHEP10, 148 (2024), arXiv:2403.05208 [hep-th]. 8 Appendix A: The 2-loop kernel with more ways In this appendix, we will give the 3-way and 4-way 2-loop kernels in detail. Let us consider the 3-way 2-loop kernel first. We will write down the division we need to consider and the corresponding terms:
-
[46]
The 2-division case (b2|a2,1,2,3) + cyclic(1,2,3) (A1) I(2) 2,3 = ϕ1|1ϕ2|2ϕ3|3 l2 1(l1 −l 2)2l4 2(l2 +k 1)2(l2 +k 1 +k 2)2 + cyclic(k1, k2, k3) (A2)
-
[47]
The 3-division case (b2|a2,1,2|3) + cyclic(1,2,3) (A3) I(3) 2,3 = ϕ1|1ϕ2|2ϕ3|3 l2 1(l1 −l 2)2(l1 +k 1 +k 2)2l2 2(l2 +k 1 +k 2)2(l2 +k 1)2 + cyclic(k1, k2, k3) (A4)
-
[48]
The 4-division case (b2|a2,1|2|3) + cyclic(1,2,3) (A5) I(4) 2,3 = ϕ1|1ϕ2|2ϕ3|3 l2 1(l1 −l 2)2(l1 +k 1)2(l1 +k 1 +k 2)2l2 2(l2 +k 1)2 + cyclic(k1, k2, k3) (A6)
-
[49]
Then we turn to the 4-way 2-loop kernel
The 5-division case (b2|a2|1|2|3) + cyclic(1,2,3) (A7) I(5) 2,3 = ϕ1|1ϕ2|2ϕ3|3 l4 1(l1 −l 2)2(l1 +k 1)2(l1 +k 1 +k 2)2l2 2 + cyclic(k1, k2, k3) (A8) Then we have Ikernel 2,3 = 1 4 I(2) 2,3 + 1 2 I(3) 2,3 + 1 2 I(4) 2,3 + 1 4 I(5) 2,3 , (A9) where the extra factor of each term is the graph factor. Then we turn to the 4-way 2-loop kernel
-
[50]
The 2-division case (b2|a2,1,2,3,4) + cyclic(1234) (A10) I(2) 2,4 = ϕ1|1ϕ2|2ϕ3|3ϕ4|4 l2 1(l1 −l 2)2l4 2(l2 +k 1)2(l2 +k 1 +k 2)2(l2 +k 1 +k 2 +k 3)2 + cyclic(k1, k2, k3, k4) (A11)
-
[51]
The 3-division case (b2|a2,1,2,3|4) + cyclic(1,2,3,4) (A12) I(3) 2,4 = ϕ1|1ϕ2|2ϕ3|3ϕ4|4 l2 1(l1 −l 2)2(l1 +k 1 +k 2 +k 3)2l2 2(l2 +k 1)2(l2 +k 1 +k 2)2(l2 +k 1 +k 2 +k 3)2 + cyclic(k1, k2, k3, k4) (A13) 9
-
[52]
The 4-division case (b2|a2,1,2|3|4) + cyclic(1,2,3,4) (A14) I(4) 2,4 = ϕ1|1ϕ2|2ϕ3|3ϕ4|4 l2 1(l1 −l 2)2(l1 +k 1 +k 2)2(l1 +k 1 +k 2 +k 3)2l2 2(l2 +k 1)2(l2 +k 1 +k 2)2 + cyclic(k1, k2, k3, k4) (A15)
-
[53]
The 5-division case (b2|a2,1|2|3|4) + cyclic(1,2,3,4) (A16) I(5) 2,4 = ϕ1|1ϕ2|2ϕ3|3ϕ4|4 l2 1(l1 −l 2)2(l1 +k 1)2(l1 +k 1 +k 2)2(l1 +k 1 +k 2 +k 3)2l2 2(l2 +k 1)2 + cyclic(k1, k2, k3, k4) (A17)
-
[54]
The 6-division case (b2|a2|1|2|3|4) + cyclic(1,2,3,4) (A18) I(6) 2,4 = ϕ1|1ϕ2|2ϕ3|3ϕ4|4 l4 1(l1 −l 2)2(l1 +k 1)2(l1 +k 1 +k 2)2(l1 +k 1 +k 2 +k 3)2l2 2 + cyclic(k1, k2, k3, k4) (A19) Then we have Ikernel 2,4 = 1 4 I(2) 2,4 + 1 2 I(3) 2,4 + 1 2 I(4) 2,4 + 1 2 I(5) 2,4 + 1 4 I(6) 2,4 (A20) As an application, the 3-point 2-loop planar integrand can be expres...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.