REVIEW 3 major objections 3 minor 53 references
One quartic two-derivative vertex reproduces all planar nonlinear-sigma-model amplitudes, the paper argues.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-01 09:00 UTC pith:EHXZKVUN
load-bearing objection Genuinely new two-field quartic representation of planar NLSM amplitudes; tree-level proof has an unproven combinatorial core and the all-loop claim leans on the standard cut-constructibility assumption, but the construction is elegant and worth refereeing. the 3 major comments →
NLSM amplitudes from a quartic two-derivative theory
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper's central claim is Eq. (5): for even numbers of external legs, the planar NLSM tree amplitude Aπ_n is exactly equal to the QTDS tree amplitude Aψ_n computed with alternating polarities, and the all-loop NLSM integrand Iπ,(L)_n is equal to the QTDS integrand Iψ,(L)_n up to scaleless integrands. The auxiliary 'quartic two-derivative scalar' (QTDS) theory is defined by the Lagrangian L_QTDS = Tr(∂ψ+ ∂ψ−) + 2 Tr(∂ψ+ ψ− ∂ψ+ ψ−), whose only interaction is the quartic vertex V^(4)(ψ+1 ψ−2 ψ+3 ψ−4) = −2 k1·k3. The proof at tree level relies on matching the contact-term projection to the Catalan-counted minimal NLSM vertices via a 'fishpond' enumeration; at loop level it uses generalized un
What carries the argument
The load-bearing object is the quartic two-derivative vertex with numerator −2 k1·k3, together with the rule that adjacent external legs carry opposite 'polarity' labels ψ+ and ψ− and every propagator connects fields of opposite polarities. This single local rule packages the entire infinite tower of NLSM contact interactions. At tree level, the combinatorial bookkeeping of which planar variables survive in each diagram sums, via Catalan numbers, to exactly the minimal NLSM contact vertices; at loop level, generalized unitarity lifts the equality to integrands because every generalized cut decomposes into already-matching tree amplitudes. The same vertex makes soft limits local: soft legs mu
Load-bearing premise
At loop level, the proof assumes that two integrands agreeing on every generalized cut can differ only by scaleless terms that integrate to zero; the paper gives no guarantee that no cut-free but non-vanishing (e.g., evanescent or rational) terms exist.
What would settle it
Take the two-loop four-point planar integrand computed from the QTDS vertex and from the standard NLSM Lagrangian; if their difference—after all generalized cuts are checked—yields a nonzero integral in dimensional regularization rather than a scaleless term, the all-loop claim is false. A cheaper probe is to verify the Catalan contact-term identity at 10 points by comparing the fishpond coefficient of the QTDS tree with the known NLSM contact vertex V^(10)_π.
If this is right
- Planar NLSM amplitudes at any even multiplicity can be computed from a single quartic vertex, with far fewer diagrams than the cubic or even-valent expansions.
- The Adler zero and the leading double-soft factor are manifest on generalized cuts at all loop orders, although at two loops and beyond a given polarity assignment makes only half of the Adler zeros manifest; the flipped assignment makes the complementary half, with the two integrands differing only by scaleless terms.
- The tree-level leading single-soft coefficient reorganizes into a compact sum over mixed amplitudes, reproducing the known result.
- Mixed NLSM+φ3 amplitudes can be matched by a few local quartic ψ–φ vertices plus a penta-vertex for certain polarity patterns, but the construction is not yet a finite closed tower for all multiplicities, and the paper explicitly leaves that question open.
- The standard Feynman-diagram complexity of the NLSM is, if this claim holds, a choice of variables rather than an intrinsic feature of the physics.
Where Pith is reading between the lines
- The QTDS rewriting suggests that any effective field theory with enhanced soft behavior, such as the special Galileon (the double copy of two NLSMs), might admit an analogous minimal-valency auxiliary formulation; this is a conjecture we draw from the paper's closing outlook.
- The polarity doublet functions as a kind of bookkeeping for two different integrand representatives that are cut-equivalent; a direct two-loop explicit check of the cut-free difference would be the sharpest test of the loop-level claim, which the paper does not perform.
- The Catalan/fishpond enumeration is reminiscent of planar-algebra counting problems; if it fully captures the contact-term structure, it could yield a compact generating function for NLSM local vertices—an extension not pursued in the paper.
- A testable extension: apply the QTDS rules to subleading double-soft limits, where the same local vertex patterns should fix the first corrections; the paper does not address subleading soft behavior.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces QTDS, a local scalar theory of two auxiliary fields ψ+ and ψ− with a kinetic mixing term and a single quartic two-derivative interaction (Eqs. (3)–(4)). It claims that planar NLSM tree amplitudes for even n are exactly reproduced by QTDS Feynman rules, and that the loop integrands agree up to scaleless integrands (Eq. (5)). The proof in Appendix A proceeds in planar variables via a factorization induction and a Catalan count of “fishpond” contact configurations, then extends to all loops by generalized unitarity. Sections III and IV discuss a tentative extension to mixed NLSM+φ3 amplitudes and derive soft behaviors from the quartic rules.
Significance. If the central claim is correct, the paper is significant: it replaces the infinite tower of NLSM contact interactions with a single quartic two-derivative vertex, makes Adler zeros and double-soft factors manifest on generalized cuts, and offers a more efficient high-multiplicity diagrammatic expansion. The manuscript contains a concrete six-point check, a claimed 20-point computation, and a one-loop four-point example. However, the proof is currently incomplete: the fishpond counting is asserted rather than proved, and the generalized-unitarity step does not fully control cut-free ambiguities. These are technical gaps, not evidence against the result, but they must be closed before the paper can be accepted as a proof.
major comments (3)
- [Appendix A, Figs. 8–10 and Eqs. (A2)–(A3)] The fishpond counting is asserted rather than demonstrated. The text states that the counting follows the Catalan recursion, but the constraints that all fishes are oriented toward the cross and that no two adjacent fishes point in the same direction are not incorporated into the recursion shown in Fig. 10. A bijection between admissible fishpond configurations and standard Catalan objects is needed. This is load-bearing because Eq. (A3) must equal Eq. (A2) for the contact-term matching that completes the tree-level induction.
- [Appendix A, ‘Contact projection’] The reduction to “exactly n−2 selected vertices each contain one blue line” relies on two unproved claims: different vertices never share the same propagator variable, and no selected vertex contains more than one cancelling line. If a propagator variable can appear in the numerator of two adjacent vertices, the cancellation channels are non-unique and the fish/cross classification may miss contact contributions. These points must be proved for Eq. (A3) to follow.
- [Appendix A, ‘Loop-level’] The generalized-unitarity argument establishes equality on all generalized cuts, but the conclusion that the difference integrates to zero requires that every cut-free integrand is scaleless. The text only says that terms with no generalized cuts, “including scaleless integrands,” integrate to zero; it does not exclude cut-free non-scaleless terms such as evanescent or rational pieces. No explicit two-loop check is provided. Hence the all-loop part of Eq. (5) is not proven as it stands.
minor comments (3)
- [Sec. II and ancillary files] The claimed 20-point tree computation is mentioned but the ancillary Mathematica code and a checksum are not included in the manuscript. Please make the code available so that the high-multiplicity check is independently verifiable.
- [Eq. (13)] The notation A^ψ_n|_{k_a→k_a+τ p} shifts an external hard leg by a soft momentum, taking it off shell. Please clarify that this is a formal Taylor evaluation of the analytic amplitude, not a physical on-shell continuation.
- [Sec. III and Appendix B] The mixed-sector discussion shows that the naive quartic rules fail for some polarity patterns at n≥8 and require a penta-vertex (Eq. (8)). This does not contradict the pure-sector claim, but it underscores that the icon/adjacency constraints in Appendix A deserve a rigorous proof rather than inspection-based counting.
Circularity Check
No significant circularity: QTDS is fixed at four points and predicts higher multiplicities; self-citations are contextual.
full rationale
The central claim (5) is a matching-then-prediction construction, not a reduction of the prediction to its inputs. The purely quartic vertex (4) is determined by the four-point NLSM amplitude; the six-point amplitude (6) is then computed from the local Feynman rules and checked against NLSM, and the Appendix A induction extends this by comparing physical residues and matching the contact projection (A3) to the independent Catalan contact representation (A2) taken from [53]. This is not circular: (A2) is an external input, and (A3) is derived from the quartic diagrammatics. The all-loop argument is standard generalized unitarity: each cut factorizes into tree amplitudes whose equality has been established, and the cut-free remainder is assumed scaleless. That assumption, like the unproved fishpond/Catalan counting and the adjacent-icon constraint, is a proof gap rather than a circular step. Self-citations [29,30,38] appear only as contextual references (hidden zeros, shifted kinematics, planar variables) and do not carry the derivation; the Adler-zero uniqueness is cited to independent work [10-12,43,44]. The mixed-sector penta-vertex (8) is introduced explicitly after a failed prediction and is therefore not a fitted quantity renamed as a prediction.
Axiom & Free-Parameter Ledger
free parameters (3)
- quartic coupling g =
2
- mixed ψ–φ quartic vertex coefficients (five vertices) =
−2 k1·k3
- penta-vertex coefficient =
−1
axioms (5)
- domain assumption Planar NLSM tree amplitudes are uniquely fixed by the Adler zero, locality, and consistent factorization.
- domain assumption The n-point NLSM contact vertex has the Catalan form V(2n)_π = (−1)^n/2 Σ_k C_{k−1} C_{n−k−1} Σ_i X_{i,i+2k} (Eq. A2).
- domain assumption Equality of all generalized cuts implies equality of integrands up to cut-free, scaleless terms that integrate to zero in dimensional regularization.
- ad hoc to paper The contact projection of QTDS quartic trees is exhausted by the 'fishpond' configurations, and the number of valid fish distributions obeys the Catalan recursion.
- ad hoc to paper In a QTDS tree, different quartic vertices never carry the same propagator variable, so cancellation of n−2 propagators by numerator lines requires exactly n−2 selected vertices each containing one cancelling line.
invented entities (1)
-
Auxiliary scalar fields ψ+ and ψ− (and their 'polarity' labels)
no independent evidence
read the original abstract
We revisit the well-known nonlinear sigma model (NLSM), an effective field theory describing the scattering of $\mathrm{SU}(N)$ Goldstone bosons and characterized by an infinite tower of two-derivative interactions. We introduce a local scalar Lagrangian involving two scalar fields $\psi^\pm$ carrying opposite "polarities", whose interacting part consists of a single polynomial quartic two-derivative operator, and prove that it reproduces planar NLSM amplitudes at all loop orders. This quartic two-derivative formulation reveals a previously hidden simplicity of the NLSM: its Feynman rules involve only a single quartic interaction vertex, making the Adler zero and the leading double-soft factor manifest at all loop orders on generalized cuts and significantly improving the efficiency of high-multiplicity computations. We also suggest a possible analogous description of the NLSM +$ \phi^3 $ theory in terms of a finite tower of local interactions.
Figures
Reference graph
Works this paper leans on
-
[1]
S. R. Coleman, J. Wess, and B. Zumino, Phys. Rev.177, 2239 (1969). 6
1969
-
[2]
Callan, Curtis G., S
J. Callan, Curtis G., S. R. Coleman, J. Wess, and B. Zu- mino, Phys. Rev.177, 2247 (1969)
1969
-
[3]
K. Kampf, J. Novotny, and J. Trnka, JHEP05, 032 (2013), arXiv:1304.3048 [hep-th]
Pith/arXiv arXiv 2013
-
[4]
S. L. Adler, Phys. Rev.137, B1022 (1965)
1965
-
[5]
Susskind and G
L. Susskind and G. Frye, Phys. Rev. D1, 1682 (1970)
1970
- [6]
-
[7]
G. Chen and Y.-J. Du, JHEP01, 061 (2014), arXiv:1311.1133 [hep-th]
Pith/arXiv arXiv 2014
-
[8]
I. Low and Z. Yin, Phys. Rev. Lett.120, 061601 (2018), arXiv:1709.08639 [hep-th]
Pith/arXiv arXiv 2018
-
[9]
S. Mizera and B. Skrzypek, JHEP10, 018 (2018), arXiv:1809.02096 [hep-th]
Pith/arXiv arXiv 2018
-
[10]
C. Cheung, K. Kampf, J. Novotny, and J. Trnka, Phys. Rev. Lett.114, 221602 (2015), arXiv:1412.4095 [hep-th]
Pith/arXiv arXiv 2015
-
[11]
C. Cheung, K. Kampf, J. Novotny, C.-H. Shen, and J. Trnka, Phys. Rev. Lett.116, 041601 (2016), arXiv:1509.03309 [hep-th]
Pith/arXiv arXiv 2016
-
[12]
Rodina, JHEP09, 084 (2019), arXiv:1612.06342 [hep- th]
L. Rodina, JHEP09, 084 (2019), arXiv:1612.06342 [hep- th]
Pith/arXiv arXiv 2019
- [13]
-
[14]
Z. Bern, J. J. M. Carrasco, and H. Johansson, Phys. Rev. D78, 085011 (2008), arXiv:0805.3993 [hep-ph]
Pith/arXiv arXiv 2008
-
[15]
C. Cheung and C.-H. Shen, Phys. Rev. Lett.118, 121601 (2017), arXiv:1612.00868 [hep-th]
Pith/arXiv arXiv 2017
-
[16]
Y.-J. Du and C.-H. Fu, JHEP09, 174 (2016), arXiv:1606.05846 [hep-th]
Pith/arXiv arXiv 2016
-
[17]
A. Edison, J. Mangan, and N. H. Pavao, JHEP03, 163 (2024), arXiv:2309.16558 [hep-th]
Pith/arXiv arXiv 2024
-
[18]
Z. Bern, J. J. M. Carrasco, and H. Johansson, Phys. Rev. Lett.105, 061602 (2010), arXiv:1004.0476 [hep-th]
Pith/arXiv arXiv 2010
-
[19]
C. Cheung, G. N. Remmen, C.-H. Shen, and C. Wen, JHEP04, 129 (2018), arXiv:1709.04932 [hep-th]
Pith/arXiv arXiv 2018
-
[20]
C. Cheung, C.-H. Shen, and C. Wen, JHEP02, 095 (2018), arXiv:1705.03025 [hep-th]
Pith/arXiv arXiv 2018
-
[21]
C. Cheung, A. Helset, and J. Parra-Martinez, JHEP04, 011 (2022), arXiv:2111.03045 [hep-th]
Pith/arXiv arXiv 2022
-
[22]
C. Cheung, A. Helset, and J. Parra-Martinez, Phys. Rev. D106, 045016 (2022), arXiv:2202.06972 [hep-th]
Pith/arXiv arXiv 2022
-
[23]
T. Brauner, Y. Li, D. Roest, and T. Wang, JHEP12, 013 (2025), arXiv:2505.15199 [hep-th]
arXiv 2025
-
[24]
A. Helset, Phys. Rev. D110, L101701 (2024), arXiv:2406.10955 [hep-th]
Pith/arXiv arXiv 2024
-
[25]
J. J. M. Carrasco, C. R. Mafra, and O. Schlotterer, JHEP06, 093 (2017), arXiv:1608.02569 [hep-th]
Pith/arXiv arXiv 2017
-
[26]
F. Cachazo, S. He, and E. Y. Yuan, Phys. Rev. Lett. 113, 171601 (2014), arXiv:1307.2199 [hep-th]
Pith/arXiv arXiv 2014
-
[27]
F. Cachazo, S. He, and E. Y. Yuan, JHEP07, 033 (2014), arXiv:1309.0885 [hep-th]
Pith/arXiv arXiv 2014
-
[28]
F. Cachazo, S. He, and E. Y. Yuan, JHEP07, 149 (2015), arXiv:1412.3479 [hep-th]
Pith/arXiv arXiv 2015
-
[29]
N. Arkani-Hamed, Q. Cao, J. Dong, C. Figueiredo, and S. He, JHEP10, 231 (2024), arXiv:2312.16282 [hep-th]
Pith/arXiv arXiv 2024
-
[30]
N. Arkani-Hamed, Q. Cao, J. Dong, C. Figueiredo, and S. He, Phys. Rev. D110, 065018 (2024), arXiv:2401.05483 [hep-th]
Pith/arXiv arXiv 2024
-
[31]
F. Cachazo, S. He, and E. Y. Yuan, Phys. Rev. D92, 065030 (2015), arXiv:1503.04816 [hep-th]
Pith/arXiv arXiv 2015
- [32]
-
[33]
Z. Bern, L. J. Dixon, D. C. Dunbar, and D. A. Kosower, Nucl. Phys. B425, 217 (1994), arXiv:hep-ph/9403226
Pith/arXiv arXiv 1994
-
[34]
R. Britto, F. Cachazo, and B. Feng, Nucl. Phys. B725, 275 (2005), arXiv:hep-th/0412103
Pith/arXiv arXiv 2005
-
[35]
Z. Bern and Y.-t. Huang, J. Phys. A44, 454003 (2011), arXiv:1103.1869 [hep-th]
Pith/arXiv arXiv 2011
-
[36]
F.Cachazo, P.Cha, andS.Mizera,JHEP06,170(2016), arXiv:1604.03893 [hep-th]
Pith/arXiv arXiv 2016
-
[37]
N. Arkani-Hamed, Y. Bai, S. He, and G. Yan, JHEP05, 096 (2018), arXiv:1711.09102 [hep-th]
Pith/arXiv arXiv 2018
-
[38]
N. Arkani-Hamed, Q. Cao, J. Dong, C. Figueiredo, and S. He, Phys. Rev. Lett.134, 171601 (2025), arXiv:2408.11891 [hep-th]
Pith/arXiv arXiv 2025
-
[39]
J. J. M. Carrasco, C. R. Mafra, and O. Schlotterer, JHEP08, 135 (2017), arXiv:1612.06446 [hep-th]
Pith/arXiv arXiv 2017
- [40]
-
[41]
J. Dong, S. He, and L. Hou, Phys. Rev. D105, 105007 (2022), arXiv:2111.10525 [hep-th]
Pith/arXiv arXiv 2022
-
[42]
L. Rodina and Z. Yin, JHEP08, 096 (2021), arXiv:2102.08396 [hep-th]
Pith/arXiv arXiv 2021
-
[43]
N. Arkani-Hamed, L. Rodina, and J. Trnka, Phys. Rev. Lett.120, 231602 (2018), arXiv:1612.02797 [hep-th]
Pith/arXiv arXiv 2018
-
[44]
L. Rodina, Phys. Rev. Lett.122, 071601 (2019), arXiv:1807.09738 [hep-th]
Pith/arXiv arXiv 2019
-
[45]
J. Dong, X. Li, and F. Zhu, JHEP07, 149 (2024), arXiv:2404.11648 [hep-th]
Pith/arXiv arXiv 2024
-
[46]
C. Bartsch, K. Kampf, and J. Trnka, Phys. Rev. D106, 076008 (2022), arXiv:2206.04694 [hep-th]
Pith/arXiv arXiv 2022
-
[47]
C. Bartsch, K. Kampf, J. Novotny, and J. Trnka, Phys. Rev. D110, 045009 (2024), arXiv:2401.04731 [hep-th]
Pith/arXiv arXiv 2024
-
[48]
C. Bartsch, T. V. Brown, K. Kampf, U. Oktem, S. Paran- jape, and J. Trnka, Phys. Rev. D111, 045019 (2025), arXiv:2403.10594 [hep-th]
Pith/arXiv arXiv 2025
-
[49]
Y. Li, T. Wang, T. Brauner, and D. Roest, Phys. Rev. Lett.135, 181601 (2025), arXiv:2412.14858 [hep-th]
arXiv 2025
- [50]
-
[51]
N. Arkani-Hamed and C. Figueiredo, JHEP10, 077 (2025), arXiv:2405.09608 [hep-th]
Pith/arXiv arXiv 2025
-
[52]
J. Berean-Dutcher, M. Derda, and J. Parra-Martinez, JHEP03, 193 (2026), arXiv:2505.03566 [hep-th]
arXiv 2026
-
[53]
N. Arkani-Hamed and C. Figueiredo, JHEP09, 189 (2025), arXiv:2403.04826 [hep-th]. 7 Appendix A: Proof for equivalence between NLSM and QTDS amplitudes In this appendix we give the diagrammatic proof that the quartic QTDS rule reproduces the planar NLSM ampli- tudes. The tree-level proof is most transparent in planar variables. The key point is that factor...
Pith/arXiv arXiv 2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.