REVIEW 2 major objections 4 minor 2 cited by
Hayward Boson Stars
T0 review · 2 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read This paper argues that Hayward boson stars—self-gravitating scalar configurations around a regular non-singular core—exist exactly when the electrodynamic parameter ratio $\sqrt{\beta}/Q$ exceeds $1.49661$, and that Hayward black holes cann
desk verdict Useful numerical extension of Yue-Wang Hayward boson stars with a clean threshold formula, but the no-hair proof as printed has a sign error and the 'guaranteed' existence claim overshoots the shown numerics. 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 machinery is the exact mapping between the electrodynamics parameters and the Hayward geometry: $\ell^2=Q\sqrt{2\beta}$ and $m_0=Q^{3/2}(8/\beta)^{1/4}$. Through this mapping, the existence of horizons in the electro-vacuum Hayward spacetime is controlled by the ratio $\ell/m_0$, whose extreme value $\ell_m/m_0=(32)^{1/3}/3=1.05827$ becomes the threshold $\sqrt{\beta}/Q=1.49661$. The no-hair part uses the scalar-field identity $(N r^2\sigma\psi')'=r^2\sigma(\mu^2-\omega^2/(N\sigma))\psi$, integrated from the horizon outward; its sign structure is used to conclude that no regular scalar hair can live outside a Hayward horizon.
What would settle it
Evaluate the factor $\mu^2-\omega^2/(N\sigma)$ just outside the horizon of a non-extremal Hayward black hole: if it is not strictly positive throughout the exterior, Eq. (32) no longer forces $\psi=0$, so directly searching for stationary, asymptotically flat scalar configurations outside the horizon is the decisive test; finding one (or finding a HyBS with $\sqrt{\beta}/Q\le1.49661$) would falsify the claim.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is an existence criterion for Hayward boson stars (HyBS). These are static solutions of the Einstein–Klein–Gordon system in which a complex scalar field $\Psi=\psi(r)e^{-i\omega t}$ is coupled only gravitationally to a nonlinear electrodynamics Lagrangian that, by itself, produces the Hayward metric. The paper shows numerically that ground-state families exist for $\beta=0.1$ and charges up to about $Q=0.17$, with mass and frequency related in the usual boson-star curve, and that the maximum mass is lower than the mini-boson-star value. The sharp result is the bound $\sqrt{\beta}/Q>1.49661$, derived from identifying the Hayward length $\ell$ an
Load-bearing premise
The load-bearing premise is that the factor $\mu^2-\omega^2/(N\sigma)$ in Eq. (31) is strictly positive for every $r$ outside the horizon, which the printed argument does not justify because $N\to0$ at the horizon makes the factor negative there.
Editorial extensions
If this is right
- If the threshold is exact, the $\beta$–$Q$ parameter space splits into a horizonless region where Hayward boson stars exist and a black-hole region where they cannot.
- Hayward boson stars are always more massive than the corresponding electro-vacuum Hayward object, and their maximum mass is below the mini-boson-star maximum ($M_{\mathrm{max}}\simeq0.633$ in paper units).
- As $Q$ grows, the frequency approaches zero, producing frozen-star-like configurations whose effective size tends to $r_{\mathrm{ext}}$ of the horizonless Hayward spacetime.
- A direct corollary is a no-hair statement: Hayward black holes cannot support non-charged scalar hair, so scalar-dressed compact objects in this model would imply a horizonless core.
Reading between the lines
- A testable extension is to search for static scalar configurations with $\sqrt{\beta}/Q$ slightly below $1.49661$; since the paper's integral argument only rules out hair when its integrand is strictly positive, the true boundary may be set by the scalar's back-reaction rather than the electro-vacuum horizon condition.
- The same parameter-to-horizon mapping could be applied to other regular spacetimes generated by nonlinear electrodynamics, converting an existence problem for scalar stars into a purely geometric horizon check.
- The paper does not address dynamical stability, so static existence of HyBS does not yet establish them as viable astrophysical alternatives to black holes; a linear stability analysis around the maximum-mass configuration is the natural next step.
- If such horizonless scalar stars are dynamically stable, their compactness and resulting gravitational-wave or lensing signatures could distinguish them from black holes of similar mass.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies static, spherically symmetric, non-charged complex scalar fields minimally coupled to Einstein gravity with the Fan-Wang nonlinear electrodynamics model that, in the electrovacuum limit, reproduces the Hayward spacetime. It constructs ground-state Hayward boson star (HyBS) sequences for Q = 0.10, 0.12, 0.15, 0.17 at β = 0.1, compares them with mini-boson stars and with the horizonless Hayward geometry, and reports masses, effective radii, frequencies, and compactness. The central claim is that HyBS solutions exist exactly when sqrt(β)/Q > 1.49661, with the 'only if' direction supported by a no-hair argument asserting that Hayward black holes cannot support stationary non-charged scalar hair.
Significance. If the claims are correct, the paper provides a clean criterion separating the horizonless Hayward parameter space, where scalar stars exist, from the black-hole parameter space, where they do not. The numerical families are internally consistent: they reduce to mini-boson stars as Q -> 0, reproduce standard mass-frequency spirals, and obey the expected boundary conditions. The algebraic map (26)-(30) connecting (β,Q) to the Hayward parameters is a useful, parameter-free step. However, the no-hair proof in Sec. IV is invalid as printed, and the 'guaranteed existence' statement is stronger than the limited numerical sample supports. The central criterion is therefore not fully established, although the numerical part is a solid contribution.
major comments (2)
- [Sec. IV, Eqs. (31)-(32)] Multiplying Eq. (15) by N r^2 σ gives (N r^2 σ ψ')' = r^2 σ [μ^2 - ω^2/(N σ^2)] ψ, not the expression with N σ in the denominator printed in Eq. (31). The missing σ^2 is not a mere typo: the subsequent positivity claim is false in either form. For a non-extremal horizon N ~ κ(r-r+), the corrected bracket μ^2 - ω^2/(N σ^2) tends to -∞ near r+ (for ω≠0 and finite σ(r+)), so it is not strictly positive outside the horizon. The right-hand side of Eq. (32) therefore has a negative near-horizon contribution, and the vanishing of the boundary term does not imply ψ=0. The no-hair theorem, and with it the 'only if' direction of the threshold condition, is unproven.
- [Abstract and Sec. III B (Figs. 4-6, Table I)] The paper states that HyBS existence is 'guaranteed' once sqrt(β)/Q > 1.49661. The evidence, however, consists of sequences for β=0.1 and four Q values, all well above the threshold (for β=0.1, the critical charge is Q≈0.211 while the largest Q shown is 0.17). No sequence crosses the threshold, no near-threshold behavior is resolved, and no β variation is reported. Eq. (30) is derived from the electrovacuum horizon condition, not from the existence of scalar solutions. The manuscript should either present sequences approaching and crossing the boundary for several β, or weaken the claim to 'solutions are constructed for representative parameter values satisfying the condition.'
minor comments (4)
- [Table I] For Q=0.17, the listed R99/Mmax = 4.6482 is inconsistent with the tabulated R99=1.216 and Mmax=0.241, which give 1.216/0.241 ≈ 5.046. Please check the values and the corresponding figure captions.
- [Notation] The symbol ω is written as 'w' in several equations, e.g. w^2 ψ^2 in Eqs. (13), (14), (17), (18), and (20). Use a consistent ω throughout.
- [Typos] There are frequent typos: 'electrovacum' (abstract and Sec. III), 'Shwarzschild' (Sec. IV), 'euqations' (p. 2), 'horizonles' (Sec. IV), 'yied' (Sec. IV), and 'analized' (Fig. 4 caption). A careful proofread is needed.
- [Sec. IV] The no-hair argument assumes a non-extremal Hayward black hole, but the threshold statement in Eq. (30) includes the extremal case through the complement of the strict inequality. If the no-hair theorem is retained, the extremal case should be addressed separately or explicitly excluded.
Circularity Check
No significant circularity: the threshold is an analytic substitution of the Hayward horizon condition into the beta-Q relations, and the numerical boson-star construction is benchmarked externally.
full rationale
The paper's central threshold, sqrt(beta)/Q > 1.49661 (Eq. 30), is obtained by substituting the Hayward-matching relations (26) into the known horizon/no-horizon condition (27). This is an algebraic translation of an external standard result, not a fit or a self-referential definition; it is the same electrovacuum no-horizon condition that the paper then probes numerically with boson-star sequences. The scalar-field solutions are constructed by shooting from mini-boson-star initial data and are compared with the standard mini-boson-star maximum mass M_max ~ 0.633, so the numerical branch is anchored to independent benchmarks. The only self-citation ([39], used to state that mu is the scalar-field mass) is a conventional pointer and is not load-bearing for any derivation. A separate concern, noted here but not a circularity, is that the no-hair argument in Sec. IV is defective as printed: multiplying Eq. (15) by N r^2 sigma gives (N r^2 sigma psi')' = r^2 sigma [mu^2 - omega^2/(N sigma^2)] psi, not Eq. (31); and even in the printed form the bracket is not strictly positive outside a Hayward horizon because -omega^2/(N sigma) diverges to -infinity as N -> 0 at a non-extremal horizon. Thus the 'only if' direction of the claim rests on an unproven no-hair theorem. That is a correctness/rigor flaw, not an equivalence between inputs and outputs, so it does not raise the circularity score.
Assumptions & free parameters
free parameters (3)
- beta (electrodynamic parameter) =
beta = 0.1 in the numerical study
- Q (magnetic charge) =
0.10, 0.12, 0.15, 0.17
- psi0 (central scalar amplitude) =
varied continuously
assumptions (3)
- domain assumption Fan-Wang NLED action Eq. (2) with magnetic monopole ansatz Eqs. (9)-(12) produces a Hayward spacetime
- domain assumption Bound-state condition mu^2 > omega^2 and exponential decay Eq. (23)
- ad hoc to paper The factor mu^2 - omega^2/(N sigma) in Eq. (31) is strictly positive outside the horizon
Cite this review
Pith. "Pith review of Hayward Boson Stars." pith.science (2026). https://pith.science/paper/CAYF6FWE
@misc{pith2026250811906,
author = {Pith},
title = {Pith review of: Hayward Boson Stars},
year = {2026},
howpublished = {\url{https://pith.science/paper/CAYF6FWE}},
note = {Machine review of arXiv:2508.11906}
}
abstract
We examined the Einstein-Klein-Gordon system coupled to a nonlinear electrodynamics framework that asymptotically supports a Hayward spacetime. We explored the solution space of a static spherically symmetric, complex scalar field minimally coupled to the gravitational field known as Hayward Boson stars originally studied by Yue and Wang. We construct families of Hayward boson stars in the ground state, for different values of the charge parameter $Q$, and different values of the central scalar field. One of the main results of our analysis is the fact that the existence of boson stars is guaranteed once the condition $\frac{\sqrt{\beta}}{Q}> 1.49661$, where $\beta$ is a parameter of the electrodynamic theory, is fulfilled. When this condition is not satisfied the electrovacum spacetime contains at least one horizon and the spacetime can not support a scalar field configuration.
Figures
Figures from the paper (7 more)
Forward citations
Cited by 2 Pith papers
-
Frozen Neutron Stars
Solving modified Tolman-Oppenheimer-Volkoff equations with Bardeen and Hayward nonlinear electrodynamics, this paper finds that neutron stars reach 'frozen states' with a critical horizon at a critical magnetic charge.
-
Scalarization of Bardeen spacetime
For scalarization of the full Bardeen spacetime, small magnetic charges give the usual smooth scalarization threshold, while large charges end in a 'frozen' horizonless scalarized state rather than a Bardeen black hole.
Reference graph
Works this paper leans on
- [1]
-
[2]
Jetzer, Phys
P. Jetzer, Phys. Rept.220, 163 (1992)
1992
-
[3]
S. L. Liebling and C. Palenzuela, Living Rev. Rel.15, 6 (2012), 1202.5809
arXiv 2012
-
[4]
F. E. Schunck and E. W. Mielke, Class. Quant. Grav.20, R301 (2003), 0801.0307
arXiv 2003
-
[5]
Ruffini and S
R. Ruffini and S. Bonazzola, Phys. Rev.187, 1767 (1969)
1969
-
[6]
D. J. Kaup, Phys. Rev.172, 1331 (1968)
1968
-
[7]
Colpi, S
M. Colpi, S. L. Shapiro, and I. Wasserman, Phys. Rev. Lett.57, 2485 (1986)
1986
-
[8]
F. E. Schunck and D. F. Torres, Int. J. Mod. Phys. D9, 601 (2000), gr-qc/9911038
arXiv 2000
Show all 47 references
- [9]
-
[10]
Jetzer and J
P. Jetzer and J. J. van der Bij, Phys. Lett. B227, 341 (1989)
1989
-
[11]
Jetzer, Phys
P. Jetzer, Phys. Lett. B231, 433 (1989)
1989
-
[12]
Pugliese, H
D. Pugliese, H. Quevedo, J. A. Rueda H., and R. Ruffini, Phys. Rev. D88, 024053 (2013), 1305.4241
2013 arXiv
- [13]
- [14]
-
[15]
Kleihaus, J
B. Kleihaus, J. Kunz, C. Lammerzahl, and M. List, Phys. Lett. B675, 102 (2009), 0902.4799
2009 arXiv
-
[16]
Olivares, Z
H. Olivares, Z. Younsi, C. M. Fromm, M. De Laurentis, O. Porth, Y. Mizuno, H. Falcke, M. Kramer, and L. Rezzolla, Mon. Not. Roy. Astron. Soc.497, 521 (2020), 1809.08682
2020 arXiv
-
[17]
Grandclement, C
P. Grandclement, C. Som´ e, and E. Gourgoulhon, Phys. Rev. D90, 024068 (2014), 1405.4837
2014 arXiv
- [18]
-
[19]
Yoshida, Y
S. Yoshida, Y. Eriguchi, and T. Futamase, Phys. Rev. D50, 6235 (1994)
1994
-
[20]
C. F. B. Macedo, P. Pani, V. Cardoso, and L. C. B. Crispino, Phys. Rev. D88, 064046 (2013), 1307.4812
2013 arXiv
-
[21]
D. F. Torres, Nucl. Phys. B626, 377 (2002), hep-ph/0201154
2002 arXiv
-
[22]
F. S. Guzman, Phys. Rev. D73, 021501 (2006), gr-qc/0512081
2006 arXiv
-
[23]
F. S. Guzman and J. M. Rueda-Becerril, Phys. Rev. D80, 084023 (2009), 1009.1250
2009 arXiv
-
[24]
Penrose, Phys
R. Penrose, Phys. Rev. Lett.14, 57 (1965)
1965
-
[25]
R. M. Wald,General Relativity(Chicago Univ. Pr., Chicago, USA, 1984)
1984
-
[26]
Bardeen., Conf
J. Bardeen., Conf. Proc. of GR59, 174 (1968)
1968
-
[27]
Ayon-Beato and A
E. Ayon-Beato and A. Garcia, Phys. Lett. B493, 149 (2000), gr-qc/0009077
2000 arXiv
-
[28]
C. Lan, H. Yang, Y. Guo, and Y.-G. Miao, Int. J. Theor. Phys.62, 202 (2023), 2303.11696
2023 arXiv
-
[29]
Ayon-Beato and A
E. Ayon-Beato and A. Garcia, Phys. Rev. Lett.80, 5056 (1998), gr-qc/9911046
1998 arXiv
-
[30]
Ayon-Beato and A
E. Ayon-Beato and A. Garcia, Phys. Lett. B464, 25 (1999), hep-th/9911174
1999 arXiv
-
[31]
K. A. Bronnikov, Int. J. Mod. Phys. D27, 1841005 (2018), 1711.00087
2018 arXiv
-
[32]
K. A. Bronnikov (2022), 2211.00743
2022 arXiv
-
[33]
S. A. Hayward, Phys. Rev. Lett.96, 031103 (2006), gr-qc/0506126
2006 arXiv
- [34]
-
[35]
K. A. Bronnikov, Phys. Rev. D96, 128501 (2017), 1712.04342
2017 arXiv
- [36]
-
[37]
X. E. Wang (2023), 2305.19057
2023 arXiv
- [38]
-
[39]
Alcubierre, J
M. Alcubierre, J. Barranco, A. Bernal, J. C. Degollado, A. Diez-Tejedor, M. Megevand, D. N´ u˜ nez, and O. Sarbach, Phys. Rev. D107, 045017 (2023), 2212.02530
2023 arXiv
- [40]
-
[41]
Seidel and W.-M
E. Seidel and W.-M. Suen, Phys. Rev. D42, 384 (1990)
1990
- [42]
-
[43]
Balakrishna, E
J. Balakrishna, E. Seidel, and W.-M. Suen, Phys. Rev. D58, 104004 (1998), gr-qc/9712064
1998 arXiv
-
[44]
A. E. Mayo and J. D. Bekenstein, Phys. Rev. D54, 5059 (1996), gr-qc/9602057
1996 arXiv
-
[45]
Martinez, R
C. Martinez, R. Troncoso, and J. Zanelli, Phys. Rev. D70, 084035 (2004), hep-th/0406111
2004 arXiv
- [46]
- [47]
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.