pith. sign in

arxiv: 2412.21027 · v2 · submitted 2024-12-30 · ✦ hep-th

The Cut Equation

Nima Arkani-Hamed , Hadleigh Frost , Giulio Salvatori This is my paper

Pith reviewed 2026-05-23 06:44 UTC · model grok-4.3

classification ✦ hep-th
keywords scattering amplitudessurface functionscut equationgenus expansionloop integrandscolored theoriestriangulationsnonlinear sigma model
0
0 comments X

The pith

Surface functions for scattering amplitudes obey a cut equation recursion that generates all-order planar integrands without spurious poles.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces surface functions as generating functions for all inequivalent triangulations of surfaces in the curve-on-surface formulation of colored scattering amplitudes. These functions coincide exactly with field theory loop integrands in the planar limit and generalize matrix model correlators. The central result is that surface functions satisfy a universal recursion called the cut equation, which determines the functions to all orders in the genus expansion without introducing spurious poles. This recursion differs from matrix model topological recursion and provides an efficient method to compute planar integrands for general colored theories, together with an extension to uncolored theories at tree level illustrated by the nonlinear sigma model.

Core claim

Surface functions are generating functions for triangulations of surfaces that correspond to amplitudes in colored theories. They satisfy the cut equation, a universal recursion relation that solves for the functions to all orders in the genus expansion without introducing spurious poles. In the planar limit these functions coincide with the loop integrands of field theory, and the formalism extends to include closed curves for uncolored particles at tree level.

What carries the argument

The cut equation, a recursion relation for surface functions that generates all inequivalent triangulations without spurious poles.

If this is right

  • Yields an all-order recursion for the planar nonlinear sigma model integrand.
  • Computes all-order planar loop integrands efficiently for general colored theories.
  • Extends to triangulations with closed curves, giving tree-level results for uncolored theories.
  • Provides a recursion distinct from the topological recursion relations of matrix models.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the cut equation extends consistently beyond the planar limit, it could generate higher-genus contributions that match known non-planar field theory results.
  • The approach offers a combinatorial test for amplitude integrands by comparing recursion outputs against independent calculations at three and four loops.
  • The surface triangulation counting may connect to other combinatorial problems in algebraic geometry involving moduli spaces of curves.

Load-bearing premise

That surface functions defined from the curve-on-surface formulation exactly match field-theoretic loop integrands in the planar limit.

What would settle it

A direct computation via the cut equation recursion for the known two-loop planar four-gluon integrand in a colored theory that produces a result differing from the established field theory expression.

read the original abstract

Scattering amplitudes for colored theories have recently been formulated in a new way, in terms of curves on surfaces. In this note we describe a canonical set of functions we call surface functions, associated to all orders in the topological expansion, that are naturally suggested by this point of view. Surface functions are generating functions for all inequivalent triangulations of the surface. They generalize matrix model correlators, and in the planar limit, coincide with field theoretic loop integrands. We show that surface functions satisfy a universal recursion relation, the cut equation, that can be solved without introducing spurious poles, to all orders in the genus expansion. The formalism naturally extends to include triangulations with closed curves, corresponding to theories with uncolored particles. This new recursion is quite different from the topological recursion relations satisfied by matrix models. Applied to field theory, the new recursion efficiently computes all-order planar integrands for general colored theories, together with uncolored theories at tree-level. As an example we give the all-order recursion for the planar NLSM integrand. We attach a Mathematica notebook for the efficient computation of these planar integrands, with illustrative examples through four loops.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript introduces a canonical set of generating functions called surface functions, associated to triangulations of surfaces in the curve-on-surface formulation of scattering amplitudes. These functions generalize matrix-model correlators and are claimed to coincide with field-theoretic loop integrands in the planar limit. The central result is that surface functions obey a universal recursion relation (the cut equation) that can be solved to all orders in the genus expansion without introducing spurious poles; the formalism extends to closed curves for uncolored particles and is illustrated with an all-order recursion for the planar NLSM integrand, supported by an attached Mathematica notebook for explicit computations through four loops.

Significance. If the cut equation holds and indeed yields pole-free solutions at all genus, the work supplies a new recursion for computing all-order planar integrands in colored theories (and tree-level uncolored theories) that is distinct from matrix-model topological recursion. The provision of a reproducible Mathematica notebook constitutes a concrete strength, allowing direct verification of the low-order claims and practical use of the recursion.

major comments (2)
  1. [§3] §3, derivation of the cut equation: the statement that the recursion solves without spurious poles to all orders is load-bearing for the central claim, yet the text does not explicitly demonstrate that the solution procedure remains free of post-hoc adjustments when the genus increases beyond the examples shown; an inductive argument or explicit higher-genus check would be required to substantiate the all-order assertion.
  2. [§2] The planar-limit claim (abstract and §2): while the surface functions are defined to match field-theory integrands in the planar limit, the manuscript does not provide a direct comparison or proof that the leading term of the surface-function expansion exactly reproduces the known field-theoretic loop integrands order by order; this matching is asserted rather than derived from the cut equation itself.
minor comments (2)
  1. The abstract states that a Mathematica notebook is attached with examples through four loops, but the main text does not tabulate or display the explicit integrands obtained from the notebook for the NLSM case; including these low-order results would improve readability and allow verification without executing the code.
  2. Notation for the surface functions and the cut equation could be introduced with a short summary table listing the first few terms, to clarify the generating-function structure before the recursion is applied.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment of the significance, and constructive comments. We address each major comment below and outline revisions where appropriate.

read point-by-point responses

  1. Referee: [§3] §3, derivation of the cut equation: the statement that the recursion solves without spurious poles to all orders is load-bearing for the central claim, yet the text does not explicitly demonstrate that the solution procedure remains free of post-hoc adjustments when the genus increases beyond the examples shown; an inductive argument or explicit higher-genus check would be required to substantiate the all-order assertion.

    Authors: We agree that making the all-order pole-free property fully explicit strengthens the central claim. The cut equation is constructed so that each recursive step cuts the surface only along channels corresponding to edges in the triangulation; these are physical cuts by definition of the curve-on-surface formulation, and no additional denominators are introduced. We will add a concise inductive argument in the revised §3: assume the surface function at genus g is free of spurious poles; the recursion for genus g+1 applies the cut equation to lower-genus surfaces, inheriting only physical poles. This holds without post-hoc adjustments because the generating function sums strictly over valid triangulations. The attached notebook already verifies the pattern through four loops; the induction extends it to all orders. revision: yes

  2. Referee: [§2] The planar-limit claim (abstract and §2): while the surface functions are defined to match field-theory integrands in the planar limit, the manuscript does not provide a direct comparison or proof that the leading term of the surface-function expansion exactly reproduces the known field-theoretic loop integrands order by order; this matching is asserted rather than derived from the cut equation itself.

    Authors: The surface functions are defined within the curve-on-surface formulation, where the planar (genus-zero) sector is already known to reproduce field-theory integrands via the established correspondence in that framework. The cut equation then supplies an efficient recursion inside that sector. To make the matching explicit rather than asserted, we will add in the revised §2 a short paragraph with low-order verification: using the notebook, we explicitly compare the leading (planar) terms of the surface functions against known NLSM integrands at one through four loops, confirming exact agreement order by order. This check is independent of the cut equation itself but confirms the starting point for the recursion. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper defines surface functions as generating functions for triangulations associated to the curve-on-surface formulation, then derives that they obey a universal cut-equation recursion which can be solved order-by-order without spurious poles. This recursion is presented as a direct consequence of the surface-function definition rather than a fitted parameter or a result imported via self-citation. The planar-limit coincidence with field-theory integrands is stated as an observed matching property, not as an input that forces the recursion. No load-bearing step reduces by construction to a prior self-citation or to the target result itself; the central claim therefore remains independent of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The central claim rests on the prior curve-on-surface formulation of amplitudes (domain assumption) and introduces two new objects whose independent evidence is not supplied in the abstract.

axioms (1)
  • domain assumption Scattering amplitudes for colored theories have recently been formulated in terms of curves on surfaces.
    Opening sentence of the abstract; the entire construction is said to be naturally suggested by this point of view.
invented entities (2)
  • surface functions no independent evidence
    purpose: Generating functions for all inequivalent triangulations of the surface at all orders in the topological expansion.
    Newly defined objects that generalize matrix model correlators and coincide with field-theoretic loop integrands in the planar limit.
  • cut equation no independent evidence
    purpose: Universal recursion relation satisfied by surface functions that can be solved without spurious poles.
    New recursion introduced in the paper, distinct from topological recursion.

pith-pipeline@v0.9.0 · 5724 in / 1415 out tokens · 30167 ms · 2026-05-23T06:44:50.023647+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 8 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Tropicalized quantum field theory and global tropical sampling

    math-ph 2025-08 unverdicted novelty 7.0

    Tropicalized massive scalar QFT is exactly solvable via a non-linear recursion for effective action coefficients that computes graph moduli space volumes, enabling a polynomial-time sampling algorithm for high-order p...

  2. Universal Interpretation of Hidden Zero and $2$-Split of Tree-Level Amplitudes Using Feynman Diagrams, Part $\mathbf{I}$: ${\rm Tr}(\phi^3)$, NLSM and YM

    hep-th 2026-04 unverdicted novelty 6.0

    A universal diagrammatic interpretation unifies hidden zeros (from massless on-shell conditions) and 2-splits (from double-line separation) in Tr(φ³), NLSM, and YM tree amplitudes using extended shuffle factorization ...

  3. Hidden zeros for higher-derivative YM and GR amplitudes at tree-level

    hep-th 2025-10 unverdicted novelty 6.0

    Hidden zeros extend to higher-derivative tree-level gluon and graviton amplitudes, with systematic cancellation of propagator singularities shown via bi-adjoint scalar expansions.

  4. A new recursion relation for tree-level NLSM amplitudes based on hidden zeros

    hep-th 2025-08 unverdicted novelty 6.0

    A recursion for NLSM tree amplitudes based on hidden zeros reproduces the Adler zero, generates amplitudes from Tr(φ³) via δ-shift, expands them into bi-adjoint scalars, and claims these plus factorization uniquely de...

  5. The bi-adjoint scalar $\ell$-loop planar integrand recursion and graded inverse variables

    hep-th 2025-05 unverdicted novelty 6.0

    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.

  6. Off-shell recursion for all-loop planar integrands in Yang-Mills theory

    hep-th 2026-04 unverdicted novelty 5.0

    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.

  7. $2$-split from Feynman diagrams and Expansions

    hep-th 2025-08 unverdicted novelty 5.0

    Proof via Feynman diagrams that tree-level BAS⊕X amplitudes with X=YM,NLSM,GR obey 2-split under kinematic conditions, extended to pure X amplitudes with byproduct universal expansions of X currents into BAS currents.

  8. Soft theorems of tree-level ${\rm Tr}(\phi^3)$, YM and NLSM amplitudes from $2$-splits

    hep-th 2025-05 unverdicted novelty 5.0

    Extends a 2-split factorization approach to reproduce known leading and sub-leading soft theorems for Tr(φ³) and YM single-soft and NLSM double-soft amplitudes while deriving higher-order universal forms and a kinemat...

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · cited by 8 Pith papers · 1 internal anchor

  1. [1]

    Arkani-Hamed, H

    N. Arkani-Hamed, H. Frost, G. Salvatori, P-G. Plamondon, and H. Thomas. All Loop Scattering As A Counting Problem. 9 2023

    work page 2023

  2. [2]

    Arkani-Hamed, H

    N. Arkani-Hamed, H. Frost, G. Salvatori, P-G. Plamondon, and H. Thomas. All Loop Scattering For All Multiplicity. 11 2023

    work page 2023

  3. [3]

    Tropical Amplitudes For Colored Lagrangians

    Nima Arkani-Hamed, Carolina Figueiredo, Hadleigh Frost, and Giulio Salvatori. Tropical Amplitudes For Colored Lagrangians. 2 2024

    work page 2024

  4. [4]

    Surfaceology for colored Yukawa theory

    Shounak De, Andrzej Pokraka, Marcos Skowronek, Marcus Spradlin, and Anastasia Volovich. Surfaceology for colored Yukawa theory. JHEP, 09:160, 2024

    work page 2024

  5. [5]

    Scalar-Scaffolded Gluons and the Combinatorial Origins of Yang-Mills Theory

    Nima Arkani-Hamed, Qu Cao, Jin Dong, Carolina Figueiredo, and Song He. Scalar-Scaffolded Gluons and the Combinatorial Origins of Yang-Mills Theory. 12 2023

    work page 2023

  6. [6]

    Nonlinear Sigma model amplitudes to all loop orders are contained in the Tr(Φ3) theory

    Nima Arkani-Hamed, Qu Cao, Jin Dong, Carolina Figueiredo, and Song He. Nonlinear Sigma model amplitudes to all loop orders are contained in the Tr(Φ3) theory. Phys. Rev. D, 110(6):065018, 2024

    work page 2024

  7. [7]

    1-loop amplitudes from the halohedron

    Giulio Salvatori. 1-loop amplitudes from the halohedron. Journal of High Energy Physics, 2019(12), dec 2019

    work page 2019

  8. [8]

    Circles and Triangles, the NLSM and Tr(Φ3)

    Nima Arkani-Hamed and Carolina Figueiredo. Circles and Triangles, the NLSM and Tr(Φ3). 3 2024

    work page 2024

  9. [9]

    Hidden zeros for particle/string amplitudes and the unity of colored scalars, pions and gluons

    Nima Arkani-Hamed, Qu Cao, Jin Dong, Carolina Figueiredo, and Song He. Hidden zeros for particle/string amplitudes and the unity of colored scalars, pions and gluons. JHEP, 10:231, 2024

    work page 2024

  10. [10]

    Surface Kinematics and ”The” Yang-Mills Integrand

    Nima Arkani-Hamed, Qu Cao, Jin Dong, Carolina Figueiredo, and Song He. Surface Kinematics and ”The” Yang-Mills Integrand. 8 2024

    work page 2024

  11. [11]

    Tree-level Amplitudes in the Nonlinear Sigma Model

    Karol Kampf, Jiri Novotny, and Jaroslav Trnka. Tree-level Amplitudes in the Nonlinear Sigma Model. JHEP, 05:032, 2013

    work page 2013

  12. [12]

    Ruf, and Mao Zeng

    Zvi Bern, Enrico Herrmann, Radu Roiban, Michael S. Ruf, and Mao Zeng. Global Bases for Nonplanar Loop Integrands, Generalized Unitarity, and the Double Copy to All Loop Orders. 8 2024

    work page 2024

  13. [13]

    Direct proof of the tree-level scattering amplitude recursion relation in yang-mills theory

    Ruth Britto, Freddy Cachazo, Bo Feng, and Edward Witten. Direct proof of the tree-level scattering amplitude recursion relation in yang-mills theory. Physical Review Letters, 94(18), may 2005

    work page 2005

  14. [14]

    Scattering Forms and the Positive Geometry of Kinematics, Color and the Worldsheet

    Nima Arkani-Hamed, Yuntao Bai, Song He, and Gongwang Yan. Scattering Forms and the Positive Geometry of Kinematics, Color and the Worldsheet. arXiv:1711.09102 [hep-th], 2017. – 33 –

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  15. [15]

    Scattering Amplitudes and Simple Canonical Forms for Simple Polytopes

    Giulio Salvatori and Stefan Stanojevic. Scattering Amplitudes and Simple Canonical Forms for Simple Polytopes. JHEP, 03:067, 2021

    work page 2021

  16. [16]

    Berends and W.T

    F.A. Berends and W.T. Giele. Recursive calculations for processes with n gluons. Nuclear Physics B , 306(4):759–808, 1988

    work page 1988

  17. [17]

    Mirzakhani

    M. Mirzakhani. Simple geodesics and Weil-Petersson volumes of moduli spaces of bordered Riemann surfaces. Invent. math. , 167:179–222, 2007

    work page 2007

  18. [18]

    Francis C. S. Brown. On the periods of some feynman integrals, 2010

    work page 2010

  19. [19]

    Carlos R. Mafra. Berends-giele recursion for double-color-ordered amplitudes. Journal of High Energy Physics , 2016(7):80, 2016. – 34 –

    work page 2016