{"id":"4b18c0e3-2a02-4a05-a623-4e0d284a0675","arxiv_id":"2507.15298","paper_version":1,"verdict":"REJECT","confidence":"HIGH","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":5,"one_line_summary":"An elliptic-integral formula for equatorial light deflection in a hairy Kiselev black hole is presented, but the derivation is undermined by an invalid approximation and a sign error.","lead":"This paper calculates how much a black hole with a background quintessence field and scalar hair bends light passing in its equatorial plane, giving formulas with elliptic integrals. It claims the scalar hair weakens the bending while the quintessence field strengthens it, but the derivation contains several errors.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed exact bending formula (42) is built on roots (22)-(24) that do not satisfy the path equation; Vieta's relations fail already in the Kiselev limit α=0.","rationale":"Read in good faith, the paper aims at an exact lensing observable in a modified gravity metric. That goal is legitimate, and the elliptic-integral strategy is standard. But the derivation has an internal algebraic defect that no amount of parameter tuning fixes. The reader's stated weakest assumption concerns the small-r approximation in Eqs. (15)-(16); I agree that the expansion is invoked near r≈3M while its stated validity is r<M-αℓ/2. However, the more decisive problem is that Eqs. (22)-(24) are inconsistent with the very cubic they purport to solve, even in the α=0 limit where no hair is present. Vieta's relations are exact, so this is not a disagreement with an outside consensus; it is a failure of the internal derivation. Therefore the final Eq. (42), and the plotted trends for α and N, are not supported by the preceding steps. This does not prove the qualitative trend (α increasing suppresses deflection) is false in the actual spacetime; it proves only that the paper's analytic claim does not establish it. The appropriate verdict remains the reader's REJECT. I set verdict_should_be UNCHANGED because our independent concern reinforces the reader's conclusion rather than changing it.","tokens_in":17766,"tokens_out":27774,"duration_ms":273742,"concrete_test":"Symbolic/numeric check: set α=0, M=1, N=0.028, choose r0=5, and compute b from Eq. (29): b^2 = r0^3/(r0 - N r0^2 - 2M) = 125/(5 - 0.028*25 - 2) = 54.35. Form B(u)=1/b^2 - u^2 + 2M u^3 + N u, find its three roots to 6 digits, and compare with Eqs. (22)-(24) with η=0. The sums differ by -N/(2M), so the factorization (25) fails. Then evaluate Eq. (42) and a direct numerical integration of Eq. (33) (or Eq. (34)) using the numerically correct roots; if Eq. (42) disagrees with the direct integration, the claimed exact analytic deflection angle is invalid. This isolates the root inconsistency from the domain-of-expansion question.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is Eq. (42), an exact elliptic-integral bending angle. Everything downstream of the factorization Eq. (25) inherits the roots (22)-(24), so those roots must actually solve B(u)=0. They do not. For ω=-2/3 and α=0, the Kiselev limit the paper claims to recover, Eq. (18) becomes B(u)=1/b^2 - u^2 + 2M u^3 + N u, a cubic with u^2-coefficient -1. Vieta therefore fixes u1+u2+u3=1/(2M). Since Eq. (23) sets u2=1/r0, the other two roots must obey u1+u3=1/(2M)-1/r0. But adding Eqs. (22) and (24) gives u1+u3=(1-2M/r0-N-η)/(2M), i.e. an extra -(N+η)/(2M), with η=0 in this limit. A numerical instance, M=1, N=0.028, r0=5, b^2=125/(5-N r0^2-2M)=54.35, has exact roots {-0.112, 0.200, 0.412}; Eqs. (22)-(24) give {-0.115, 0.200, 0.401}. The mismatch is small for the tiny N used in the plots but is nonzero and grows with N. Thus Eq. (25) is not a factorization of Eq. (18), and Ψ2 and k in Eqs. (40)-(41) are built on the wrong roots. Eq. (42) is therefore not the exact bending angle claimed; the error is independent of the reader's separate objection that the small-r expansion (15) is used outside its stated domain.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies equatorial null geodesics in the Hairy Kiselev spacetime of Ref. [93], specializing to the equation-of-state parameter ω=-2/3. It derives the effective potential, photon-sphere radius, critical impact parameter, and a relation between the closest-approach distance and the impact parameter, and then expresses the deflection angle as a difference of incomplete elliptic integrals in Eq. (42). The paper claims that the result reduces to the Kiselev and Schwarzschild limits and uses plots to argue that the scalar hair coupling α suppresses the deflection while the quintessence parameter N enhances it.","tokens_in":18198,"tokens_out":8415,"duration_ms":85711,"significance":"If Eq. (42) were correct, it would provide a compact analytic lensing observable for a modified black-hole geometry and would make the qualitative trends in α and N useful for strong-lensing studies. The paper correctly avoids fitting free parameters to data and attempts to benchmark against known limits, which is a commendable approach. However, the central algebraic derivation contains errors that are demonstrable by direct differentiation and by Vieta's relations, and the claimed Kiselev limit is not actually recovered. As a result, the main significance claim is not established.","major_comments":[{"comment":"Eq. (25) is not a factorization of Eq. (18). In the α=0 limit, Eq. (18) becomes B(u)=1/b²-u²+2M u³+N u, so Vieta's relations require u1+u2+u3=1/(2M). With u2=1/r0, adding Eq. (22) and Eq. (24) gives u1+u3=(1-2M/r0-N-η)/(2M), and hence u1+u2+u3=(1-N-η)/(2M), which misses the N+η term. For M=1, N=0.028, r0=5, the exact roots are {-0.112, 0.200, 0.412}, while Eqs. (22)-(24) give {-0.115, 0.200, 0.401}. Therefore the integrand in Eq. (34), the amplitudes and modulus in Eqs. (39)-(41), and the claimed exact deflection angle in Eq. (42) are all built on incorrect roots. This also invalidates the stated α=0 Kiselev limit.","section":"Section IV, Eqs. (22)-(25)"},{"comment":"The photon-sphere condition is obtained by differentiating V_eff=f L²/r² with f=1-2M/r-Nr+αe^{-γr}, γ=2/(2M-αℓ). Direct differentiation gives r f'-2f=0, i.e. 6M/r+N r-2αe^{-γr}(γr+1)=2, which has the opposite sign for the γr term compared with Eq. (14). This sign error propagates into the linearized equation Eq. (15) and the photon-sphere radius Eq. (16), so the critical impact parameter Eq. (21) and all subsequent r_ps-dependent quantities are not reliable.","section":"Section III-IV, Eq. (14)"},{"comment":"The linearization e^{-γr}≈1-γr is stated to be valid for r<M-αℓ/2, but the photon sphere in Fig. 4 lies near r≈3-6 for the parameter choices M=1, ℓ=0.05. For example, with α=0.2 the stated bound is r<0.995, which is far below the plotted r_ps values. Using the expansion outside its stated domain means Eq. (16) and the critical parameters derived from it are not valid even after correcting the sign in Eq. (14).","section":"Section IV, Eq. (15)"},{"comment":"The metric is not defined consistently. Eq. (2) introduces M and states M=M+αℓ/2, but the subsequent formulas use M as the mass parameter and an exponent -2r/(2M-αℓ); the two masses are conflated throughout. In addition, Eq. (5) for the horizon does not follow from f(r_h)=0 using the same linearized exponential that is used elsewhere. A consistent definition of the metric and a correct horizon calculation are needed before the admissible range of r_0 can be trusted.","section":"Section II, Eqs. (2) and (5)"}],"minor_comments":[{"comment":"There are several typographical errors: 'Schwar-zschild' in Section I, 'subfig (a) of of Fig. 9' in Section V, and an incomplete sentence in the abstract ('the influence of the scalar field... shows a nontrivial effect: while moderate values...').","section":"Various"},{"comment":"Null geodesics should be parameterized by an affine parameter, not by 'proper time τ'; the wording is standard and should be corrected.","section":"Section III, Eq. (6)"},{"comment":"In Fig. 9(b) and the surrounding text, the case N=0, α=0.2 is labeled 'Kiselev BH', but the Kiselev solution in Ref. [74] has no scalar hair; that case is a hairy Schwarzschild-type spacetime, and the caption also refers to 'Hairy BH' ambiguously.","section":"Section V, Fig. 9"},{"comment":"The claim that for ω=-4/3 and ω=-1 the metric admits two horizons is presented as a graphical observation; an explicit statement that this is numerical rather than analytic would improve the presentation.","section":"Section II, Eq. (5)"}],"recommendation":"reject","confidential_remarks":"The core problem is not a question of interpretation or a minor fix: Eq. (25) is algebraically inconsistent with Eq. (18), as checked by Vieta's relations in the α=0 limit, and Eq. (14) has a sign error. These are internal inconsistencies, not disagreements with the current consensus. The authors might be able to repair the calculation and resubmit, but the manuscript as written does not establish its central claim."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the advertised exact bending-angle formula is not trustworthy. The claimed factorization of B(u) into roots (22)–(24) doesn't satisfy the path equation. Check the α=0 Kiselev limit: with M=1, N=0.028, r0=5, Vieta forces u1+u2+u3=1/(2M)=0.5 for the exact cubic, but Eqs. (22)–(24) sum to about 0.486. The difference is small for the plotted N, but it's nonzero and grows with N, so the roots are wrong and everything built on them—Ψ2, k, Eq. (42)—is off. This is a load-bearing flaw, independent of the other concerns.\n\nWhat is genuinely here: the paper applies the standard elliptic-integral reduction from Iyer–Petters and the Kiselev-lensing paper [78] to a metric from [93]. That's a routine but legitimate program. The structure is clear, the figures are readable, and the Schwarzschild and Kiselev limits are checked, so the authors know the benchmark results. If the factorization were right, this would be a modest, publishable extension.\n\nThe soft spots, in proportion. The Vieta failure above is fatal for the central formula. Eq. (14) also appears to be algebraically wrong: differentiating the effective potential gives a −2α(1 + r/(2M−αℓ)) e^{-...} term, not the +2α(r/(2M−αℓ)−1) e^{-...} that makes the equation balance. The photon-sphere calculation linearizes e^{-γr} under a stated condition r < M−αℓ/2, then uses the result near r≈3M, which is outside that domain. The metric notation is sloppy (M vs M, and the hair exponent is written two ways). And the step from Eqs. (35)–(36) to the closed form (37) is simply asserted.\n\nBottom line: the paper's goal—an exact strong-field lensing observable for a hairy Kiselev BH—is reasonable, but the derivation has multiple load-bearing errors and the final formula is not supported. I wouldn't send this to a reviewer as is; the right move is to desk reject or require a full correction before any further consideration.","headline":"The exact bending-angle formula is built on a cubic factorization that fails Vieta's relations already in the α=0 limit, and the photon-sphere derivation uses an expansion outside its stated domain.","tokens_in":18736,"tokens_out":5651,"would_cite":false,"duration_ms":48625,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.70.-s","95.30.Sf","98.62.Sb"],"model":"deepseek-v4-flash","headline":"This paper claims that equatorial light deflection in a Hairy Kiselev black hole admits an exact elliptic-integral formula in which scalar hair suppresses bending and quintessence enhances it.","keywords":["General Relativity","Black Hole","Quintessence","Dark Matter","Gravitational Lensing","Deflection Angle","Elliptic Integrals","Photon Sphere"],"falsifier":"Pick parameter values used in Figs. 7-9 and compute the deflection angle by numerically integrating Eq. (34) with the full metric function $f(r) = 1 - 2M/r - N r^{3\\omega+1} + \\alpha e^{-r/(M-\\alpha\\ell/2)}$, then compare with Eq. (42); a disagreement beyond numerical error would falsify the closed form as an exact statement about the original spacetime. A simpler check is whether the photon-sphere radius from Eq. (16) actually satisfies $r < M - \\alpha\\ell/2$ for the plotted parameters.","tokens_in":17576,"feed_emoji":"🕳️","tokens_out":5909,"duration_ms":60930,"temperature":0.7,"pith_summary":"This paper tries to establish an exact, closed-form expression for how much a light ray is bent when it passes near a black hole whose spacetime is the Hairy Kiselev solution, a Schwarzschild-like geometry modified by a quintessence field and a scalar exponential hair term. Working in the equatorial plane and choosing the state parameter $\\omega = -2/3$, the authors reduce the null-geodesic bending integral to elliptic integrals of the first kind and claim the deflection angle is analytic. They further claim that the scalar hair coupling $\\alpha$ suppresses light bending in the strong-field regime, while the quintessence parameter $N$ enhances it. If correct, the formula gives a direct analytic lensing observable for modified-gravity black holes and connects cleanly to the known Kiselev and Schwarzschild limits.","feed_headline":"Scalar hair suppresses light bending in hairy Kiselev black holes","feed_subtitle":"Exact elliptic-integral formula: quintessence boosts bending, scalar hair reduces it.","key_machinery":"The load-bearing object is the factorization of the photon path equation into a cubic, $B(u) = 2M(u-u_1)(u-u_2)(u-u_3)$ with $u=1/r$, whose roots $u_3 > u_2 > u_1$ are taken real after the linear-hair approximation. The bending integral is split at the turning points and re-expressed with standard substitutions as a difference of two incomplete elliptic integrals of the first kind, collapsing to the combination $K(k) - F(\\Psi,k)$ in Eq. (42). The elliptic modulus $k$ and phase $\\Psi$ encode the black-hole mass, the quintessence strength $N$, and the hair parameters $\\alpha,\\ell$, and the same reduction is what lets the authors compare their formula with earlier Kiselev and Schwarzschild strong-deflection results.","core_discovery":"The central claim is Eq. (42): for a photon moving in the equatorial plane of the Hairy Kiselev black hole, the deflection angle equals an expression built from the incomplete and complete elliptic integrals of the first kind, $F(\\Psi,k)$ and $K(k)$, with the modulus and phase given by Eqs. (40) and (41). The derivation assumes that the photon-sphere radius and the polynomial roots $u_1,u_2,u_3$ come from the cubic obtained by linearizing the exponential hair term $\\alpha e^{-r/(M-\\alpha\\ell/2)}$ to $1-\\gamma r$, with $\\gamma = 2/(2M-\\alpha\\ell)$. The paper argues that the resulting angle decreases with increasing impact parameter, decreases with increasing $\\alpha$, and increases with increasing quintessence strength $N$, and that it reduces to the Kiselev result at $\\alpha=0$ and to the Schwarzschild result at $\\alpha=N=0$.","pith_inferences":["A direct numerical integration of the bending integral using the full exponential metric, rather than its linearized replacement, would show whether the claimed $\\alpha$-suppression and $N$-enhancement trends survive for photons whose closest approach sits near $r\\approx 3M$, where the expansion's validity condition $r < M - \\alpha\\ell/2$ fails.","The same elliptic-integral reduction should extend to other equation-of-state parameters; for $\\omega=-1$ and $\\omega=-4/3$, where the horizon analysis shows two horizons, the path polynomial has a different degree and hyperelliptic integrals are likely needed.","The critical impact parameter in Eq. (21) defines a shadow radius, and comparing that shadow size with current black-hole shadow measurements would convert the paper's qualitative trends into quantitative upper bounds on $\\alpha$ and $N$."],"forward_implications":["An exact analytic deflection formula for the Hairy Kiselev spacetime is available, so lensing observables can be computed without numerical integration of the geodesic equation.","In the strong-field regime, larger scalar hair coupling $\\alpha$ reduces light bending, so a given image separation implies a heavier inferred mass than Schwarzschild lensing would suggest.","The quintessence parameter $N$ enhances deflection and partly counteracts the hair's suppression, so the two effects could in principle be disentangled by combining photon-sphere and shadow observables.","Known limits are reproduced: $\\alpha=0$ returns the Kiselev bending angle and $\\alpha=N=0$ returns the Schwarzschild result, providing internal consistency checks.","Negative deflection angles appear in some parameter regimes, which the paper interprets as repulsive photon trajectories produced by the combined scalar hair and exotic background field."],"supporting_citations":[{"why":"Supplies the Hairy Kiselev metric whose photon deflection is the paper's subject.","marker":"[93]"},{"why":"Gives the strong-lensing deflection result for the Kiselev black hole that the new formula must reproduce at $\\alpha=0$.","marker":"[78]"},{"why":"Provides the Schwarzschild strong-deflection bending angle used as the limiting-case check at $\\alpha=N=0$.","marker":"[27]"},{"why":"Introduces the Kiselev quintessence black hole solution that the hairy metric extends.","marker":"[74]"},{"why":"Supplies the elliptic-integral identities used to reduce the bending integral to $F$ and $K$.","marker":"[104]"},{"why":"Motivates the gravitational-decoupling hair construction that generates the exponential scalar term.","marker":"[92]"}],"fun_headline_variants":["Exact bending angle for hairy Kiselev black holes","Scalar hair weakens bending; quintessence strengthens it","Elliptic integral formula for equatorial light deflection","Hairy Kiselev bending: hair cuts, quintessence boosts","Equatorial deflection exact formula in hairy Kiselev"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire analytic bending formula relies on replacing the exponential scalar-hair term in the metric by its linear Taylor approximation to locate the photon sphere and the roots of the path equation, even though that approximation is declared valid only for $r < M - \\alpha\\ell/2$ while the photon sphere sits near $r = 3M$.","fun_headline_variants_meta":{"raw":{"variants":["Exact bending angle for hairy Kiselev black holes","Scalar hair weakens bending; quintessence strengthens it","Elliptic integral formula for equatorial light deflection","Hairy Kiselev bending: hair cuts, quintessence boosts","Equatorial deflection exact formula in hairy Kiselev"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000315,"raw_usage":{"total_tokens":1764,"prompt_tokens":905,"completion_tokens":859,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":521,"completion_tokens_details":{"reasoning_tokens":778}},"tokens_in":521,"tokens_out":859,"duration_ms":8460,"temperature":1.0,"reasoning_tokens":778,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T15:37:51.921905+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Pick parameter values used in Figs. 7-9 and compute the deflection angle by numerically integrating Eq. (34) with the full metric function $f(r) = 1 - 2M/r - N r^{3\\omega+1} + \\alpha e^{-r/(M-\\alpha\\ell/2)}$, then compare with Eq. (42); a disagreement beyond numerical error would falsify the closed form as an exact statement about the original spacetime. A simpler check is whether the photon-sphere radius from Eq. (16) actually satisfies $r < M - \\alpha\\ell/2$ for the plotted parameters.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Hairy Kiselev metric whose photon deflection is the paper's subject."},{"cited_title":"Strong gravita- tional lensing by kiselev black hole","cited_arxiv_id":null,"evidence_quote":"Gives the strong-lensing deflection result for the Kiselev black hole that the new formula must reproduce at $\\alpha=0$."},{"cited_title":"Exact gravitational lens equation in spherically symmetric and static space- times","cited_arxiv_id":null,"evidence_quote":"Provides the Schwarzschild strong-deflection bending angle used as the limiting-case check at $\\alpha=N=0$."},{"cited_title":"Quintessence and black holes","cited_arxiv_id":null,"evidence_quote":"Introduces the Kiselev quintessence black hole solution that the hairy metric extends."},{"cited_title":"Handbook of elliptic integrals for engineers and physi- cists, volume 67","cited_arxiv_id":null,"evidence_quote":"Supplies the elliptic-integral identities used to reduce the bending integral to $F$ and $K$."},{"cited_title":"Ovalle, R","cited_arxiv_id":null,"evidence_quote":"Motivates the gravitational-decoupling hair construction that generates the exponential scalar term."}],"review_version":1}