arxiv: 2603.14718 · v1 · submitted 2026-03-16 · 🌀 gr-qc

Recognition: 2 theorem links

· Lean Theorem

Can wormhole spacetimes in Unimodular Gravity be supported by ordinary matter? A general proof of the exotic matter requirement

Mauricio Cataldo , Norman Cruz , Patricio Salgado

Authors on Pith no claims yet

Pith reviewed 2026-05-15 10:58 UTC · model grok-4.3

classification 🌀 gr-qc

keywords wormholesUnimodular Gravityexotic matternull energy conditiontraversable wormholesno-go theoremflaring-out condition

0 comments

The pith

Traversable wormholes in Unimodular Gravity require exotic matter that violates the null energy condition at the throat.

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

The paper proves a general no-go theorem: every traversable wormhole in Unimodular Gravity must be supported by exotic matter. The argument starts from the geometric flaring-out condition at the throat and uses the Unimodular Gravity field equations to show that energy density plus radial pressure is negative or zero there. This violation of the null energy condition (and therefore the weak and strong conditions) occurs for any choice of shape function, redshift function, or equation of state. The same requirement appears in both zero-tidal and nonzero-tidal cases, so Unimodular Gravity inherits the exotic-matter constraint already known in General Relativity.

Core claim

The field equations of Unimodular Gravity together with the traversability requirement b'(r0) ≤ 1 imply that ρ(r0) + pr(r0) ≤ 0 at the throat. This inequality is a direct violation of the null energy condition and holds independently of the redshift function and the matter equation of state. The result applies equally to wormholes with tidal forces and to zero-tidal-force configurations, showing that the need for exotic matter is a geometric consequence of traversability rather than a feature of particular solution choices.

What carries the argument

The geometric flaring-out condition b'(r0) ≤ 1, which forces ρ + pr ≤ 0 through the Unimodular Gravity field equations evaluated at the throat.

Load-bearing premise

The flaring-out condition b'(r0) ≤ 1 is taken as the defining geometric requirement for traversability in the static spherically symmetric metric.

What would settle it

An explicit traversable wormhole solution in Unimodular Gravity in which ρ(r0) + pr(r0) > 0 at the throat would falsify the theorem.

read the original abstract

We establish a general no--go theorem demonstrating that all traversable wormhole configurations in Unimodular Gravity necessarily require exotic matter. The proof relies solely on the geometric flaring-out condition, $b'(r_0) \leq 1$, which directly implies that $\rho(r_0) + p_r(r_0) \leq 0$ at the throat. This condition represents a violation of the Null Energy Condition and, consequently, of the Weak and Strong Energy Conditions, independently of the particular choice of shape function, redshift function, or equation of state. This result holds for both tidal and zero-tidal-force configurations, showing that the requirement of exotic matter is a fundamental geometric consequence of the traversability condition rather than an artifact of specific solution choices. Therefore, Unimodular Gravity shares this fundamental constraint with General Relativity.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Unimodular Gravity wormholes still require exotic matter at the throat, shown by a direct general argument from the flaring-out condition.

read the letter

This paper shows that traversable wormholes in Unimodular Gravity cannot be held open by ordinary matter. The authors derive that the flaring-out condition b'(r0) ≤ 1 at the throat forces ρ + pr ≤ 0 from the field equations, violating the null energy condition. The result is independent of the redshift function, the full shape function, and the equation of state, and it covers both zero-tidal and non-zero tidal cases. That is the central point: Unimodular Gravity shares the same exotic-matter requirement as General Relativity for these geometries. The derivation is straightforward. They start with the standard Morris-Thorne metric, insert it into the traceless Unimodular Gravity equations Rμν − (1/4)Rgμν = 8π(Tμν − (1/4)Tgμν), and evaluate at the throat. The relevant combination reduces to a term proportional to (1 − b'(r0))/r0², so the inequality follows immediately once the geometric condition is imposed. This keeps the proof general without extra assumptions or case-by-case tuning, which is an improvement over many specific solutions in the literature. The soft spots are minor and mostly definitional. The argument is tied to the usual static spherically symmetric ansatz, so it does not address dynamic or non-symmetric wormholes, but that is outside the stated scope. The handling of the trace-free condition and any integration constants looks consistent with standard Unimodular Gravity treatments. No circular definitions or fitted parameters appear. This work is for people already working on wormholes in modified gravity. If you are checking whether Unimodular Gravity evades the energy-condition problems that plague General Relativity wormholes, the answer here is no. It is worth citing in any review of traversability constraints across gravity theories. I would send it to peer review. The logic is clean enough that referees can check the algebra at the throat and discuss whether the result extends to other metrics or time-dependent cases.

Referee Report

0 major / 2 minor

Summary. The manuscript establishes a general no-go theorem showing that all traversable wormhole configurations in Unimodular Gravity require exotic matter. Using the standard Morris-Thorne metric ansatz, the geometric flaring-out condition b'(r0) ≤ 1 at the throat is shown to imply ρ(r0) + pr(r0) ≤ 0 directly from the traceless UG field equations Rμν − (1/4) R gμν = 8π (Tμν − (1/4) T gμν), violating the null energy condition independently of the redshift function, detailed shape function, equation of state, and whether tidal forces are present or zero.

Significance. If the result holds, it demonstrates that the exotic-matter requirement for traversable wormholes is a robust geometric feature of Unimodular Gravity, identical in origin to the corresponding constraint in General Relativity. The proof is parameter-free, relies only on the independently defined flaring-out condition together with the standard metric and UG equations, and applies uniformly to both tidal and zero-tidal-force cases, providing a clean, general constraint without ad-hoc assumptions or fitted parameters.

minor comments (2)

[Abstract] Abstract: the phrase 'independently of the particular choice of shape function' could be qualified by noting that only the throat value b'(r0) ≤ 1 is used, while the global form of b(r) remains arbitrary.
[Section 3] The explicit substitution of the metric components into the UG field equations at r = r0 (leading to the factor (1 − b'(r0))/r0²) is central; displaying the intermediate expressions for the relevant Einstein-tensor components would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of our manuscript, as well as for recommending acceptance. The referee correctly identifies that our no-go theorem follows directly from the flaring-out condition combined with the traceless Unimodular Gravity field equations, without dependence on specific choices of shape function, redshift function, or equation of state.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The central no-go theorem substitutes the standard static spherically symmetric Morris-Thorne metric ansatz into the traceless Unimodular Gravity field equations Rμν − (1/4)Rgμν = 8π(Tμν − (1/4)Tgμν). The flaring-out condition b'(r0) ≤ 1 is an independent geometric input for traversability, not defined via energy conditions. At the throat this directly yields ρ(r0) + pr(r0) ≤ 0 proportional to (1 − b'(r0))/r0² without any fitted parameters, self-referential definitions, or load-bearing self-citations. The result holds independently of redshift function, shape-function details, and tidal forces, confirming the implication follows from the equations alone.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard wormhole metric ansatz, the flaring-out condition as a traversability requirement, and the field equations of Unimodular Gravity, without introducing new free parameters or postulated entities.

axioms (2)

domain assumption Static spherically symmetric wormhole metric with flaring-out condition b'(r0) ≤ 1
Standard geometric requirement for traversable wormholes invoked at the start of the proof
domain assumption Field equations of Unimodular Gravity relating geometry to matter stress-energy
Used to translate the geometric condition into the energy-condition violation

pith-pipeline@v0.9.0 · 5456 in / 1428 out tokens · 55923 ms · 2026-05-15T10:58:57.746824+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the geometric flaring-out condition b'(r0) ≤ 1, which directly implies that ρ(r0) + pr(r0) ≤ 0 at the throat
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Rμν − (1/4) R gμν = 8π (Tμν − (1/4) T gμν)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages

[1]

Null Energy Condition (NEC): ρ+p r ≥0 andρ+p t ≥0. 4

work page
[2]

Weak Energy Condition (WEC): ρ≥0,ρ+p r ≥0 andρ+p t ≥0

work page
[3]

Dominant Energy Condition (DEC): ρ≥ |p r|andρ≥ |p t|, or equivalentlyρ+p r ≥0, ρ+p t ≥0 andρ−p r ≥0 andρ−p t ≥0

work page
[4]

From these expressions, it is clear that if the NEC is not satisfied, then the WEC and DEC are also not satisfied

Strong Energy Condition (SEC): ρ+p r + 2pt ≥0. From these expressions, it is clear that if the NEC is not satisfied, then the WEC and DEC are also not satisfied. B. Wormholes in General Relativity Before focusing on the main subject of this work, we will consider energy conditions in the context of spher- ically symmetric wormholes in GR. For the metric (...

work page
[5]

Wormholes without tidal forces Considering wormholes with a constant redshift func- tion corresponds to wormholes that are free of tidal forces. Mathematically, whenϕ(r) = const, all its deriva- tives are zero for all values of the radial coordinater, which considerably simplifies the field equations, both in GR and in other alternative theories such as U...

work page
[6]

Wormholes with tidal forces We will now proceed to the analysis of configura- tions that represent the most general case of wormholes, known as wormholes with tidal effects or tidal worm- holes, characterized by a non-constant redshift function ϕ(r). This generalization introduces gravitational gradi- ents that generate tidal forces on any object that tra...

work page
[7]

Morris and K

M.S. Morris and K. S. Thorne, Am. J. Phys.56, 395 (1988) https://doi.org/10.1119/1.15620

work page doi:10.1119/1.15620 1988
[8]

M. S. Morris, K. S. Thorne and U. Yurtsever, Phys. Rev. Lett.61, 1446 (1988) https://doi.org/10.1103/ PhysRevLett.61.1446

work page 1988
[9]

Visser, Lorentzian Wormholes: from Einstein to Hawking (AIP Press, New York, USA, 1996) https:// link.springer.com/book/9781563966538

M. Visser, Lorentzian Wormholes: from Einstein to Hawking (AIP Press, New York, USA, 1996) https:// link.springer.com/book/9781563966538

work page arXiv 1996
[10]

Nguyen and M

H.K. Nguyen and M. Azreg-A¨ ınou, Revisiting Weak En- ergy Condition and wormholes in Brans-Dicke gravity, Nucl. Phys.B007 116669 (2024) https://doi.org/ 10.1016/j.nuclphysb.2024.116669

work page doi:10.1016/j.nuclphysb.2024.116669 2024
[11]

Anchordoqui, S.E

L.A. Anchordoqui, S.E. Perez Bergliaffa and D.F. Torres, Brans-Dicke wormholes in nonvacuum space-time, Phys. Rev. D 55 5226-5229 (1997) https://doi.org/10.1103/PhysRevD.55.5226

work page doi:10.1103/physrevd.55.5226 1997
[12]

Hochberg and M

D. Hochberg and M. Visser, The Null energy condition in dynamic wormholes, Phys. Rev. Lett. 81, 746-749 (1998) https://doi.org/10.1103/ PhysRevLett.81.746

work page 1998
[13]

Harko, F.S.N

T. Harko, F.S.N. Lobo, M.K. Mak and S.V. Sushkov, Modified-gravity wormholes without ex- otic matter, Phys. Rev. D 87, 6, 067504 (2013) https://doi.org/10.1103/PhysRevD.87.067504

work page doi:10.1103/physrevd.87.067504 2013
[14]

Bronnikov and A.M

K.A. Bronnikov and A.M. Galiakhmetov, Worm- holes without exotic matter in Einstein-Cartan theory, Grav. Cosmol. 21 4, 283-288 (2015) https: //doi.org/10.1134/S0202289315040027

work page doi:10.1134/s0202289315040027 2015
[15]

S. Kar, S. Lahiri and S. SenGupta, Can extra dimensional effects allow wormholes without ex- otic matter?, Phys. Lett. B 750 319-324 (2015) https://doi.org/10.1016/j.physletb.2015.09.039

work page doi:10.1016/j.physletb.2015.09.039 2015
[16]

131.100803

J.L. Bl´ azquez-Salcedo, C. Knoll and E. Radu, Traversable wormholes in Einstein-Dirac- Maxwell theory, Phys. Rev. Lett. 126 10, 101102 (2021) https://doi.org/10.1103/PhysRevLett. 126.101102

work page doi:10.1103/physrevlett 2021
[17]

Danielson, G

D.L. Danielson, G. Satishchandran, R.M. Wald, and R.J. Weinbaum, Bl´ azquez-Salcedo-Knoll- Radu Wormholes Are Not Solutions to the Einstein-Dirac-Maxwell Equations, Phys. Rev. D 104 12, 124055 (2021) https://doi.org/10.1103/ PhysRevD.104.124055

work page 2021
[18]

Traversable Worm- holes in Einstein–Dirac–Maxwell Theory

S. Bolokhov, K. Bronnikov, S. Krasnikov and 9 M. Skvortsova, A Note on “Traversable Worm- holes in Einstein–Dirac–Maxwell Theory”, Grav. Cosmol. 27 4, 401-402 (2021) https://doi.org/10. 1134/S0202289321040034

work page 2021
[19]

´Alvarez and E

A Primer on Unimodular Gravity, E. ´Alvarez and E. Velasco-Aja, 2023, gr-qc 2301.07641, https:// arxiv.org/abs/2301.07641

work page arXiv 2023
[20]

Smolin, The quantization of unimodular grav- ity and the cosmological constant problems, Phys

L. Smolin, The quantization of unimodular grav- ity and the cosmological constant problems, Phys. Rev. D 80, 084003 (2009) https://doi.org/10. 1103/PhysRevD.80.084003

work page 2009
[21]

J. M. Fern´ andez Crist´ obal,Unimodular the- ory: A little pedagogical vision, Ann. Phys. 350, 441 (2014). https://doi.org/10.1016/j.aop.2014. 07.026

work page doi:10.1016/j.aop.2014 2014
[22]

Deriving Schwarzschild and Kerr from the Einstein Equivalence Principle,

G. Alencar, “Deriving Schwarzschild and Kerr from the Einstein Equivalence Principle,” https: //inspirehep.net/literature/3122468

work page arXiv
[23]

Henneaux and C

M. Henneaux and C. Teitelboim,The cosmo- logical constant and general covariance, Phys. Lett. B 222, 195 (1989). https://doi.org/10.1016/ 0370-2693(89)91251-3

work page 1989
[24]

Kilian, T

R. Bufalo, M. Oksanen and A. Tureanu,How unimodular gravity theories differ from general relativity at quantum level, Eur. Phys. J. C 75, 477 (2015). https://doi.org/10.1140/epjc/ s10052-015-3683-3

work page doi:10.1140/epjc/ 2015
[25]

J. C. Fabris, M. H. Alvarenga and H. Velten,Us- ing Cosmological Perturbation Theory to Distin- guish between GR and Unimodular Gravity, Sym- metry 15, 1392 (2023). https://doi.org/10.3390/ sym15071392

work page 2023
[26]

Agrawal, B

A.S. Agrawal, B. Mishra and P.H.R.S. Moraes, Unimodular gravity traversable wormholes, Eur. Phys. J. Plus 138, 275 (2023) https://doi.org/10. 1140/epjp/s13360-023-03872-y

work page 2023
[27]

Cataldo and N

M. Cataldo and N. Cruz, Revisiting Wormhole Solutions in Unimodular Gravity: Energy Con- ditions and Exotic Matter Requirements, Eur. Phys. J. Plus 140 1014 (2025) https://doi.org/ 10.1140/epjp/s13360-025-06960-3

work page doi:10.1140/epjp/s13360-025-06960-3 2025
[28]

Agrawal, B

A.S. Agrawal, B. Mishra and P.H.R.S. Moraes, Correction to: Unimodular gravity traversable wormholes. Eur. Phys. J. Plus 140, 1061 (2025). https://doi.org/10.1140/epjp/ s13360-025-06926-5

work page doi:10.1140/epjp/ 2025