{"id":"099504a8-116e-4ce2-a585-d85a11ac2226","arxiv_id":"1908.02104","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Stationary scalar hair on a reflecting compact star is unstable when the scalar frequency is small, with ω²/m² ≤ 1/3.","lead":"The paper derives a frequency bound for stationary scalar hair around reflecting compact stars, and argues that below this bound the system is unstable. It is a short analytical note connecting the known light-ring instability of ultracompact objects to the stability of scalar hair.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Probe-limit, exterior-only analysis; the light-ring instability theorem is imported, not verified for the self-gravitating scalar-star spacetime.","rationale":"The algebraic derivation of the frequency bound is sound: Eqs. (9)-(21) correctly use the extremum argument and the rearrangement leading to ω²/m² ≤ 1/3 checks out. The weak point is the leap from this test-field bound to a statement about the stability of actual scalar hairy stars. The paper is explicit that the scalar's backreaction is neglected and that only the exterior Schwarzschild geometry is used. The instability is then inferred from the existence of the Schwarzschild photon sphere at r=3M together with the external theorem that horizonless ultracompact objects with light rings are unstable. But the theorem is not verified for the specific spacetime: the interior is unspecified, the scalar hair is not part of the metric, and the abstract's 'we prove' overstates the text's own 'expected to suffer.' This does not invalidate the derivation of the bound, but it means the central claim is conditional on external and unspecified ingredients, exactly as the reader concluded. A concrete numerical construction of the full backreacted solution would settle whether the inferred light-ring structure actually exists and whether the instability claim holds beyond the probe limit. Thus the reader's CONDITIONAL verdict remains appropriate; no adjustment is needed.","tokens_in":7035,"tokens_out":16627,"duration_ms":170397,"concrete_test":"Numerically construct a full backreacted stationary scalar-hairy solution around a reflecting star with a concrete interior model (e.g., uniform-density star matched to the exterior) for parameters satisfying Eq. (35), such as M=1, m=1, ω²/m²=0.2; then locate all null circular geodesics of the full metric. If the full solution does not possess a stable inner light ring, or if its exterior light ring is not outside the stellar surface, then the inference in Eq. (34) is invalid and the instability claim is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central instability claim is not actually derived for the self-gravitating hairy-star system. The paper explicitly works in the probe limit, neglecting scalar backreaction, so the metric used is the Schwarzschild exterior. The bound on the scalar-field extremum radius, rpeak ≤ 2m²M/(m²−ω²) (Eq. (21)), therefore constrains test-field configurations on a fixed background, not the radius of a full scalar-hairy-star solution. The instability conclusion then enters through Eq. (34), requiring the Schwarzschild photon sphere rγ = 3M to lie outside the star; but rγ = 3M is a property of the pure Schwarzschild exterior, and the full backreacted metric of a scalar hairy star would not generally have its photon sphere at 3M. Moreover, the claimed instability relies on the cited theorem that horizonless ultracompact objects with light rings have a stable inner light ring (refs [38,40,41]), yet the paper never checks that the specific reflecting-star-plus-scalar-hair spacetime satisfies the hypotheses of that theorem; the required stable light ring lies inside the star, whose interior is never modeled. The abstract's 'we prove ... unstable' is thus stronger than the exterior, probe-limit analysis supports; the text itself elsewhere says only 'expected to suffer.'","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a massive scalar field on the exterior Schwarzschild geometry of a horizonless reflecting compact star, working in the probe limit in which scalar backreaction is neglected. From the scalar field equation, the author derives an upper bound on the location of an extremum of the rescaled radial function, Eq. (21): the star radius rs and the extremum radius rpeak satisfy rs ≤ rpeak ≤ 2m^2 M/(m^2 − ω^2). The paper then combines this bound with the condition that the Schwarzschild null circular geodesic at rγ = 3M lies outside the star, Eq. (34), obtaining the frequency bound ω^2/m^2 ≤ 1/3. It is claimed that below this bound, stationary scalar hairy reflecting stars are unstable, via the mechanism by which massless fields pile up on a stable inner light ring of horizonless ultracompact objects.","tokens_in":7157,"tokens_out":8478,"duration_ms":88180,"significance":"If the central claim were established, the paper would provide a simple analytic instability criterion for a class of hairy compact objects, complementing no-hair theorems and light-ring stability arguments in the literature. The derivation of the extremum bound is explicit, self-contained, and parameter-free, and the final threshold ω^2/m^2 ≤ 1/3 is a sharp, falsifiable prediction. However, the significance is substantially limited by two structural features: the analysis is restricted to a test scalar field on a fixed Schwarzschild background, and the instability conclusion is imported from an external theorem whose hypotheses are not verified for the specific reflecting-star-plus-scalar-hair spacetime. These gaps mean the paper as written establishes a frequency bound for probe scalar configurations, but not the asserted instability of self-gravitating stationary scalar hairy stars.","major_comments":[{"comment":"The analysis is explicitly carried out in the probe limit: the text states 'we neglect scalar fields' backreaction on the background', and Eq. (7) is solved on the fixed Schwarzschild metric. Consequently, the bound (21), rs ≤ rpeak ≤ 2m^2 M/(m^2 − ω^2), is a statement about a test scalar field on a given Schwarzschild exterior, not about a self-gravitating scalar hairy star. For a backreacted hairy star, the metric functions f and χ in Eq. (2) would not be the Schwarzschild ones, and the null circular geodesic radius would not generally be 3M. Equation (34) and the conclusion that stationary scalar hairy stars are unstable for ω^2/m^2 ≤ 1/3 therefore go beyond what the probe-limit calculation can establish.","section":"Sec. II, Eqs. (3)-(5), (21)"},{"comment":"The instability conclusion rests entirely on the imported result that horizonless compact objects with null circular geodesics possess a stable inner light ring and are unstable to massless perturbations (Refs. [38,40,41]). The paper does not verify that the reflecting-star-plus-scalar-hair spacetime satisfies the hypotheses of that theorem. In particular, the interior of the star is never modeled or shown to admit the required stable inner light ring, which would lie inside the star. The condition rγ = 3M ≥ rs only places the Schwarzschild photon sphere outside the surface; it says nothing about an inner light ring or about the applicability of the cited instability mechanism to this specific spacetime.","section":"Sec. II, between Eqs. (33) and (34); Sec. I"},{"comment":"The abstract claims 'we prove that stationary scalar hairy stars are unstable for scalar fields with small frequency', while the Conclusions state that the configurations 'are expected to be dynamically unstable'. The body of the paper also uses 'expected' when describing the light-ring instability (Sec. I). Since the derivation does not establish the hypotheses of the light-ring theorem for the reflecting-star system, the word 'prove' is not supported. The manuscript should either demonstrate the applicability of the theorem or consistently present the instability as a conditional expectation.","section":"Abstract and Sec. III (Conclusions)"}],"minor_comments":[{"comment":"Equation (34) uses a non-strict inequality rγ = 3M ≥ 2m^2 M/(m^2 − ω^2), but the argument requires the null circular geodesic to lie strictly outside the star surface (rγ > rs). At equality, the photon sphere coincides with the boundary, and the cited light-ring instability theorem may not apply; consider using a strict inequality.","section":"Eq. (34)"},{"comment":"The text states that at an extremum point r=rpeak one has ψ̃ ψ̃'' ≤ 0. This is not true for every local extremum: at a positive local minimum, for example, ψ̃'' > 0 and ψ̃ > 0, so the product is positive. The argument can be repaired by choosing rpeak as a point where |ψ̃| attains its maximum, but this choice should be stated explicitly.","section":"Sec. II, Eq. (11)"},{"comment":"The word 'boundness' should be 'boundedness'.","section":"Sec. II, after Eq. (7)"},{"comment":"The notation has several spacing irregularities, such as 'ω 2' and 'm2' in the displayed equations, which make the text harder to read; these should be cleaned up during revision.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The paper is part of a series by the same author applying light-ring arguments to scalar field configurations around compact objects. The novelty over the author's previous JHEP paper (Ref. [54]) is the extension from static to stationary scalar fields, but the central instability claim is not proven for the self-gravitating system. The bound derivation itself is correct and could be a useful contribution if the claims are appropriately qualified. The reliance on Refs. [38,40,41] should be made conditional, with explicit acknowledgment that the hypotheses of those theorems are assumed rather than verified for the reflecting-star spacetime."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nShort version: Peng derives a clean frequency bound, ω²/m² ≤ 1/3, for stationary massive scalar hair around neutral reflecting compact stars, in the probe limit. The derivation is correct and transparent. But the advertised instability result is not derived for the self-gravitating system; it is an expectation imported from known light-ring instabilities, and the abstract overstates the claim.\n\nWhat's new: previous reflecting-star no-hair evasions were for static or charged fields. This note extends the program to stationary scalar fields on an uncharged background and obtains a concrete bound using the standard extremum argument. No free parameters, no fitting. The logic from the scalar equation to Eq. (35) is compact and right. The comparison with the Schwarzschild photon sphere is a nice touch.\n\nThe soft spots are real but localized. First, the analysis is probe limit and exterior-only. The metric is fixed to Schwarzschild outside the star, so the bound on r_peak constrains test-field configurations, not a backreacted hairy-star geometry. Second, the instability claim rests on the theorem that horizonless ultracompact objects with light rings have a stable inner light ring and are unstable to massless perturbations. The paper never verifies that the reflecting star plus scalar hair actually has that light-ring structure; that requires the interior and the backreacted metric, neither of which is modeled. It may well be true, but it is a conjecture here, not a proof. Third, the abstract says 'we prove ... unstable' while the body and conclusions say 'expected to be dynamically unstable'. That mismatch should be fixed.\n\nThe citation pattern is fair; the self-citation to [54] is for the method, and the calculation stands independently.\n\nWho is this for: people working on no-hair theorems, ultracompact objects, and light-ring instabilities. It is a narrow but legitimate contribution. It deserves a serious referee: the bound is new and the derivation is sound. The authors should be asked to either prove the light-ring conditions for the full spacetime or soften the instability conclusion accordingly. My recommendation: send to peer review; expect a conditional accept after revision.\n\nBest,","headline":"A clean probe-limit frequency bound for stationary scalar hair on reflecting stars, but the instability claim is imported from light-ring theorems and the abstract overstates it.","tokens_in":7772,"tokens_out":5116,"would_cite":false,"duration_ms":50147,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.25.Tq","04.70.Bw","74.20.-z"],"model":"deepseek-v4-flash","headline":"The paper derives a frequency bound below which stationary scalar hair on reflecting compact stars is dynamically unstable.","keywords":["scalar hair","reflecting compact stars","stationary scalar fields","instability bound","null circular geodesics","light ring instability","horizonless compact objects","probe limit"],"falsifier":"Run a direct numerical time-domain evolution of a massless scalar perturbation on the frozen background of a stationary scalar hairy reflecting star with $\\omega^2/m^2=0.2$ and $r_s$ just above $2M$. The paper's claim predicts exponential growth of the perturbation amplitude on the light-ring trapping timescale, whereas prolonged decay or bounded oscillation would falsify the bound (35).","tokens_in":6728,"feed_emoji":"","tokens_out":19029,"duration_ms":164782,"temperature":0.7,"pith_summary":"Stationary scalar clouds can hover outside a compact star whose surface reflects the scalar field and which has no event horizon, unlike static scalar hair, which no-hair theorems forbid. This paper asks whether those clouds can persist, and it claims they cannot when the field's frequency is small enough. In the probe limit, where the scalar's own gravity is ignored and the exterior geometry is Schwarzschild, the author derives an analytic inequality: if the rescaled radial profile has an extremum, its position is bounded by $2m^2M/(m^2-\\omega^2)$, which in turn bounds the star's radius. Requiring the exterior null circular geodesic at $r_\\gamma=3M$ to lie above that bound gives the instability criterion $\\omega^2/m^2 \\le 1/3$. Below that threshold the stationary hairy star is predicted to be dynamically unstable to massless perturbations, so such hair cannot serve as a stable endpoint.","feed_headline":"Reflecting-star scalar hair is unstable below the one-third bound","feed_subtitle":"Low-frequency scalar hair around a reflecting star cannot persist: the light ring destabilizes it.","key_machinery":"The central object is the rescaled radial scalar profile $\\tilde{\\psi}(r)=\\sqrt{r}\\,\\psi(r)$. Because $\\tilde{\\psi}$ vanishes at the star surface and at infinity, it must possess at least one extremum; at that point the scalar-field equation degenerates into the inequality $m^2 r^2 f(r) \\le \\omega^2 r^2$, which, with $f=1-2M/r$, yields $r_{\\mathrm{peak}} \\le 2m^2M/(m^2-\\omega^2)$. The second ingredient is the null-circular-geodesic criterion: the exterior Schwarzschild spacetime has a null circular geodesic at $r_\\gamma=3M$, and the light-ring instability of horizonless ultracompact objects makes the configuration unstable whenever that geodesic lies outside the star. Matching the bound on $r_{\\mathrm{peak}}$ (and hence on $r_s$) against $r_\\gamma=3M$ produces the frequency condition $\\omega^2/m^2 \\le 1/3$.","core_discovery":"The paper's central claim is an instability bound for stationary scalar hair around asymptotically flat, horizonless, neutral reflecting compact stars. In the probe limit the exterior spacetime is Schwarzschild with mass $M$ and star radius $r_s \\ge 2M$, and the scalar field obeys $\\Box \\psi - m^2 \\psi = 0$ with reflecting boundary conditions $\\psi(r_s)=0$ and $\\psi(\\infty)=0$. Using the rescaled function $\\tilde{\\psi}=\\sqrt{r}\\,\\psi$, the author shows that any extremum $r_{\\mathrm{peak}}$ of $\\tilde{\\psi}$ must satisfy $r_{\\mathrm{peak}} \\le 2m^2M/(m^2-\\omega^2)$, and because $r_s \\le r_{\\mathrm{peak}}$ this bounds the star's radius. The instability then follows from the known result that horizonless compact objects with null circular geodesics are unstable, since massless fields accumulate on the stable inner light ring. Since the exterior null circular geodesic of Schwarzschild sits at $r_\\gamma=3M$, requiring that this geodesic lies outside the allowed star radius yields $3M \\ge 2m^2M/(m^2-\\omega^2)$, i.e. $\\omega^2/m^2 \\le 1/3$. The paper concludes that stationary hairy reflecting stars below this frequency bound are dynamically unstable under massless field perturbations.","pith_inferences":["My inference: applying the same extremum inequality to reflecting stars with different exterior metrics, such as charged or de Sitter spacetimes, would produce frequency bounds set by their own null circular geodesic radii; the paper does not pursue this extension.","My inference: since the instability is mediated by massless fields on a light ring, the bound may also govern vector or gravitational perturbations of the same hairy star, not just scalar perturbations; this is not tested here.","My inference: including scalar backreaction would alter the metric away from Schwarzschild, shifting the light-ring radius and likely modifying the numerical coefficient $1/3$; the probe-limit threshold may be a leading-order estimate.","My inference: a quasinormal-mode search for the hairy reflecting star just below $\\omega^2/m^2=1/3$ should reveal a growing mode whose growth rate is set by the stable light ring, giving a direct quantitative test of the prediction."],"forward_implications":["Any stationary scalar hair with $\\omega^2/m^2 \\le 1/3$ cannot be a stable endpoint of gravitational collapse around a reflecting compact star; such hair must either fail to form or decay under massless perturbations.","Because the probe limit uses only the exterior Schwarzschild geometry, the instability condition is independent of the star's interior structure in this analysis.","The result is a sufficient condition for instability, not a stability proof: frequencies above the bound are not shown to be stable by this paper.","For stars with radius larger than $3M$, the exterior light ring lies inside the star, so the paper's instability mechanism does not apply to those configurations."],"supporting_citations":[{"why":"Establishes that horizonless ultracompact objects with null circular geodesics have a stable inner light ring, the trapping mechanism the instability argument relies on.","marker":"[38]"},{"why":"Together these provide the result that massless fields pile up on the innermost stable null geodesic, turning the light ring into a source of instability.","marker":"[40, 41]"},{"why":"Shows that stationary massive scalar field configurations can be supported around spherically symmetric reflecting compact stars, the configurations whose stability is being tested.","marker":"[55]"},{"why":"Together these supply the method of comparing the exterior null circular geodesic radius with bounds on hairy-star radii, which the paper follows to obtain Eq. (34).","marker":"[53, 54]"},{"why":"Together these give the geodesic Lagrangian and characteristic equation for null circular geodesics, from which the paper extracts the Schwarzschild null circular geodesic radius.","marker":"[66, 67]"}],"fun_headline_variants":["Scalar hair on reflecting stars unstable below 1/3 frequency bound","Reflecting-star scalar hair doomed when ω² < m²/3","Low-frequency scalar hair triggers instability on reflecting stars","One-third threshold: reflecting star scalar hair fails","Proved: scalar hair on reflecting stars unstable for small ω"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole conclusion depends on the assumption that a compact star with a light-trapping orbit above its surface is genuinely unstable to massless waves piling up on that orbit, a mechanism the paper imports from earlier results and does not demonstrate for its own spacetime (the interior is never modeled).","fun_headline_variants_meta":{"raw":{"variants":["Scalar hair on reflecting stars unstable below 1/3 frequency bound","Reflecting-star scalar hair doomed when ω² < m²/3","Low-frequency scalar hair triggers instability on reflecting stars","One-third threshold: reflecting star scalar hair fails","Proved: scalar hair on reflecting stars unstable for small ω"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001668,"raw_usage":{"total_tokens":6586,"prompt_tokens":881,"completion_tokens":5705,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":497,"completion_tokens_details":{"reasoning_tokens":5621}},"tokens_in":497,"tokens_out":5705,"duration_ms":47078,"temperature":1.0,"reasoning_tokens":5621,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:54:17.830126+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run a direct numerical time-domain evolution of a massless scalar perturbation on the frozen background of a stationary scalar hairy reflecting star with $\\omega^2/m^2=0.2$ and $r_s$ just above $2M$. The paper's claim predicts exponential growth of the perturbation amplitude on the light-ring trapping timescale, whereas prolonged decay or bounded oscillation would falsify the bound (35).","supporting_citations":[{"cited_title":"Grandcl´ement, Light rings and light points of boson stars, Phys","cited_arxiv_id":null,"evidence_quote":"Establishes that horizonless ultracompact objects with null circular geodesics have a stable inner light ring, the trapping mechanism the instability argument relies on."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Shows that stationary massive scalar field configurations can be supported around spherically symmetric reflecting compact stars, the configurations whose stability is being tested."}],"review_version":1}