pith. machine review for the scientific record. sign in

arxiv: 2511.05441 · v2 · submitted 2025-11-07 · ✦ hep-ph · hep-th

D-Dimensional Modular Assembly of Higher-Derivative Four-Point Contact Amplitudes Involving Fermions

John Joseph M. Carrasco , Sai Sasank Chava , Alex Edison , Aslan Seifi This is my paper

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

classification ✦ hep-ph hep-th
keywords higher-derivative amplitudesfour-point contact termsD-dimensional amplitudesgauge-invariant blocksdouble-copy constructionfermion scatteringmodular assemblyeffective field theory operators
0
0 comments X

The pith

A modular framework assembles D-dimensional higher-derivative four-point contact amplitudes with fermions from gauge-invariant blocks and symmetry filters.

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

The paper introduces a systematic LEGO-like method to construct these amplitudes directly in any number of dimensions. It combines manifestly gauge-invariant kinematic blocks with color factors and permutation-invariant scalar polynomials, then applies Bose and Fermi symmetries algebraically to filter valid combinations. This approach scales to arbitrary derivative order without combinatorial blowup and incorporates evanescent operators needed for consistent loop calculations. A reader would care because the method also stays compatible with the double-copy relation, letting the same blocks generate related amplitudes in gravity and other theories.

Core claim

The central claim is that four-point higher-derivative contact amplitudes involving fermions in D dimensions can be built from manifestly gauge-invariant kinematic blocks, color-weight factors, and scalar Mandelstam polynomials, with algebraic imposition of Bose/Fermi symmetries serving as filters on compatible combinations. This modular construction operates entirely in D dimensions, includes evanescent operators for loop consistency, and scales to arbitrary mass dimension through permutation-invariant polynomials while remaining compatible with double-copy constructions for gravity and other theories.

What carries the argument

The modular assembly from manifestly gauge-invariant kinematic blocks combined with permutation-invariant scalar polynomials, filtered algebraically by Bose and Fermi symmetries.

If this is right

  • Amplitudes can be generated for arbitrary mass dimension in a controlled manner without combinatorial explosion.
  • Evanescent operators are included automatically, supporting consistent loop-level calculations in D dimensions.
  • The same blocks produce operator towers for gauge theories, gravity, and other theories linked by the double-copy relation.

Where Pith is reading between the lines

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

  • The construction may reduce the effort needed to enumerate higher-order terms in effective field theory Lagrangians.
  • Similar modular filtering could be tested on five-point or higher amplitudes to check scalability.
  • The D-dimensional completeness might help identify which operators survive dimensional regularization in loop calculations.

Load-bearing premise

The selected gauge-invariant kinematic blocks together with the permutation-invariant scalar polynomials are complete enough that algebraic symmetry filters can produce every physically relevant amplitude without omissions or inconsistencies in D dimensions.

What would settle it

Explicitly computing the generated amplitude for a known higher-derivative four-fermion contact operator in four dimensions and comparing it term-by-term to an independent calculation performed by other methods.

read the original abstract

We present a novel robust framework for systematically constructing $D$-dimensional four-point higher-derivative contact amplitudes. Our modular block ("LEGO"-like) approach builds amplitudes directly from manifestly gauge-invariant kinematic blocks, color-weight factors, and scalar Mandelstam polynomials. Symmetries (Bose/Fermi) are imposed algebraically, acting as filters on combinations of compatible pieces. This framework operates entirely in $D$ dimensions, naturally incorporating evanescent operators crucial for loop-level consistency. Scaling to arbitrary mass dimension is achieved in a highly controlled manner using permutation-invariant scalar polynomials, avoiding combinatorial explosion. A key feature is its manifest compatibility with the double-copy program, allowing the systematic generation of operator towers not only for gauge theories but also for gravity and other theories within the double-copy web.

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 / 1 minor

Summary. The paper presents a modular 'LEGO'-like framework for systematically constructing D-dimensional four-point higher-derivative contact amplitudes involving fermions. Amplitudes are assembled from manifestly gauge-invariant kinematic blocks, color-weight factors, and scalar Mandelstam polynomials, with Bose/Fermi symmetries imposed algebraically as filters. The method operates entirely in D dimensions to incorporate evanescent operators, scales to arbitrary mass dimension via permutation-invariant polynomials, and maintains compatibility with the double-copy program for gauge theories and gravity.

Significance. If the kinematic blocks are shown to be complete and the algebraic filtering produces all relevant structures without omissions or D-dependent inconsistencies, the framework would offer a controlled, systematic tool for building higher-derivative EFT operators. This could aid loop-level consistency checks and double-copy constructions, reducing combinatorial complexity compared to traditional operator bases.

major comments (2)
  1. [Abstract and framework description] The central claim that the chosen manifestly gauge-invariant kinematic blocks, combined with permutation-invariant scalar polynomials and algebraic symmetry filters, generate the complete space of D-dimensional four-point fermionic contact amplitudes (including evanescent structures) is not supported by any explicit construction, dimension counting against the EFT operator basis, or verification examples. This completeness is load-bearing for the robustness and 'no omissions' assertions but is only asserted rather than demonstrated.
  2. [Section on kinematic blocks] No explicit check is provided that the blocks remain complete and free of D-dependent inconsistencies when fermion bilinears and higher-derivative insertions are included; a concrete example at mass dimension 6 or 8, matched to known bases, would be required to substantiate the claim.
minor comments (1)
  1. [Abstract] The abstract would benefit from one concrete low-dimension example of an assembled amplitude to illustrate the modular construction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments. We address the major points below and have revised the manuscript to strengthen the presentation with explicit verifications.

read point-by-point responses

  1. Referee: [Abstract and framework description] The central claim that the chosen manifestly gauge-invariant kinematic blocks, combined with permutation-invariant scalar polynomials and algebraic symmetry filters, generate the complete space of D-dimensional four-point fermionic contact amplitudes (including evanescent structures) is not supported by any explicit construction, dimension counting against the EFT operator basis, or verification examples. This completeness is load-bearing for the robustness and 'no omissions' assertions but is only asserted rather than demonstrated.

    Authors: We thank the referee for this observation. The modular construction is built from a complete set of manifestly gauge-invariant blocks by enumerating all independent fermion bilinears and derivative insertions compatible with the little-group structure in D dimensions, with permutation-invariant polynomials ensuring all scalar structures are generated. To make this explicit, the revised manuscript now includes a dedicated subsection with dimension counting against the standard EFT operator basis at mass dimension 6 and 8, together with an explicit construction showing that the algebraic filters produce all independent amplitudes without omissions, including evanescent operators. revision: yes

  2. Referee: [Section on kinematic blocks] No explicit check is provided that the blocks remain complete and free of D-dependent inconsistencies when fermion bilinears and higher-derivative insertions are included; a concrete example at mass dimension 6 or 8, matched to known bases, would be required to substantiate the claim.

    Authors: We agree that an explicit check is valuable. The revised manuscript now contains a concrete worked example at mass dimension 8 for a four-fermion higher-derivative contact term. We assemble the amplitude from the kinematic blocks, apply the symmetry filters, and match the resulting independent structures to the known D-dimensional operator basis in the literature. This verification confirms both completeness and the absence of D-dependent inconsistencies or spurious structures introduced by the blocks or filters. revision: yes

Circularity Check

0 steps flagged

No circularity: modular construction from independent gauge-invariant blocks

full rationale

The paper presents a framework that assembles four-point higher-derivative contact amplitudes directly from manifestly gauge-invariant kinematic blocks, color-weight factors, and scalar Mandelstam polynomials, with Bose/Fermi symmetries imposed algebraically as filters. No load-bearing step reduces the claimed completeness or construction to a self-definition, a fitted input relabeled as prediction, or a self-citation chain whose justification loops back to the present work. The derivation is described as operating in arbitrary D dimensions from these external building blocks, rendering it self-contained against the stated inputs rather than tautological.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence of complete sets of manifestly gauge-invariant kinematic blocks and the ability to impose symmetries algebraically without loss of physical content.

axioms (2)
  • domain assumption Manifestly gauge-invariant kinematic blocks exist that can serve as modular building pieces for any D.
    Invoked directly in the description of the LEGO-like construction.
  • domain assumption Bose and Fermi symmetries can be imposed algebraically as filters on combinations of blocks and polynomials.
    Stated as a key operational feature of the framework.

pith-pipeline@v0.9.0 · 5447 in / 1259 out tokens · 36092 ms · 2026-05-17T23:44:19.219839+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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.

Reference graph

Works this paper leans on

54 extracted references · 54 canonical work pages · 19 internal anchors

  1. [1]

    Extending the Standard Model Effective Field Theory with the Complete Set of Dimension-7 Operators

    L. Lehman,Extending the Standard Model Effective Field Theory with the Complete Set of Dimension-7 Operators,Phys. Rev. D90(2014) 125023 [1410.4193]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  2. [2]

    Low-derivative operators of the Standard Model effective field theory via Hilbert series methods

    L. Lehman and A. Martin,Low-derivative operators of the Standard Model effective field theory via Hilbert series methods,JHEP02(2016) 081 [1510.00372]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  3. [3]

    Liao and X.-D

    Y. Liao and X.-D. Ma,An explicit construction of the dimension-9 operator basis in the standard model effective field theory,JHEP11(2020) 152 [2007.08125]

    work page arXiv 2020

  4. [4]

    H.-L. Li, Z. Ren, M.-L. Xiao, J.-H. Yu and Y.-H. Zheng,Complete set of dimension-nine operators in the standard model effective field theory,Phys. Rev. D104(2021) 015025 [2007.07899]

    work page arXiv 2021

  5. [5]

    H.-L. Li, Z. Ren, J. Shu, M.-L. Xiao, J.-H. Yu and Y.-H. Zheng,Complete set of dimension-eight operators in the standard model effective field theory,Phys. Rev. D104 (2021) 015026 [2005.00008]

    work page arXiv 2021

  6. [6]

    T. Ma, J. Shu and M.-L. Xiao,Standard model effective field theory from on-shell amplitudes*,Chin. Phys. C47(2023) 023105 [1902.06752]

    work page arXiv 2023

  7. [7]

    Murphy,Dimension-8 operators in the Standard Model Eective Field Theory,JHEP10 (2020) 174 [2005.00059]

    C.W. Murphy,Dimension-8 operators in the Standard Model Eective Field Theory,JHEP10 (2020) 174 [2005.00059]

    work page arXiv 2020

  8. [8]

    Christensen and B

    N. Christensen and B. Field,Constructive standard model,Phys. Rev. D98(2018) 016014 [1802.00448]

    work page arXiv 2018

  9. [9]

    Two-Loop Renormalization of Quantum Gravity Simplified

    Z. Bern, H.-H. Chi, L. Dixon and A. Edison,Two-Loop Renormalization of Quantum Gravity Simplified,Phys. Rev. D95(2017) 046013 [1701.02422]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  10. [10]

    Z. Bern, A. Edison, D. Kosower and J. Parra-Martinez,Curvature-squared multiplets, evanescent effects, and the U(1) anomaly inN= 4supergravity,Phys. Rev. D96(2017) 066004 [1706.01486]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  11. [11]

    Z. Bern, J. Parra-Martinez and R. Roiban,Canceling the U(1) Anomaly in theSMatrix of N=4 Supergravity,Phys. Rev. Lett.121(2018) 101604 [1712.03928]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  12. [12]

    Z. Bern, D. Kosower and J. Parra-Martinez,Two-loop n-point anomalous amplitudes in N=4 supergravity,Proc. Roy. Soc. Lond. A476(2020) 20190722 [1905.05151]

    work page arXiv 2020

  13. [13]

    Kawai, D.C

    H. Kawai, D.C. Lewellen and S.H.H. Tye,A Relation Between Tree Amplitudes of Closed and Open Strings,Nucl. Phys. B269(1986) 1

    work page 1986

  14. [14]

    New Relations for Gauge-Theory Amplitudes

    Z. Bern, J.J.M. Carrasco and H. Johansson,New Relations for Gauge-Theory Amplitudes, Phys. Rev. D78(2008) 085011 [0805.3993]

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  15. [15]

    Perturbative Quantum Gravity as a Double Copy of Gauge Theory

    Z. Bern, J.J.M. Carrasco and H. Johansson,Perturbative Quantum Gravity as a Double Copy of Gauge Theory,Phys. Rev. Lett.105(2010) 061602 [1004.0476]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  16. [16]

    Scattering of Massless Particles: Scalars, Gluons and Gravitons

    F. Cachazo, S. He and E.Y. Yuan,Scattering of Massless Particles: Scalars, Gluons and Gravitons,JHEP07(2014) 033 [1309.0885]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  17. [17]

    Scattering of Massless Particles in Arbitrary Dimension

    F. Cachazo, S. He and E.Y. Yuan,Scattering of Massless Particles in Arbitrary Dimensions, Phys. Rev. Lett.113(2014) 171601 [1307.2199]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  18. [18]

    Bern, J.J

    Z. Bern, J.J. Carrasco, M. Chiodaroli, H. Johansson and R. Roiban,The Duality Between Color and Kinematics and its Applications,1909.01358. – 34 –

    work page arXiv 1909

  19. [19]

    Alioli et al.,Theoretical developments in the SMEFT at dimension-8 and beyond, in Snowmass 2021, 3, 2022 [2203.06771]

    S. Alioli et al.,Theoretical developments in the SMEFT at dimension-8 and beyond, in Snowmass 2021, 3, 2022 [2203.06771]

    work page arXiv 2021

  20. [20]

    Operator bases, $S$-matrices, and their partition functions

    B. Henning, X. Lu, T. Melia and H. Murayama,Operator bases,S-matrices, and their partition functions,JHEP10(2017) 199 [1706.08520]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  21. [21]

    C. Hays, A. Martin, V. Sanz and J. Setford,On the impact of dimension-eight SMEFT operators on Higgs measurements,JHEP02(2019) 123 [1808.00442]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  22. [22]

    Conformal-helicity duality & the Hilbert space of free CFTs

    B. Henning and T. Melia,Conformal-helicity duality\& the Hilbert space of free CFTs, 1902.06747

    work page internal anchor Pith review Pith/arXiv arXiv 1902

  23. [23]

    Henning and T

    B. Henning and T. Melia,Constructing effective field theories via their harmonics,Phys. Rev. D100(2019) 016015 [1902.06754]

    work page arXiv 2019

  24. [24]

    Arkani-Hamed, T.-C

    N. Arkani-Hamed, T.-C. Huang and Y.-t. Huang,Scattering amplitudes for all masses and spins,JHEP11(2021) 070 [1709.04891]

    work page arXiv 2021

  25. [25]

    Durieux, T

    G. Durieux, T. Kitahara, C.S. Machado, Y. Shadmi and Y. Weiss,Constructing massive on-shell contact terms,JHEP12(2020) 175 [2008.09652]

    work page arXiv 2020

  26. [26]

    H.-L. Li, J. Shu, M.-L. Xiao and J.-H. Yu,Depicting the Landscape of Generic Effective Field Theories,2012.11615

    work page arXiv 2012

  27. [27]

    H.-L. Li, Z. Ren, M.-L. Xiao, J.-H. Yu and Y.-H. Zheng,Operators for generic effective field theory at any dimension: on-shell amplitude basis construction,JHEP04(2022) 140 [2201.04639]

    work page arXiv 2022

  28. [28]

    Harlander, T

    R.V. Harlander, T. Kempkens and M.C. Schaaf,Standard model effective field theory up to mass dimension 12,Phys. Rev. D108(2023) 055020 [2305.06832]

    work page arXiv 2023

  29. [29]

    Harlander and M.C

    R.V. Harlander and M.C. Schaaf,AutoEFT: Automated operator construction for effective field theories,Comput. Phys. Commun.300(2024) 109198 [2309.15783]

    work page arXiv 2024

  30. [30]

    Carrasco, L

    J.J.M. Carrasco, L. Rodina, Z. Yin and S. Zekioglu,Simple encoding of higher derivative gauge and gravity counterterms,Phys. Rev. Lett.125(2020) 251602 [1910.12850]

    work page arXiv 2020

  31. [31]

    Carrasco, L

    J.J.M. Carrasco, L. Rodina and S. Zekioglu,Composing effective prediction at five points, JHEP06(2021) 169 [2104.08370]

    work page arXiv 2021

  32. [32]

    Carrasco, M

    J.J.M. Carrasco, M. Lewandowski and N.H. Pavao,Color-Dual Fates of F3, R3, and N=4 Supergravity,Phys. Rev. Lett.131(2023) 051601 [2203.03592]

    work page arXiv 2023

  33. [33]

    Carrasco and N.H

    J.J.M. Carrasco and N.H. Pavao,Virtues of a symmetric-structure double copy,Phys. Rev. D 107(2023) 065005 [2211.04431]

    work page arXiv 2023

  34. [34]

    Carrasco and N.H

    J.J.M. Carrasco and N.H. Pavao,UV massive resonance from IR double copy consistency, Phys. Rev. D109(2024) 065006 [2310.06316]

    work page arXiv 2024

  35. [35]

    Carrasco and A

    J.J.M. Carrasco and A. Seifi,Loop-level double-copy for massive fermions in the fundamental,JHEP05(2023) 217 [2302.14861]

    work page arXiv 2023

  36. [36]

    Sturmfels,Algorithms in invariant theory, Springer (2008)

    B. Sturmfels,Algorithms in invariant theory, Springer (2008)

    work page 2008

  37. [37]

    Algebras for Amplitudes

    N.E.J. Bjerrum-Bohr, P.H. Damgaard, R. Monteiro and D. O’Connell,Algebras for Amplitudes,JHEP06(2012) 061 [1203.0944]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  38. [38]

    Abelian Z-theory: NLSM amplitudes and alpha'-corrections from the open string

    J.J.M. Carrasco, C.R. Mafra and O. Schlotterer,Abelian Z-theory: NLSM amplitudes and α’-corrections from the open string,JHEP06(2017) 093 [1608.02569]. – 35 –

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  39. [39]

    Non-abelian $Z$-theory: Berends-Giele recursion for the $\alpha'$-expansion of disk integrals

    C.R. Mafra and O. Schlotterer,Non-abelianZ-theory: Berends-Giele recursion for the α′-expansion of disk integrals,JHEP01(2017) 031 [1609.07078]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  40. [40]

    Semi-abelian Z-theory: NLSM+phi^3 from the open string

    J.J.M. Carrasco, C.R. Mafra and O. Schlotterer,Semi-abelian Z-theory: NLSM+ϕ 3 from the open string,JHEP08(2017) 135 [1612.06446]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  41. [41]

    Simmons,Higher-dimension gluon operators and hadronic scattering,Physics Letters B 246(1990) 471

    E. Simmons,Higher-dimension gluon operators and hadronic scattering,Physics Letters B 246(1990) 471

    work page 1990

  42. [42]

    Edison and F

    A. Edison and F. Teng,Efficient Calculation of Crossing Symmetric BCJ Tree Numerators, JHEP12(2020) 138 [2005.03638]

    work page arXiv 2020

  43. [43]

    All order alpha'-expansion of superstring trees from the Drinfeld associator

    J. Broedel, O. Schlotterer, S. Stieberger and T. Terasoma,All orderα ′-expansion of superstring trees from the Drinfeld associator,Phys. Rev. D89(2014) 066014 [1304.7304]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  44. [44]

    Edison, M

    A. Edison, M. Guillen, H. Johansson, O. Schlotterer and F. Teng,One-loop matrix elements of effective superstring interactions:α’-expanding loop integrands,JHEP12(2021) 007 [2107.08009]

    work page arXiv 2021

  45. [45]

    Jenkins, A.V

    E.E. Jenkins, A.V. Manohar and P. Stoffer,Low-Energy Effective Field Theory below the Electroweak Scale: Operators and Matching,JHEP03(2018) 016 [1709.04486]

    work page arXiv 2018

  46. [46]

    Liao, X.-D

    Y. Liao, X.-D. Ma and Q.-Y. Wang,Extending low energy effective field theory with a complete set of dimension-7 operators,JHEP08(2020) 162 [2005.08013]

    work page arXiv 2020

  47. [47]

    Alioli, R

    S. Alioli, R. Boughezal, E. Mereghetti and F. Petriello,Novel angular dependence in Drell-Yan lepton production via dimension-8 operators,Phys. Lett. B809(2020) 135703 [2003.11615]

    work page arXiv 2020

  48. [48]

    Murphy,Low-Energy Effective Field Theory below the Electroweak Scale: Dimension-8 Operators,JHEP04(2021) 101 [2012.13291]

    C.W. Murphy,Low-Energy Effective Field Theory below the Electroweak Scale: Dimension-8 Operators,JHEP04(2021) 101 [2012.13291]

    work page arXiv 2021

  49. [49]

    Green, J.H

    M.B. Green, J.H. Schwarz and L. Brink,Superfield Theory of Type II Superstrings,Nucl. Phys. B219(1983) 437

    work page 1983

  50. [50]

    Veneziano,Construction of a crossing - symmetric, Regge behaved amplitude for linearly rising trajectories,Nuovo Cim

    G. Veneziano,Construction of a crossing - symmetric, Regge behaved amplitude for linearly rising trajectories,Nuovo Cim. A57(1968) 190

    work page 1968

  51. [51]

    The effective action for the 4-point functions in abelian open superstring theory

    M. de Roo and M.G.C. Eenink,The Effective action for the four point functions in Abelian open superstring theory,JHEP08(2003) 036 [hep-th/0307211]

    work page internal anchor Pith review Pith/arXiv arXiv 2003

  52. [52]

    Carrasco and S

    J.J.M. Carrasco and S. Zekioglu,The double copy effective action: a quantum (chromodynamics) approach to space-time,2511.01799

    work page arXiv

  53. [53]

    Calculating Scattering Amplitudes Efficiently

    L.J. Dixon,Calculating scattering amplitudes efficiently, inTheoretical Advanced Study Institute in Elementary Particle Physics (TASI 95): QCD and Beyond, pp. 539–584, 1, 1996 [hep-ph/9601359]

    work page internal anchor Pith review Pith/arXiv arXiv 1996

  54. [54]

    Gelis,Quantum Field Theory, Cambridge University Press (7, 2019)

    F. Gelis,Quantum Field Theory, Cambridge University Press (7, 2019). – 36 –

    work page 2019