{"id":"d25180ea-94e0-4d7e-ac1e-4328f31484a3","arxiv_id":"2607.23172","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"In non-projectable Hořava gravity, uniform-density stars can be more compact than in general relativity, with a modified Buchdahl bound from 4/9 to 1, plus new ultra-compact and regular black hole phases.","lead":"This paper constructs exact solutions for uniform-density stars in a Lorentz-violating gravity theory called Hořava gravity, and finds that the maximum compactness of such stars can exceed the general-relativistic limit of 4/9, up to 1. It also reports ultra-compact objects and regular black holes with matter confined to a nonsingular core.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Buchdahl theorem in Sec. V relies on an unproven, EOS-dependent weight-monotonicity condition (58); without it the general bound does not follow.","rationale":"The reader's weakest assumption identifies the same load-bearing concern: the unproven weight-monotonicity condition (58). My analysis confirms this is the key gap. The exact uniform-density star solutions appear algebraically coherent, and the branch selection for the 4/9≤Cmax≤1 bound is checked against the original algebraic equation. The surface matching is only sketched, but footnote 1 addresses the differentiability of f and N at the discontinuous density surface, so that is a lesser issue. The theorem, however, is a headline result: the abstract and Sec. V claim a proof of Buchdahl's theorem in non-projectable Hořava gravity. That proof explicitly depends on condition (58), which is neither proven nor verified for the full space of physically reasonable EOSs. The paper itself flags this in the concluding remarks and footnote 8, making it a recognized limitation. Therefore the appropriate verdict remains CONDITIONAL; no verdict change is needed.","tokens_in":18965,"tokens_out":15900,"duration_ms":144138,"concrete_test":"For each of the AP4, WFF1, MPA1, and SLy4 equations of state, numerically integrate the λ=1 TOV-like system (15) with boundary condition p(R)=0 over a grid of central densities ρ_c from 10^14 to 10^16 g cm^-3 and ωR^2 in the Type-I region [1/2, ∞), stopping at the Buchdahl limit where p(0)→∞. For every solution, compute χ(r) from Eq. (50) and evaluate I(r) = -∫_r^R χ(r') ρ̄'(r') dr'. If any Type-I solution has I(r)<0 for some r, condition (58) is violated and the theorem's proof fails for that EOS. If no violations appear across the full grid, the theorem is empirically supported but still lacks a general proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim includes a general proof of Buchdahl's theorem for non-projectable Hořava gravity. That proof rests on inequality (51), which is derived from Eq. (49) by assuming the weighted average-density condition (58): -∫_r^R χ ρ̄' ≥ 0. The paper itself concedes that χ(r) in Eq. (50) depends on N'/N and hence on the equation of state through Eq. (14). Equation (59) makes this explicit: χ ∝ 1 + [1 - sqrt(1+4m/(ωr^3))][1 + 2rf p'/(p+ρ)] up to positive factors. For Type-I stars, p' ≤ 0 and ρ+p > 0, so the factor 1 + 2rfp'/(p+ρ) can become negative if the pressure gradient is sufficiently steep; no estimate in the paper prevents this. The standard assumptions — average density non-increasing, N>0, ρ>0 — do not imply χ≥0 or the weighted condition. Footnote 8 checks only four EOSs at a single central density, so it cannot support a universal theorem. Absent a proof of (58) for all admissible EOSs and central densities, inequality (57) and the theorem's conclusion are conditional. If (58) fails for a physically reasonable EOS, the general Buchdahl bound would not be established, even though the uniform-density bound and exact solutions may remain correct.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies static, spherically symmetric stars in λ=1 non-projectable Hořava gravity with z=3. It derives a TOV-like equation, obtains an exact uniform-density isotropic-pressure solution matched to the vacuum Hořava exterior, and uses it to map three stellar phases: Type-I stars with positive pressure and a modified Buchdahl bound 4/9 ≤ Cmax ≤ 1; Type-II stars and regular black holes with negative pressure, C>1, satisfying all four energy conditions; and negative-mass Type-III stars. The paper further claims a general proof of Buchdahl's theorem for Type-I stars using a weighted average-density condition.","tokens_in":19350,"tokens_out":5153,"duration_ms":55112,"significance":"The exact analytical star solutions, the explicit energy-condition table, and the derivation of a modified uniform-density Buchdahl bound are valuable and, if correct, constitute a nontrivial extension of stellar structure results to Hořava gravity. The regular black hole construction with matter confined to the timelike core and satisfying all standard energy conditions is also interesting. However, the advertised general Buchdahl theorem is conditional on an unproven, EOS-dependent weight-monotonicity condition, so the paper's main general claim is not fully established as stated.","major_comments":[{"comment":"The proof of Buchdahl's theorem is load-bearing for the paper's central claim, but it assumes the weighted average-density condition (58), -∫ χ ρ̄' ≥ 0, without deriving it from the stated physical assumptions. The weight χ in Eq. (50) depends on N'/N and, through Eq. (14), on the equation of state; Eq. (59) shows χ can become negative when the pressure gradient is sufficiently steep. Standard assumptions (non-increasing average density, N>0, NEC) do not imply χ≥0 or condition (58). Footnote 8 checks only four EOSs at one fixed central density and explicitly notes that varying central density is needed to establish a global bound. Therefore inequality (57), and with it the theorem's conclusion, is conditional. The theorem must either be proved under the stated hypotheses or reformulated as a conditional result with (58) as an explicit additional assumption.","section":"Sec. V, Eqs. (49)-(58)"},{"comment":"The paper itself notes that the sufficient condition χ≥0 at the surface requires M/R ≤ (3/4)ωR², whereas the proof is conducted under M/R < 2ωR². This leaves an intermediate range of compactness where condition (58) is not guaranteed even by the paper's own sufficient criterion. Since Eq. (51) directly depends on the non-negativity of the right-hand side of Eq. (49), the theorem does not cover the full parameter domain claimed. This should be clarified and, ideally, the requested assumption should be re-examined over the entire range.","section":"Sec. V, Eqs. (59)-(60) and the parameter range"},{"comment":"The energy-condition analysis for Type-II stars and regular black holes appears internally consistent, and the result that ρ+p and ρ+3p can be non-negative with p<0 is clearly demonstrated in Table I. However, the physical interpretation of the Type-II core as a regular black hole relies on the junction at R<r− and on the matching to the exterior vacuum solution. The paper asserts C0/C1 continuity properties for f and N but does not give a detailed junction-condition verification. A concise confirmation of the matching conditions would strengthen this part of the paper.","section":"Sec. IV, Table I and Type-II/regular black hole interpretation"}],"minor_comments":[{"comment":"In the sentence 'if M/ωR² > 2 is also considered', the denominator should be R³, consistent with the M/ωR³ conditions used throughout the appendix and Table I.","section":"Appendix A, text above Eq. (A1)"},{"comment":"The entry 'N/Y' in the DEC column for the case M/ωR³<2 (r>r*) is not defined. Please specify exactly where the dominant energy condition is violated in that row, since the text describes a partial violation near r*.","section":"Table I"},{"comment":"The figures would benefit from clearer axis labels or a note defining the shaded regions and the relation between ωR² and the compactness; currently the reader must infer these from the text.","section":"Fig. 1 and Fig. 4"},{"comment":"Reference [22] is a series of unpublished talks; where the corrected uniform-density results are now available in Refs. [29,32], the manuscript should cite those published versions instead of relying on an unpublished source.","section":"References"},{"comment":"The constant M defined in Eq. (52) is written with the same symbol as the total mass M; this notation is potentially confusing. A different calligraphic symbol would help the reader distinguish the boundary quantity from the star's mass.","section":"Sec. V, around Eq. (52)"}],"recommendation":"major_revision","confidential_remarks":"The exact-solution content appears sound and publishable in principle, but the title and abstract promise a proof of Buchdahl's theorem that is not delivered without an additional, unproven condition. I would recommend revision rather than rejection because the exact uniform-density results and the energy-condition classification stand independently; the theorem should be reworded as conditional or the assumption must be proved within the stated hypotheses."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Hi — quick take on arXiv:2607.23172. The paper has real content: for λ=1 non-projectable Hořava gravity, it constructs exact uniform-density star solutions with arbitrary cosmological constant, identifies new Type-II/III phases, and finds ultra-compact objects and regular black holes that satisfy all standard energy conditions within the exact solution algebra. The phase diagram is interesting, and the energy-condition analysis in Appendix A is careful. The regular black hole interpretation—matter core inside the inner horizon with vacuum exterior—is a genuine new twist, assuming the matching works.\n\nBut you should know that the flagship claim, the generalized Buchdahl theorem in Sec. V, is not proven as cleanly as the abstract says. The proof rests on inequality (51), which follows from assuming the weighted average-density condition (58). The weight factor χ depends on N' and therefore on the equation of state; nothing in the paper guarantees χ ≥ 0, or that negative χ regions are compensated, for all physically reasonable stars. The paper admits this and Footnote 8 checks only four EOSs at one central density—a preliminary hint, not a proof. So the general theorem is conditional. The uniform-density bound 4/9 ≤ Cmax ≤ 1, on the other hand, is an exact result (though for Λ=0 it's already in Son's paper, and Park was late to correct his earlier error). The theorem's re-derivation of that bound is not circular in a harmful way, but it does lean on the same sign condition b<0.\n\nAlso worth checking: the matching at r=R uses continuity of the metric and its derivative, but for a discontinuous density f is only C0 (N is C1). That might be fine for the smoothed-out version of the theorem, but it's sloppy as written.\n\nBottom line: the exact solutions, phase diagram, and regular black hole construction are solid enough to be useful. The general Buchdahl proof is a conditional result until the weight-monotonicity condition is either proven under milder assumptions or tested over the full EOS span. I'd send it to peer review—a good referee can pin down the theorem's status—but I wouldn't cite the theorem as established.","headline":"Interesting exact star solutions in Hořava gravity, but the general Buchdahl theorem is conditional on an unproven weight-monotonicity condition the paper itself flags.","tokens_in":19765,"tokens_out":6798,"would_cite":true,"duration_ms":61452,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C55","83C57","83D05"],"pacs":[],"model":"deepseek-v4-flash","headline":"In non-projectable Hořava gravity, uniform-density stars obey a modified Buchdahl bound stretching from 4/9 to 1, and ultra-compact objects including regular black holes exist with negative pressure while satisfying all standard energy cond","keywords":["Hořava gravity","Buchdahl bound","ultra-compact objects","regular black holes","energy conditions","incompressible stars","Tolman-Oppenheimer-Volkoff equation","Birkhoff theorem"],"falsifier":"Compute χ(r) and the integral in (58) for any realistic equation of state while varying central density over a wide range; if a physically reasonable star is found for which -∫ χ ρ̄' < 0 while the average density is non-increasing, the general Buchdahl theorem collapses and only the uniform-density bound remains.","tokens_in":18885,"feed_emoji":"🕳️","tokens_out":4282,"duration_ms":44449,"temperature":0.7,"pith_summary":"The paper studies exact static star solutions in a specific sector of non-projectable Hořava gravity, a theory that modifies general relativity by treating space and time anisotropically. It finds that incompressible (uniform-density) stars have a maximum compactness that ranges from the familiar general-relativity value of 4/9 up to 1 as the star approaches an extremal black hole. Beyond that, it discovers entire new phases: ultra-compact objects with compactness greater than 1, including regular black holes whose interiors are nonsingular and whose exteriors are identical to vacuum Hořava black holes, all with negative pressure yet satisfying the null, weak, strong, and dominant energy conditions. The paper also proves a Buchdahl theorem for general static isotropic stars, but only under an additional weighted-monotonicity assumption that is not proven from the equations of state.","feed_headline":"Buchdahl bound shifts from 4/9 up to 1 in Horava gravity","feed_subtitle":"Exact solutions show uniform-density stars can reach M/R=1, plus ultra-compact objects that satisfy every standard energy condition.","key_machinery":"The engine of the paper is the exact interior metric f(r) = 1 + Q r^2 with Q = ω - Λ_W - sqrt(ω(ω - 2Λ_W) + 16ρ0/(3κ^2 μ^2)), and the associated closed-form pressure p(r) = ρ0 (sqrt(1+QR^2) - sqrt(1+Qr^2)) / (sqrt(1+Qr^2) - ρ0(a/b) sqrt(1+QR^2)). This reduces the TOV-like hydrostatic equilibrium to algebra, enabling an analytic phase diagram. For Buchdahl's theorem, the key identity is the master equation relating (f^{1/2}/r) N' to a radial derivative of the average density m(r)/r^3, with the weight function χ(r) defined in Eq. (50); assuming -∫ χ ρ̄' ≥ 0 yields the inequality that produces the modified Buchdahl bound.","core_discovery":"The central result is an exact solution for static, spherically symmetric, uniform-density stars in λ=1 non-projectable Hořava gravity, matched to the known vacuum black-hole exterior. For zero cosmological constant, the solution yields a modified Buchdahl bound on maximum compactness, 4/9 ≤ Cmax ≤ 1, with Cmax increasing from the GR limit to the extremal-black-hole limit. By relaxing the constraint that pressure be positive, the paper finds Type-II stars and regular black holes with compactness 1 < C < C_bh, negative pressure, and all standard energy conditions satisfied; these are genuine Hořava-gravity phases with no GR limit. Negative-mass Type-III stars exist but violate all energy cond","pith_inferences":["A natural next step is to test the weight-monotonicity condition across the full M–R plane for realistic equations of state by varying central density; a failure there would restrict Buchdahl's theorem to uniform-density stars only, truncating its claimed generality.","The regular black holes, if stable, should have distinct quasinormal-mode spectra and shadow structures compared to Schwarzschild, offering a potential observational discriminator between Hořava gravity and general relativity.","The paper's phase structure suggests that in Hořava gravity collapse might settle into ultra-compact objects instead of singular black holes; constructing explicit collapse simulations from Type-II initial data could reveal whether these phases are dynamically accessible.","Because the exterior of the regular black holes is exactly the vacuum Hořava solution, any observational constraint on the vacuum black hole (e.g., from gravitational lensing or gravitational waves) directly applies to the exterior of these regular objects, allowing the interior core to be probed only through its effect on stability or tidal deformability."],"forward_implications":["If the modified bound holds, compact stars in Hořava gravity can be denser than in general relativity, approaching M/R = 1, which would alter predictions for maximum neutron-star masses and gravitational-wave signals from mergers.","The regular Hořava black holes, if stable, provide nonsingular black-hole spacetimes without exotic matter or energy-condition violations, making them concrete candidates for astrophysical black holes and potential primordial black holes.","The phase diagram identifies three distinct stellar phases with qualitatively different pressure and energy-condition behavior, giving a target for numerical simulations of gravitational collapse in Hořava gravity.","The Buchdahl theorem proof gives an equation-of-state-independent compactness ceiling for Type-I stars, directly paralleling the GR theorem and constraining any static star in this theory.","The existence of UCOs with all energy conditions satisfied implies that Hořava gravity evades the standard singularity theorems without needing the usual energy-condition loopholes, a feature unique to this modified-gravity framework."],"fun_headline_variants":["Buchdahl bound hits 1 in Horava gravity, permitting singular-free black holes","Horava gravity exact stars: compactness up to 1, no singularities needed","New Horava star phases: regular black holes, negative pressure, all energy conditions","Buchdahl bound extended to 1 in Horava gravity, with regular black holes","Horava stars reach compactness 1, yielding regular black holes"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof of Buchdahl's theorem relies on the unproven weighted-average-density monotonicity condition (58), which the paper tests only for four equations of state at a single fixed central density, not across the full parameter space.","fun_headline_variants_meta":{"raw":{"variants":["Buchdahl bound hits 1 in Horava gravity, permitting singular-free black holes","Horava gravity exact stars: compactness up to 1, no singularities needed","New Horava star phases: regular black holes, negative pressure, all energy conditions","Buchdahl bound extended to 1 in Horava gravity, with regular black holes","Horava stars reach compactness 1, yielding regular black holes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000529,"raw_usage":{"total_tokens":2456,"prompt_tokens":880,"completion_tokens":1576,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":624,"completion_tokens_details":{"reasoning_tokens":1468}},"tokens_in":624,"tokens_out":1576,"duration_ms":10857,"temperature":1.0,"reasoning_tokens":1468,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T03:23:25.472369+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute χ(r) and the integral in (58) for any realistic equation of state while varying central density over a wide range; if a physically reasonable star is found for which -∫ χ ρ̄' < 0 while the average density is non-increasing, the general Buchdahl theorem collapses and only the uniform-density bound remains.","supporting_citations":[],"review_version":1}