Are There Closed Timelike Curves in f(R,mathcal{L}_m,Φ,g^(μν)nabla_μ Φ nabla_ν Φ)-Gravity?
Pith reviewed 2026-05-21 03:55 UTC · model grok-4.3
The pith
Space-times with closed timelike curves that solve general relativity fail to satisfy the field equations of this modified f(R, L_m, Φ) gravity.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Although the cylindrically symmetric Petrov-type N space-times and the axially symmetric Petrov type-III space-times with cosmological constant are exact solutions of the Einstein equations sourced by pure radiation and scalar fields, they do not satisfy the modified gravitational field equations obtained by varying the action that depends on f(R, L_m, Φ, g^{μν} ∇_μ Φ ∇_ν Φ).
What carries the argument
The modified field equations derived from varying the arbitrary function f of the Ricci scalar, matter Lagrangian density, scalar field Φ, and its kinetic term; these equations must hold identically for any candidate space-time to be consistent.
If this is right
- These rotating geometries cannot serve as consistent backgrounds for analyzing causal structure in the modified theory.
- Pure radiation coupled to the scalar field is incompatible with the extended equations in these symmetric configurations.
- Any search for closed timelike curves within the model must begin with different metrics or matter sources that do satisfy the new equations.
- The extra dynamical degree of freedom from the scalar field and kinetic term tightens the constraints relative to general relativity.
Where Pith is reading between the lines
- The inconsistency may indicate that this class of modified gravity excludes closed timelike curves in cylindrical and axial symmetries when radiation is the source.
- One could test whether non-radiative matter or different scalar-field profiles restore consistency while preserving the same symmetries.
- Similar consistency checks on other known GR solutions with CTCs could map out the allowed causal structures in the theory.
Load-bearing premise
The specific cylindrically symmetric Petrov-type N and axially symmetric Petrov type-III metrics together with pure radiation and chosen scalar-field configurations are assumed to be admissible background geometries that can be directly substituted into the modified field equations to test consistency.
What would settle it
Explicit substitution of the two metrics into the derived modified field equations followed by checking whether the resulting system of differential equations for f and the metric functions holds identically or produces contradictions.
read the original abstract
A modified gravitational model whose action is given by an arbitrary function of the Ricci scalar, the matter Lagrangian density, a scalar field, and its kinetic term is investigated as an extension of the gravitational sector including an additional dynamical degree of freedom. Within this framework, the causal structure of rotating cosmological solutions is analyzed by considering a cylindrically symmetric Pertov-type N space-times and an axially symmetric Petrov type-III with a cosmological constant as background geometries used as theoretical probes of the model consistency. In both cases, pure radiation as matter sources are examined, including a scalar-field configurations. We demonstrate that, although the considered space-times are exact solutions to the field equations of general relativity with a matter source, they are inconsistent within the modified gravity theory considered here.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript investigates a modified gravity theory whose action depends on an arbitrary function of the Ricci scalar R, the matter Lagrangian density L_m, a scalar field Φ, and the kinetic term g^{μν}∇_μΦ∇_νΦ. It employs two families of exact GR solutions as background geometries to test consistency: a cylindrically symmetric Petrov-type N space-time and an axially symmetric Petrov type-III space-time, both with a cosmological constant, pure radiation matter source, and chosen scalar-field configurations. The central claim is that these metrics satisfy the Einstein equations with matter but are inconsistent with the field equations of the modified theory.
Significance. If the inconsistency is demonstrated by explicit substitution, the result would show that these particular rotating/cylindrical solutions with potential CTCs do not survive the extension of the gravitational sector, thereby constraining the admissible backgrounds in f(R, L_m, Φ, kinetic-term) models. The method of using known GR solutions as probes is standard and internally consistent; the addition of a dynamical scalar field is a natural extension. The work supplies a concrete, falsifiable test of the theory's viability for causal-structure questions.
major comments (1)
- [Abstract] Abstract and main text: the claim that the chosen metrics and scalar-field ansatz are inconsistent with the modified field equations is asserted without presenting the explicit field equations obtained by varying the action or the algebraic steps of the substitution. This derivation is load-bearing for the central claim of inconsistency and must be supplied for the result to be verifiable.
minor comments (2)
- The title emphasizes closed timelike curves while the abstract and described analysis focus on metric inconsistency; a brief sentence linking the two would clarify the motivation.
- Notation for the kinetic term g^{μν}∇_μΦ∇_νΦ is repeated in full; an abbreviation introduced after the first occurrence would improve readability in subsequent equations.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for the constructive comment. We address the major point below and agree that additional explicit derivations are required to strengthen the verifiability of our central claim.
read point-by-point responses
-
Referee: [Abstract] Abstract and main text: the claim that the chosen metrics and scalar-field ansatz are inconsistent with the modified field equations is asserted without presenting the explicit field equations obtained by varying the action or the algebraic steps of the substitution. This derivation is load-bearing for the central claim of inconsistency and must be supplied for the result to be verifiable.
Authors: We agree with the referee that the explicit variation of the action to derive the field equations, together with the detailed algebraic substitution of the two background metrics and scalar-field ansatzes, must be presented for the inconsistency result to be fully verifiable. In the revised manuscript we will add a dedicated subsection (or appendix) that first performs the variation of the action S = ∫ f(R, L_m, Φ, g^{μν}∇_μΦ∇_νΦ) √-g d^4x to obtain the modified field equations, and then substitutes the cylindrically symmetric Petrov-type N and axially symmetric Petrov type-III line elements (with the chosen pure-radiation and scalar-field configurations) into those equations, showing term-by-term that the resulting expressions do not vanish. This will make the demonstration self-contained and reproducible. revision: yes
Circularity Check
No significant circularity; direct substitution into derived field equations
full rationale
The paper derives the modified field equations by varying the action with respect to the metric, then substitutes the given cylindrically symmetric Petrov-type N and axially symmetric Petrov type-III metrics (with pure radiation and chosen scalar-field configurations) into those equations to demonstrate inconsistency. This is a standard, non-circular consistency test that treats GR solutions as external probes. No parameter is fitted to data and then relabeled as a prediction, no self-definition equates the output to the input, and no load-bearing self-citation or uniqueness theorem is invoked to force the result. The derivation chain remains self-contained against the variational principle and the explicit substitution.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
By comparing Eqs. (23) and (26), one finds that the system of equations is inconsistent... the modified gravity theory considered here does not allow solutions of the form given in Eq. (10).
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Substituting Eq. (5) into Eq. (2), the field equations become Rμν−½Rgμν+Λgμν=κTμν+λ/4 gμνgστ(∇σΦ)(∇τΦ)−λ/2(∇μΦ)(∇νΦ).
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
-
[1]
A. De Felice and S. Tsujikawa, Living Reviews in Relativity13, 3 (2010)
work page 2010
-
[2]
T. Harko and F. S. N. Lobo, The European Physical Journal C70, 373 (2010)
work page 2010
-
[3]
D. C. Maurya, K. Yesmakhanova, R. Myrzakulov, and G. Nugmanova, Chinese Physics C48, 125101 (2024)
work page 2024
- [4]
-
[5]
J. A. S. Lima, Brazilian Journal of Physics34, 194 (2004)
work page 2004
-
[6]
T. Clifton, P. G. Ferreira, A. Padilla, and C. Skordis, Physics Reports513, 1 (2012)
work page 2012
-
[7]
T. Harko and F. S. N. Lobo,Extensions off(R)Gravity: Curvature-Matter Couplings and Hybrid Metric-Palatini Theory (Cambridge University Press, 2018)
work page 2018
- [8]
- [9]
-
[10]
Gödel, Reviews of Modern Physics21, 447 (1949)
K. Gödel, Reviews of Modern Physics21, 447 (1949)
work page 1949
-
[11]
A. K. Raychaudhuri and S. N. G. Thakurta, Physical Review98, 1123 (1955)
work page 1955
-
[12]
M. J. Rebouças and J. Tiomno, Physical Review D28, 1251 (1983)
work page 1983
- [13]
- [14]
-
[15]
L. A. S. Evangelista, M. L. R. Silva, J. V. Moretti, and A. F. Santos, The European Physical Journal C86, 533 (2026)
work page 2026
-
[16]
Ahmed, The European Physical Journal C78, 385 (2018)
F. Ahmed, The European Physical Journal C78, 385 (2018)
work page 2018
-
[17]
Ahmed, Progress in Physics12, 329 (2016), arXiv:2105.08523 [gr-qc]
F. Ahmed, Progress in Physics12, 329 (2016), arXiv:2105.08523 [gr-qc]
-
[18]
J. C. R. de Souza and A. F. Santos, The European Physical Journal C83, 834 (2023)
work page 2023
-
[19]
J. C. R. de Souza, A. F. Santos, and F. Ahmed, The European Physical Journal C84, 559 (2024)
work page 2024
- [20]
- [21]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.