{"id":"daa061af-2302-4ef0-a4b6-8b79b604540f","arxiv_id":"1908.09126","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Two previously found k-essence black hole/wormhole solutions are shown to be unstable under radial perturbations, and a generic instability is argued for power-law k-essence with exponent n < 1/2.","lead":"This paper analyzes the stability of two exact black hole-like solutions in k-essence gravity and finds both are unstable under small perturbations. It also argues that a whole class of such solutions with a power-law kinetic term is generically unstable.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (24) is derived in the gauge δβ=0 without the promised gauge-invariance check; for n=1/2, β'=0 at the throat makes that gauge singular, so the growing modes may be artifacts of the truncated system.","rationale":"Reading in good faith, the paper has a clear and plausible route to instability: a degenerate scalar-field perturbation at n≤1/2 and a Schrödinger-type spectral argument at n=1/3. The n=1/3 spectrum argument, despite an apparent sign discrepancy in Eq. (38) (from Eq. (36), V(z) appears to tend to +8B0/k² rather than −8B0/k²), still gives E=−3ω² unbounded above and hence ω²→−∞, so the qualitative conclusion likely survives. The n=1/2 explicit ODE would be a strong argument if Eq. (46) is the true physical equation. The load-bearing weakness is the status of Eq. (24): the paper explicitly says gauge-invariance must be checked and then does not check it, and the derivation uses only a subset of the perturbed Einstein equations. The n=1/2 solution makes this concrete because β'=0 at the throat makes the chosen gauge and the δα substitution (23) singular, so the momentum constraint (18) imposes a condition on δφ that the paper does not discuss. This does not prove the instability claim false, but it makes the proof conditional on completing the gauge-invariant check. Hence I keep the reader's CONDITIONAL verdict rather than moving to ACCEPT or REJECT; the missing computation is precisely the required condition.","tokens_in":8227,"tokens_out":27568,"duration_ms":286152,"concrete_test":"Re-derive the linearized perturbation system for F=F0X^n in a manifestly gauge-invariant way (e.g., with the master variables of Refs. [9–11]) for both exact backgrounds, and verify that the resulting equation for the gauge-invariant scalar perturbation coincides with Eq. (24), reducing to Eq. (46) with h>0 at n=1/2. If the gauge-invariant equation differs, or if the explicit mode (49) with the implied δα, δγ fails to satisfy the remaining linearized Einstein equation (16) at u=0, then the claimed instabilities are not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires that Eq. (24) describe the physical, gauge-invariant part of the linearized perturbations. The paper fixes δβ=0 and then states (Sec. 2) that 'it is necessary to make sure that [the equation] is gauge-invariant,' but supplies no demonstration, only references [9–11]. This is not merely cosmetic: Eq. (24) is obtained by eliminating δα, δγ, δα′ using three perturbed Einstein equations (15), (17), (18), while the remaining equation (16) is never checked, so the truncated system may admit spurious modes. The danger is acute for the n=1/2 solution (42): β′=b tanh(bu) vanishes at the throat u=0, so the gauge condition δβ=0 is singular there and the substitution (23) for δα contains a 1/β′ factor. The explicit growing solution (49) must also satisfy the linearized momentum constraint (18), which at u=0 reduces to 0=(1/2)F_X δφ_{,t} φ′ with φ′≠0, forcing δφ_{,t}(0,t)=0 unless C2(u) is chosen appropriately; the paper neither notes nor verifies this. If (24)/(46) are not the correct gauge-invariant master equations, the unbounded ω²<0 spectrum and the exponential growth would not establish instability.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies linear spherically symmetric perturbations of two static k-essence solutions obtained earlier by the authors for Lagrangians F(X)=F0 X^{1/3} and F(X)=F0 X^{1/2}-2Λ. The authors claim to prove instability of both solutions: for n=1/3 they use a Schrödinger-like equation and argue that the spectrum of E=-3ω² is unbounded above, and for n=1/2 they write down an explicit growing solution δφ ~ e^{√h t}. They further argue that static, spherically symmetric k-essence configurations with n<1/2 are generically unstable because the perturbation equation loses hyperbolicity. The paper follows the gauge-fixing approach of Refs [9-11] and derives a master equation (24) for the scalar perturbation.","tokens_in":8518,"tokens_out":30725,"duration_ms":279613,"significance":"If the central derivation is correct, the paper provides explicit evidence for instability of two nontrivial k-essence backgrounds and gives a simple analytical growing mode for the n=1/2 case; the spectral argument for n=1/3 is a standard and potentially useful demonstration. The paper is not circular: it builds on the authors' own exact background solutions without fitting parameters, and the generic n<1/2 claim is appropriately caveated as an argument rather than a proof. However, the derivation of the master equation contains an apparent algebraic inconsistency and the gauge-invariance assertion is unsupported; these issues are load-bearing for both instability conclusions.","major_comments":[{"comment":"Gauge invariance of the master equation (24) is asserted but not proved. The text states after Eq. (18) that one must make sure the perturbation equation is gauge-invariant, but no such check is performed; the cited references [9-11] do not cover the specific backgrounds of this paper. For the n=1/2 solution, β'(u)=b tanh(bu) vanishes at the throat u=0, so the gauge condition δβ=0 and the substitution (23) are singular there. Without a gauge-invariant formulation or at least a check that the growing modes are not pure gauge, the instability conclusion is not established.","section":"Section 2, Eqs. (18)-(24)"},{"comment":"The expression for δα in Eq. (23) does not follow from Eq. (18) as written. Linearizing Eq. (18) with δβ=0 gives δα = -F_X φ'/(2β') δφ, which for F=F0 X^n equals -n F0 X^{n-1}φ'/(2β') δφ. This agrees with Eq. (23) only if the background satisfies the identity F0 e^{2α} X^{2n-1}=1. For the n=1/2 background of Eqs. (42)-(43), this condition would read F0 b^4=1, which is not implied by the field equations: F0 is a free parameter while b is fixed by Λ. Therefore Eq. (24), and consequently Eq. (46) and the n=1/2 instability claim, are not established by the given derivation.","section":"Section 2, Eq. (23)"},{"comment":"The explicit growing solution (49) is only verified against the truncated equation (46), not against the full linearized system. At the throat u=0, where β'=0, the linearized momentum constraint (18) requires careful treatment: with δα taken from Eq. (23), the expression diverges like 1/β', and the paper does not show that the limiting equation is satisfied. In particular, the right-hand side 1/2 F_X δφ_t φ' must be balanced by the left-hand side; the arbitrary function C2(u) in (49) cannot generally enforce the required behavior at u=0 without making δφ vanish there. The paper should either verify that (49) satisfies all linearized Einstein equations, including Eq. (16), or present the correct gauge-regular master equation.","section":"Section 3.2, Eqs. (46)-(49)"},{"comment":"The n=1/3 instability proof rests on the assertion that under the boundary condition (39) the spectrum of E=-3ω² is 'manifestly not restricted above.' This is a plausible spectral statement, but it is not demonstrated: the paper should show that for arbitrarily large E there exists a solution of Eq. (36) satisfying (39), or cite a rigorous theorem. In addition, the boundary condition itself, that δφ does not grow faster than φ, is a physical choice that should be justified (e.g., from finiteness of the perturbed energy or regularity of the perturbed metric). The abstract's word 'proved' is stronger than what the argument actually establishes.","section":"Section 3.1, Eqs. (36)-(39)"}],"minor_comments":[{"comment":"The exponent in Eq. (49) is missing the time variable; it should read δφ(t,u)=e^{±√h(u) t + C2(u)}.","section":"Section 3.2, Eq. (49)"},{"comment":"There are numerous typographical errors, including 'F abris' in the author line, 'modeles' in the Introduction, 'amomg' in the Conclusion, and 'Class. Quantum Grav. 26,, 015010' in the references; these should be corrected.","section":"Throughout"},{"comment":"The first integral (48) with C1(u)=0 is a special choice; it would be helpful to state explicitly that the general solution is a linear combination of e^{√h t} and e^{-√h t}, so that the growing mode is not an artifact of setting C1 to zero.","section":"Section 3.2, Eq. (48)"}],"recommendation":"major_revision","confidential_remarks":"The algebraic inconsistency in Eq. (23) is the most serious issue: it directly affects the derivation of Eq. (24) and hence both instability claims. I would ask the authors to provide a complete derivation of the master equation, including the linearized Einstein equations, and to prove or explicitly verify gauge invariance and regularity at the n=1/2 throat. The paper's conclusions may be correct, but the current text does not yet support them."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe important thing to know: this paper actually does prove instability for the two exact k-essence solutions from the authors' 2016 paper. The n=1/2 case is handled by integrating the perturbation equation exactly, no Fourier decomposition, which is both elegant and convincing. The generic n<1/2 'argument' is honestly labelled as such; it is essentially the known negative sound-speed-squared instability, rederived from the perturbation master equation and applied to static configurations. That is a real, if modest, contribution.\n\nWhat is new: the two specific instability proofs. What is done well: the background solutions enter as inputs, not fitted, so there is no circularity; the perturbation setup is standard and mostly self-contained; and the expositions of the two solutions are clear.\n\nNow the soft spots. The paper says (Sec. 2) that after choosing δβ=0 it is 'necessary to make sure' the master equation (24) is gauge-invariant, but never delivers that check. The cited refs [9–11] presumably cover this, but for the n=1/2 solution there is a specific complication: β'=0 at the throat, so the gauge δβ=0 is singular there. Equation (24) itself is regular because the singular factor multiplies (e^{-2β}-Λ), which also vanishes at the throat, but the derivation as written divides by β'. That should be addressed explicitly. Also, the explicit growing solution (49) must satisfy the momentum constraint (18); at the throat this condition reduces to δφ_{,t}(0,t)=0, which can be satisfied by choosing the free function C2(0)=0, but the paper does not say so. Minor.\n\nThe boundary conditions for n=1/3 are permissive, but that matches the nature of the solution (singular spatial infinity). The spectrum argument is plausible.\n\nOverall: the central claims are likely correct. The paper deserves peer review, not a desk reject. The referee should ask for a gauge-invariance discussion and a comment on the throat singularity. With those revisions, publish.","headline":"Two exact k-essence solutions are shown to be unstable by a clean, mostly self-contained analysis; the main result is probably right, but the paper never delivers the promised gauge-invariance check and glosses over a singular gauge at the throat.","tokens_in":9019,"tokens_out":7923,"would_cite":true,"duration_ms":67451,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Two exact k-essence solutions are linearly unstable","keywords":["k-essence","spherically symmetric perturbations","linear stability","black hole","wormhole","scalar field","hyperbolic equation","exact solutions"],"falsifier":"Repeat the linear perturbation analysis using fully gauge-invariant variables, or with a different gauge such as $\\delta\\alpha = 0$, and compare the resulting spectra: if the growing modes disappear or the spectrum of $\\omega^2$ becomes bounded below, the claimed instability is a gauge artifact. Alternatively, evolve the $n = 1/2$ equation (46) numerically with finite-energy initial data and verify whether $\\delta\\varphi$ grows as $e^{\\sqrt{h(u)}\\,t}$ while preserving the constraint equations.","tokens_in":8027,"feed_emoji":"🕳️","tokens_out":4968,"duration_ms":46049,"temperature":0.7,"pith_summary":"The paper studies two exact static, spherically symmetric solutions in k-essence gravity, a class of modified-gravity theories with a scalar field whose kinetic term is noncanonical, and asks whether the solutions survive small radial disturbances. It establishes that both do not: for the black-hole solution with exponent $n = 1/3$, the perturbation spectrum has $E = -3\\omega^2$ unbounded above, so $\\omega^2$ can be arbitrarily negative and perturbations grow arbitrarily fast; for the wormhole-like solution with $n = 1/2$, the perturbation equation reduces to $\\ddot{\\delta\\varphi} = h(u)\\delta\\varphi$ with $h(u) > 0$, giving explicit exponential growth. The authors further argue that any static, spherically symmetric k-essence configuration with $n < 1/2$ is generically unstable because the master perturbation equation stops being hyperbolic. The analysis matters because these are exact analytical examples in a modified-gravity setting where stability is usually difficult to assess, and because they suggest a simple power-law criterion for instability.","feed_headline":"Two exact k-essence solutions are linearly unstable","feed_subtitle":"These exact modified-gravity space-times fail the stability test, hinting that generic k-essence models with n<1/2 are unstable.","key_machinery":"The load-bearing object is the master perturbation equation for $\\delta\\varphi$, derived in the gauge $\\delta\\beta = 0$ and written as equation (24) in terms of the background metric and scalar field. For each solution it is converted into a Schrödinger-type equation of the form $(2n-1)\\,d^2\\psi/dz^2 + [\\omega^2 - V(z)]\\psi = 0$ via a coordinate change and a field redefinition. For $n = 1/3$ the potential is such that the eigenvalue $E = -3\\omega^2$ is unbounded above; for $n = 1/2$ the equation simplifies to $\\ddot{\\delta\\varphi} = h(u)\\delta\\varphi$ with an explicitly positive $h(u)$. The deeper mechanism is the loss of hyperbolicity in the perturbation equation when $n < 1/2$.","core_discovery":"The central discovery is that both exact solutions previously obtained by the same authors are linearly unstable under spherically symmetric perturbations. For $n = 1/3$, after transforming to a tortoise coordinate and removing a first-derivative term, the perturbation satisfies a Schrödinger-like equation whose effective energy is $E = -3\\omega^2$; the potential is an infinite wall at one boundary and tends to a negative constant at the other, so the spectrum of $E$ is not bounded above. This means $\\omega^2$ is not bounded below and growing modes with arbitrarily large increments exist. For $n = 1/2$, no Fourier decomposition is needed: the perturbation equation integrates explicitly to $\\delta\\varphi \\propto e^{\\pm\\sqrt{h(u)}\\,t}$ with $h(u) > 0$ in the entire static region, so the solution grows with time while satisfying the stated boundary conditions. The paper also argues that for $n < 1/2$ the perturbation equation is non-hyperbolic in character, making generic instability plausible, though the conclusion must be checked case by case with physical boundary conditions.","pith_inferences":["Because the linearized master equation for $n < 1/2$ loses hyperbolicity, the reported instability may be a symptom of ill-posedness of the initial-value problem rather than genuine exponential growth; a full numerical evolution would distinguish these possibilities.","The criterion $n < 1/2$ coincides with a negative effective sound speed squared, $c_s^2 = 1/(2n-1) < 0$, for $F(X) = F_0 X^n$ models, so the instability can be reinterpreted as a tachyon-like scalar field; checking this relation directly in the master equation would give a fast instability test for other $F(X)$.","A fully gauge-invariant perturbation treatment, or a different gauge choice, would test whether the growing modes are physical; if they vanish in another gauge, the instability conclusions would need revision.","The explicit $h(u) > 0$ profile for $n = 1/2$ gives a concrete early-time prediction that a nonlinear evolution code should match before nonlinearities dominate."],"forward_implications":["If the instability is physical, the $n = 1/3$ black-hole solution cannot serve as a stable endpoint in k-essence gravity; tiny disturbances grow quickly into the nonlinear regime.","The $n = 1/2$ degenerate-horizon wormhole solution is likewise ruled out as a stable configuration, so any physical realization would need nonlinear or higher-order effects.","The generic argument for $n < 1/2$ suggests that stable static, spherically symmetric k-essence solutions, if they exist, must have $n \\geq 1/2$ or involve additional field structure.","The explicit integration at $n = 1/2$ provides a clean analytic benchmark for nonlinear evolution codes in k-essence theories.","The results align with earlier findings in scalar-vacuum gravity that stable spherically symmetric scalar black holes are exceptional rather than typical."],"supporting_citations":[{"why":"Provides the two exact background solutions whose stability is under investigation.","marker":"[6]"},{"why":"Supplies the gauge-invariant perturbation framework used to justify the gauge choice $\\delta\\beta = 0$.","marker":"[9]"},{"why":"The approach for stability analysis of scalar-vacuum configurations is followed here.","marker":"[10]"},{"why":"Used as a reference for gauge-invariant perturbation treatment and as a stable black-universe example for comparison.","marker":"[11]"},{"why":"Cited as the stability proof for the conformal scalar black hole, one of the rare stable cases in this class.","marker":"[13]"}],"fun_headline_variants":["K-essence black hole and wormhole both unstable","Exact k-essence space-times fail stability test","k-essence instability hits black hole and wormhole","Two k-essence solutions: both linearly unstable"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The derivation assumes that the perturbation equation (24) is gauge-invariant, but this is asserted and not demonstrated in the text; if its growing solutions are pure gauge modes rather than physical disturbances, the instability would be an artifact.","fun_headline_variants_meta":{"raw":{"variants":["K-essence black hole and wormhole both unstable","Exact k-essence space-times fail stability test","k-essence instability hits black hole and wormhole","Two k-essence solutions: both linearly unstable"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000744,"raw_usage":{"total_tokens":3307,"prompt_tokens":924,"completion_tokens":2383,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":540,"completion_tokens_details":{"reasoning_tokens":2317}},"tokens_in":540,"tokens_out":2383,"duration_ms":15975,"temperature":1.0,"reasoning_tokens":2317,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:21:43.100076+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Repeat the linear perturbation analysis using fully gauge-invariant variables, or with a different gauge such as $\\delta\\alpha = 0$, and compare the resulting spectra: if the growing modes disappear or the spectrum of $\\omega^2$ becomes bounded below, the claimed instability is a gauge artifact. Alternatively, evolve the $n = 1/2$ equation (46) numerically with finite-energy initial data and verify whether $\\delta\\varphi$ grows as $e^{\\sqrt{h(u)}\\,t}$ while preserving the constraint equations.","supporting_citations":[{"cited_title":"On Black Hole Structures in Scalar-Tensor Theories of Gravity","cited_arxiv_id":"1603.03692","evidence_quote":"Provides the two exact background solutions whose stability is under investigation."}],"review_version":1}