{"id":"b3d065cf-fd38-412d-b5fb-6dbed3a85940","arxiv_id":"2602.00524","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In unimodular gravity, traversable wormhole throats must still violate the null energy condition, exactly as in general relativity.","lead":"The paper shows that the geometric no-go argument against traversable wormholes with ordinary matter in general relativity also applies to unimodular gravity: the null Raychaudhuri equation and the contraction of the field equations with a null vector are unchanged, so NEC violation is unavoidable. This challenges published claims that unimodular gravity can support wormholes without exotic matter.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The no-go theorem is proven only for twist-free null congruences; the abstract's 'any genuinely traversable wormhole' overreaches, leaving vorticity as an unclosed loophole.","rationale":"The reader's verdict is CONDITIONAL, and the identified weakest assumption matches the load-bearing concern here: the proof's twist-free hypothesis is not shown to hold for all genuinely traversable wormholes, while the abstract claims a universal no-go. This is not an internal inconsistency—the conditional theorem is a straightforward consequence of the null Raychaudhuri equation and the UG field equations, and the contraction R_ab k^a k^b = 8π T_ab k^a k^b is correct. The problem is that the advertised conclusion is broader than the proven statement. The vorticity term in Eq. (15) is a concrete, in-principle loophole: it is non-negative and can offset the NEC-satisfying curvature term, so defocusing at the throat does not force NEC violation unless ω_ab = 0. The paper offers no argument that wormhole throats generally have twist-free null generators, and footnote 2 explicitly ties the area-based traversability criterion to twist-free congruences. A rotating wormhole example—where null congruences can carry vorticity—is the natural test. If such an example satisfies NEC at the throat with defocusing, the central claim fails; if not, the concern remains an open gap. Either way, the current manuscript should be revised to state the theorem as conditional on twist-free congruences, or to prove the missing claim. Since the reader already recommends CONDITIONAL, this stress-test does not change the verdict.","tokens_in":5586,"tokens_out":6402,"duration_ms":80953,"concrete_test":"Take a rotating traversable wormhole metric with a non-static throat, e.g., the Teo rotating wormhole or the class used in [13]. Compute, at the throat, the four null Raychaudhuri terms for the two principal null geodesic congruences: θ, σ_ab σ^ab, ω_ab ω^ab, and R_ab k^a k^b. If there exists a congruence with ω_ab ω^ab > 0 and dθ/dλ > 0 while R_ab k^a k^b ≥ 0 (NEC satisfied), then the paper's central claim is false as stated. If a proof is supplied that the two null normals to an extremal 2-surface are always hypersurface orthogonal (ω_ab = 0), the gap closes. The check should be done for at least one axisymmetric, non-static wormhole spacetime.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The derived NEC-violation result is correct only under the twist-free assumption, which is not justified for arbitrary traversable wormholes. In Eq. (15), dθ/dλ = −σ² + ω² − R_ab k^a k^b. The step to Eq. (16), R_ab k^a k^b < 0, drops the non-negative vorticity term; it is valid only when ω_ab = 0. The paper asserts this is 'the relevant case for a static and spherically symmetric geometry,' but the abstract and Sec. IV claim a no-go for 'any genuinely traversable wormhole.' Nonzero vorticity can in principle allow dθ/dλ > 0 at θ = 0 even if R_ab k^a k^b ≥ 0, i.e., without NEC violation. Moreover, the paper's own footnote 2 concedes that the area/expansion interpretation assumes ω_ab = 0, so the traversability criterion is itself defined only for twist-free congruences. Thus the central claim is not a theorem about all traversable wormholes; it is a conditional theorem about twist-free congruences. This is a genuine gap between the proof's hypothesis and the advertised conclusion, not merely a presentational slip.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper uses the null Raychaudhuri equation to formulate wormhole traversability as a local condition at the throat: θ=0 and dθ/dλ>0. Since the Raychaudhuri equation is purely geometric and since the contraction of the unimodular-gravity field equations with a null vector gives R_ab k^a k^b = 8π T_ab k^a k^b, the authors argue that any traversable wormhole in unimodular gravity must violate the null energy condition. The proof is explicitly carried out for twist-free null congruences, but the abstract and title present the result as a no-go for all genuinely traversable wormholes.","tokens_in":5937,"tokens_out":4600,"duration_ms":53654,"significance":"The paper is clearly written and the central derivation is sound for the restricted class it actually proves: for twist-free null congruences threading a throat, the null Raychaudhuri equation together with the unimodular-gravity field equations implies T_ab k^a k^b < 0. This cleanly shows that unimodular gravity does not alter the geometric obstruction, and the contraction step in Eq. (30) is a useful clarification that trace-sector modifications drop out. The main significance is therefore as a precise local version of the known NEC obstruction, correctly applicable to twist-free configurations. The paper's advertised universal claim, however, is not supported by the proof.","major_comments":[{"comment":"The theorem is proven only under the assumption ω_ab=0. In Eq. (15), dθ/dλ = -σ_abσ^ab + ω_abω^ab - R_ab k^a k^b. The step to Eq. (16), R_ab k^a k^b < 0, explicitly drops the non-negative vorticity term; it is valid only for ω_ab=0. The abstract's 'any genuinely traversable wormhole' and Sec. IV's conclusion 'no genuinely traversable wormhole solutions supported by ordinary matter' are therefore overstatements. Please either prove that every traversable wormhole throat admits twist-free generators, or consistently restrict the abstract, title, and conclusions to the proven twist-free case.","section":"Abstract and Sec. IV (Eqs. 15, 16, 31)"},{"comment":"The traversability criterion itself is formulated using the area element A(λ), and footnote 2 concedes that the interpretation θ = A^{-1} dA/dλ assumes ω_ab=0. Thus the throat characterization in Eqs. (10)-(14) is not defined for congruences with vorticity. This makes the gap between hypothesis and conclusion explicit: the result cannot be applied to wormholes whose throat is defined through a more general null congruence. The assertion that twist-free is 'the relevant case for a static and spherically symmetric geometry' is plausible but is not demonstrated; it should be substantiated or removed.","section":"Sec. III, footnote 2 and Eq. (14)"}],"minor_comments":[{"comment":"There is a typo in the section title: 'NULL RA YCHAUDHURI EQUA TION' should read 'NULL RAYCHAUDHURI EQUATION'.","section":"Sec. II heading"},{"comment":"After Eq. (30), 'identicalto' should be 'identical to'.","section":"Sec. IV"},{"comment":"The discussion of 'timelike-only traversability' is speculative and not needed for the main result. If retained, it should be supported by a concrete argument or references to causal structure theorems; otherwise it distracts from the central claim.","section":"Sec. V, timelike-only paragraph"}],"recommendation":"major_revision","confidential_remarks":"The main barrier is the mismatch between the conditional theorem and the universal claim in the abstract and title. If the authors revise the language to state the result for twist-free null congruences, the paper will be a correct and useful contribution. The vorticity loophole is a genuine technical gap that should be addressed directly, either by closing it or by explicitly circumscribing the theorem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The core of this paper is a clean, self-contained derivation showing that unimodular gravity inherits the GR null-energy-condition obstruction for traversable wormholes, provided the null congruence threading the throat is twist-free. Contracting the trace-free UG field equations with a null vector gives exactly Rab ka kb = 8π Tab ka kb, so the Raychaudhuri-based defocusing argument goes through unchanged. That is a useful clarification, especially for claims that UG can support wormholes with ordinary matter. The paper handles the relevant background correctly and the math is straightforwardly right.\n\nThe problem is the gap between what is proved and what is advertised. The proof needs omega_ab = 0: in Eq. (15), dθ/dλ = -sigma^2 + omega^2 - Rab ka kb, so the inference to Rab ka kb < 0 depends on dropping the non-negative vorticity term. The paper's own footnote concedes that the area interpretation of the expansion assumes omega=0. Yet the abstract and title say “any genuinely traversable wormhole” is impossible. The twist-free assumption is justified for static, spherically symmetric throats, but not for arbitrary wormholes, and the paper does not close that loophole. This is a load-bearing overstatement, not a cosmetic one. The authors should qualify the theorem to twist-free (or hypersurface-orthogonal) congruences, or prove that vorticity cannot rescue traversability.\n\nA minor secondary issue: the paper critiques the claimed wormhole solutions in the literature but does not examine those solutions in detail to show where they fail the traversability criterion. That would have made the argument more persuasive.\n\nThat said, the paper is worth engaging. It is clear, honest about its assumptions in the body, and the derivation is correct for the class it actually covers. For the wormhole/modified-gravity community, the qualified result is a useful check on overoptimistic claims. With a revision that aligns the advertised conclusion with the proof, it would be a solid contribution. Without that revision, the abstract misleads.\n\nI would send this to peer review, but with a referee who will insist on the qualifier. The paper deserves referee time because the underlying calculation is correct and the topic is active. It just needs to say what it actually proves.","headline":"Correct but overstated: the twist-free no-go theorem is real, but the title and abstract claim more than the proof delivers.","tokens_in":6353,"tokens_out":2117,"would_cite":false,"duration_ms":26176,"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":"Unimodular gravity cannot support traversable wormholes unless the null energy condition is violated.","keywords":["unimodular gravity","traversable wormholes","null energy condition","Raychaudhuri equation","flare-out condition","null congruence","exotic matter","null defocusing"],"falsifier":"A decisive test: search for a solution of the unimodular field equations with the standard spherical wormhole ansatz, a throat satisfying the flare-out condition, and T_ab k^a k^b ≥ 0 for every null vector at the throat. The theorem predicts no such solution exists; finding one would refute it.","tokens_in":5499,"feed_emoji":"🕳️","tokens_out":7115,"duration_ms":69204,"temperature":0.7,"pith_summary":"Unimodular gravity and general relativity share the same local affine and causal geometry, so the evolution of the expansion of null geodesic congruences is identical in both theories. The paper proves that a traversable wormhole throat, characterized as a minimal-area cross-section threaded by twist-free null generators, requires null defocusing: the expansion must increase through the throat. The null focusing equation then forces the Ricci curvature along the null direction to be negative, and contracting the unimodular field equations with the null vector yields exactly the same relation as in general relativity, R_ab k^a k^b = 8π T_ab k^a k^b. Therefore the matter stress tensor must violate the null energy condition. The paper concludes that any genuinely traversable wormhole in unimodular gravity requires exotic matter, so claims of ordinary-matter wormholes in this framework must involve a redefined effective source or a non-covariant traversability criterion.","feed_headline":"Traversable wormholes still need exotic matter in unimodular gravity","feed_subtitle":"The same focusing obstruction as general relativity forbids wormholes supported by ordinary matter.","key_machinery":"The carrying identity is the null Raychaudhuri equation, dθ/dλ = -½θ² - σ_ab σ^ab + ω_ab ω^ab - R_ab k^a k^b, evaluated at a throat where the expansion θ vanishes. With the vorticity term set to zero (twist-free congruence) and the shear term non-negative, the traversability requirement dθ/dλ > 0 forces R_ab k^a k^b < 0. The unimodular field equations, contracted with k^a k^b, reduce to R_ab k^a k^b = 8π T_ab k^a k^b, converting the geometric inequality into the null energy condition violation. The work of the machinery is to show that no trace-sector modification can alter this chain, since the Ricci term entering the focusing equation is the same in both theories.","core_discovery":"The central claim is a local no–go theorem: in unimodular gravity, no traversable wormhole can be supported by matter satisfying the null energy condition. The proof is covariant and field-equation-independent at the level of geometry. Because the null focusing equation is a pure geometric identity and because contracting the traceless unimodular field equations with a null vector gives the same expression as Einstein's equations, the defocusing condition at the throat translates directly into a negative value of T_ab k^a k^b. A cosmological-constant-like integration constant contributes a term proportional to g_ab and drops out. The paper states the conclusion on its own terms: 'the existen","pith_inferences":["Editorial inference: the no-go theorem rests on the twist-free assumption; allowing vorticity introduces a positive term in the focusing equation that could in principle offset the Ricci term, so a throat with vorticity might expand without NEC violation. Whether such vorticity can be realized in a geodesically complete wormhole is not settled by the paper.","Editorial inference: because the argument uses only the Levi–Civita connection and the algebraic structure of the field equations under null contraction, the same obstruction should apply to any metric theory of gravity whose null geodesics are unchanged and whose Ricci-null contraction equals the matter null contraction — not exclusively unimodular gravity.","Editorial inference: a concrete next step would be to search for explicit wormhole solutions in unimodular gravity with non-vanishing vorticity of the null congruence at the throat; if one is found that satisfies the NEC, it would mark the precise boundary of the theorem's applicability.","Editorial inference: the local defocusing criterion guarantees the absence of caustics at the throat, but a complete proof of traversability also requires controlling conjugate points along the entire geodesic; the paper does not address that global aspect."],"forward_implications":["Any traversable wormhole solution in unimodular gravity that satisfies the covariant defocusing condition must be sourced by matter violating the null energy condition.","Claims in the literature of NEC-respecting wormholes in unimodular gravity must be reinterpreted either as effective stress-energy redefinitions that hide the violation or as configurations that do not meet the covariant traversability criterion.","The standard flare-out condition for spherical wormholes (the shape-function derivative being less than one) is a coordinate form of the general null defocusing condition, not an independent assumption.","A cosmological-constant-like integration constant, which is the only difference between unimodular and Einstein gravity at the level of field equations, contributes nothing to the null focusing obstruction because it enters as a term proportional to the metric.","Configurations that are traversable only for timelike observers would violate standard causal ordering and are therefore not physically admissible within the paper's framework."],"fun_headline_variants":["No wormhole without exotic matter, even in unimodular gravity","Unimodular gravity keeps the wormhole exotic-matter barrier","Wormholes in unimodular gravity still demand exotic matter","Unimodular gravity doesn't dodge wormhole exotic-matter requirement","Traversable wormholes in unimodular gravity: exotic matter mandatory"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof assumes the null congruence threading the throat is twist-free (zero vorticity); if vorticity is non-zero, the positive vorticity term in the focusing equation could allow defocusing without a negative Ricci term, and the NEC-violation conclusion would not follow.","fun_headline_variants_meta":{"raw":{"variants":["No wormhole without exotic matter, even in unimodular gravity","Unimodular gravity keeps the wormhole exotic-matter barrier","Wormholes in unimodular gravity still demand exotic matter","Unimodular gravity doesn't dodge wormhole exotic-matter requirement","Traversable wormholes in unimodular gravity: exotic matter mandatory"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001625,"raw_usage":{"total_tokens":6233,"prompt_tokens":606,"completion_tokens":5627,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":350,"completion_tokens_details":{"reasoning_tokens":5534}},"tokens_in":350,"tokens_out":5627,"duration_ms":42141,"temperature":1.0,"reasoning_tokens":5534,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T05:58:13.695585+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A decisive test: search for a solution of the unimodular field equations with the standard spherical wormhole ansatz, a throat satisfying the flare-out condition, and T_ab k^a k^b ≥ 0 for every null vector at the throat. The theorem predicts no such solution exists; finding one would refute it.","supporting_citations":[],"review_version":1}