Recognition: 2 theorem links
· Lean TheoremSpace- vs Time-dependence in taming the infrared instability of projectable Hov{r}ava Gravity
Pith reviewed 2026-05-10 17:42 UTC · model grok-4.3
The pith
Higher-derivative terms produce no static inhomogeneous solutions that could end the infrared instability of Minkowski spacetime in projectable Hořava gravity.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that the presence of higher-derivative terms does not allow the existence of static, inhomogeneous (quasi-)periodic solutions with planar symmetry in projectable Hořava gravity. The authors reach this conclusion by classifying all static homogeneous and isotropic solutions together with all solutions possessing planar symmetry, showing that every candidate either reduces to Minkowski space or carries average curvature too high to function as a low-curvature endpoint for the instability's evolution.
What carries the argument
Exhaustive classification of static solutions under planar symmetry, which constrains possible modulated phases and shows that none can terminate the instability.
If this is right
- The infrared instability cannot be resolved by relaxation to any static inhomogeneous configuration.
- Viability of the theory then requires that time-dependent processes, such as cosmic expansion or Jeans collapse, conceal the instability.
- This imposes a constraint on the infrared renormalization-group flow of the theory.
- Further analysis must focus on the actual time evolution rather than static alternatives.
Where Pith is reading between the lines
- Similar classification arguments might apply to other higher-derivative gravity theories that exhibit flat-space instabilities.
- Numerical evolution of the instability could reveal whether it grows into oscillations or is cut off by nonlinearities not captured in the static sector.
- If time-dependent hiding works, the theory's low-energy parameters must be tuned to ensure the instability timescale exceeds the Hubble time.
Load-bearing premise
That every possible endpoint of the instability must be static and at most planar-symmetric, and that the higher-derivative terms permit a complete listing of all such solutions.
What would settle it
An explicit construction, analytic or numerical, of a time-dependent solution starting from Minkowski spacetime that settles into a non-flat, static, planar-symmetric configuration with low average curvature would falsify the non-existence claim.
Figures
read the original abstract
Minkowski spacetime exhibits infrared instability in projectable Ho\v rava gravity in (3+1) dimensions. To be phenomenologically viable, the instability should be either hidden by other time-dependent processes such as the Hubble expansion of the universe and the Jeans instability, or evolve into another static solution with low average curvature. While the former scenario leads to a phenomenological constraint on the infrared properties of the renormalization group flow, this paper explores the latter possibility. We study if the presence of higher derivative terms in the action can lead to existence of static, inhomogeneous (quasi-) periodic solutions with planar symmetry, similar to modulated phases in magnetic materials. We find that such solutions do not exist. In doing so, we classify all static homogeneous and isotropic solutions and solutions with planar symmetry. We provide arguments that none of them can serve as an endpoint for the evolution of the Minkowski instability. This motivates further study of the scenario where the instability is concealed by time evolution.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper investigates the infrared instability of Minkowski spacetime in projectable Hořava gravity in (3+1) dimensions. It explores whether higher-derivative terms can produce static inhomogeneous (quasi-)periodic solutions with planar symmetry that could serve as endpoints for the instability. The authors classify all static homogeneous/isotropic solutions and all planar-symmetric solutions, concluding that none can terminate the instability, and therefore motivate further study of time-dependent processes to conceal it.
Significance. If the classification is complete, the result is significant because it provides a concrete no-go for space-dependent static resolutions of the instability, even after including higher-derivative terms. This narrows viable phenomenological scenarios to time-dependent mechanisms (e.g., Hubble expansion or Jeans instability) that can hide the instability, thereby constraining the infrared renormalization-group flow. The explicit classification of solutions under the stated symmetries is a useful, falsifiable contribution. The stress-test concern that the paper assumes every endpoint must be static does not land: the manuscript explicitly frames its negative result as motivation for studying the time-dependent alternative rather than claiming static solutions are required.
minor comments (2)
- [Introduction and §2] The precise form of the higher-derivative terms in the action should be stated explicitly (or referenced to a standard expression) in the introduction or §2 to make the classification self-contained.
- [Classification section] A short appendix listing the reduced ordinary differential equations solved for the planar-symmetric case would improve verifiability of the claimed completeness of the classification.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of our manuscript and for recommending minor revision. The referee's summary correctly reflects our focus on classifying static solutions under the relevant symmetries and our conclusion that none serve as endpoints for the Minkowski infrared instability, thereby motivating time-dependent mechanisms. We appreciate the recognition that our negative result is framed as motivation rather than an assumption that static endpoints are required.
Circularity Check
Direct classification of static solutions from equations of motion; no reduction to inputs
full rationale
The paper derives its central no-go result by classifying all static homogeneous/isotropic and planar-symmetric solutions directly from the projectable Hořava gravity equations of motion (including higher-derivative terms) and showing none can terminate the Minkowski instability. This is an exhaustive case analysis under explicit symmetry assumptions rather than any redefinition, parameter fit, or self-citation that bears the load. No step reduces a claimed prediction or uniqueness result to the input data or prior ansatz by construction. The argument is self-contained against the stated dynamical assumptions.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The infrared instability of Minkowski spacetime in projectable Hořava gravity is governed by the equations derived from the given higher-derivative action.
- ad hoc to paper Any endpoint of the instability must be a static solution with either full homogeneity/isotropy or planar symmetry.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclearWe find that such solutions do not exist. [...] none of them can serve as an endpoint for the evolution of the Minkowski instability.
Reference graph
Works this paper leans on
-
[1]
Membranes at Quantum Criticality
Petr Horava. “Membranes at Quantum Criticality”. In:JHEP03 (2009), p. 020.doi:10. 1088/1126-6708/2009/03/020. arXiv:0812.4287 [hep-th]
-
[2]
Quantum Gravity at a Lifshitz Point
Petr Horava. “Quantum Gravity at a Lifshitz Point”. In:Phys. Rev. D79 (2009), p. 084008. doi:10.1103/PhysRevD.79.084008. arXiv:0901.3775 [hep-th]
-
[3]
Horava-Lifshitz Cosmology: A Review
Shinji Mukohyama. “Horava-Lifshitz Cosmology: A Review”. In:Class. Quant. Grav.27 (2010), p. 223101.doi:10.1088/0264-9381/27/22/223101. arXiv:1007.5199 [hep-th]
-
[4]
Horava-Lifshitz gravity: a status report
Thomas P. Sotiriou. “Horava-Lifshitz gravity: a status report”. In:J. Phys. Conf. Ser.283 (2011). Ed. by Leandros Perivolaropoulos and Panagiota Kanti, p. 012034.doi:10.1088/ 1742-6596/283/1/012034. arXiv:1010.3218 [hep-th]
-
[5]
Phenomenology of theories of gravity without Lorentz in- variance: the preferred frame case
Diego Blas and Eugene Lim. “Phenomenology of theories of gravity without Lorentz in- variance: the preferred frame case”. In:Int. J. Mod. Phys. D23 (2015), p. 1443009.doi: 10.1142/S0218271814430093. arXiv:1412.4828 [gr-qc]
-
[6]
Hoˇ rava Models as Palladium of Unitarity and Renormalizability in Quantum Gravity
Andrei O. Barvinsky. “Hoˇ rava Models as Palladium of Unitarity and Renormalizability in Quantum Gravity”. In: 2023.doi:10.1007/978-981-19-3079-9_12-1. arXiv:2301.13580 [hep-th]
-
[7]
The status of Hoˇ rava gravity
M. Herrero-Valea. “The status of Hoˇ rava gravity”. In:Eur. Phys. J. Plus138.11 (2023), p. 968.doi:10.1140/epjp/s13360-023-04593-y. arXiv:2307.13039 [gr-qc]
-
[8]
Renormalization of Higher Derivative Quantum Gravity,
K. S. Stelle. “Renormalization of Higher Derivative Quantum Gravity”. In:Phys. Rev. D16 (1977), pp. 953–969.doi:10.1103/PhysRevD.16.953
-
[9]
Classical Gravity with Higher Derivatives
K. S. Stelle. “Classical Gravity with Higher Derivatives”. In:Gen. Rel. Grav.9 (1978), pp. 353–371.doi:10.1007/BF00760427
-
[10]
Ghostfree quadratic curvature theories with mas- sive spin-2 and spin-0 particles
Katsuki Aoki and Shinji Mukohyama. “Ghostfree quadratic curvature theories with mas- sive spin-2 and spin-0 particles”. In:Phys. Rev. D100.6 (2019), p. 064061.doi:10.1103/ PhysRevD.100.064061. arXiv:1907.09690 [hep-th]. 21
-
[11]
Emergence of time in power-counting renormalizable Riemannian theory of gravity
Shinji Mukohyama. “Emergence of time in power-counting renormalizable Riemannian theory of gravity”. In:Phys. Rev. D87.8 (2013), p. 085030.doi:10.1103/PhysRevD.87.085030. arXiv:1303.1409 [hep-th]
-
[12]
Dynamical Structure and Definition of Energy in General Relativity
R. Arnowitt, S. Deser, and C. W. Misner. “Dynamical Structure and Definition of Energy in General Relativity”. In:Phys. Rev.116 (5 Dec. 1959), pp. 1322–1330.doi:10 . 1103 / PhysRev.116.1322.url:https://link.aps.org/doi/10.1103/PhysRev.116.1322
-
[13]
Consistent Extension of Horava Gravity
D. Blas, O. Pujolas, and S. Sibiryakov. “Consistent Extension of Horava Gravity”. In:Phys. Rev. Lett.104 (2010), p. 181302.doi:10.1103/PhysRevLett.104.181302. arXiv:0909.3525 [hep-th]
-
[14]
Hoˇ rava gravity after GW170817
A. Emir G¨ umr¨ uk¸ c¨ uo˘ glu, Mehdi Saravani, and Thomas P. Sotiriou. “Hoˇ rava gravity after GW170817”. In:Phys. Rev. D97.2 (2018), p. 024032.doi:10.1103/PhysRevD.97.024032. arXiv:1711.08845 [gr-qc]
-
[15]
Hamiltonian structure of Horava gravity
William Donnelly and Ted Jacobson. “Hamiltonian structure of Horava gravity”. In:Phys. Rev. D84 (2011), p. 104019.doi:10 . 1103 / PhysRevD . 84 . 104019. arXiv:1106 . 2131 [hep-th]
2011
-
[16]
Effective action of the Hoˇ rava the- ory: Cancellation of divergences
Jorge Bellorin, Claudio Borquez, and Byron Droguett. “Effective action of the Hoˇ rava the- ory: Cancellation of divergences”. In:Phys. Rev. D109.8 (2024), p. 084007.doi:10.1103/ PhysRevD.109.084007. arXiv:2312.16327 [hep-th]
-
[17]
Quantizing non-projectable Hoˇ rava gravity with Lagrangian path integral
D. Blas et al. “Quantizing non-projectable Hoˇ rava gravity with Lagrangian path integral”. In: (Dec. 2025). arXiv:2512.14864 [hep-th]
-
[18]
On the infrared limit of Horava’s gravity with the global Hamiltonian constraint
Archil Kobakhidze. “On the infrared limit of Horava’s gravity with the global Hamiltonian constraint”. In:Phys. Rev. D82 (2010), p. 064011.doi:10.1103/PhysRevD.82.064011. arXiv:0906.5401 [hep-th]
-
[19]
Dark matter as integration constant in Horava-Lifshitz gravity
Shinji Mukohyama. “Dark matter as integration constant in Horava-Lifshitz gravity”. In: Phys. Rev. D80 (2009), p. 064005.doi:10.1103/PhysRevD.80.064005. arXiv:0905.3563 [hep-th]
-
[20]
Renormalization of Hoˇ rava gravity
Andrei O. Barvinsky et al. “Renormalization of Hoˇ rava gravity”. In:Phys. Rev. D93.6 (2016), p. 064022.doi:10.1103/PhysRevD.93.064022. arXiv:1512.02250 [hep-th]
-
[21]
Renormalization of gauge theories in the background-field ap- proach
Andrei O. Barvinsky et al. “Renormalization of gauge theories in the background-field ap- proach”. In:JHEP07 (2018), p. 035.doi:10.1007/JHEP07(2018)035. arXiv:1705.03480 [hep-th]
-
[22]
Towards the renor- malization group flow of Horava gravity in (3+1) dimensions
Andrei O. Barvinsky, Mario Herrero-Valea, and Sergey M. Sibiryakov. “Towards the renor- malization group flow of Horava gravity in (3+1) dimensions”. In:Phys. Rev. D100.2 (2019), p. 026012.doi:10.1103/PhysRevD.100.026012. arXiv:1905.03798 [hep-th]. 22
-
[23]
Beta functions of (3+1)-dimensional projectable Hoˇ rava gravity
Andrei O. Barvinsky, Alexander V. Kurov, and Sergey M. Sibiryakov. “Beta functions of (3+1)-dimensional projectable Hoˇ rava gravity”. In:Phys. Rev. D105.4 (2022), p. 044009. doi:10.1103/PhysRevD.105.044009. arXiv:2110.14688 [hep-th]
-
[24]
Andrei O. Barvinsky, Alexander V. Kurov, and Sergey M. Sibiryakov. “Asymptotic freedom in (3+1)-dimensional projectable Hoˇ rava gravity: Connecting the ultraviolet and infrared domains”. In:Phys. Rev. D108.12 (2023), p. L121503.doi:10 . 1103 / PhysRevD . 108 . L121503. arXiv:2310.07841 [hep-th]
-
[25]
Renormalization group flow of projectable Hoˇ rava gravity in (3+1) dimensions
Andrei O. Barvinsky, Alexander V. Kurov, and Sergey M. Sibiryakov. “Renormalization group flow of projectable Hoˇ rava gravity in (3+1) dimensions”. In:Phys. Rev. D111.2 (2025), p. 024030.doi:10.1103/PhysRevD.111.024030. arXiv:2411.13574 [gr-qc]
-
[26]
Horava-Lifshitz gravity withλ→ ∞
A. Emir Gumrukcuoglu and Shinji Mukohyama. “Horava-Lifshitz gravity withλ→ ∞”. In: Phys. Rev. D83 (2011), p. 124033.doi:10.1103/PhysRevD.83.124033. arXiv:1104.2087 [hep-th]
-
[27]
Giulio D’Odorico, Frank Saueressig, and Marrit Schutten. “Asymptotic Freedom in Hoˇ rava- Lifshitz Gravity”. In:Phys. Rev. Lett.113.17 (2014), p. 171101.doi:10.1103/PhysRevLett. 113.171101. arXiv:1406.4366 [gr-qc]
-
[28]
Covariant computation of effective actions in Hoˇ rava-Lifshitz gravity
Giulio D’Odorico, Jan-Willem Goossens, and Frank Saueressig. “Covariant computation of effective actions in Hoˇ rava-Lifshitz gravity”. In:JHEP10 (2015), p. 126.doi:10 . 1007 / JHEP10(2015)126. arXiv:1508.00590 [hep-th]
-
[29]
Scattering amplitudes in high-energy limit of projectable Hoˇ rava gravity
Jury I. Radkovski and Sergey M. Sibiryakov. “Scattering amplitudes in high-energy limit of projectable Hoˇ rava gravity”. In:Phys. Rev. D108.4 (2023), p. 046017.doi:10 . 1103 / PhysRevD.108.046017. arXiv:2306.00102 [hep-th]
-
[30]
Hoˇ rava Gravity is Asymptotically Free in 2 + 1 Dimensions
Andrei O. Barvinsky et al. “Hoˇ rava Gravity is Asymptotically Free in 2 + 1 Dimensions”. In: Phys. Rev. Lett.119.21 (2017), p. 211301.doi:10.1103/PhysRevLett.119.211301. arXiv: 1706.06809 [hep-th]
-
[31]
Pathological behaviour of the scalar graviton in Hoˇ rava-Lifshitz gravity
Kazuya Koyama and Frederico Arroja. “Pathological behaviour of the scalar graviton in Hoˇ rava-Lifshitz gravity”. In:JHEP03 (2010), p. 061.doi:10 . 1007 / JHEP03(2010 ) 061. arXiv:0910.1998 [hep-th]
-
[32]
General relativity limit of Horava-Lifshitz gravity with a scalar field in gradient expansion
A. Emir Gumrukcuoglu, Shinji Mukohyama, and Anzhong Wang. “General relativity limit of Horava-Lifshitz gravity with a scalar field in gradient expansion”. In:Phys. Rev. D85 (2012), p. 064042.doi:10.1103/PhysRevD.85.064042. arXiv:1109.2609 [hep-th]
-
[33]
To the problem of nonvanishing gravitation mass
A. I. Vainshtein. “To the problem of nonvanishing gravitation mass”. In:Phys. Lett. B39 (1972), pp. 393–394.doi:10.1016/0370-2693(72)90147-5. 23
-
[34]
Models of non-relativistic quantum grav- ity: The Good, the bad and the healthy
Diego Blas, Oriol Pujolas, and Sergey Sibiryakov. “Models of non-relativistic quantum grav- ity: The Good, the bad and the healthy”. In:JHEP04 (2011), p. 018.doi:10 . 1007 / JHEP04(2011)018. arXiv:1007.3503 [hep-th]
-
[35]
On the Theory of Second-Order Phase Transitions I & II
E. M. Lifshitz. “On the Theory of Second-Order Phase Transitions I & II”. Russian. In:Zh. Eksp. Teor. Fiz.11 (1941), pp. 253–269
1941
-
[36]
The Lifshitz point: Phase diagrams and critical behavior
R.M. Hornreich. “The Lifshitz point: Phase diagrams and critical behavior”. In:Journal of Magnetism and Magnetic Materials15-18 (1980), pp. 387–392.doi:https://doi.org/10. 1016/0304-8853(80)91100-2
1980
-
[37]
P. M. Chaikin and T. C. Lubensky.Principles of Condensed Matter Physics. Cambridge University Press, 1995
1995
-
[38]
B. P. Abbott et al. “Astrophysical Implications of the Binary Black-Hole Merger GW150914”. In:Astrophys. J. Lett.818.2 (2016), p. L22.doi:10.3847/2041- 8205/818/2/L22. arXiv: 1602.03846 [astro-ph.HE]
-
[39]
Nuclear ab initio calculations of 6He β -decay for beyond the Standard Model studies
D. Blas, O. Pujolas, and S. Sibiryakov. “Comment on ‘Strong coupling in extended Horava- Lifshitz gravity’”. In:Phys. Lett. B688 (2010), pp. 350–355.doi:10.1016/j.physletb. 2010.03.073. arXiv:0912.0550 [hep-th]
-
[40]
Tests of Lorentz invariance: a 2013 update
Stefano Liberati. “Tests of Lorentz invariance: a 2013 update”. In:Class. Quant. Grav.30 (2013), p. 133001.doi:10.1088/0264-9381/30/13/133001. arXiv:1304.5795 [gr-qc]
-
[41]
On Lorentz violation in Horava-Lifshitz type theories
Maxim Pospelov and Yanwen Shang. “On Lorentz violation in Horava-Lifshitz type theories”. In:Phys. Rev. D85 (2012), p. 105001.doi:10.1103/PhysRevD.85.105001. arXiv:1010.5249 [hep-th]
-
[42]
Emergent Lorentz invariance from Strong Dynamics: Holographic examples
Grigory Bednik, Oriol Pujol` as, and Sergey Sibiryakov. “Emergent Lorentz invariance from Strong Dynamics: Holographic examples”. In:JHEP11 (2013), p. 064.doi:10 . 1007 / JHEP11(2013)064. arXiv:1305.0011 [hep-th]
-
[43]
H., Jedamzik, K., & Pogosian, L
Andrew Coates, Charles Melby-Thompson, and Shinji Mukohyama. “Revisiting Lorentz vio- lation in Hoˇ rava gravity”. In:Phys. Rev. D100.6 (2019), p. 064046.doi:10.1103/PhysRevD. 100.064046. arXiv:1805.10299 [hep-th]
-
[44]
DeWitt boundary condition is con- sistent in Hoˇ rava-Lifshitz quantum gravity
Hiroki Matsui, Shinji Mukohyama, and Atsushi Naruko. “DeWitt boundary condition is con- sistent in Hoˇ rava-Lifshitz quantum gravity”. In:Phys. Lett. B833 (2022), p. 137340.doi: 10.1016/j.physletb.2022.137340. arXiv:2111.00665 [gr-qc]
-
[45]
Anomalies and Fermion Zero Modes on Strings and Domain Walls,
G. W. Gibbons, S. W. Hawking, and M. J. Perry. “Path Integrals and the Indefiniteness of the Gravitational Action”. In:Nucl. Phys. B138 (1978), pp. 141–150.doi:10.1016/0550- 3213(78)90161-X
-
[46]
Caustic avoidance in Horava-Lifshitz gravity
Shinji Mukohyama. “Caustic avoidance in Horava-Lifshitz gravity”. In:JCAP09 (2009), p. 005.doi:10.1088/1475-7516/2009/09/005. arXiv:0906.5069 [hep-th]. 24
-
[47]
Champaign, IL, 2020.url:https:// www.wolfram.com/mathematica
Wolfram Research, Inc.Mathematica, Version 14.1. Champaign, IL, 2020.url:https:// www.wolfram.com/mathematica
2020
-
[48]
Martin-Garcia.xAct: Efficient tensor computer algebra for the Wolfram Language
Jose M. Martin-Garcia.xAct: Efficient tensor computer algebra for the Wolfram Language. http://www.xact.es/. 25
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.