pith. machine review for the scientific record. sign in

arxiv: 2605.12057 · v1 · submitted 2026-05-12 · ✦ hep-ph

Recognition: 2 theorem links

· Lean Theorem

Explicit Conditions for Diagnosing Tree-Level Unitarity

Jaehoon Jeong, Pyungwon Ko, Yu-Hui Zheng

Authors on Pith no claims yet

Pith reviewed 2026-05-13 05:11 UTC · model grok-4.3

classification ✦ hep-ph
keywords tree unitaritycoupling conditionshigh-energy amplitudesdark photonStückelberg formulationon-shell constructibilitymass basisdark matter
0
0 comments X

The pith

Tree-level unitarity conditions for finite spin-≤1 particle theories are completely captured by amplitudes through five points.

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

This paper derives explicit conditions on couplings that ensure tree-level unitarity in any theory with a finite set of particles having spin no higher than 1. These conditions depend only on the particle content and masses in the mass basis, so one can check consistency without writing down the entire Lagrangian. The authors prove that conditions from four-point amplitudes plus those from five-point amplitudes cover all requirements, with no independent constraints appearing at higher multiplicity. A reader should care because this provides a practical diagnostic for building consistent models of new physics, such as those involving dark photons or other massive vectors.

Core claim

In theories with only finitely many massive and massless particles of spin at most one, the tree unitarity conditions are all captured by the high-energy behavior of amplitudes up to five points. After imposing the conditions that cancel bad growth in four-point amplitudes, the Stückelberg formulation is used to generate the conditions from higher-point amplitudes, revealing that five-point amplitudes introduce the last independent constraints. This allows tree unitarity to be diagnosed directly from the spectrum without reconstructing the full Lagrangian.

What carries the argument

The explicit set of coupling conditions extracted from the high-energy limits of four- and five-point scattering amplitudes, derived via on-shell constructibility and the Stückelberg formalism.

If this is right

  • All four-point amplitudes with canceled high-energy growth become on-shell constructible.
  • No additional tree unitarity conditions arise from amplitudes with six or more external legs.
  • Application to the dark sector yields necessary features for generating masses of a massive dark photon.
  • Theories without scalars require an infinite tower of vector and fermion fields to maintain tree unitarity.

Where Pith is reading between the lines

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

  • The diagnostic method could streamline consistency checks for effective field theories that include particles beyond spin 1.
  • It suggests that unitarity constraints alone force infinite particle content in scalar-free theories, pointing to specific requirements for any UV completion.
  • Collider signals involving dark photons or dark matter may be further restricted by the derived coupling relations.

Load-bearing premise

The theory has only a finite number of particles with spins at most one and is formulated in the mass basis, with high-energy growth required to cancel order by order in the amplitude.

What would settle it

Finding a specific Lagrangian with finite spin ≤1 particles that satisfies all derived conditions up to five points but exhibits uncanceled growth in some six-point or higher amplitude.

read the original abstract

We explicitly present all coupling conditions required for tree-level unitarity (tree unitarity) in theories with a finite number of massive and massless particles of spin up to 1. They allow us to diagnose tree unitarity of a system using only its particle content in the mass basis, without reconstructing the full Lagrangian. We show that all four-point amplitudes whose high-energy growth is canceled by tree unitarity conditions are on-shell constructible, thereby motivating the recursive construction of four-point amplitudes. By examining their high-energy growth, we derive tree unitarity conditions for four-point amplitudes. Imposing these conditions to simplify the Lagrangian structure, we use the St\"uckelberg formulation to derive the tree unitarity conditions arising from all higher-point amplitudes. We show that all tree unitarity conditions are fully captured up to five-point amplitudes, ensuring no necessity of examining higher-point ones. We apply our results to systematically examine tree unitarity conditions in the dark sector with a massive dark photon and dark matter particles of spin up to 1, and extract the essential features for mass generation in the massive dark photon case. In addition, we show that our results allow us to conclude that theories without scalars require an infinite tower of vectors and fermions for tree unitarity. Finally unitarity and related issues in the Higgs portal VDM are discussed in brief.

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 paper derives explicit coupling conditions for tree-level unitarity in theories with a finite number of particles of spin ≤1. It shows that four-point amplitudes with canceled high-energy growth are on-shell constructible, extracts unitarity conditions from their high-energy behavior, imposes these to simplify the Lagrangian, and then employs the Stückelberg formulation to obtain conditions from higher-point amplitudes. The central result is that all tree unitarity conditions are captured by amplitudes up to five points, with no need to examine higher multiplicities. Applications to dark-sector models with a massive dark photon and dark matter (spin ≤1) are given, along with the claim that theories without scalars require an infinite tower of vectors and fermions.

Significance. If the central claim holds, the work supplies a practical diagnostic for tree unitarity based solely on particle content in the mass basis, which would streamline model-building checks in beyond-Standard-Model and dark-sector phenomenology. The on-shell constructibility argument and the reduction to five-point amplitudes constitute a technical simplification with potential utility for systematic surveys of effective theories.

major comments (2)
  1. [Abstract and higher-point derivation section] The assertion that all tree unitarity conditions are captured up to five-point amplitudes (abstract and concluding discussion) rests on the Stückelberg reduction after four-point simplifications, but the manuscript provides no explicit computation of a six-point amplitude in a non-trivial model that satisfies the derived four- and five-point conditions. Without such a check, it remains unverified that no new high-energy growth structures appear at six points or higher once the lower-point conditions hold.
  2. [Stückelberg formulation and higher-point analysis] The assumption that high-energy growth must cancel coefficient-by-coefficient in the E-expansion of n-point amplitudes once lower-point conditions are imposed is used to conclude that five points suffice, yet the paper does not demonstrate this cancellation explicitly for a representative six-point process under the simplified Lagrangian.
minor comments (2)
  1. [Abstract] The abstract is information-dense; separating the main results (four-point constructibility, five-point sufficiency, dark-sector application) into a short enumerated list would improve readability.
  2. [Four-point derivation] Notation for the high-energy scaling (powers of E) and the precise spin combinations considered should be tabulated for quick reference when applying the conditions to new models.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. The central claim rests on a general argument using on-shell constructibility and the Stückelberg formulation after four-point simplifications; we address the request for explicit verification below.

read point-by-point responses

  1. Referee: [Abstract and higher-point derivation section] The assertion that all tree unitarity conditions are captured up to five-point amplitudes (abstract and concluding discussion) rests on the Stückelberg reduction after four-point simplifications, but the manuscript provides no explicit computation of a six-point amplitude in a non-trivial model that satisfies the derived four- and five-point conditions. Without such a check, it remains unverified that no new high-energy growth structures appear at six points or higher once the lower-point conditions hold.

    Authors: The general derivation shows that, once four-point conditions are imposed, the simplified Lagrangian in the Stückelberg formulation ensures that any potential high-energy growth at higher multiplicities is controlled exclusively by the same couplings already constrained at five points or below; no independent structures arise because the E-expansion coefficients are recursively determined by lower-point amplitudes. Nevertheless, we acknowledge that an explicit six-point check would make this more transparent. We will add a brief illustrative computation of a representative six-point amplitude (e.g., in a minimal dark-sector model satisfying the four- and five-point conditions) to the higher-point analysis section. revision: partial

  2. Referee: [Stückelberg formulation and higher-point analysis] The assumption that high-energy growth must cancel coefficient-by-coefficient in the E-expansion of n-point amplitudes once lower-point conditions are imposed is used to conclude that five points suffice, yet the paper does not demonstrate this cancellation explicitly for a representative six-point process under the simplified Lagrangian.

    Authors: The coefficient-by-coefficient cancellation is a direct consequence of the on-shell constructibility established earlier in the paper combined with the Lagrangian simplifications from four-point unitarity; the Stückelberg procedure maps higher-point growth terms onto lower-point vertices whose coefficients have already been fixed. To address the request for explicit demonstration, we will include a short calculation for one six-point process under the constrained Lagrangian, confirming the cancellation without introducing new conditions. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper begins from the standard high-energy growth of on-shell amplitudes and external unitarity bounds, derives four-point cancellation conditions explicitly, imposes them to restrict the Lagrangian, and then applies the Stückelberg formalism to extract higher-point constraints. The central claim that five-point amplitudes suffice follows from an argument that on-shell constructibility plus the four-point restrictions imply coefficient-by-coefficient cancellation in higher-point E-expansions; this is a deductive step from the imposed conditions rather than a redefinition or fit of the target quantities. No load-bearing premise reduces to a self-citation, fitted parameter renamed as prediction, or ansatz smuggled via prior work by the same authors. The derivation therefore remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard QFT axioms plus the assumption of a finite particle content; no new entities or fitted parameters are introduced.

axioms (2)
  • standard math Lorentz invariance and locality of the S-matrix
    Invoked throughout the amplitude construction and high-energy expansion.
  • domain assumption Finite number of particles with spin ≤1
    Stated in the abstract as the scope of the theories considered.

pith-pipeline@v0.9.0 · 5537 in / 1191 out tokens · 62932 ms · 2026-05-13T05:11:59.720440+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.

Reference graph

Works this paper leans on

43 extracted references · 43 canonical work pages · 1 internal anchor

  1. [1]

    Glashow,Partial Symmetries of Weak Interactions,Nucl

    S.L. Glashow,Partial Symmetries of Weak Interactions,Nucl. Phys.22(1961) 579

    work page 1961

  2. [2]

    Weinberg,A Model of Leptons,Phys

    S. Weinberg,A Model of Leptons,Phys. Rev. Lett.19(1967) 1264

    work page 1967

  3. [3]

    Salam,Weak and Electromagnetic Interactions,Conf

    A. Salam,Weak and Electromagnetic Interactions,Conf. Proc. C680519(1968) 367

    work page 1968

  4. [4]

    Cornwall, D.N

    J.M. Cornwall, D.N. Levin and G. Tiktopoulos,Derivation of Gauge Invariance from High-Energy Unitarity Bounds on the s Matrix,Phys. Rev. D10(1974) 1145

    work page 1974

  5. [5]

    Higgs,Broken Symmetries and the Masses of Gauge Bosons,Phys

    P.W. Higgs,Broken Symmetries and the Masses of Gauge Bosons,Phys. Rev. Lett.13(1964) 508

    work page 1964

  6. [6]

    Englert and R

    F. Englert and R. Brout,Broken Symmetry and the Mass of Gauge Vector Mesons,Phys. Rev. Lett.13 (1964) 321

    work page 1964

  7. [7]

    Guralnik, C.R

    G.S. Guralnik, C.R. Hagen and T.W.B. Kibble,Global Conservation Laws and Massless Particles, Phys. Rev. Lett.13(1964) 585

    work page 1964

  8. [8]

    Liu and Z

    D. Liu and Z. Yin,Gauge invariance from on-shell massive amplitudes and tree-level unitarity,Phys. Rev. D106(2022) 076003 [2204.13119]

    work page arXiv 2022

  9. [9]

    Elvang and Y .-t

    H. Elvang and Y .-t. Huang,Scattering Amplitudes in Gauge Theory and Gravity, Cambridge University Press (4, 2015)

    work page 2015

  10. [10]

    Scattering amplitudes for all masses and spins,

    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

  11. [11]

    Conde, E

    E. Conde, E. Joung and K. Mkrtchyan,Spinor-Helicity Three-Point Amplitudes from Local Cubic Interactions,JHEP08(2016) 040 [1605.07402]

    work page arXiv 2016

  12. [12]

    Durieux, T

    G. Durieux, T. Kitahara, Y . Shadmi and Y . Weiss,The electroweak effective field theory from on-shell amplitudes,JHEP01(2020) 119 [1909.10551]

    work page arXiv 2020

  13. [13]

    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

  14. [14]

    Christensen and B

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

    work page arXiv 2018

  15. [15]

    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

  16. [16]

    Y . Ema, T. Gao, W. Ke, Z. Liu, K.-F. Lyu and I. Mahbub,Momentum shift and on-shell constructible massive amplitudes,Phys. Rev. D110(2024) 105003 [2403.15538]

    work page arXiv 2024

  17. [17]

    Y . Ema, T. Gao, W. Ke, Z. Liu, K.-F. Lyu and I. Mahbub,Momentum shift and on-shell recursion relation for electroweak theory,Phys. Rev. D110(2024) 105002 [2407.14587]

    work page arXiv 2024

  18. [18]

    Stueckelberg,Interaction energy in electrodynamics and in the field theory of nuclear forces, Helv

    E.C.G. Stueckelberg,Interaction energy in electrodynamics and in the field theory of nuclear forces, Helv. Phys. Acta11(1938) 225

    work page 1938

  19. [19]

    The Stueckelberg Field

    H. Ruegg and M. Ruiz-Altaba,The Stueckelberg field,Int. J. Mod. Phys. A19(2004) 3265 [hep-th/0304245]

    work page Pith review arXiv 2004

  20. [20]

    Holdom,Two U(1)’s and Epsilon Charge Shifts,Phys

    B. Holdom,Two U(1)’s and Epsilon Charge Shifts,Phys. Lett. B166(1986) 196

    work page 1986

  21. [21]

    Pospelov,Secluded U(1) below the weak scale,Phys

    M. Pospelov,Secluded U(1) below the weak scale,Phys. Rev. D80(2009) 095002 [0811.1030]

    work page arXiv 2009

  22. [22]

    Fabbrichesi, E

    M. Fabbrichesi, E. Gabrielli and G. Lanfranchi,The Dark Photon,2005.01515. – 60 –

    work page arXiv 2005

  23. [23]

    Csaki, C

    C. Csaki, C. Grojean, H. Murayama, L. Pilo and J. Terning,Gauge theories on an interval: Unitarity without a Higgs,Phys. Rev. D69(2004) 055006 [hep-ph/0305237]

    work page arXiv 2004

  24. [24]

    Csaki, C

    C. Csaki, C. Grojean, L. Pilo and J. Terning,Towards a realistic model of Higgsless electroweak symmetry breaking,Phys. Rev. Lett.92(2004) 101802 [hep-ph/0308038]

    work page arXiv 2004

  25. [25]

    Csaki, C

    C. Csaki, C. Grojean, J. Hubisz, Y . Shirman and J. Terning,Fermions on an interval: Quark and lepton masses without a Higgs,Phys. Rev. D70(2004) 015012 [hep-ph/0310355]

    work page arXiv 2004

  26. [26]

    Csaki,Higgsless electroweak symmetry breaking, in12th International Conference on Supersymmetry and Unification of Fundamental Interactions (SUSY 04), pp

    C. Csaki,Higgsless electroweak symmetry breaking, in12th International Conference on Supersymmetry and Unification of Fundamental Interactions (SUSY 04), pp. 407–422, 12, 2004 [hep-ph/0412339]

    work page internal anchor Pith review arXiv 2004

  27. [27]

    Peskin and D.V

    M.E. Peskin and D.V . Schroeder,An Introduction to quantum field theory, Addison-Wesley, Reading, USA (1995), 10.1201/9780429503559

    work page doi:10.1201/9780429503559 1995

  28. [28]

    Froissart,Asymptotic behavior and subtractions in the Mandelstam representation,Phys

    M. Froissart,Asymptotic behavior and subtractions in the Mandelstam representation,Phys. Rev.123 (1961) 1053

    work page 1961

  29. [29]

    Martin,Extension of the axiomatic analyticity domain of scattering amplitudes by unitarity

    A. Martin,Extension of the axiomatic analyticity domain of scattering amplitudes by unitarity. 1., Nuovo Cim. A42(1965) 930

    work page 1965

  30. [30]

    Nambu,Quasiparticles and Gauge Invariance in the Theory of Superconductivity,Phys

    Y . Nambu,Quasiparticles and Gauge Invariance in the Theory of Superconductivity,Phys. Rev.117 (1960) 648

    work page 1960

  31. [31]

    Goldstone,Field Theories with Superconductor Solutions,Nuovo Cim.19(1961) 154

    J. Goldstone,Field Theories with Superconductor Solutions,Nuovo Cim.19(1961) 154

    work page 1961

  32. [32]

    Valencia and S

    G. Valencia and S. Willenbrock,The Goldstone Boson Equivalence Theorem and the Higgs Resonance,Phys. Rev. D42(1990) 853

    work page 1990

  33. [33]

    S. Baek, J. Kim and P. Ko,XENON1T excess in localZ 2 DM models with light dark sector,Phys. Lett. B810(2020) 135848 [2006.16876]

    work page arXiv 2020

  34. [34]

    P. Ko, T. Matsui and Y .-L. Tang,Dark matter bound state formation in fermionic Z2 DM model with light dark photon and dark Higgs boson,JHEP10(2020) 082 [1910.04311]

    work page arXiv 2020

  35. [35]

    Confined hidden vector dark matter

    T. Hambye and M.H.G. Tytgat,Confined hidden vector dark matter,Phys. Lett. B683(2010) 39 [0907.1007]

    work page Pith review arXiv 2010

  36. [36]

    S. Baek, P. Ko, W.-I. Park and E. Senaha,Higgs Portal Vector Dark Matter : Revisited,JHEP05 (2013) 036 [1212.2131]

    work page arXiv 2013

  37. [37]

    Lebedev, H.M

    O. Lebedev, H.M. Lee and Y . Mambrini,Vector Higgs-portal dark matter and the invisible Higgs, Phys. Lett. B707(2012) 570 [1111.4482]

    work page arXiv 2012

  38. [38]

    S. Baek, P. Ko and W.-I. Park,Hidden sector monopole, vector dark matter and dark radiation with Higgs portal,JCAP10(2014) 067 [1311.1035]

    work page arXiv 2014

  39. [39]

    Arcadi, A

    G. Arcadi, A. Djouadi and M. Kado,The Higgs-portal for dark matter: effective field theories versus concrete realizations,Eur. Phys. J. C81(2021) 653 [2101.02507]

    work page arXiv 2021

  40. [40]

    S. Baek, P. Ko and W.-I. Park,Invisible Higgs Decay Width vs. Dark Matter Direct Detection Cross Section in Higgs Portal Dark Matter Models,Phys. Rev. D90(2014) 055014 [1405.3530]

    work page arXiv 2014

  41. [41]

    S. Baek, P. Ko and W.-I. Park,Addendum to ”Invisible Higgs decay width versus dark matter direct detection cross section in Higgs portal dark matter models”,Phys. Rev. D105(2022) 015007 [2112.11983]

    work page arXiv 2022

  42. [42]

    Jacob and G.C

    M. Jacob and G.C. Wick,On the General Theory of Collisions for Particles with Spin,Annals Phys.7 (1959) 404. – 61 –

    work page 1959

  43. [43]

    Bachu,Spontaneous symmetry breaking from an on-shell perspective,JHEP02(2024) 098 [2305.02502]

    B. Bachu,Spontaneous symmetry breaking from an on-shell perspective,JHEP02(2024) 098 [2305.02502]. – 62 –

    work page arXiv 2024