Pith. sign in

REVIEW 3 major objections 3 minor 26 references

No skyrmion hair for stationary spherically symmetric reflecting stars

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

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

Pith's one-line read A spherically symmetric reflecting star cannot support skyrmion hair outside its surface.

desk verdict The no-skyrmion-hair conclusion is baked into the metric ansatz: fixing C to the Schwarzschild form makes the Hamiltonian constraint force the Skyrme energy density to zero. read the letter →

arxiv 1908.04591 v2 pith:DEHX7TM3 submitted 2019-08-13 hep-th gr-qc

M. Khodaei , H. Mohseni Sadjadi This is my paper · ORCID
classification hep-thgr-qc
keywords skyrmionhairreflectingstarno-hairtheoremEinstein-Skyrmemodelhedgehogansatzbaryonnumberblackholesphericallysymmetricsolution
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 asks whether a star with a reflecting surface, rather than an event horizon, can support a skyrmion cloud in general relativity. Its answer is no: for a stationary, spherically symmetric reflecting star, the Einstein-Skyrme field equations force the skyrmion profile to be constant just outside the surface, and the boundary condition at infinity then makes that constant zero. Because the same model admits skyrmion hair on black holes, the result sharpens the no-hair principle: the condition that kills the hair is the reflecting boundary, not merely the absence of a horizon. A sympathetic reader would care because it means such compact objects carry no skyrmion winding and therefore no baryon number in this model.

What carries the argument

The load-bearing object is the hedgehog ansatz, which writes the SU(2) skyrmion as $U=\cos\varphi+i(\mathbf{n}\cdot\boldsymbol{\tau})\sin\varphi$ and reduces the field to one radial profile $\varphi(r)$. This turns the Einstein-Skyrme equations into two coupled ordinary differential equations for $\varphi$ and the metric coefficient $N$. The decisive step is evaluating these at the reflecting surface: the boundary condition gives $N'=0$, equation (44) then forces $\sin^2\varphi_s=0$, and successive differentiation makes every derivative $\varphi^{(n)}$ vanish at the surface. The conclusion that an analytic $\varphi$ must be identically constant follows from the Taylor expansion about that point.

What would settle it

Solve the coupled Einstein-Skyrme ordinary differential equations without fixing $C(r)$ to the Schwarzschild expression, imposing a Neumann (or Dirichlet) condition at some radius $r_s>2GM$ and asymptotic flatness at infinity. If a nontrivial profile $\varphi(r)$ with nonzero baryon number exists in this fully back-reacted system, the no-hair claim is false; if every such solution forces $\varphi\equiv 0$ even with dynamical $C$, the no-hair conclusion holds.

Watch

Extended reading notes

Core claim

The central claim is a no-hair statement: in the Einstein-Skyrme model, a stationary spherically symmetric reflecting star, defined by either Neumann or Dirichlet boundary conditions on the skyrmion field at its surface, has only the trivial vacuum configuration outside. Using the hedgehog ansatz and a spherically symmetric metric, the authors reduce the coupled system to ordinary differential equations for the profile $\varphi$ and the metric function $N$. At the reflecting surface the condition on $U$ forces $N'$ to vanish, and inserting that into the Hamiltonian constraint forces $\sin^2\varphi_s=0$, so $\varphi_s$ is an integer multiple of $\pi$. Repeating the argument shows that every derivative of $\varphi$ at the surface is zero, and an analytic function with all derivatives zero is constant; with $\varphi(\infty)=0$ the constant is zero. Consequently the skyrmion profile is trivial, the baryon number is zero, and no hair is attached to the star.

Load-bearing premise

The derivation fixes the metric to the vacuum Schwarzschild form before solving the coupled Einstein-Skyrme equations, so the constraint that kills the skyrmion profile is imposed by the chosen metric rather than by the full back-reaction of the field.

Editorial extensions

If this is right

  • If the claim is correct, a spherically symmetric reflecting star in the Einstein-Skyrme model carries no skyrmion profile and has baryon number $B=0$ for both Neumann and Dirichlet boundary conditions.
  • The no-hair property is thus not unique to horizons: a reflecting surface outside the horizon enforces triviality even where a black hole in the same theory admits hair.
  • When the profile is trivial, the metric outside the star is exactly the Schwarzschild metric, consistent with a neutral reflecting star.
  • The result extends the known scalar-field no-hair theorems for reflecting stars to a topologically charged nonlinear field.

Reading between the lines

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

  • The proof fixes the metric coefficient $C$ to the vacuum Schwarzschild form before using the field equations; if $C$ is allowed to react to the skyrmion field, the particular constraint that forces $\varphi'=0$ need not hold, so a fully back-reacted numerical search is the natural place to look for a counterexample.
  • The same boundary-derivative argument could be applied to other topological solitons, such as monopoles or vortices, on reflecting-star backgrounds; if the pattern holds, reflecting boundaries would suppress topological hair in a broader class of models.
  • Dropping spherical symmetry, for example by allowing rotation, introduces new gradient terms in the energy that may support skyrmion hair even when the static spherically symmetric case is barren.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 3 minor

Summary. The paper studies the Einstein-Skyrme system outside a stationary, spherically symmetric reflecting star. Using the hedgehog ansatz and a metric of the form ds^2 = -N(r)C(r)dt^2 + C(r)^{-1}dr^2 + r^2 dOmega^2 with C(r)=1-2GM/r fixed, the authors derive field equations from the Einstein and Skyrme actions, impose a Neumann (or Dirichlet) boundary condition at the reflecting surface, and argue that all derivatives of the profile function vanish there. An analyticity argument then forces the profile to be constant, giving zero baryon number, in contrast to the hairy black hole case. The paper concludes that no skyrmion hair exists for such reflecting stars.

Significance. If the conclusion were established, the result would be a clean and interesting no-hair statement for reflecting stars in a nonlinear matter-gravity system, complementing existing scalar-field no-hair theorems and sharpening the contrast with hairy black holes. The paper also gives a useful concise review of the Skyrme model and the hedgehog ansatz. However, the central argument is not sound: the no-hair conclusion follows from fixing the metric to the vacuum Schwarzschild form rather than from a self-consistent treatment of the coupled Einstein-Skyrme equations. Because the load-bearing step is circular, the claimed result is not supported by the presented derivation.

major comments (3)
  1. [Section 3, Eq. (36) and Eq. (44)] The proof fixes the metric coefficient to the Schwarzschild form C(r)=1-2GM/r in Eq. (36), and then imposes the Hamiltonian constraint (44). With C fixed, the left-hand side of (44) is zero, so the equation reduces to (alpha/8)[(x^2+8 sin^2 phi) C phi'^2 + 2 sin^2 phi + 4 sin^4 phi / x^2] = 0, a sum of non-negative terms. This enforces phi' = 0 and sin phi = 0 pointwise. Hence the triviality of the profile is forced by the assumed vacuum metric, not derived from the coupled Einstein-Skyrme dynamics. The no-hair conclusion is therefore equivalent to the metric ansatz, making the argument circular.
  2. [Section 3, Eq. (44) and comparison to [14,15]] In the self-consistent parametrization used for hairy black hole solutions, one writes C(r)=1-2m(r)/r, and Eq. (44) is the Hamiltonian constraint m'(x)=alpha/8[(x^2+8 sin^2 phi) C phi'^2 + 2 sin^2 phi + 4 sin^4 phi / x^2]. The right-hand side is non-negative and equals the mass gradient; a nontrivial profile generically makes m(r) grow. By fixing m=M, the analysis discards this backreaction, which is precisely the mechanism that allows nontrivial Skyrme hair in the black hole solutions cited as [14,15]. The claimed contrast with the hairy black hole is therefore unsupported by the presented equations.
  3. [Section 3, Eq. (49)] The conclusion that all higher derivatives of phi vanish at the reflecting surface uses a Taylor expansion of the profile around x_s. This step assumes that phi is analytic on [r_s,infinity). No analyticity or regularity argument is supplied; if phi is only smooth (C^infinity) but not analytic, vanishing of all derivatives at a point does not imply that the function is constant. This is a secondary gap, but it is an additional unstated assumption in the no-hair proof.
minor comments (3)
  1. [Section 3, paragraph before Eq. (40)] The sentence 'Not let us put Neumann boundary condition on U' contains a typo; it should read 'Now let us put the Neumann boundary condition on U'.
  2. [Section 1, Introduction] The statement that 'according to the no-hair theorem, all stationary black hole solutions of Einstein-Maxwell equations are completely described by three observables' is an oversimplification; the standard no-hair theorems apply to specific matter models and require additional assumptions such as staticity or analyticity.
  3. [Section 2, Eq. (3)] The canonical momentum is written as Pi^{ij} = dL_NLsigma/d(dot{U}^{ij}), but the indices on U are not defined; this is a minor notational issue that does not affect the derivations.

Circularity Check

1 steps flagged · score 8.0 of 10

No-hair result is built into the fixed Schwarzschild ansatz: Eq. (44) is just m'=0, forcing the non-negative Skyrme energy density to vanish.

  1. self definitional [Section 3, Eqs. (36) and (44)]
    "We choose a spherical symmetric metric [23] as ds^2 = -N(r)C(r)dt^2 + 1/C(r) dr^2 + r^2dΩ^2, (36) where C(r) = 1 - 2GM/r. ... From Einstein equation (33) and the metric ansatz (36) we will have [23] ... α/8 [ (x^2 + 8 sin^2 φ)Cφ'^2 + 2 sin^2 φ + 4 sin^4 φ/x^2 ] = 0, (44)"

    The ansatz fixes the metric to Schwarzschild, i.e. a constant mass function, before solving the coupled Einstein-Skyrme system. With C=1-2GM/r, Eq. (44) is the Hamiltonian constraint with zero mass function; it asserts that a sum of non-negative Skyrme terms—Cφ'^2, sin^2φ, and sin^4φ/x^2—is zero. Hence φ'=0 and φ=nπ, so the trivial profile is an algebraic consequence of the assumed vacuum metric, not of the coupled dynamics. In a self-consistent treatment one would write C=1-2m(r)/r, and Eq. (44) would be m'(x)=α/8[...], which does not force triviality; the hairy black-hole solutions cited in [14,15] have a growing mass function outside the horizon.

full rationale

The central claim—that a spherically symmetric reflecting star cannot support skyrmion hair—is not derived from a self-consistent solution of the Einstein-Skyrme system. The paper imposes C(r)=1-2GM/r as part of the metric ansatz in Eq. (36), which fixes the exterior to be vacuum Schwarzschild. Then Eq. (44), quoted from the Einstein equations, becomes the constraint m'=0, forcing the non-negative Skyrme energy density to vanish and the profile to be trivial. The subsequent boundary-chain argument (Eqs. (46)-(48)) only restates this algebraic consequence. A self-consistent exterior with a nontrivial Skyrme field would have a mass function m(r) growing with r, as in the hairy black-hole solutions cited in [14,15]. Therefore the no-hair conclusion is equivalent to the chosen metric ansatz rather than an independent result. There is no additional load-bearing self-citation: the authors' own paper [21] is cited only alongside other no-hair studies and is not used to force the main claim. The score is 8 because the central result reduces by construction to the assumed vacuum metric.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central proof rests on the metric ansatz (36) with C fixed to Schwarzschild, an ad hoc restriction not derived from the coupled equations. It also relies on the hedgehog ansatz, reflecting boundary conditions, and analyticity of the profile.

assumptions (5)
  • ad hoc to paper The metric coefficient C(r) is fixed to the Schwarzschild form C=1-2GM/r (Eq 36).
    This restricts the spacetime to vacuum form while the Skyrme field is a source; it is not derived from the coupled field equations and is the key premise that forces the trivial solution.
  • domain assumption The Skyrme field is described by the hedgehog ansatz U=cos phi + i n.tau sin phi (Eq 35).
    Standard ansatz for spherically symmetric skyrmions; restricts to maximally symmetric solutions.
  • domain assumption The profile function phi is analytic at the reflecting surface (Eq 49).
    Used to conclude that all derivatives vanishing implies phi is constant; without analyticity, the Taylor expansion argument is incomplete, though ODE uniqueness could substitute.
  • domain assumption The reflecting boundary conditions: Neumann phi'(xs)=0 or Dirichlet phi(xs)=0 (Eqs 40-41, 50).
    Defines the reflecting star; the no-hair result is proven for these conditions only.
  • domain assumption The spacetime is asymptotically flat with phi(infinity)=0 (Eq 40).
    The profile approaches identity at infinity, giving U(infinity)=I.

how reviews work

0 comments
Cite this review

Pith. "Pith review of No skyrmion hair for stationary spherically symmetric reflecting stars." pith.science (2026). https://pith.science/paper/DEHX7TM3

@misc{pith2026190804591,
  author       = {Pith},
  title        = {Pith review of: No skyrmion hair for stationary spherically symmetric reflecting stars},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DEHX7TM3}},
  note         = {Machine review of arXiv:1908.04591}
}
read the original abstract

We investigate the existence of the skyrmion field in the background of an asymptotically flat stationary reflecting star. For this purpose, we consider the Einstein Skyrme system for which there is a skyrmion hair in the black hole case. We discuss spherically symmetric skyrmions and employ the hedgehog ansatz for the skyrmion field. We show that, in contrast to the black hole there is no skyrmion hair for a reflecting star.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 18 canonical work pages

  1. [23]

    Shiiki, N

    N. Shiiki, N. Sawado, [arXiv:0501025 [gr-qc]]

    work page

  2. [1]

    P. T. Chrusciel, J. Lopes Costa and M. Heusler, Living Rev . Rel. 15 (2012) 7 [arXiv:1205.6112 [gr-qc]]

    arXiv 2012

  3. [2]

    Bartnik, J

    R. Bartnik, J. Mackinnon, Phys. Rev. Lett. 61 (1988) 41

    work page 1988

  4. [3]

    Bizon, Phys

    P. Bizon, Phys. Rev. Lett. 64 (1990) 2844

    1990

  5. [4]

    Garfinkle, G

    D. Garfinkle, G. T. Horowitz, and A. Strominger, Phys. Rev . D 43 (1991) 3140

    work page 1991

  6. [5]

    M. S. Volkov, D. V. Glatsov, Sov. j. Nucl. Phys. 51 (1990) 1 171

    work page 1990

  7. [6]

    Straumann, Z

    N. Straumann, Z. H. Zhou, Phys. Lett. B 243 (1990) 33

    work page 1990

  8. [7]

    Z. H. Zhou, N. Straumann, Nucl. Phys. B 360 (1991) 180

    work page 1991

Show all 26 references
  1. [8]

    C. A. R. Herdeiro and E. Radu, Phys. Rev. Lett. 112 (2014) 2 21101, [arXiv:1403.2757 [gr-qc]]

    2014 arXiv

  2. [9]

    W. E. East and F.Pretorius, Phys. Rev. Lett. 119 (2017) 04 1101, [arXiv:1704.04791 [gr-qc]]

    2017 arXiv

  3. [10]

    C. A. R. Herdeiro and E. Radu, Phys. Rev. Lett. 119 (2017) 261101, [arXiv:1706.06597 [gr-qc]]

    2017 arXiv

  4. [11]

    J. C. Degollado, C. A. R. Herdeiro, and E. Radu, Phys. Let t. B 781 (2018) 651, arXiv:1802.07266 [gr-qc]]

    2018 arXiv

  5. [12]

    T. H. R. Skyrme, Nucl. Phys. 31 (1962) 556

    1962

  6. [13]

    Bizon, T

    P. Bizon, T. Chmaj, Phys. Lett. B 297 (1992) 55

    1992

  7. [14]

    Luckock and I

    H. Luckock and I. Moss, Phys. Lett. B 176 (1986) 341

    1986

  8. [15]

    S. Droz, M. Heusler, and N. Straumann, Phys. Lett. B 268 ( 1991) 371

    1991

  9. [16]

    Heusler, S

    M. Heusler, S. Droz, and N. Straumann, Phys. Lett. B 285 ( 1992) 21

    1992

  10. [17]

    Hod, Phys

    S. Hod, Phys. Rev. D 94 (2016) 104073, [arXiv:1612.0482 3 [gr-qc]] 10

    2016

  11. [18]

    Hod, Phys

    S. Hod, Phys. Lett. B 763(2016) 275, [arXiv:1703.05333 [gr-qc]]

    2016 arXiv

  12. [19]

    Peng, Phys

    Y. Peng, Phys. Lett. B 780(2018)144, [arXiv:1801.0249 5 [gr-qc]]

    2018

  13. [20]

    Peng, Eur

    Y. Peng, Eur. Phys. J. C 79 (2019) 309, [arXiv:1811.1286 0 [gr-qc]]

    2019

  14. [21]

    H. M. Sadjadi, M. Khodaei, [arXiv:1907.09902 [physics .gen-ph]]

    1907 arXiv

  15. [22]

    Manton, P

    N. Manton, P. Sutclife, Topological Solitons, Cambridge monographs on mathematical physics, Cambridge University Press 2004

    2004

  16. [24]

    Y. L. Ma, M. Harada, [arXiv:1604.04850 [hep-ph]]

    arXiv

  17. [25]

    Holzwarth, B

    G. Holzwarth, B. Schwesinger, Rept. Prog. Phys. 49 (198 6) 825

  18. [26]

    Dvali, A

    G. Dvali, A. Gumann, Nucl. Phys. B 913 (2016) 1001, [arXi v:1605.00543 [hep-th]] 11

    2016 arXiv

Pith tools

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