Pith. sign in

REVIEW 3 major objections 5 minor 32 references

Horava Stars Revisited: New Phases of Incompressible Stars and Black Holes, and Buchdahl's Theorem

T0 review · 3 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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

desk verdict 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. read the letter →

arxiv 2607.23172 v1 pith:DJKVKBGB submitted 2026-07-25 hep-th gr-qc

Mu-In Park This is my paper · ORCID
classification hep-thgr-qc MSC 83C5583C5783D05
keywords HořavagravityBuchdahlboundultra-compactobjectsregularblackholesenergyconditionsincompressiblestarsTolman-Oppenheimer-VolkoffequationBirkhofftheorem
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

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.

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 (3)
  1. [Sec. V, Eqs. (49)-(58)] 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.
  2. [Sec. V, Eqs. (59)-(60) and the parameter range] 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.
  3. [Sec. IV, Table I and Type-II/regular black hole interpretation] 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.
minor comments (5)
  1. [Appendix A, text above Eq. (A1)] 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.
  2. [Table I] 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*.
  3. [Fig. 1 and Fig. 4] 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.
  4. [References] 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.
  5. [Sec. V, around Eq. (52)] 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.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the uniform-density bound is a direct exact calculation, and the general Buchdahl proof is conditional on an explicitly admitted, EOS-dependent weight condition rather than a circular reduction.

full rationale

The derivation chain is not circular in the sense of the rubric. Section IV's modified Buchdahl bound (Eq. 42) is obtained by direct substitution into the exact uniform-density solution and by demanding that the central pressure diverge (Eqs. 27–36); no fitting parameter is later relabeled as a prediction. Section V's theorem is a separate argument: it integrates the master equation (48) under explicit hypotheses (non-increasing average density, staticity N>0, and the weight-monotonicity condition (58)), and the final inequality (57) has the same algebraic equality as the uniform-density Buchdahl limit only as its saturation point. That is the expected extremal saturation, not a re-use of the input as the proof. The paper candidly concedes the main limitation: χ in Eq. (50) depends on N' and hence on the equation of state, with Eq. (59) showing the explicit EOS dependence, and footnote 8 checks only four EOSs at one fixed central density. This makes the 'Buchdahl theorem' conditional and incomplete as a general theorem, but it is not an equivalence-by-construction or a circular derivation. The only self-citation of note is Birkhoff's theorem [17], used for matching/uniqueness of the exterior metric; the matched interior/exterior solutions are explicit, so the central results do not reduce to that citation. Overall, score 2 reflects the minor self-citation and the conditional status of the general theorem, not circularity.

Assumptions & free parameters 1 free parameters · 4 assumptions · 0 invented entities

The paper's conclusions rest on the Horava gravity action, the λ=1 specialization, the known vacuum BH exterior, and a perfect-fluid matter coupling; for the theorem, an extra EOS-dependent weight condition is assumed. No new particles or fields are introduced.

free parameters (1)
  • ω (IR-modification coupling)
    The modified Buchdahl bound Cmax is a function of ωR^2; ω is not fixed by the paper or by data, so the claimed 4/9 ≤ Cmax ≤ 1 is a one-parameter family of bounds, not a parameter-free prediction.
assumptions (4)
  • domain assumption λ=1 specialization and Birkhoff's theorem holds
    The exact solution and the Buchdahl theorem are derived only for λ=1, where Birkhoff's theorem is cited from [17] rather than re-proven. This is central to matching the interior to the vacuum exterior.
  • domain assumption The exterior vacuum metric is the known z=3 Horava black-hole solution (24)
    The star exterior is assumed to be one of the exact black-hole solutions from Refs [4-6]; the paper does not independently verify that these are the unique appropriate exteriors.
  • domain assumption Perfect-fluid energy-momentum tensor with conservation law (10)
    The TOV-like equation and energy-condition analysis rely on the standard conservation law remaining valid in foliation-preserving diffeomorphism gravity; the paper asserts this but does not derive it from a full matter action.
  • ad hoc to paper Weight-monotonicity condition (58) and non-increasing average density
    The Buchdahl theorem proof requires these assumptions. The paper acknowledges the weight condition is EOS-dependent and not proven for all physically reasonable stars; footnote 8 checks only four EOSs at one central density.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Horava Stars Revisited: New Phases of Incompressible Stars and Black Holes, and Buchdahl's Theorem." pith.science (2026). https://pith.science/paper/DJKVKBGB

@misc{pith2026260723172,
  author       = {Pith},
  title        = {Pith review of: Horava Stars Revisited: New Phases of Incompressible Stars and Black Holes, and Buchdahl's Theorem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DJKVKBGB}},
  note         = {Machine review of arXiv:2607.23172}
}
read the original abstract

I study a particular exact solution for static stars in four-dimensional non-projectable Horava gravity, which has been proposed as a renormalizable gravity model without the ghost problem by abandoning Einstein's equal-footing treatment of space and time through anisotropic scaling with z > 1. Considering the spherically symmetric static black-hole solutions in z = 3 Horava gravity as the exterior spacetimes of stars, I obtain an exact solution for incompressible (i.e., uniform-density) static stars with an arbitrary cosmological constant and isotropic pressure, and lambda=1, in which Birkhoff's theorem holds. For a vanishing cosmological constant, I obtain a modified Buchdahl bound on the maximum compactness for uniform-density stars, which ranges from 4/9 to 1. By contrast, I find that Ultra-Compact Objects (UCOs) with compactness C > 1 also exist with negative pressure while, surprisingly, satisfying all four standard energy conditions. UCOs include the regular (non-singular) black-hole solutions with masses above the extremal black-hole mass. In these solutions, the matter is localized at the timelike core region bounded by the inner horizon, while their exterior metrics are unaffected by the core matter and identical to the corresponding vacuum Horava black-hole solutions. These long-sought regular black-hole solutions are essential manifestations of Birkhoff's theorem in Horava gravity. I also find negative-mass stars with positive pressure that violate all standard energy conditions. Finally, I prove Buchdahl's theorem in non-projectable Horava gravity. The proof uses a weight-monotonicity condition on the average density and Birkhoff's theorem, together with the usual assumption that average density is non-increasing.

Figures

Figures reproduced from arXiv: 2607.23172 by the authors.

Figure 1
Figure 1. FIG. 1: The plot of the compactness [PITH_FULL_IMAGE:figures/full_fig_p009_1.png] view at source ↗
Figure 2
Figure 2. FIG. 2: The plots of the pressure [PITH_FULL_IMAGE:figures/full_fig_p011_2.png] view at source ↗
Figure 3
Figure 3. FIG. 3: The plots of the pressure [PITH_FULL_IMAGE:figures/full_fig_p012_3.png] view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: FIG. 4: The plots of the metric functions [PITH_FULL_IMAGE:figures/full_fig_p012_4.png]
Figure 5
Figure 5. Figure 5: FIG. 5: The plots of the pressure [PITH_FULL_IMAGE:figures/full_fig_p013_5.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 3 linked inside Pith

  1. [1]

    Hoˇ rava, Phys

    P. Hoˇ rava, Phys. Rev. D 79, 084008 (2009)

    2009

  2. [2]

    E. M. Lifshitz, Zh. Eksp. Teor. Fiz. 11, 255 (1941); 269 (1941)

    1941

  3. [3]

    B. S. DeWitt, Phys. Rev. 160, 1113 (1967)

    1967

  4. [4]

    H. Lu, J. Mei and C. N. Pope, Phys. Rev. Lett. 103, 091301 (2009)

    2009

  5. [5]

    Kehagias and K

    A. Kehagias and K. Sfetsos, Phys. Lett. B 678, 123 (2009)

    2009

  6. [6]

    M. -I. Park, JHEP 0909, 123 (2009)

    2009

  7. [7]

    E. B. Kiritsis and G. Kofinas, JHEP 01, 122 (2010)

    2010

  8. [8]

    D. O. Devecioglu and M. I. Park, Eur. Phys. J. C 84, 852 (2024)

    2024

Show all 32 references
  1. [9]

    Zero-Mass Rotating Spacetimes i n Four-Dimensional Horava Gravity,

    M. I. Park and H. W. Lee, “Zero-Mass Rotating Spacetimes i n Four-Dimensional Horava Gravity,” [arXiv:2309.13859v2 [hep-th]]

  2. [10]

    M. I. Park, Phys. Lett. B 718, 1137 (2013) [Erratum: Phys. Lett. B 809, 135720 (2020)]; PTEP 2022, 113E02 (2022)

    2013

  3. [11]

    T. P. Sotiriou, I. Vega and D. Vernieri, Phys. Rev. D 90, 044046 (2014)

    2014

  4. [12]

    Izumi and S

    K. Izumi and S. Mukohyama, Phys. Rev. D 81, 044008 (2010)

    2010

  5. [13]

    Greenwald, A

    J. Greenwald, A. Papazoglou and A. Wang, Phys. Rev. D 81, 084046 (2010)

    2010

  6. [14]

    Kiritsis and G

    E. Kiritsis and G. Kofinas, Nucl. Phys. B 821 (2009) 467

    2009

  7. [15]

    Charmousis, G

    C. Charmousis, G. Niz, A. Padilla and P. M. Saffin, JHEP 08, 070 (2009)

    2009

  8. [16]

    Arguelles, N

    C. Arguelles, N. Grandi and M. I. Park, JHEP 1510, 100 (2015)

    2015

  9. [17]

    D. O. Devecioglu and M. I. Park, Phys. Rev. D 99, 104068 (2019)

    2019

  10. [18]

    3+1 formalism and bases of numerical r elativity,

    E. Gourgoulhon, “3+1 formalism and bases of numerical r elativity,” [arXiv:gr-qc/0703035 [gr-qc]]

    arXiv

  11. [19]

    General Relativity,

    R. M. Wald, “General Relativity,” Chicago Univ. Pr., 19 84

  12. [20]

    R. C. Tolman, Phys. Rev. 55, 364 (1939)

    1939

  13. [21]

    J. R. Oppenheimer and G. M. Volkoff, Phys. Rev. 55, 374 (1939)

    1939

  14. [22]

    Astrophysical Consequences of Horava Grav ity: Black Holes and Stars

    M. I. Park, “Astrophysical Consequences of Horava Grav ity: Black Holes and Stars”, talks pre- sented at the Workshop of the Institute for Basic Science Research , Inje University, Gimhae, South Korea, June 22, 2010; Mini-Workshop of the 2010 International School on Numerical ...

    2010

  15. [23]

    K. Kim, J. J. Oh, C. Park and E. J. Son, Phys. Rev. D 103, 044052 (2021). 20

    2021

  16. [24]

    P. Pani, E. Berti, V. Cardoso and J. Read, Phys. Rev. D 84, 104035 (2011)

    2011

  17. [25]

    H. A. Buchdahl, Phys. Rev. 116, 1027 (1959)

    1959

  18. [26]

    Schwarzschild, Sitzungsber

    K. Schwarzschild, Sitzungsber. Preuss. Akad. Wiss. Be rlin (Math. Phys. ) 1916, 424 (1916) [arXiv:physics/9912033 [physics.hist-ph]]

    1916 arXiv

  19. [27]

    Zwicky, Astrophys

    F. Zwicky, Astrophys. J. 88, 522 (1938)

    1938

  20. [28]

    R. B. Mann, J. J. Oh and M. I. Park, Phys. Rev. D 79, 064005 (2009)

    2009

  21. [29]

    E. J. Son, Phys. Lett. B 875, 140318 (2026)

    2026

  22. [30]

    Spherical black holes with regula r center: A Review of existing models including a recent reali zation with Gaussian sources,

    I. Dymnikova, Gen. Rel. Grav. 24, 235 (1992); S. Ansoldi, “Spherical black holes with regula r center: A Review of existing models including a recent reali zation with Gaussian sources,” [arXiv:0802.0330 [gr-qc]]; for a recent review, see C. Lan, H. Yang, Y. Guo and Y. G. Miao...

    1992 arXiv

  23. [31]

    Penrose, Phys

    R. Penrose, Phys. Rev. Lett. 14, 57 (1965)

    1965

  24. [32]

    E. J. Son, K. Kim and J. J. Oh, Phys. Rev. D 113, 104014 (2026). 21

    2026

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.