REVIEW 3 major objections 3 minor 1 cited by
To bounce or not to bounce in generalized Proca theory and beyond
T0 review · 3 major / 3 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read Generalized Proca theory cannot host a stable non-singular bounce
desk verdict A serious no-go attempt for Proca bounces is undone by a chain-rule error in Eq. (76) and a misidentified sound-speed denominator; worth reading for the setup, not for the theorem as written. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the temporal component $\bar{A}_0(t)$ of the Proca field, which is non-dynamical: equation (22) is an algebraic constraint that fixes $\bar{A}_0$ in terms of the Hubble parameter $H(t)$. The argument works through the coefficients $w_2$ and $w_5$ built from the coupling functions and the tensor kinetic coefficient $q_T$; at the bounce, the algebraic constraint and its $H$-derivative force $w_2(t_B)=0$, and then the matter stability condition $\rho_M+P_M>0$ forces $q_T(t_B)=0$, while $\rho_M+P_M=0$ forces $Q_S=0$. A parallel background identity $G_{2,X}(X_B)=0$ makes $\dot{\rho}_M(t_B)=0$ and sends $c_M^2$ to infinity. These identities are what carry the no-go.
What would settle it
For a concrete choice of $G_2(X)$ and $G_3(X)$, compute the total derivative $d/dH\big[E_{\bar{A}_0}/\bar{A}_0\big]$ at $H=0$ while imposing the algebraic constraint $E_{\bar{A}_0}=0$ to determine $\bar{A}_0(H)$, including the $G_{2,XX}\,\bar{A}_0\, d\bar{A}_0/dH$ term. If the result is nonzero, then $w_2(t_B)=0$ does not follow and one can search for a background with $\rho_M+P_M>0$, $q_T>0$, and $Q_S>0$ at the bounce; exhibiting one would falsify the no-go theorem. Alternatively, direct numerical evolution of the linear perturbation coefficients across a bounce would show whether $q_T$ or $Q_S$ actually crosses zero.
Extended reading notes
Core claim
On a flat Friedmann-Lemaître-Robertson-Walker background with a generalized Proca vector field taking the form $A_\mu = (-\bar{A}_0(t), \mathbf{0})$ and a minimally coupled perfect fluid, the paper derives a no-go theorem. Requiring stability of matter perturbations demands $\rho_M + P_M \ge 0$; the authors show that $\rho_M + P_M > 0$ at the bounce forces the tensor kinetic coefficient $q_T$ to vanish at $t_B$ (tensor strong coupling), while $\rho_M + P_M = 0$ forces the scalar kinetic coefficient $Q_S$ to vanish (scalar strong coupling). A complementary background-level argument shows that the vector-field equation at the bounce gives $G_{2,X}(X_B)=0$, hence $\dot{\rho}_M(t_B)=0$ and the matter sound speed squared $c_M^2$ diverges. Since $\bar{A}_0$ is non-dynamical and determined algebraically by $H(t)$, the vector field cannot adjust to satisfy the stability conditions. The result is presented as independent of gauge choice, and it extends to beyond generalized Proca theory because that theory is indistinguishable from generalized Proca at the background level.
Load-bearing premise
The proof's key step assumes that the derivative of the vector-field constraint with respect to the Hubble parameter at the bounce picks up only the explicit Hubble dependence. If the implicit dependence of the field value $\bar{A}_0$ on $H$ through the coupling function $G_2$ is included, the conclusion that the tensor kinetic coefficient vanishes at the bounce is not established, and the contradiction for $\rho_M+P_M>0$ can disappear.
Editorial extensions
If this is right
- Any non-singular bounce in generalized Proca theory has at least one pathology at the bounce: tensor strong coupling, scalar strong coupling, or a matter sector instability with divergent sound speed.
- The no-go holds in a gauge-ready formulation, so it cannot be avoided by choosing a different gauge, in contrast to the debate surrounding the Horndeski no-go theorem.
- Beyond generalized Proca theory does not open an escape route, because its background equations coincide with those of generalized Proca and the key coefficients are unchanged.
- The obstruction is intrinsic to the non-dynamical temporal component of the vector field; a healthy Proca-type bounce would need a genuinely dynamical $\bar{A}_0$ or an altogether different bounce mechanism.
Reading between the lines
- A direct total-derivative check of equation (76), treating $\bar{A}_0$ as the solution of the algebraic constraint rather than as fixed, would settle whether $w_2(t_B)=0$ really follows for generic $G_2$; if the derivative is nonzero, the tensor strong-coupling branch may be evadable.
- The mechanism suggests that more general scalar-vector-tensor theories in which the temporal vector component is not algebraically fixed, or in which extra fields enter the background, could evade the theorem; the paper itself points to such broader theories and to Proca Nuevo as future directions.
- The authors explicitly leave nonlinear and anisotropic (BKL) instabilities out of scope, so the no-go is a linear-level statement; even a model that passed these tests would still need a phase preventing anisotropy growth during contraction.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript revisits the question of whether stable non-singular bounces can be realized in generalized Proca theory. After reviewing the background dynamics and the gauge-ready second-order perturbation action for the tensor, vector, and scalar sectors with a Schutz–Sorkin fluid, it proposes a no-go theorem: avoiding ghost and gradient instabilities together with ρ_M+P_M≥0 forces either tensor strong coupling (q_T=0) or scalar strong coupling (Q_S=0) at the bounce. It also claims a background-level argument that the matter sound speed diverges at the bounce, and it asserts that the result extends to beyond generalized Proca because the extra couplings do not affect the background. The central claim is that the non-dynamical temporal component of the vector field makes a stable bounce impossible.
Significance. The question is timely, and a valid no-go theorem would be a useful contribution because generalized Proca has been suggested as a promising way around the Horndeski no-go theorem. The manuscript is clearly organized and provides a careful gauge-ready presentation of the perturbation coefficients, including the matter sector, which is often neglected in bounce studies. It also makes good use of previously derived stability coefficients rather than claiming to rederive them. However, in my reading the two independent pillars of the no-go result rest on specific technical steps, and both contain load-bearing errors. Since the theorem's conclusion is not established by the arguments presented, the paper's significance is at present only conditional.
major comments (3)
- [Sec. IV B, Eq. (76)] Equation (76) is not a valid derivative along the background solution. The text treats d/dH(E_{\bar A0}/\bar A0)|_{H=0} as the explicit H-derivative at fixed \bar A0, giving -3\bar A0 G_{3,X}. But E_{\bar A0}/\bar A0 vanishes identically along the background, so the derivative with respect to H is a total derivative. Writing f(H,\bar A0)=E_{\bar A0}/\bar A0, the chain rule gives f_H + f_{\bar A0} d\bar A0/dH = 0. At H=0, f_H=-3\bar A0 G_{3,X}, f_{\bar A0}=\bar A0 G_{2,XX}, and Eq. (72) together with Eqs. (A4)-(A5) gives d\bar A0/dH = 3G_{3,X}/G_{2,XX} when G_{2,XX}\neq 0, so the two terms cancel and no constraint G_{3,X}=0 follows. Therefore w_2(t_B)=\bar A_0^3 G_{3,X} need not vanish, and inequality (74) does not force q_T(t_B)=0. The tensor strong-coupling conclusion in the ρ_M+P_M>0 case is consequently unsupported; the argument only works in the special case G_{2,XX}=0, which is not the claimed general theorem.
- [Sec. IV C, Eq. (31)] The complementary argument misidentifies the denominator of c_M^2. The text states that the denominator of c_M^2 is precisely \dot ρ_M and that \dot ρ_M(t_B)=0 makes c_M^2 diverge. But Eq. (31) defines c_M^2 = n_0 ρ_{M,nn}/ρ_{M,n}; the denominator is ρ_{M,n}, not \dot ρ_M. The relation \dot ρ_M = -3H n_0 ρ_{M,n} vanishes at H=0 for any homogeneous fluid at a bounce and carries no information about ρ_{M,n}. Hence the background equations do not imply a divergence of the matter sound speed, and the second no-go argument also fails.
- [Sec. IV D] The claimed extension to beyond generalized Proca theory inherits the flaw in Section IV B. While it is true that the relevant coefficients q_T, w_2, and w_5 take the same forms, the conclusion that demanding ρ_M+P_M≥0 leads to strong coupling relies on the same unsupported step w_2(t_B)=0 from Eq. (76). Since that step is invalid in general, the statement that the no-go theorem cannot be evaded by beyond generalized Proca theory is not established by the manuscript.
minor comments (3)
- [Sec. III C, Eq. (31)] The second equality in Eq. (31), c_M^2 = n_0 ρ_{M,nn}/ρ_{M,n}, would benefit from a short derivation using \dot n = -3H n and P_M = n ρ_{M,n} - ρ_M, since the text's wording invites the reader to equate the denominator with \dot ρ_M.
- [Sec. III D] The symbol ξ is reused for the Horndeski quantity and then for the generalized Proca quantity; introducing a distinct symbol (for example Ξ) would improve readability.
- [Appendix A] A consistency check of w_5 at H=0, where w_5 = w_4 = (1/2)\bar A_0^4 G_{2,XX}, would help the reader follow the cancellation in the chain-rule issue raised in the first major comment.
Circularity Check
No circularity: the claimed no-go theorem is not equivalent to its inputs; the disputed steps are derivative and 0/0 errors, not definitional circularity.
full rationale
The paper's derivation chain is self-contained in the relevant sense. The stability coefficients qT, QS, QM, etc. are taken from prior work [51-53], and the background-level indistinguishability of beyond generalized Proca is taken from [54]; these are parameter-free results with stated assumptions, and although several authors overlap with the present paper, the no-go theorem does not reduce to those citations. The cited results do not assert the no-go conclusion. The central no-go argument in Sec. IV B is derived from the background equations (20)-(22) and the stability conditions (70); it does not define qT or w2 in terms of the conclusion. The two places where the reasoning is vulnerable are mathematical, not circular: Eq. (76) differentiates E_A0/A0 with respect to H at fixed A0 while omitting the implicit A0(H) dependence that the paper itself uses in Eq. (72), and Sec. IV C argues that c_M^2 diverges because \dotρM(tB)=0 although Eq. (31) gives the finite equivalent n0ρM,nn/ρM,n. These are correctness risks, not instances of a prediction reducing to its inputs or of a load-bearing self-citation chain. Accordingly no circular step is identified.
Assumptions & free parameters
assumptions (6)
- domain assumption Generalized Proca action (2) is the correct ghost-free vector-tensor theory with three propagating degrees of freedom.
- domain assumption The background is flat FLRW with a homogeneous temporal vector component (18).
- domain assumption Matter is a perfect fluid described by the Schutz-Sorkin action (26).
- domain assumption Stability is defined by the coefficient conditions (70): positive kinetic terms and non-negative sound speeds in tensor, vector, scalar, and matter sectors.
- domain assumption The small-scale limit k^2/a^2 >> H is used to derive the scalar action (52).
- standard math The derivative identity (72) is correct as derived from the background EOM.
Cite this review
Pith. "Pith review of To bounce or not to bounce in generalized Proca theory and beyond." pith.science (2026). https://pith.science/paper/SPMMLIPP
@misc{pith2026241203977,
author = {Pith},
title = {Pith review of: To bounce or not to bounce in generalized Proca theory and beyond},
year = {2026},
howpublished = {\url{https://pith.science/paper/SPMMLIPP}},
note = {Machine review of arXiv:2412.03977}
}
read the original abstract
It is notoriously difficult to construct a stable non-singular bouncing cosmology that avoids all possible instabilities throughout the entire evolution of the universe. In this work, we explore whether a non-singular bounce driven by a specific class of modifications of General Relativity, the vector-tensor generalized Proca theories, can be constructed without encountering any pathologies in linear perturbation theory. We find that such models unavoidably lead either to strong coupling in the tensor or the scalar sector, or instabilities in the matter sector during the bouncing phase. As our analysis is performed in a gauge-independent way, this result can be cast in the form of a no-go theorem for non-singular bounces with generalized Proca. In contrast to the no-go theorem found for Horndeski theories, however, it cannot be evaded by considering beyond generalized Proca theory. At the core of our result lies the non-dynamical nature of the temporal component of the vector field, which renders it an ill-suited mediator for a bouncing solution.
Forward citations
Cited by 1 Pith paper
-
Cosmological tensions in Proca-Nuevo theory
Fitting a one-parameter vector-tensor dark energy model to CMB, BAO, and supernova data reduces the Hubble tension to about 1.5–2σ, but the preference over ΛCDM is weak and disappears once full perturbations are included.
Reference graph
Works this paper leans on
-
[1]
Mukhanov, Physical Foundations of Cosmology(Cam- bridge University Press, Oxford, 2005)
V. Mukhanov, Physical Foundations of Cosmology(Cam- bridge University Press, Oxford, 2005)
work page 2005
-
[2]
N0 denotes the total fluid number and is related to the number density via n0 = N0/a3. The scalar quantity ℓ can be decomposed as ℓ = − Z t ρM,ndt′ − ρM,nv, (30) where v stands for the velocity potential and is first-order in perturbations, while ρM,n ≡ ∂ρM /∂n. The matter sound speed is c2 M ≡ ˙PM ˙ρM = n0ρM,nn ρM,n , (31) where we used the fact that the...
work page 2020
-
[3]
N. Aghanim et al. (Planck), Astron. Astrophys. 641, A6 (2020), [Erratum: Astron.Astrophys. 652, C4 (2021)], arXiv:1807.06209 [astro-ph.CO]
arXiv 2020
-
[4]
Y. Akrami et al. (Planck), Astron. Astrophys. 641, A10 (2020), arXiv:1807.06211 [astro-ph.CO]
arXiv 2020
-
[5]
A. Borde and A. Vilenkin, Int. J. Mod. Phys. D 5, 813 (1996), arXiv:gr-qc/9612036
arXiv 1996
- [6]
- [7]
-
[8]
J. Martin and R. H. Brandenberger, Phys. Rev. D 63, 123501 (2001), arXiv:hep-th/0005209
arXiv 2001
Show all 64 references
-
[9]
A. H. Guth, D. I. Kaiser, and Y. Nomura, Phys. Lett. B 733, 112 (2014), arXiv:1312.7619 [astro-ph.CO]
2014 arXiv
-
[10]
Ijjas, P
A. Ijjas, P. J. Steinhardt, and A. Loeb, Phys. Lett. B 736, 142 (2014), arXiv:1402.6980 [astro-ph.CO]
2014 arXiv
-
[11]
A. H. Guth, J. Phys. A 40, 6811 (2007), arXiv:hep- th/0702178
2007
-
[12]
Chowdhury, J
D. Chowdhury, J. Martin, C. Ringeval, and V. Ven- nin, Phys. Rev. D 100, 083537 (2019), arXiv:1902.03951 [astro-ph.CO]
2019 arXiv
-
[13]
Clough, E
K. Clough, E. A. Lim, B. S. DiNunno, W. Fis- chler, R. Flauger, and S. Paban, JCAP 09, 025, arXiv:1608.04408 [hep-th]
-
[14]
W. E. East, M. Kleban, A. Linde, and L. Senatore, JCAP 09, 010, arXiv:1511.05143 [hep-th]
- [15]
- [16]
-
[17]
J. C. Aurrekoetxea, K. Clough, and E. A. Lim, Cosmol- ogy using numerical relativity (2024), arXiv:2409.01939 [gr-qc]
2024 arXiv
-
[18]
Elley, J
M. Elley, J. C. Aurrekoetxea, K. Clough, R. Flauger, P. Giannadakis, and E. A. Lim, Robustness of inflation to kinetic inhomogeneities (2024), arXiv:2405.03490 [astro- ph.CO]
2024 arXiv
-
[19]
R. A. Sunyaev and Y. B. Zeldovich, Astrophys. Space Sci. 7, 3 (1970)
1970
-
[20]
R. H. Brandenberger, Eur. Phys. J. C 79, 387 (2019), arXiv:1104.3581 [astro-ph.CO]. 13
2019 arXiv
-
[21]
R. H. Brandenberger, Lect. Notes Phys. 646, 127 (2004), arXiv:hep-th/0306071
2004 arXiv
-
[22]
P. J. E. Peebles and J. T. Yu, Astrophys. J. 162, 815 (1970)
1970
-
[23]
Brandenberger and P
R. Brandenberger and P. Peter, Found. Phys. 47, 797 (2017), arXiv:1603.05834 [hep-th]
2017 arXiv
-
[24]
Abazajian et al.(CMB-S4), (2022), arXiv:2203.08024 [astro-ph.CO]
K. Abazajian et al.(CMB-S4), (2022), arXiv:2203.08024 [astro-ph.CO]
2022 arXiv
-
[25]
Einstein, Zum kosmologischen Problem der All- gemeinen Relativit¨ atstheorie (Akademie der Wis- senschaften, in Kommission bei W
A. Einstein, Zum kosmologischen Problem der All- gemeinen Relativit¨ atstheorie (Akademie der Wis- senschaften, in Kommission bei W. de Gruyter u. co., Berlin, 1931)
1931
-
[26]
Battefeld and P
D. Battefeld and P. Peter, Phys. Rept. 571, 1 (2015), arXiv:1406.2790 [astro-ph.CO]
2015 arXiv
-
[27]
Khoury, B
J. Khoury, B. A. Ovrut, P. J. Steinhardt, and N. Turok, Phys. Rev. D 64, 123522 (2001), arXiv:hep-th/0103239
2001 arXiv
-
[28]
R. C. Tolman, Phys. Rev. 38, 1758 (1931)
1931
- [29]
-
[30]
Ashtekar and P
A. Ashtekar and P. Singh, Class. Quant. Grav.28, 213001 (2011), arXiv:1108.0893 [gr-qc]
2011 arXiv
-
[31]
Y.-F. Cai, T. Qiu, Y.-S. Piao, M. Li, and X. Zhang, JHEP 10, 071, arXiv:0704.1090 [gr-qc]
-
[32]
S. W. Hawking and G. F. R. Ellis, The Large Scale Struc- ture of Space-Time, Cambridge Monographs on Mathe- matical Physics (Cambridge University Press, 2023)
2023
-
[33]
for details). Furthermore, it has been shown in [34] that NEC-violation itself commonly leads to ghosts and other generic instabilities already at the classical level, which clearly demonstrates that bounces emerging from modified gravity theories have to be carefully analysed...
-
[34]
C. Lin, R. H. Brandenberger, and L. Perreault Levasseur, JCAP 04, 019, arXiv:1007.2654 [hep-th]
- [35]
-
[36]
Dubovsky, T
S. Dubovsky, T. Gregoire, A. Nicolis, and R. Rattazzi, JHEP 03, 025, arXiv:hep-th/0512260
-
[37]
G. W. Horndeski, Int. J. Theor. Phys. 10, 363 (1974)
1974
-
[38]
G. W. Horndeski and A. Silvestri, Int. J. Theor. Phys. 63, 38 (2024), arXiv:2402.07538 [gr-qc]
2024 arXiv
- [39]
-
[40]
T. Qiu, J. Evslin, Y.-F. Cai, M. Li, and X. Zhang, JCAP 10, 036, arXiv:1108.0593 [hep-th]
-
[41]
D. A. Easson, I. Sawicki, and A. Vikman, JCAP 11, 021, arXiv:1109.1047 [hep-th]
-
[42]
Y.-F. Cai, D. A. Easson, and R. Brandenberger, JCAP 08, 020, arXiv:1206.2382 [hep-th]
-
[43]
Battarra, M
L. Battarra, M. Koehn, J.-L. Lehners, and B. A. Ovrut, JCAP 07, 007, arXiv:1404.5067 [hep-th]
-
[44]
Mironov, V
S. Mironov, V. Rubakov, and V. Volkova 10.1134/S0044451019100079 (2019), arXiv:1906.12139 [hep-th]
2019 arXiv
-
[45]
Mironov and V
S. Mironov and V. Volkova, Non-singular cosmological scenarios in scalar-tensor theories and their stability: a review (2024), arXiv:2409.16108 [gr-qc]
2024 arXiv
- [46]
- [47]
-
[48]
Gleyzes, D
J. Gleyzes, D. Langlois, F. Piazza, and F. Vernizzi, Phys. Rev. Lett. 114, 211101 (2015), arXiv:1404.6495 [hep-th]
2015 arXiv
- [49]
-
[50]
Kolevatov, S
R. Kolevatov, S. Mironov, N. Sukhov, and V. Volkova, JCAP 08, 038, arXiv:1705.06626 [hep-th]
-
[51]
Ijjas and P
A. Ijjas and P. J. Steinhardt, Phys. Lett. B 764, 289 (2017), arXiv:1609.01253 [gr-qc]
2017 arXiv
-
[52]
Heisenberg, JCAP 05, 015, arXiv:1402.7026 [hep-th]
L. Heisenberg, JCAP 05, 015, arXiv:1402.7026 [hep-th]
-
[53]
Heisenberg, R
L. Heisenberg, R. Kase, and S. Tsujikawa, Phys. Rev. D 98, 123504 (2018), arXiv:1807.07202 [gr-qc]
2018 arXiv
-
[54]
De Felice, L
A. De Felice, L. Heisenberg, R. Kase, S. Mukohyama, S. Tsujikawa, and Y.-l. Zhang, Phys. Rev. D 94, 044024 (2016), arXiv:1605.05066 [gr-qc]
2016 arXiv
-
[55]
De Felice, L
A. De Felice, L. Heisenberg, R. Kase, S. Muko- hyama, S. Tsujikawa, and Y.-l. Zhang, JCAP 06, 048, arXiv:1603.05806 [gr-qc]
-
[56]
Heisenberg, R
L. Heisenberg, R. Kase, and S. Tsujikawa, Phys. Lett. B 760, 617 (2016), arXiv:1605.05565 [hep-th]
2016 arXiv
-
[57]
Deffayet, A
C. Deffayet, A. E. G¨ umr¨ uk¸ c¨ uo˘ glu, S. Mukohyama, and Y. Wang, JHEP 04, 082, arXiv:1312.6690 [hep-th]
-
[58]
Heisenberg and H
L. Heisenberg and H. Villarrubia-Rojo, JCAP 03, 032, arXiv:2010.00513 [astro-ph.CO]
2010 arXiv
-
[59]
B. F. Schutz and R. Sorkin, Annals Phys. 107, 1 (1977)
1977
-
[60]
Ijjas, JCAP 02, 007, arXiv:1710.05990 [gr-qc]
A. Ijjas, JCAP 02, 007, arXiv:1710.05990 [gr-qc]
- [61]
-
[62]
V. A. Belinsky, I. M. Khalatnikov, and E. M. Lifshitz, Adv. Phys. 19, 525 (1970)
1970
-
[63]
C. W. Misner, Phys. Rev. Lett. 22, 1071 (1969)
1969
-
[64]
de Rham, S
C. de Rham, S. Garcia-Saenz, L. Heisenberg, and V. Pozsgay, JCAP 03, 053, arXiv:2110.14327 [hep-th]
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.