{"id":"dbeb4f25-d19c-4fa2-bda5-8c40a07c35ff","arxiv_id":"2504.14229","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"K-essence Lagrangians that can source Kerr-Schild spacetimes must be at most quadratic in the kinetic term, and linear when the congruence is autoparallel or when linearized solutions are also exact.","lead":"This paper determines which k-essence scalar field theories can act as matter sources for Kerr-Schild spacetimes, the metric family that includes Schwarzschild and Kerr black holes. The answer is a sharp restriction: the Lagrangian may depend at most quadratically on the kinetic term, and only linearly when the null congruence is autoparallel.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The k-essence scalar-field equation of motion is not imposed in the Kerr–Schild spacetime; the classification assumes a fixed φ and so may miss valid sources or overstate the restriction on F.","rationale":"The stress-test identifies the same weakest assumption as the reader: the scalar field is held fixed under the Kerr–Schild map, and its own equation of motion is not solved in the new spacetime. This is not an internal inconsistency, but it is a modeling condition that must be justified before the classification can be accepted as a theorem about k-essence sources. The proof of Theorem 1 also depends on the truncation theorem of Ref. [6], which is cited but not re-derived. Both issues are addressable with a concrete check. Therefore the conditional verdict is appropriate.","tokens_in":12839,"tokens_out":1875,"duration_ms":17239,"concrete_test":"Compute the scalar field equation of motion ∇a(∂F/∂X ∇aφ) + F_φ = 0 in the Kerr–Schild spacetime for a nontrivial quadratic Lagrangian F = A(φ)X^2 + B(φ)X - V(φ) using the fixed seed scalar φ and the transformed kinetic term X̃. Check whether the equation holds identically for arbitrary A, B, V or only under additional restrictions. If it fails generically, the classification theorem needs to be re-examined.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central argument requires that the k-essence energy-momentum tensor (16) satisfies the same conditions as the generic source in Ref. [6], in particular that its Kerr–Schild expansion terminates at third order for all k ≥ 4. The paper asserts this via Theorem 1's induction, but the induction implicitly assumes the field equations already hold at each order and that the source is divergence-free. For a minimally coupled k-essence, the equations of motion include the scalar field equation ∇aT^ab = 0, which is not automatically implied by the metric Einstein equations alone without solving for φ. The paper fixes φ under the Kerr–Schild map (Section II.B), so the transformed T^ab is computed by substitution, yet the scalar equation of motion in the new spacetime is never imposed. If that equation fails for the fixed φ, the source is not a valid k-essence source, and the classification of allowed Lagrangians could change. This is the load-bearing gap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies Kerr–Schild maps g̃_ab = g_ab + λ l_a l_b in minimally coupled k-essence theories, keeping the scalar field φ fixed and replacing X by X̃ = X + (λ/2)(Dφ)^2. It claims: (1) if a Kerr–Schild spacetime is sourced by such a k-essence field, F(φ,X) must be at most quadratic in X (§III.A); (2) for an autoparallel null congruence this reduces to F = B(φ)X − V(φ) (§III.C); (3) requiring the linearized solution to be exact forces the Lagrangian to be linear, except when φ is constant along the congruence, in which case F is unrestricted (§§IV–V). The proofs are explicit modulo the use of the truncation theorem of Ref. [6]. Section VI discusses black-hole and cosmological interpretations.","tokens_in":13042,"tokens_out":23074,"duration_ms":206474,"significance":"The classification is sharp and, under the fixed-scalar-field interpretation of the Kerr–Schild map, non-obvious; excluding higher-than-quadratic k-essence Lagrangians is a concrete and useful restriction for solution-generating applications. The paper presents the material as a sequence of theorems with worked index manipulations, and Theorem 3 correctly isolates the degenerate case Dφ=0. Its value is tempered, however, by the fact that the headline result is conditional on an assumption that is not stated in the abstract, and by the heavy reliance on the author's earlier truncation theorem, which is not reproduced. With a precise statement of the hypotheses and a clear sufficiency check, the result would be a solid specialized contribution.","major_comments":[{"comment":"The assumption that the scalar field is unaffected by the Kerr–Schild transformation is introduced without discussion and is not reflected in the abstract or in the statements of Theorems 1–3. The theorems classify Lagrangians for which a Kerr–Schild map with fixed φ sends a seed solution to another solution with the same φ; they do not classify all k-essence sources of Kerr–Schild metrics, because a generic candidate source would require solving for a new scalar field φ̃ together with the metric. To keep the main claim, the authors must either prove that any Kerr–Schild k-essence source can be obtained with an unchanged scalar field, or restate the main results explicitly as conditional on the fixed-φ map. As written, the abstract's 'in order to source a Kerr–Schild type spacetime' is stronger than what the proof establishes.","section":"§II.B, Eq. (16); abstract"},{"comment":"The paper never writes or imposes the scalar equation of motion in the transformed spacetime. If the full Einstein equations held exactly, the Bianchi identity would give ∇̃_a T̃^{ab}=0, which for the energy-momentum tensor (13) implies the scalar equation whenever ∇φ≠0; but the paper does not establish that the truncation conditions obtained from Ref. [6] are sufficient for the metric Einstein equations to hold at every order. Consequently, the statement in Section III.B that k-essence models with quadratic Lagrangian 'source spacetimes of Kerr–Schild type' remains a necessary-condition argument unless a sufficiency proof is supplied. The authors should either prove that the truncated expansion solves Eq. (8) exactly, or explicitly limit their claims to necessary conditions.","section":"§III.A–III.B, Eqs. (8), (17)–(25)"},{"comment":"The proof of Theorem 1 and the resulting quadratic form (24) rest entirely on the theorem from Ref. [6] that the source expansion must terminate at third order. This theorem is used as a black box, and the paper does not state its precise hypotheses or verify that the k-essence energy-momentum tensor (16) satisfies them. In particular, it is unclear whether the theorem is necessary, sufficient, or both, and whether it presupposes divergence-freeness or on-shell matter. Since the central classification depends on this input, the authors should quote the exact theorem and check the hypotheses, or include a proof tailored to the k-essence case.","section":"§III.A, Theorem 1 and Eq. (24)"}],"minor_comments":[{"comment":"The final sentence should explicitly say 'constant along the integral curves of an autoparallel Kerr–Schild congruence', since Theorem 3 carries that assumption.","section":"Abstract"},{"comment":"The expression √(2X^(1)) should be written |Dφ|, since Dφ = l^a∇_aφ can be signed.","section":"Eq. (22)"},{"comment":"Please spell out that ∂/∂X acts only on F_{X^k}, not on (X^(1))^k; the notation is easy to misread.","section":"Eq. (20)"},{"comment":"The remark 'd(s/n)=0 yields dφ=0' is cryptic and deserves a short derivation or a more precise reference.","section":"§VI.B"},{"comment":"The sentence 'The proof of the theorem omitted one special case' is misleading because Section V actually proves that case; the wording should be revised to say that the case is treated separately.","section":"§VII"}],"recommendation":"major_revision","confidential_remarks":"The paper is a modest but publishable extension of the authors' earlier work. My main concern is scope: if the fixed-scalar assumption is built into the theorem, the abstract should say so. I would ask the editor to insist that the authors either supply the missing sufficiency argument or explicitly frame the result as a necessary-condition theorem. The reliance on Ref. [6] is not circular, but the paper would be easier to evaluate if the needed part of that theorem were stated in a self-contained way."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read this as a clean, modestly-scoped classification theorem. The paper proves that minimally coupled k-essence Lagrangians that can source Kerr–Schild spacetimes are at most quadratic in X (F = A X^2 + B X - V), linear when the congruence is autoparallel, and that the linearized-to-exact lifting property selects linear Lagrangians except for the degenerate case where the scalar is constant along the congruence. The theorems are new, the proofs are readable, and the index manipulations check out. The method is a direct application of Gergely's earlier nonvacuum Kerr–Schild theorem, so the novelty is extension rather than revolution—but it is a legitimate extension in an established program.\n\nThe stress-test worry about the scalar field equation does not land. Keeping the scalar fixed under the Kerr–Schild map and computing the transformed energy-momentum tensor by substitution is a valid construction: if the new metric satisfies the Einstein equations with that T_ab, the contracted Bianchi identity enforces ∇_a T^ab = 0, which for a non-constant scalar is exactly the k-essence equation of motion. So the classification does not miss an independent constraint. The authors should have said this explicitly; the omission is cosmetic.\n\nThe soft spots are minor. The sufficiency claim is conditional: they show the source series terminates and the Ref. [6] lifting theorem applies, but they do not construct explicit seed solutions. They are honest about no-hair theorems and point to dynamical settings. The truncation theorem from Ref. [6] is cited rather than reproved; that is acceptable for a published result, though a referee might ask for a thumbnail sketch of its assumptions. Section VI on black hole interiors, sound speeds, and shadows is a bit disconnected from the classification and could be trimmed without loss.\n\nThe paper will be useful to scalar-tensor model builders and mathematical relativists interested in Kerr–Schild generating techniques. The central argument holds; I would send it to a competent referee. The referee should ask for the Bianchi sentence and possibly tightening of Section VI, then likely accept.\n\nRecommendation: peer review, accept after minor revision.","headline":"Clean classification of k-essence sources of Kerr-Schild spacetimes; the scalar equation worry is a red herring once you use the Bianchi identity.","tokens_in":13546,"tokens_out":12528,"would_cite":true,"duration_ms":102570,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C15","83C57","83D05"],"pacs":[],"model":"deepseek-v4-flash","headline":"A minimally coupled k-essence scalar can source Kerr–Schild spacetimes only if its Lagrangian is at most quadratic in the kinetic term, and only linear when linearized solutions must be exact.","keywords":["k-essence","Kerr-Schild spacetimes","scalar-tensor theories","null congruence","kinetic term","linearized field equations","exact solutions","black hole sources"],"falsifier":"Check whether a k-essence Lagrangian cubic in $X$ can produce a vanishing order-$\\lambda^4$ source term $T^{(4)}_{ab}$ for some nonconstant seed scalar; Theorem 1 predicts that $T^{(4)}_{ab}\\neq 0$ whenever $X^{(1)}\\neq 0$, so any explicit cubic model satisfying the field equations at that order would falsify the classification.","tokens_in":12678,"feed_emoji":"🕳️","tokens_out":16660,"duration_ms":132303,"temperature":0.7,"pith_summary":"This paper asks which k-essence scalar-tensor theories can serve as matter sources for Kerr–Schild spacetimes, the family of metrics built by adding a null-vector term $\\lambda l_a l_b$ to a seed metric and containing many black-hole and radiating solutions. The authors prove that a minimally coupled k-essence Lagrangian can do the job only if it is at most quadratic in the kinetic term $X$; if the null congruence is autoparallel, linearity is forced, and demanding that a linearized solution of the field equations also solve the full nonlinear system likewise forces linearity, with one exception. That exception is a scalar field constant along the congruence, whose Lagrangian remains unrestricted. The result gives a practical rule for generating exact Kerr–Schild solutions from linearized calculations and for deciding which k-essence models can enter them.","feed_headline":"Kerr-Schild sources force k-essence to quadratic at most","feed_subtitle":"The restriction selects which scalar-tensor models can generate black holes and radiating solutions.","key_machinery":"The central object is the Kerr–Schild map $\\tilde{g}_{ab}=g_{ab}+\\lambda l_a l_b$, which adds a null-vector term along a null congruence $l_a$ to a seed metric; the difference between the Ricci tensors of the seed and deformed spacetimes is a power series in $\\lambda$ that stops at third order. The k-essence sector is a scalar field with Lagrangian $\\sqrt{-g}F(\\varphi,X)$, where $X=-\\tfrac12 g^{ab}\\nabla_a\\varphi\\nabla_b\\varphi$, and its energy–momentum tensor is $T_{ab}=F_X\\nabla_a\\varphi\\nabla_b\\varphi+g_{ab}F$. Under the map the kinetic term becomes $X+\\lambda X^{(1)}$, with $X^{(1)}=\\tfrac12(D\\varphi)^2$, so expanding $F$ in powers of $\\lambda$ turns the vanishing of higher-order source terms into derivative conditions $F_{X^k}=0$; those conditions force $F$ to be at most quadratic in $X$, and the autoparallel or exactness conditions reduce the degree to one.","core_discovery":"The paper establishes a classification of minimally coupled k-essence scalar fields that can source Kerr–Schild spacetimes. To source any such spacetime, the Lagrangian must be at most quadratic in the kinetic term, $F(\\varphi,X)=A(\\varphi)X^2+B(\\varphi)X-V(\\varphi)$. When the null congruence is autoparallel, only the linear Lagrangian $F(\\varphi,X)=B(\\varphi)X-V(\\varphi)$ survives. And if a solution of the field equations linearized in the Kerr–Schild parameter must also be an exact solution for arbitrary parameter values, the Lagrangian must again be linear unless the scalar field is constant along the null congruence, in which case every functional form of $F$ is admissible.","pith_inferences":["A testable extension would repeat the coefficient counting for broader scalar-tensor families with derivative interactions; the extra terms would shift the polynomial degree forced by the vanishing higher-order sources, so the quadratic/linear dichotomy may not persist.","The unicity result suggests a constructive recipe: solve the linearized field equations with a linear k-essence Lagrangian, and the Kerr–Schild parameter can then be promoted to finite values without solving the full nonlinear system.","For dynamical black-hole scenarios, the anisotropic-fluid picture outside the horizon implies that radial sound perturbations may become unstable for certain parameter pairs; comparing those stability windows with observations of shadows or accretion flows could indirectly constrain the allowed k-essence functions.","If a Kerr–Schild seed with nontrivial scalar hair is eventually constructed despite the no-hair theorems, the classification in this paper identifies the only Lagrangians that could sustain it."],"forward_implications":["Quadratic k-essence models, including dilatonic ghost condensate and unified dark-matter/dark-energy Lagrangians, are the only nonlinear k-essence candidates for sourcing Kerr–Schild spacetimes.","For autoparallel congruences, which include many standard black-hole and radiating setups, only linear Lagrangians of the form $F=B(\\varphi)X-V(\\varphi)$ can source the geometry.","For linear Lagrangians, any solution of the linearized field equations automatically gives an exact Kerr–Schild solution for all values of the Kerr–Schild parameter.","Inside a horizon the allowed k-essence behaves as a perfect fluid and outside as an anisotropic fluid, and the sound-speed formulas give stability conditions $c_s^2\\ge 0$ constraining the functions $A$ and $B$."],"supporting_citations":[{"why":"It supplies the theorem that the Kerr–Schild source expansion terminates at third order and gives the exactness condition used throughout.","marker":"[6]"},{"why":"It provides the vacuum linearized-solutions-are-exact result that this paper extends to k-essence sources.","marker":"[5]"},{"why":"It contributes the gravitational-collapse behavior of k-essence and the observation that the sound speed need not vanish.","marker":"[25]"},{"why":"It gives the correspondence between a scalar field and an effective perfect fluid used inside the horizon and in cosmology.","marker":"[32]"},{"why":"It gives the minimally coupled scalar as an imperfect fluid with anisotropic pressure, used for the exterior of the horizon.","marker":"[33]"},{"why":"It states a no-hair theorem for a class of k-essence black holes, motivating the paper's focus on dynamical applications.","marker":"[39]"}],"fun_headline_variants":["Kerr-Schild sources cap k-essence at quadratic","Quadratic k-essence: the Kerr-Schild limit","K-essence must be quadratic (or less) for Kerr-Schild","Autoparallel congruence trims k-essence to linear","Exact solutions: k-essence linear, except constant case"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument holds the scalar field configuration fixed while the metric is deformed by the Kerr–Schild map, so the new energy–momentum tensor is obtained by substituting the deformed metric into the original Lagrangian; if the scalar field had to be solved afresh from its own equation of motion in the new spacetime, the allowed Lagrangians could be different.","fun_headline_variants_meta":{"raw":{"variants":["Kerr-Schild sources cap k-essence at quadratic","Quadratic k-essence: the Kerr-Schild limit","K-essence must be quadratic (or less) for Kerr-Schild","Autoparallel congruence trims k-essence to linear","Exact solutions: k-essence linear, except constant case"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00127,"raw_usage":{"total_tokens":5143,"prompt_tokens":836,"completion_tokens":4307,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":452,"completion_tokens_details":{"reasoning_tokens":4216}},"tokens_in":452,"tokens_out":4307,"duration_ms":30609,"temperature":1.0,"reasoning_tokens":4216,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:54:26.977700+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check whether a k-essence Lagrangian cubic in $X$ can produce a vanishing order-$\\lambda^4$ source term $T^{(4)}_{ab}$ for some nonconstant seed scalar; Theorem 1 predicts that $T^{(4)}_{ab}\\neq 0$ whenever $X^{(1)}\\neq 0$, so any explicit cubic model satisfying the field equations at that order would falsify the classification.","supporting_citations":[{"cited_title":"Vacuum Kerr-Schild metrics generated by nontwisting congruences","cited_arxiv_id":"gr-qc/0203091","evidence_quote":"It supplies the theorem that the Kerr–Schild source expansion terminates at third order and gives the exactness condition used throughout."},{"cited_title":"Kerr-Schild metrics revisited II. The complete vacuum solution","cited_arxiv_id":"gr-qc/0203090","evidence_quote":"It provides the vacuum linearized-solutions-are-exact result that this paper extends to k-essence sources."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It states a no-hair theorem for a class of k-essence black holes, motivating the paper's focus on dynamical applications."}],"review_version":1}