{"id":"4cfaecc5-6d7c-4f99-b48f-1b31239af4f1","arxiv_id":"2507.08946","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"Charged boson stars can form horizonless frozen states with a de Sitter interior and a Reissner-Nordstrom exterior, using either scalar self-interaction or negative Horndeski vector-tensor coupling.","lead":"This paper numerically constructs charged boson stars that act as black hole mimics: they have a de Sitter core, no event horizon, and a thin shell matching a black hole exterior. The result matters because it shows such frozen stars can arise with ordinary electrodynamics plus scalar self-interaction, or with a Horndeski vector-tensor term and no self-interaction.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The existence claim rests on an unsolved double-zero limit: as min N → 0 the metric (2.5) develops a degenerate horizon, not a proven finite shell, and no convergence tests are given.","rationale":"The reader's weakest assumption is the same as the main issue: the central existence claim is not independently established because the limiting configuration is not solved. This is more than numerical hygiene, because a double zero of N changes the geometric interpretation: an extremal horizon has zero surface gravity but still sits at infinite proper distance, so it cannot be the finite-thickness shell of the Mazur-Mottola picture. The lack of convergence tests matters because the field equations are stiff when N becomes small, especially through the 1/N^2 terms in Eq. (2.9). The apparent typo in Eq. (2.10), N(0)=0 instead of N(0)=1, supports the impression that the origin and limiting boundary conditions were not checked with full care. The paper's own wording, \"approaches a frozen state\" and \"strongly suggest\", explicitly concedes that the exact endpoint was not constructed. The Horndeski mechanism for γ<0 is still an interesting and plausible result, and the near-critical solutions are likely regular, so the verdict should remain CONDITIONAL rather than being rejected outright. The proposed recomputation with proper-distance and curvature diagnostics would settle whether the claimed frozen state is a regular shell or a degenerate horizon.","tokens_in":9400,"tokens_out":8727,"duration_ms":117688,"concrete_test":"Independently recompute the γ=0 branch q=0.005, α=10^-4 with a relaxation code on a compactified radial coordinate or a shooting code with tolerance ≤10^-12. Along the branch, compute N_min, the proper distance L=∫_0^{r_min} dr/√N, and the Kretschmann scalar R_μνρσR^μνρσ at r_min. If L diverges as Ω→Ω_c while N_min→0 and curvature stays finite, the limit is an extremal horizon and the exact frozen-state claim fails; if L remains finite and curvature is bounded at the endpoint, the concern is resolved. Also print N(0) from the integrator to check whether Eq. (2.10)'s N(0)=0 is a typo for N(0)=1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3.1 (γ=0) and Section 3.2 (γ<0) stop the numerical branch when the minimum of N approaches zero and identify the limit as the frozen state (Fig. 3, Fig. 5). This is the load-bearing step: with the ansatz (2.5), a double zero N ~ (r-r_c)^2 makes the proper radial distance ∫ dr/√N diverge logarithmically, so r_c is a degenerate (extremal) horizon rather than a finite-thickness shell connecting a de Sitter interior to a Reissner-Nordström exterior. Whether the endpoint is a globally regular horizonless object is exactly what must be shown, but the paper provides no exact limiting solution with N(r_c)=N'(r_c)=0, no convergence study, and no error control for the shooting as the 1/N^2 terms in (2.9) become singular. The finite-C solutions with N_min>0 are regular quasi-horizon ultracompact objects, but the abstract claims frozen states that replace the event horizon, which requires the limit to be more than an extremal horizon. The text itself says \"approaches\" and \"strongly suggest\", flagging that the limiting configuration was not constructed.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies spherically symmetric, static, charged boson stars in a U(1)-gauged scalar field model minimally coupled to gravity, with an optional Horndeski vector-tensor coupling. It claims that for intermediate gauge couplings, the self-interacting scalar potential (2.4) allows branches of solutions to approach configurations where the metric function N(r) develops a double zero at a finite radius, which the authors identify as 'frozen states'—globally regular, horizonless objects with a de Sitter interior, a Reissner-Nordström exterior, and a thin shell replacing the event horizon. For the Horndeski model with negative γ, the same behavior is claimed to occur even without scalar self-interaction. The paper also computes light-ring effective potentials and finds one stable and one unstable light ring for the near-frozen configurations.","tokens_in":9620,"tokens_out":2526,"duration_ms":32968,"significance":"If established, the existence of globally regular, horizonless ultracompact objects with a de Sitter core and a black-hole exterior would be a concrete field-theoretic realization of the Mazur-Mottola gravitational condensate star, and the claim that ordinary (non-linear) electrodynamics suffices in a gauged scalar model is of considerable interest. The paper also makes a falsifiable prediction about light-ring pairs and notes the possible light-ring instability, connecting to active literature on black-hole mimickers. However, the central existence claim is currently supported only by sparse numerical shooting results for a few parameter values and no convergence or error analysis, so the significance is contingent on the limiting procedure being made rigorous.","major_comments":[{"comment":"The central claim that branch B terminates in a frozen state is based on the observation that the minimum of N(r) approaches zero as C decreases toward C≈11.2. However, a double zero of N(r) at r=rc makes rc a degenerate horizon: the proper radial distance ∫ dr/√N diverges logarithmically, and the coordinate r=rc is not part of the manifold in the standard sense. The paper does not demonstrate that the limiting configuration is a regular horizonless shell, and Eq. (2.9) contains terms proportional to 1/N^2 that become singular in this limit. No convergence tests, error bars, or an exact limiting solution with N(rc)=N'(rc)=0 are provided. Since the abstract and introduction explicitly claim that the shell 'replaces the event horizon', this is the load-bearing step of the paper, and it needs either a rigorous construction of the limiting solution or a careful numerical convergence analysis showing that the limit is not an extremal horizon.","section":"Section 3.1, Fig. 3"},{"comment":"The same degenerate-horizon concern applies to the γ<0 case. The branch is said to end exactly when the minimum of N(r) approaches zero, but only three values of ω are shown (ω=0.04, 0.03, 0.02), with no evidence that the sequence converges to a finite shell rather than to a singular or extremal configuration. The equations for γ<0 differ from the γ=0 case, and the scalar-field equation (2.9) still contains 1/N^2 terms; the regularity of the scalar and gauge fields at the would-be zero of N must be checked explicitly. Please provide a convergence study for these solutions and clarify the nature of the limiting configuration.","section":"Section 3.2, Fig. 5"},{"comment":"The manuscript states in the abstract that frozen states are globally regular and have a thin shell that 'replaces the event horizon'. The numerical evidence presented in Fig. 3 and Fig. 5 is for finite-C solutions with N_min>0, which are quasi-horizon ultracompact objects but not yet frozen states. The text itself uses the phrases 'approaches a double zero' and 'strongly suggest', indicating that the limiting configuration was not actually constructed. The claim that the event horizon is replaced by a shell of finite thickness is therefore an extrapolation, and the manuscript should either provide the limiting solution or temper the abstract and conclusions to what is demonstrated.","section":"Introduction and Abstract"},{"comment":"The demonstration of the crucial role of self-interaction relies on only two values of the gauge coupling (q=0.005 and q=0.01) at a single value of α=0.0001. The text states that the frozen state appears for 'intermediate values' of q, but no scan over q is shown for the self-interacting potential. Given that the claimed phenomenon depends sensitively on q (the branches differ qualitatively between q=0, 0.005, and 0.01), a more systematic parameter study is needed to establish the robustness of the effect.","section":"Section 3.1, parameter range"}],"minor_comments":[{"comment":"The caption contains a typo: 'The show the value C' should be 'We show the value C'.","section":"Fig. 2 caption"},{"comment":"The light-ring analysis is performed for finite-C solutions (Fig. 7), not for the limiting frozen state. Since the limiting configuration is not explicitly constructed, the statement that 'the frozen states possess one stable and one unstable lightring' should be phrased as a property of the near-frozen solutions, or the limiting analysis should be provided.","section":"Section 4, Eq. (4.19)"},{"comment":"The notation is mostly clear, but the boundary condition N(0)=0 in Eq. (2.10) is the standard regularity condition at the origin; it would help to state explicitly that this does not imply a horizon because the radial coordinate is not the areal radius near r=0. This is a minor clarification, not a technical error.","section":"Section 2, Eq. (2.5)"},{"comment":"The text says 'vector-tensor boson stars do exist in the limit C → 0 which corresponds to Ω → 0', but in Section 3.1 the limit Ω→0 is associated with the approach to the frozen state. The correspondence between C→0 and Ω→0 for γ<0 should be stated more carefully, since it seems to describe a different regime.","section":"Section 3.2"}],"recommendation":"major_revision","confidential_remarks":"The paper's core claim is interesting and likely correct in spirit, but the numerical evidence for the existence of a regular frozen state is not yet conclusive. The authors should be asked to provide convergence tests and, ideally, an exact or a highly accurate numerical solution at the endpoint, or to substantially reframe the claims as properties of quasi-horizon configurations. The reliance on the authors' earlier solutions [20,21,29] is acceptable, but the referee should verify that those references are publicly available and that the current manuscript's boundary conditions are consistent with them."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, the genuinely new piece here is the Horndeski vector-tensor construction: for negative γ the authors get charged boson stars that approach a horizonless ultracompact configuration without scalar self-interaction, which is not in the earlier literature. The light-ring structure — one stable ring inside the shell, one unstable outside — is a clean derived output from the numerical metric, and the effective-potential analysis is straightforward and convincing. The paper is also honest that the γ=0 part mostly reinterprets their earlier thin-shell solutions from [21]; the text says so explicitly.\n\nThat said, the central existence claim for exact frozen states is not actually proven. The branches in Secs. 3.1 and 3.2 terminate as the minimum of N approaches zero, and the authors say the solution develops a double zero. The stress-test note is right that a double zero of N is a degenerate horizon, not a finite-thickness shell: the proper radial distance ∫ dr/√N diverges logarithmically, so the limiting configuration is an extremal horizon, not a globally regular replacement for the event horizon. The paper never constructs the limiting solution itself; it only shows finite-C regular solutions approaching that limit. The abstract overclaims slightly when it says frozen states 'replace the event horizon' — what is shown is that a family of regular quasi-horizon solutions approaches a degenerate-horizon endpoint.\n\nOther soft spots, in proportion: the boundary condition Eq. (2.10) says N(0)=0, which is a typo — regularity at the origin in this ansatz requires N(0)=1. The numerical work has no convergence tests, no error bars, and only a handful of parameter values; near the double-zero limit the 1/N² terms in Eq. (2.9) make the shooting increasingly singular, so accuracy there is exactly what needs checking. I would not call any of this fatal, because the qualitative picture — charged boson stars can get arbitrarily close to a horizonless extremal configuration — is credible and worth pursuing. But the paper should distinguish more carefully between the finite-N_min solutions, which are rigorously regular, and the frozen-state limit, which is not constructed.\n\nWho is this for: people working on boson stars, black-hole mimickers, and light-ring stability. It deserves a serious referee — the Horndeski mechanism is new, the light-ring pairing is relevant, and the numerical solutions should be independently reproducible. I would send it to peer review, but I would insist that the authors fix the boundary-condition typo, quantify numerical error, and either prove the double-zero limit is a regular shell or soften the claim to 'approach a frozen state.'","headline":"The Horndeski extension is genuinely new and the light-ring analysis is clean, but the paper's central claim that exact frozen states exist is not actually demonstrated — the numerical branches stop at a double-zero limit that looks like an extremal horizon.","tokens_in":10222,"tokens_out":3253,"would_cite":true,"duration_ms":41276,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C15"],"pacs":["04.40.-b","04.70.-s"],"model":"deepseek-v4-flash","headline":"Charged boson stars can freeze into horizonless black-hole mimics with a de Sitter core and a black-hole exterior.","keywords":["frozen stars","charged boson stars","Mazur-Mottola solution","U(1) gauged scalar field","Horndeski vector-tensor gravity","ultracompact objects","light rings","de Sitter core"],"falsifier":"Recompute the branch-B family with higher grid resolution and Richardson extrapolation to see whether the minimum of $N(r)$ converges to a positive value or to zero. If the minimum saturates above zero, or if curvature invariants diverge at the shell as the minimum tends to zero, then the frozen state is a numerical artifact or an extremal-horizon limit rather than a regular horizonless solution.","tokens_in":9120,"feed_emoji":"⭐","tokens_out":7715,"duration_ms":85078,"temperature":0.7,"pith_summary":"This paper tries to establish that charged boson stars, horizonless solitons of a U(1)-gauged scalar field held together by gravity, can exist in frozen states: globally regular configurations with a de Sitter interior, a Reissner-Nordström exterior, and a thin shell in place of the event horizon. The central numerical result is that standard Maxwell electrodynamics is enough to reach these states, provided the scalar self-interaction is present and the gauge coupling takes intermediate values. The paper also shows that adding a Horndeski vector-tensor coupling makes the self-interaction unnecessary: negative $\\gamma$ drives the same frozen-state limit with a simple mass potential. The resulting objects carry one stable light ring inside the shell and one unstable light ring outside, so they would look nearly black-hole-like from a distance while remaining singularity-free. If the claim holds, the frozen states give a concrete field-theoretic realization of a gravastar-type black-hole mimicker built from bosonic matter and gauge fields.","feed_headline":"Charged boson stars can freeze into horizonless black-hole mimics","feed_subtitle":"Self-interaction, or a Horndeski term, gives them a de Sitter core and a black-hole exterior without a horizon.","key_machinery":"The key machinery is the approach of the metric function $N(r) = 1 - 2m(r)/r$ to a double zero at a finite radius, read as a quasi-horizon: the scalar and electric fields stay smooth there, while the energy-momentum tensor inside approaches the de Sitter form $\\rho = -p_r = -p_t$ and outside approaches the Reissner-Nordström form. Two ingredients push the branches to this limit: the bounded, exponential scalar self-interaction $U(|\\Psi|) = \\mu^2\\eta^2(1-\\exp(-|\\Psi|^2/\\eta^2))$ at intermediate gauge coupling $q$, and, for the simple mass potential, a negative Horndeski vector-tensor coupling $\\gamma$. The free parameters are the central value $C = \\psi(0)$, the gauge coupling $q$, and the algebraic coupling $\\alpha$; the solutions are constructed numerically by shooting.","core_discovery":"The discovery is a branch of numerically constructed charged boson stars that terminates in a frozen state. Along branch B, decreasing the scalar field at the origin (or lowering the frequency $\\omega$ in the Horndeski case) drives the metric function $N(r)$ toward a double zero at a finite radius $r_c$; the interior becomes de Sitter-like with $\\rho = -p_r = -p_t$, a shell of finite thickness carries the transition, and the exterior is Reissner-Nordström. These are not black holes: no horizon and no singularity form. In standard Einstein gravity with a mass potential alone the minimum of $N$ never reaches zero, so the exponential self-interaction is the enabling ingredient; with negative Horndeski coupling the self-interaction can be dropped. The frozen-state configurations have $M/Q_N < 1$ in the Horndeski case and possess both a stable inner and an unstable outer light ring.","pith_inferences":["Editorial inference: If the limiting double zero is genuinely regular, the frozen-state branches provide a one-parameter family connecting ordinary boson stars to gravastar-like objects, which could be used to model gravitational-wave echoes.","Editorial inference: The stable light ring inside the shell, combined with known light-ring instability results, suggests these frozen states may be nonlinearly unstable; evolving the full system numerically would test whether they are transient or long-lived.","Editorial inference: A sharper check would be to verify whether curvature invariants at the shell stay finite as the minimum of $N(r)$ tends to zero; if they diverge, the frozen state is better read as an extremal-horizon limit than as a horizonless object.","Editorial inference: The same construction should also work for other asymptotically flat charged solitons, such as gauged Q-balls, whenever charge repulsion balances gravity at intermediate coupling."],"forward_implications":["The frozen states are horizonless, globally regular alternatives to Reissner-Nordström black holes with the same exterior, so from afar their lensing and light-ring structure mimic a black hole.","Because each has an inner stable and an outer unstable light ring, the known instability channel for ultracompact objects applies, so the states are not automatically stable as static solutions.","In the Horndeski case with $\\gamma < 0$, all solutions satisfy $M/Q_N < 1$, so they are stable against decay into $Q_N$ free scalar bosons.","The exponential self-interaction and the Horndeski term play interchangeable roles in producing the frozen-state limit: either one can drive the quasi-horizon, whereas neither standard electrodynamics with a mass potential alone nor the ungauged model does."],"supporting_citations":[{"why":"Defines the frozen-star template the paper realizes: de Sitter interior, black-hole exterior, and a shell replacing the horizon.","marker":"[12]"},{"why":"Earlier construction of boson stars with wavy scalar hair where the quasi-horizon and thin-shell behavior was first noted.","marker":"[21]"},{"why":"Provides the deformed Reissner-Nordström black-hole solutions in vector-tensor Horndeski gravity on which the nonzero-$\\gamma$ frozen states build.","marker":"[25]"},{"why":"Revisited charged boson stars and supplied the domain-of-existence data against which the frozen-state branches are identified.","marker":"[28]"},{"why":"Establishes the upper bound on the gauge coupling for super-critical charged boson stars used to frame the intermediate-coupling window.","marker":"[29]"},{"why":"Provides the light-ring pairing theorem used to characterize the frozen states as ultracompact objects.","marker":"[30]"},{"why":"Supplies the claim that stable light rings lead to ergoregion and light-ring instabilities of ultracompact objects.","marker":"[31]"},{"why":"Full numerical simulation of the light-ring instability in scalar-field models, cited as a possible fate of the frozen states.","marker":"[32]"}],"fun_headline_variants":["Charged boson stars freeze into horizonless mimics","Frozen boson stars: de Sitter core, no horizon","Horizonless frozen states of charged boson stars","Charged boson stars chill to mimic black holes","Frozen states: charged boson stars without horizons"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The central claim depends on the numerical solutions staying accurate as the metric function's minimum approaches zero, and on that limiting dip being a genuinely smooth, horizonless shell rather than a numerical breakdown or an extremal horizon.","fun_headline_variants_meta":{"raw":{"variants":["Charged boson stars freeze into horizonless mimics","Frozen boson stars: de Sitter core, no horizon","Horizonless frozen states of charged boson stars","Charged boson stars chill to mimic black holes","Frozen states: charged boson stars without horizons"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000146,"raw_usage":{"total_tokens":1148,"prompt_tokens":876,"completion_tokens":272,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":492,"completion_tokens_details":{"reasoning_tokens":191}},"tokens_in":492,"tokens_out":272,"duration_ms":3567,"temperature":1.0,"reasoning_tokens":191,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T18:09:21.297392+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute the branch-B family with higher grid resolution and Richardson extrapolation to see whether the minimum of $N(r)$ converges to a positive value or to zero. If the minimum saturates above zero, or if curvature invariants diverge at the shell as the minimum tends to zero, then the frozen state is a numerical artifact or an extremal-horizon limit rather than a regular horizonless solution.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the frozen-star template the paper realizes: de Sitter interior, black-hole exterior, and a shell replacing the horizon."},{"cited_title":"Brihaye and B","cited_arxiv_id":null,"evidence_quote":"Earlier construction of boson stars with wavy scalar hair where the quasi-horizon and thin-shell behavior was first noted."},{"cited_title":"Verbin: Magnetic and electric black holes in the vector-tensor Horndeski theory, Phys","cited_arxiv_id":null,"evidence_quote":"Provides the deformed Reissner-Nordström black-hole solutions in vector-tensor Horndeski gravity on which the nonzero-$\\gamma$ frozen states build."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Revisited charged boson stars and supplied the domain-of-existence data against which the frozen-state branches are identified."},{"cited_title":"Brihaye and B","cited_arxiv_id":null,"evidence_quote":"Establishes the upper bound on the gauge coupling for super-critical charged boson stars used to frame the intermediate-coupling window."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the light-ring pairing theorem used to characterize the frozen states as ultracompact objects."},{"cited_title":"Cardoso, L","cited_arxiv_id":null,"evidence_quote":"Supplies the claim that stable light rings lead to ergoregion and light-ring instabilities of ultracompact objects."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Full numerical simulation of the light-ring instability in scalar-field models, cited as a possible fate of the frozen states."}],"review_version":1}