{"id":"3e0da091-39ff-4385-ae49-e14c08670de4","arxiv_id":"2411.18255","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":5,"one_line_summary":"New perturbative black hole solutions in an explicit spacetime-symmetry-breaking gravity EFT, with derived observables including three-horizon metrics when two coefficients are active.","lead":"The paper derives new approximate black hole metrics in a modified theory of gravity where diffeomorphism symmetry is explicitly broken by a fixed background tensor. These metrics yield predictions for horizons, temperatures, orbits, and precession that could be tested with black hole observations.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Reduced-action solutions are not shown to satisfy full covariant field equations; exact reduced solution admitted to fail them, so Eqs. (17)/(26) may not solve Eq. (4).","rationale":"Read in good faith, the paper's stated goal is to provide first-order black-hole metrics for explicit diffeomorphism breaking. The reduced-action method is standard in GR, and the numerical integration of the reduced equations supports internal consistency of those equations. However, the leap from reduced Euler-Lagrange solutions to solutions of the full covariant equations (4) is the load-bearing step and is not demonstrated. The exact-solution remark is a strong internal signal that the reduced and full variational problems diverge in this theory. The proposed substitution test is cheap and decisive: it either confirms the metrics or shows exactly which component fails. This does not impugn the authors' derivations; it identifies a missing verification. The reader's conditional verdict remains appropriate.","tokens_in":29929,"tokens_out":9972,"duration_ms":96369,"concrete_test":"Take the Case 1 metric (17) with constant s^{00}=ε and compute all components of the modified Einstein tensor in Eq. (4) in the original coordinates, using covariant derivatives of the fixed contravariant tensor, so ∇_μ s^{αβ} ≠ 0 even though ∂s=0; check whether the residual vanishes at O(ε) for tt, rr, θθ, and φφ. Independently, repeat the reduced-action derivation with a general spherically symmetric ansatz ds^2=-N^2 dt^2 + (1/f) dr^2 + ρ^2(r)(dθ^2+sin^2θ dφ^2) and constant diagonal s^{μν}; if the Euler-Lagrange equation for ρ is not satisfied by (17), the restriction ρ=r is unjustified. Run the same checks for (26) and (27).","verdict_should_be":"UNCHANGED","load_bearing_attack":"Central claim: metrics (17), (24), (26), (27) solve Eq. (4) at O(s). The verification consists of solving the reduced-action Euler-Lagrange equations (12)/(23) and asserting consistency with (4) and the traced Bianchi identity (5). That is not sufficient. First, (5) is only the traced Bianchi identity; the full contracted Bianchi constraints and the non-traced components of (4) remain unchecked. Second, the reduced action fixes g_{θθ}=r^2. In GR this is a coordinate choice, but here the background s^{μν} is fixed in these coordinates, so radial reparametrizations are not symmetries; a spherically symmetric metric has three independent functions, and the θθ equation is an independent constraint. Palais symmetric criticality for the rotation/time-translation subgroup does not authorize dropping the angular function. The authors explicitly find that the exact N^2=f solution of the reduced equations \"does not respect the (non-linearised) Einstein equations\" (after Eq. (19)); a stationary point of the reduced Lagrangian is therefore not automatically one of the full action, and the linear subset could inherit this failure at O(s). Known no-go results for explicit diffeomorphism breaking (ref. [73]) are not checked against this ansatz. If any component of Eq. (4), especially θθ, or the full Bianchi condition is violated, the headline statement is false.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a gravitational effective field theory with explicit diffeomorphism breaking by a fixed background two-tensor s^mu nu coupled to the Ricci tensor, plus a scalar trace subset. Using the reduced-action method with a Schwarzschild seed, the authors derive static, spherically symmetric vacuum solutions to linear order in the symmetry-breaking coefficients. They present solutions for a single nonzero component s00 (Case 1), a trace model, a single s11 (Case 2), and the combined s00 and s11 case (Case 3), and they analyze horizons, Hawking temperature, entropy, curvature singularities, photon radial geodesics, timelike orbits, periastron precession (including an application to the S2 star), and the light ring. The central claim is that the metrics in Eqs. (17), (24), (26), and (27) satisfy the modified Einstein equations (4) and the traced Bianchi identity (5) at linear order in the symmetry-breaking coefficients.","tokens_in":30161,"tokens_out":5532,"duration_ms":53806,"significance":"If the central claim is correct, the paper supplies new, explicit, and testable black-hole spacetimes for a class of explicit diffeomorphism-breaking EFTs, with concrete observables such as modified periastron precession, horizon structure, and light-ring radii. The authors include many explicit computations, a numerical integration of the reduced equations, an exact Lambert-function solution, and coordinate transformations for Killing horizons in the Appendix, which are valuable for follow-up work. However, the main consistency statement is asserted rather than demonstrated, and the perturbative expansion appears not to be uniformly valid at the horizon, so the significance of the results depends on whether these gaps can be closed in a revision.","major_comments":[{"comment":"The claim that the metric functions (17), (24), (26), and (27) satisfy the full covariant field equations (4) and the Bianchi identity (5) is not demonstrated. The authors solve only the reduced Euler-Lagrange equations (12) and (23) for the two functions N(r) and f(r), with g_{theta theta}=r^2 fixed in the ansatz (9). In a theory with a fixed background tensor s^{mu nu} that is constant in these coordinates, radial reparametrizations are not symmetries, so the theta-theta component of (4) is an independent constraint that the reduced-action method with this ansatz does not enforce. Moreover, the exact N^2=f solution (19) of the reduced equations is explicitly admitted not to satisfy the non-linearised Einstein equations (text after Eq. (19)); this shows that a stationary point of the reduced action is not automatically a solution of the full action. I request an explicit component-by-component verification of (4) and the full (non-traced) Bianchi identity for each of the four metrics at O(s), or a clear argument that Palais symmetric criticality applies to this non-covariant theory with the fixed background tensor and fixes the theta-theta equation.","section":"Section III, Eqs. (12), (17), (19)"},{"comment":"The linearized solution (17) is not uniformly valid near the Schwarzschild horizon. The first-order correction N1 in Eq. (16) contains the factor (1+k/r)^{-1/2}, which diverges as r approaches -k, so the ratio N1/N0 grows without bound in that region. The horizon radii computed in Eqs. (29)-(30) and the Hawking temperatures in Eqs. (32)-(33) are evaluated at r_star approximately -k, precisely where the perturbative expansion breaks down. The numerical comparison in Figure 2 integrates the reduced equations (12) rather than the full covariant equations, so it does not justify the near-horizon results. The authors should either establish the validity of the linearized approximation near r=-k with a more careful expansion, or restrict the claims about horizons and thermodynamics to regions where the expansion is controlled.","section":"Section IV, Eqs. (16), (29)-(32)"},{"comment":"The trace-subset model is distinguished from the model of ref. [73] by which components of s^{mu nu} are held fixed, as the authors note. Nevertheless, the paper does not apply the no-go results for explicit diffeomorphism breaking reported in [73] to the ansatz (9). These no-go constraints are directly relevant to whether consistent solutions with explicit breaking can exist, and the trace solution (24) should be checked against the full equations (7) and (8), not only the reduced Euler-Lagrange equations. A direct substitution of (24) into the full covariant equations would resolve whether this solution is physically admissible.","section":"Section II.A and III, Eqs. (6)-(8), (24)"}],"minor_comments":[{"comment":"The statement that the S2 data 'constrain' s00 to -0.54 < s00 < 1.76 is overstated, because the 1-sigma posterior in Eq. (87) is s00 = 0.62^{+1.14}_{-1.16}, which includes zero and is consistent with no symmetry breaking. The wording should be softened to an 'estimated' value with large uncertainty.","section":"Section VII, Eq. (87) and Discussion"},{"comment":"In the photon geodesic section, the metric is written as ds^2 = -c^2 N^2 dt^2 + (1/f) dr^2, but the angular part is omitted; for clarity, the full metric (9) should be stated, or the section should explicitly restrict to radial motion.","section":"Section V, Eq. (51)"},{"comment":"The Hawking temperature formula (31) is written as a square root of a product of derivatives; the notation should clarify that the expression is evaluated at the outer horizon and that absolute values are taken as in Eq. (32), to avoid ambiguity.","section":"Section IV, Eq. (31)"},{"comment":"The spelling of 'Kretschmann' is inconsistent (it appears as 'Kretchmann' in several places, including the captions of Figures 3 and 5); please correct this.","section":"Throughout"},{"comment":"The condition (25) for the existence of a solution (f', N') to the system (12) is stated without derivation; adding a brief derivation or a reference would help the reader assess the numerical integration.","section":"Section III, after Eq. (25)"}],"recommendation":"major_revision","confidential_remarks":"The reader's stress-test concern is substantive and lands: the paper's central claim is that the metrics solve the covariant field equations, but the verification is incomplete. The reduced-action method with a fixed background tensor, the admitted failure of the exact reduced solution, and the non-uniformity of the perturbative expansion near the horizon together make the current manuscript unsuitable for publication without a direct component-by-component check of Eqs. (4) and (5), and without either a uniform expansion or a revised claim about near-horizon results. The paper otherwise contains a useful set of explicit computations, so a major revision with the requested verification would be appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper gives explicit static, spherically symmetric vacuum metrics to first order in a non-traceless two-tensor s^{\\mu\\nu} coupled to Ricci, for explicit diffeomorphism breaking. That is genuinely new relative to the cited literature: Bonder-Peterson uses the Weyl coefficient, bumblebee models break symmetry spontaneously, and the trace subset extends [73]. The authors also work out observables—horizons, Hawking temperature, photon geodesics, periastron precession, light ring—and they are candid about possible artifacts, including the three-horizon result. The writing is clear and the numerical solutions of the reduced ODEs add some support.\n\nThe soft spot is the one the stress-test flags: the paper never demonstrates that the reduced-action solutions satisfy the full covariant field equations (4) and the full Bianchi constraint. It uses the reduced-action method, but with a constant diagonal s^{\\mu\\nu} fixed in the chosen coordinates, radial reparametrization is not a symmetry, so setting g_{\\theta\\theta}=r^2 is an assumption, not a gauge choice. The authors warn about boundary terms and \"consistency checks\" but never show the componentwise check, and they only mention the traced Bianchi identity (5). The exact N^2=f solution of the reduced equations is admitted not to satisfy the nonlinear Einstein equations; that makes it very plausible the linear subset inherits the problem. This is the load-bearing point, and it needs to be fixed by an explicit verification of all components of (4) and the Bianchi divergence at O(s).\n\nA second, related problem: the perturbative expansion is non-uniform at the horizon. The first-order correction N_1 diverges as r\\to -k because N_0 vanishes there, so computing horizons and Hawking temperature from the linearized metric is not justified. The statement that N(r)\\to -s_{00}/4 at the horizon is inconsistent with the solution. The three-horizon result in Case 3 is probably a truncation artifact; the authors acknowledge this, but it should be verified or removed from the claims.\n\nThe precession section also has a mismatch: the quasi-circular and elliptic-orbit expressions do not quite agree, and the S2 constraint is weak. None of this is fatal in principle, but the paper needs a major revision before the metrics can be trusted as solutions. As it stands, I would not cite the solutions in my own work, but I would send the paper to a competent referee: the framework is standard, the results are new, and the issues are addressable. A serious referee could verify the field equations in a day and either confirm or kill the central claim.","headline":"New explicit first-order black hole metrics for a two-tensor SME coefficient in explicit-breaking gravity, but the central consistency claim with the full field equations is asserted, not shown, and the perturbative expansion is not uniform at the horizon.","tokens_in":30768,"tokens_out":3140,"would_cite":false,"duration_ms":32908,"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":"This paper derives four static, spherically symmetric black-hole metric families to linear order in explicit spacetime-symmetry-breaking coefficients, and shows that combining two nonzero coefficients produces a three-horizon spacetime.","keywords":["explicit spacetime-symmetry breaking","black hole solutions","effective field theory","Schwarzschild perturbation","reduced-action method","horizon structure","periastron precession","photon geodesics"],"falsifier":"Substitute the explicit metrics (17), (24), (26), and (27) into the full modified Einstein equations (4) and the Bianchi identity (5), keeping all terms linear in the coefficients and using $\\partial_\\mu s^{\\alpha\\beta}=0$; if any component of (5) fails to vanish at first order, the solutions are not consistent vacuum solutions of this theory. A concrete first check is to evaluate $\\nabla_\\nu(s^{\\mu\\nu}R^{\\beta}{}_{\\mu})$ for $\\beta=t$ and $\\beta=r$ on the Case 1 metric near $r=-k$ and see whether the constraint is identically satisfied.","tokens_in":29674,"feed_emoji":"🕳️","tokens_out":10119,"duration_ms":82828,"temperature":0.7,"pith_summary":"This paper aims to show that vacuum, static, spherically symmetric black holes can exist when gravity's diffeomorphism symmetry is broken explicitly by a fixed background two-tensor $s^{\\mu\\nu}$ rather than by a dynamical field. Working to first order in the symmetry-breaking coefficients around a Schwarzschild seed, the authors obtain four metric families — one for $s^{00}\\neq 0$, one for its trace subset, one for $s^{11}\\neq 0$, and one for both — and argue that these metrics solve the modified Einstein equations and the relevant Bianchi constraint at the same order. If true, the result matters because it turns a class of explicit symmetry-breaking effective field theories into concrete spacetimes whose horizons, thermodynamics, photon rings, and orbital precession can be compared with observations. The most striking output is that turning on both coefficients produces a solution with three horizons, resembling a Reissner-Nordström-de Sitter structure but with all horizons finite.","feed_headline":"Three horizons emerge from two symmetry-breaking coefficients","feed_subtitle":"First-order corrections to Schwarzschild shift horizons, Hawking temperature, and periastron precession.","key_machinery":"The engine is the reduced-action method (Palais symmetric criticality): insert the static spherically symmetric ansatz $ds^2=-N^2(r)dt^2+f^{-1}(r)dr^2+r^2d\\Omega^2$ with a diagonal constant $s^{\\mu\\nu}$ into the Lagrangian $S=\\frac{1}{2\\kappa}\\int d^4x\\sqrt{-g}(R+s_{\\mu\\nu}R^{\\mu\\nu})$, vary the reduced one-dimensional action with respect to $N$ and $f$, and solve order by order around the Schwarzschild seed $f_0=N_0^2=1+k/r$. Spherical symmetry forces $s^{22}=s^{33}=0$, leaving $s^{00}$ and $s^{11}$ as the switches that generate the four families. The method relies on the perturbative identity $N^2=f+O(s^2)$ at first order, and on an exact Lambert-$W$ solution $f(r)=1+2W(C/r)+W(C/r)^2$ over $s_{00}$ which contains the perturbative Case 1 metric as its linear subset.","core_discovery":"The paper claims that, in an effective field theory where particle diffeomorphisms are broken explicitly by a fixed, constant, diagonal background tensor $s^{\\mu\\nu}$ coupled to the Ricci tensor, static and spherically symmetric vacuum solutions exist as first-order perturbations around Schwarzschild. With only $s^{00}\\neq 0$, the metric functions are $N(r)=\\sqrt{1+k/r}-\\frac{s_{00}k^2}{8r^2}(1+k/r)^{-1/2}$ and $f(r)=1+k/r-\\frac{s_{00}k^2}{4r^2}$ (Eq. 17); the trace-subset version (Eq. 24), the $s^{11}$ case (Eq. 26), and the combined case (Eq. 27) follow the same order-by-order scheme. The paper reports that these linearized metrics satisfy the modified Einstein equations and the traced Bianchi identities at the same order, that Case 1 has an inner and an outer horizon similar to Reissner-Nordström, and that Case 3, with both coefficients nonzero, develops three horizons. It then computes the consequences a reader would test: horizon radii, Hawking temperatures and entropies obtained from the first law, curvature scalars, radial photon geodesics, massive-particle effective potentials, periastron precession, and the unstable light-ring radius, which shifts to $-\\frac{3k}{2}(1+s_{00}/27)$. The paper therefore supplies a family of perturbative, observationally addressable spacetimes for explicit diffeomorphism breaking.","pith_inferences":["If the three-horizon root $r_{\\star,3}=k s_{00}/4$ is physical rather than a linearization artifact, multi-horizon structure becomes a generic signature of multi-component explicit symmetry breaking; the paper's own discontinuity analysis indicates that quadratic terms are needed to settle the question within the same EFT.","A natural extension the paper leaves open is the black-hole shadow: because the light-ring radius shifts at first order in $s_{00}$, shadow-size measurements could yield competitive constraints once the photon orbits are integrated to asymptotic infinity.","The S2-precession bound on $s_{00}$ is far weaker than the gravitational-wave speed bound on the same coefficient, suggesting that the coefficient is better probed by strong-field geometry than by weak-field orbits; computing ringdown frequencies for these metrics would be a sharper test.","If the full Bianchi identity (5) is enforced beyond the traced version, the constant-diagonal ansatz may impose additional conditions that select among the four cases; a direct check would either confirm the paper's consistency claim or point to spontaneous breaking as the viable completion."],"forward_implications":["The Case 1 metric predicts horizons at $r_{\\star,\\pm}=-\\frac{k}{2}(1\\pm\\sqrt{1+s_{00}})$, with the outer horizon close to Schwarzschild and the inner horizon near the singularity.","With both $s^{00}$ and $s^{11}$ nonzero, the horizon condition is cubic and admits three real roots for $s^{11}<0$, so a single static spherically symmetric spacetime can carry three horizons.","Periastron precession acquires a symmetry-breaking term $\\Delta\\phi\\approx -3\\pi k/p + s_{00}\\pi k^2/(4L_0^2 p)$; matching the S2 orbit data yields $s_{00}=0.62^{+1.14}_{-1.16}$ at 1$\\sigma$, a weak but direct constraint.","Case 2 and Case 3 are not asymptotically Minkowski: $f\\to 1-s_{11}$ as $r\\to\\infty$, leaving an angular-deficit signature in radial photon geodesics with $ct/r\\to 1+s_{11}/2$.","The light ring remains unstable and its radius shifts to $r_{\\text{lr}}=-\\frac{3k}{2}(1+s_{00}/27)$ relative to Schwarzschild."],"supporting_citations":[{"why":"Defines the explicit-versus-spontaneous distinction that sets the model's central assumption of a non-dynamical background tensor.","marker":"[53]"},{"why":"Palais' principle of symmetric criticality is the justification for varying the reduced one-dimensional action.","marker":"[75]"},{"why":"Extends symmetric criticality to non-covariant theories, licensing the reduced-action method with the caution the paper applies to boundary terms.","marker":"[76]"},{"why":"Provides the earlier perturbative Schwarzschild-type solutions for a four-tensor coefficient that this paper extends and distinguishes by not assuming tracelessness.","marker":"[60]"},{"why":"The known no-go and compatibility results for explicit diffeomorphism breaking, which the paper's constant-background ansatz must respect.","marker":"[73]"},{"why":"The S2 Schwarzschild-precession measurement used to place the paper's first-order constraint on $s_{00}$.","marker":"[7]"},{"why":"Supplies the Hawking-temperature formula via tunneling and Euclidean methods that the paper applies to its horizon solutions.","marker":"[79]"},{"why":"Provides a consistency example of a homogeneous coefficient satisfying the Bianchi constraint, motivating the constant $s^{\\mu\\nu}$ ansatz.","marker":"[56]"}],"fun_headline_variants":["Three horizons from just two symmetry-breaking coefficients","Explicit symmetry breaking reshapes black hole horizons","Perturbative black holes with triple horizons","Two coefficients, three horizons in modified gravity","Schwarzschild horizons double and triple under explicit breaking"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the reduced-action, order-by-order solutions with a fixed constant diagonal background tensor satisfy the full modified Einstein equations and the full Bianchi identity (5) at first order — not merely the traced version — so that the metrics are genuine solutions of the explicitly broken theory.","fun_headline_variants_meta":{"raw":{"variants":["Three horizons from just two symmetry-breaking coefficients","Explicit symmetry breaking reshapes black hole horizons","Perturbative black holes with triple horizons","Two coefficients, three horizons in modified gravity","Schwarzschild horizons double and triple under explicit breaking"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000247,"raw_usage":{"total_tokens":1602,"prompt_tokens":1061,"completion_tokens":541,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":677,"completion_tokens_details":{"reasoning_tokens":471}},"tokens_in":677,"tokens_out":541,"duration_ms":5389,"temperature":1.0,"reasoning_tokens":471,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:23:27.646399+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Substitute the explicit metrics (17), (24), (26), and (27) into the full modified Einstein equations (4) and the Bianchi identity (5), keeping all terms linear in the coefficients and using $\\partial_\\mu s^{\\alpha\\beta}=0$; if any component of (5) fails to vanish at first order, the solutions are not consistent vacuum solutions of this theory. A concrete first check is to evaluate $\\nabla_\\nu(s^{\\mu\\nu}R^{\\beta}{}_{\\mu})$ for $\\beta=t$ and $\\beta=r$ on the Case 1 metric near $r=-k$ and see whether the constraint is identically satisfied.","supporting_citations":[{"cited_title":"Explicit Lorentz violation in a static and spherically-symmetric spacetime","cited_arxiv_id":"2001.09217","evidence_quote":"The known no-go and compatibility results for explicit diffeomorphism breaking, which the paper's constant-background ansatz must respect."}],"review_version":1}