Pith. sign in

REVIEW 3 major objections 5 minor 24 references

Equivalence of spin-2 and spin-3 models invariant under transverse diffeomorphisms and the tensionless limit of string theory

T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read All ghost-free TDiff spin-2 and spin-3 models are physically equivalent.

desk verdict Solid, useful paper with a real equivalence theorem; the main proof rests on an amplitude (Eq. 22) that is stated but not derived—send to a referee who will demand that computation. read the letter →

arxiv 2501.04214 v2 pith:6PP4ENNG submitted 2025-01-08 hep-th

R. Schimidt Bittencourt , D. Dalmazi , B. dos S. Martins , E.L. Mendonça This is my paper · ORCID
classification hep-th PACS 11.25.-w11.10.Ef
keywords transversediffeomorphismsTDiffmodelsspin-2spin-3Maxwell-liketensionlessstringlimittwo-pointamplitudeghost-freeparameterspace
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper studies the most general local, massless, symmetric-tensor theories of spin-2 and spin-3 that are invariant under transverse diffeomorphisms (TDiff), where the gauge parameters are constrained to be divergence-free. It claims that within the ghost-free region of the parameter space — specified by $f_D(a,b)>0$ for spin-2 and $f_{D+2}(a,b)>0$ for spin-3 — every model is physically equivalent to every other, and in particular to the simplest 'Maxwell-like' model that keeps only the first two kinetic terms. The proof works by a local field redefinition (an r-shift) plus a redefinition of the sources (an s-shift), and the same two-step move connects the entire ghost-free family to the 'doublet' action that comes from the tensionless limit of open bosonic string field theory. If correct, this collapses a large family of alternative gravity and higher-spin models into one physical content, explaining why their extra lower-spin particles do not create observable differences except through how they couple to sources.

What carries the argument

The load-bearing object is the saturated, gauge-invariant two-point amplitude $A_2(k)$, whose pole structure shows a massless spin-$s$ particle plus a lower-spin companion whose sign is set by $f_D$ (spin-2) or $f_{D+2}$ (spin-3). The equivalence is carried by two transformations: local r-shifts, $h_{\mu\nu} \to h_{\mu\nu} + r \eta_{\mu\nu} h$ and the rank-3 analogue, which preserve the TDiff form and multiply $f$ by $(1+rD)^2$ (or $(1+r(D+2))^2$), and s-shifts of the sources that remove the last parameter and can be interpreted as a nonlocal field redefinition of the form $h \to h + s\,(\partial\partial h)/\Box$. Combining them, any point with $f>0$ is brought to $(0,0)$, the Maxwell-like model, defined as the simplest TDiff action that keeps only the first two kinetic terms.

What would settle it

Compute the full rank-3 propagator from (9) at $c=c_S$ in a fixed dimension (say $D=4$) for a numerical point with $f_{D+2}>0$ and compare the saturated amplitude with (22). If the coefficient of $|\tilde J^T_\mu|^2$ differs from $3/(D f_{D+2})$, or if an additional transverse-traceless pole appears, the equivalence (74) fails. Equivalently, check whether the two root formulas (70) and (89) ever produce non-invertible r-shifts in $D\ge 3$ with $f>0$; a counterexample would break the universal step.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central result is an exact equality of gauge-invariant two-point amplitudes: $A_2[a,b,T,J]=A_2[0,0,T(r,s),J(r,s)]$ whenever $f_D(a,b)>0$, and the spin-3 analogue $A_2[a,b,c_S,T,J_\mu]=A_2[0,0,0,T(r,s),J(r,s)]$ whenever $f_{D+2}(a,b)>0$. Here $f_D=(D-2)(a^2-b)+(a-1)^2$ and $f_{D+2}=D(a^2-b)+(a-1)^2$ control whether the companion spin-0 (spin-1) particle is physical or a ghost, and $c_S=3a^2-2b$ is fixed by TDiff invariance. The r-shift maps the parameters along a curve that scales $f$ by a positive factor; the s-shift redefines sources so that the remaining parameter dependence cancels. Consequently any ghost-free TDiff spin-2 or spin-3 model has the same free on-shell content as the Maxwell-like model, and the models differ only by a BRST-cohomologically trivial term.

Load-bearing premise

The spin-3 gauge-invariant two-point amplitude (22), whose projection-operator derivation is only sketched, is correct and complete; if a coefficient is wrong or a spin-1 term is missing, the source-redefinition equivalence and the ghost-free condition $f_{D+2}>0$ would not follow.

Editorial extensions

If this is right

  • For spin-2, every TDiff model with $f_D>0$ predicts exactly the same free amplitudes as the Maxwell-like model, so the scalar companion cannot distinguish models inside the ghost-free region; only the source couplings change.
  • For spin-3, every model with $f_{D+2}>0$ contains one healthy massless spin-3 particle and one healthy massless spin-1 particle, with no ghosts.
  • The apparent mismatch between generic TDiff models and the tensionless-string doublet action disappears: after the amplitude equivalence, all ghost-free TDiff models match the string-derived doublet spectrum.
  • At $f=0$ (or $f_{D+2}=0$) a larger gauge symmetry appears and the lower-spin companion decouples, so the boundary between physical and unphysical regions is also the boundary of the equivalence class.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same r-shift/s-shift construction should generalize to symmetric rank-$s$ TDiff models, with the companion of spin $s-2$ and a function $f_{D+s-2}$; if so, Maxwell-like models are the unique ghost-free TDiff representatives for all spins, not just $s=2,3$.
  • Because the proof is on-shell (amplitudes), the equivalence may not persist off-shell for quantities such as energy-momentum tensors or locality; testing cubic vertices would decide whether the whole ghost-free family is one interacting theory.
  • The special point at $a=2/(D+2)$ is not reachable by local r-shifts, so the paper's equivalence relies on nonlocal redefinitions there; this suggests the ghost-free subspace is an amplitude-equivalence class rather than a gauge-equivalence class of actions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper investigates a two-parameter family of massless spin-2 and spin-3 theories invariant under (generalized) transverse diffeomorphisms. For spin-3, the most general second-order action with TrTDiff symmetry is reduced to a two-parameter family by requiring invariance under a generalized TDiff transformation, giving c = c_S. The paper computes the gauge-invariant two-point amplitudes, identifies the ghost-free region f_D > 0 (spin-2) and f_{D+2} > 0 (spin-3), and shows how the models connect to the doublet action from the tensionless limit of open bosonic string field theory via nonlocal Stueckelberg-type field redefinitions. The central new result is a duality: within the ghost-free region, every model can be mapped to the Maxwell-like model (a,b) = (0,0) through local r-shifts and source s-shifts, with equality of the two-point amplitudes. The spin-2 part is largely a review; the spin-3 part contains the principal new claims.

Significance. If correct, the result is significant: it establishes that the free physical content of ghost-free TDiff models of spin-2 and spin-3 is independent of the parameters (a,b) within the ghost-free region, unifying them with the Maxwell-like models and with the string-theory doublet action. The proof is algebraic and largely explicit, and the paper provides several cross-checks: the diagonalized Lagrangians (37), (47), (55) corroborate the amplitude results, and the nonlocal field redefinition in Sec. 5.3 is reported to have been checked with Mathematica/xAct. The paper is also candid about the limitations of nonlocal redefinitions. However, the spin-3 two-point amplitude (22), on which the spin-3 equivalence proof rests, is asserted without a displayed derivation; this is the main missing support for an otherwise coherent and interesting central claim.

major comments (3)
  1. [Sec. 3.1, Eq. (22)] The gauge-invariant two-point amplitude for the spin-3 model is stated without derivation. The text says it was obtained using the rank-3 projection operators of the appendix, but the actual projection-operator contraction is not shown. This is load-bearing: the coefficient 3/(D f_{D+2}) of the spin-1 residue and the definition of f_{D+2} determine the ghost-free region f_{D+2} > 0, and the equivalence proof of Sec. 5.2 uses (22) directly to derive the condition B = A^2. Please include the derivation of (22), at least for the generic case a ≠ 1, a ≠ 2/(D+2), and state explicitly how the special cases follow.
  2. [Sec. 3.1 and Sec. 3.2] The statements that the a = 1 case and the a = 2/(D+2) case lead to "basically the same expression" (22) are made without any displayed computation. Since these cases are part of the parameter space and because the r-shift roots used in Sec. 5.2 must be shown not to land on A = 1 (or on the fixed point A = 2/(D+2) when treating the generic family), the text should provide the explicit projection-operator result or a clear argument that the special cases are obtained as limits of the generic derivation.
  3. [Sec. 5.3] The alternative proof of equivalence via nonlocal field redefinitions relies on the statement "We have explicitly checked by means of the software Mathematica with help of the package xAct" that (98) with (100) and (101) maps S(A,B,c_S) to the Maxwell-like model when B = A^2. This computation is not shown and no notebook is provided, so the claim is not independently verifiable from the text. Please either include the computation in an appendix, provide the explicit resulting action after substitution, or make the code available as supplementary material.
minor comments (5)
  1. [Sec. 3.1, Eq. (22)] The notation "3/D f_{D+2}" is ambiguous; it should read 3/(D f_{D+2}) to avoid confusion.
  2. [Sec. 4.2, Eq. (44) and Eq. (48)] The term "6 χ (∂·∂·φ)" is ambiguous because χ is a vector field in these equations; please use explicit index notation such as 6 χ_μ (∂·∂·φ)^μ.
  3. [Sec. 5.3, Eq. (98)] In the second term, "s2 ∂_{(μ}∂_ν h_{ρ)}/□", the index symmetrization should be clarified; write it as s2 ∂_{(μ}∂_ν h_{ρ)}/□ with the understanding that h_ρ is the trace vector and the derivatives are symmetrized over μ, ν, ρ.
  4. [Sec. 5.1, Eq. (70)] In the denominator of r_±^D, the expression "2 - aD ∓ D√f_D" is clearer with parentheses: (2 - aD ∓ D√f_D).
  5. [Sec. 5.1] The phrase "we comment on that point later" is a forward reference without a specific location; please refer explicitly to the paragraph in Sec. 5.3 where the restriction A ≠ 1 is justified.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the equivalence claim follows from explicit invertible source and field redefinitions; the cited earlier work supplies computational tools, not the conclusion.

full rationale

The paper's central claim—that every ghost-free TDiff spin-2 and spin-3 model is equivalent to the corresponding Maxwell-like model—is demonstrated by an explicit algebraic chain. For spin-2, Eq. (71) exhibits the equality A2[0,0,T(r,s),J(r,s)] = A2[a(r),a^2(r),T(r),J(r)] = A2[a,b,T,J], with r and s given by Eqs. (70) and (66). This is not an input renamed as a conclusion: the source shifts and r-shifts are invertible transformations on the action and source data, and the Maxwell-like amplitude is an independent benchmark. The spin-3 proof in Section 5.2 uses the same structure, reducing the equality to B=A^2 (Eq. (85)), and the existence of such r is guaranteed by Eq. (89) whenever f_{D+2}>0. No parameter is fitted to data, and no assumption equivalent to the target theorem enters. The paper does cite the authors' earlier work: [17] for the spin-2 amplitude and [24] for the rank-3 projection-operator basis. These are computational inputs used to derive the two-point amplitude (22), and the projection basis itself is reproduced in the appendix; they do not contain or assume the equivalence being proven. The derivation of (22) is summarized rather than displayed in full, and the a=1 case is handled by assertion ('basically the same expression'), but that is a completeness and verifiability concern, not a circularity: nothing in the cited results is equivalent by construction to the claimed parameter independence. The nonlocal field redefinitions of Section 5.3 are explicitly checked with Mathematica/xAct, providing an external computational check. Accordingly, the paper is self-contained against external benchmarks, and no circular step is identified.

Assumptions & free parameters 2 free parameters · 5 assumptions · 1 invented entities

The derivation is a free-field gauge-theory calculation. The only numbers entering are the arbitrary Lagrangian coefficients (a,b) (and c fixed by symmetry), which the theorem declares physically irrelevant within f>0. The main background inputs are the standard projection-operator algebra, the doublet action (29) from Ref. [16], and the interpretation of two-point amplitudes as physical content. The nonlocal field redefinitions are an ad hoc but explicitly flagged tool; the equivalence theorem has an alternative proof via local source redefinitions.

free parameters (2)
  • Spin-2 parameters (a,b)
    Arbitrary real coefficients in S(a,b), Eq. (1). The theorem quantifies over all of them with f_D>0; no value is fitted.
  • Spin-3 parameters (a,b)
    Arbitrary real coefficients in S(a,b,c_S), Eq. (9) with c_S=3a^2-2b fixed by TDiff invariance; no value is fitted.
assumptions (5)
  • domain assumption The actions (1) and (9) are the most general translation-invariant local quadratic actions for symmetric rank-2 and rank-3 tensors with TDiff symmetry.
    The analysis starts from these ansatze; other interactions or higher derivatives are excluded by fiat.
  • domain assumption The saturated gauge-invariant two-point function determines the full physical content of the free theory, including the sign of the norm of the lower-spin mode.
    Used to read off the spectrum and ghost-free condition f > 0 from (6) and (22).
  • domain assumption The doublet action (29) is the correct tensionless limit of open bosonic string field theory for the first Regge trajectory after eliminating the C-field.
    Taken from Refs. [16] and [13-15]; the paper does not re-derive it.
  • ad hoc to paper Nonlocal manipulations with 1/□ on massless fields are valid on the relevant field configurations and preserve physical content.
    Explicitly admitted as not rigorously justified in Section 5.3, yet used for the Stueckelberg lift and the field-redefinition version of the equivalence.
  • standard math The projection-operator basis of the appendix is complete and correctly implements the decomposition of rank-3 symmetric tensors.
    Basis for deriving the spin-3 amplitude (22); assumed from [24].
invented entities (1)
  • Stueckelberg-like field χ of rank s-2 (scalar for s=2, vector for s=3)
    purpose: Lifts TDiff symmetry to unconstrained Diff and connects singlet TDiff models to the string doublet action via nonlocal field redefinitions (33), (42), (52).
    A standard auxiliary-field trick; it introduces no new physical degrees of freedom and integrates out to the original TDiff spectrum.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Equivalence of spin-2 and spin-3 models invariant under transverse diffeomorphisms and the tensionless limit of string theory." pith.science (2026). https://pith.science/paper/6PP4ENNG

@misc{pith2026250104214,
  author       = {Pith},
  title        = {Pith review of: Equivalence of spin-2 and spin-3 models invariant under transverse diffeomorphisms and the tensionless limit of string theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6PP4ENNG}},
  note         = {Machine review of arXiv:2501.04214}
}
read the original abstract

Here we investigate a general class of massless local theories of spin-2 and spin-3 both invariant under generalized transverse diffeomorphisms (TDiff). We identify the ghost free region in their parameters space and show the relationship of those models with the ``doublet'' action stemming from the tensionless limit of the open bosonic string field theory (for symmetric tensors). The connection is implemented via a non local field redefinition which introduces a Stuckelberg-like field of rank-0 (rank-1) for the spin-2 (spin-3) case. An apparent mismatch between most of the TDiff models and the ``doublet'' action has led us to prove a nontrivial duality within the TDiff models which restores the equivalence. Any point in the parameters subspace of ghost free TDiff models is equivalent to any other one within that subspace. In particular, they are all physically equivalent to their simplest version known as Maxwell-like models. So the physical TDiff models seem to differ from each other by a BRST cohomologically trivial term.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 10 canonical work pages

  1. [1]

    Snowmass White Paper: Higher Spin Gravity and Higher Spin Symmetry,

    X. Bekaert, N. Boulanger, A. Campoleoni, M. Chiodaroli, D. Francia, M. Grigoriev, E. Sez- gin, and E. Skvortsov, “Snowmass White Paper: Higher Spin Gravity and Higher Spin Symmetry,” [arXiv:2205.01567 [hep-th]]

    arXiv

  2. [2]

    From Higher Spins to Strings: A Primer

    R. Rahman and M. Taronna, “From Higher Spins to Strings: A Primer,” [arXiv:1512.07932 [hep-th]]

    work page Pith review arXiv

  3. [3]

    Notes on Strings and Higher Spins,

    A. Sagnotti, “Notes on Strings and Higher Spins,” J. Phys. A46, 214006 (2013), [arXiv:1112.4285 [hep-th]]

    arXiv 2013

  4. [4]

    String Lessons for Higher-Spin Interactions,

    A. Sagnotti and M. Taronna, “String Lessons for Higher-Spin Interactions,” Nucl. Phys. B842, 299–361 (2011), [arXiv:1006.5242 [hep-th]]

    arXiv 2011

  5. [5]

    Higher Spin Field Theory, Vol 1+2,

    A. Bengtsson, “Higher Spin Field Theory, Vol 1+2,” De Gruyter, 2023

    work page 2023

  6. [6]

    Universal Limits on Massless High-Spin Particles,

    M. Porrati, “Universal Limits on Massless High-Spin Particles,” Phys. Rev. D 78, 065016 (2008), doi:10.1103/PhysRevD.78.065016, [arXiv:0804.4672 [hep-th]]

    arXiv 2008

  7. [7]

    How Higher-Spin Gravity Surpasses the Spin- Two Barrier: No-Go Theorems Versus Yes-Go Examples,

    X. Bekaert, N. Boulanger, and P. Sundell, “How Higher-Spin Gravity Surpasses the Spin- Two Barrier: No-Go Theorems Versus Yes-Go Examples,” Rev. Mod. Phys. 84, 987–1009 (2012)

    work page 2012

  8. [8]

    Massless Fields with Integer Spin,

    C. Fronsdal, “Massless Fields with Integer Spin,” Phys. Rev. D 18, 3624 (1978), doi:10.1103/PhysRevD.18.3624. 23

    doi:10.1103/physrevd.18.3624 1978

Show all 24 references
  1. [9]

    Transverse Invariant Higher Spin Fields,

    E. Skvortsov and M. Vasiliev, “Transverse Invariant Higher Spin Fields,” Phys. Lett.B664, 301 (2008), [arXiv:0701278 [hep-th]]

    2008

  2. [10]

    The Exchange of Massless Spin-Two Particles,

    J. J. van der Bij, H. van Dam, and Y. J. Ng, “The Exchange of Massless Spin-Two Particles,” Physica 116A, 307-320 (1982)

    1982

  3. [11]

    Transverse Fierz–Pauli Symmetry,

    E. Alvarez, D. Blas, J. Garriga, and E. Verdaguer, “Transverse Fierz–Pauli Symmetry,” Nucl. Phys. B756, 148 (2006); D. Blas, “Aspects of Infrared Modifications of Gravity,” PhD Thesis, University of Barcelona, [arXiv:0809.3744]

    2006 arXiv

  4. [12]

    Campoleoni and D

    A. Campoleoni and D. Francia, “JHEP,” 03 (2013) 168, [arXiv:1206.5877 [hep-th]]

    2013 arXiv

  5. [13]

    Phys. Lett.,

    S. Ouvry and J. Stern, “Phys. Lett.,” B177, 335 (1986)

    1986

  6. [14]

    Phys. Lett.,

    A. K. H. Bengtsson, “Phys. Lett.,” B182, 321 (1986)

    1986

  7. [15]

    Quantum Mechanics of Fundamental Systems,

    M. Henneaux and C. Teitelboim, “Quantum Mechanics of Fundamental Systems,” Vol. 2, Plenum Press, New York, 1988

    1988

  8. [16]

    On Higher Spins and the Tensionless Limit of String The- ory,

    A. Sagnotti and M. Tsulaia, “On Higher Spins and the Tensionless Limit of String The- ory,” Nucl. Phys. B682, 83 (2004), [arXiv:hep-th/0311257]

    2004 arXiv

  9. [17]

    Eur. Phys. J. C,

    D. Dalmazi and R. R. L. d. Santos, “Eur. Phys. J. C,” 81 (2021) no.6, 547, doi:10.1140/epjc/s10052-021-09297-0, [arXiv:2010.12051 [hep-th]]

    2021 arXiv

  10. [18]

    R., Master Thesis, S˜ ao Paulo State University at Guaratinguet´ a, Available at: https://repositorio.unesp.br/handle/11449/193174

    Lino dos Santos, R. R., Master Thesis, S˜ ao Paulo State University at Guaratinguet´ a, Available at: https://repositorio.unesp.br/handle/11449/193174

  11. [19]

    On the Geometry of Higher Spin Gauge Fields,

    D. Francia and A. Sagnotti, “On the Geometry of Higher Spin Gauge Fields,” Class. Quant. Grav. 20, S473 (2003), [arXiv:0212185 [hep-th]]

    2003

  12. [20]

    xTras: A Field-Theory Inspired xAct Package for Mathematica,

    T. Nutma, “xTras: A Field-Theory Inspired xAct Package for Mathematica,” Comput. Phys. Commun. 185, 1719-1738 (2014), doi:10.1016/j.cpc.2014.02.006, [arXiv:1308.3493 [cs.SC]]

    2014 arXiv

  13. [21]

    On the relation between local and geometric Lagrangians for higher spins

    D. Francia, “On the relation between local and geometric Lagrangians for higher spins”, J. Phys. Conf. Ser. 222 (2010) 012002 [arXiv:1001.3854]

    2010 arXiv

  14. [22]

    String theory triplets and higher-spin curvatures

    D. Francia, “String theory triplets and higher-spin curvatures”, Phys. Lett. B 690 (2010) 90 [arXiv:1001.5003]

    2010 arXiv

  15. [23]

    Cubic Interactions of Maxwell-Like Higher Spins,

    D. Francia, G. L. Monaco, and K. Mkrtchyan, “Cubic Interactions of Maxwell-Like Higher Spins,” JHEP 04, 068 (2017), [arXiv:1611.00292 [hep-th]]

    2017 arXiv

  16. [24]

    Unitarity of Singh-Hagen Model in D Dimensions,

    E. L. Mendon¸ ca and R. Schimidt Bittencourt, “Unitarity of Singh-Hagen Model in D Dimensions,” Adv. High Energy Phys. 2020, 8425745 (2020), doi:10.1155/2020/8425745, [arXiv:1902.05118 [hep-th]]. 24

    2020 arXiv

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.