pith. sign in

arxiv: 2605.20611 · v1 · pith:3CR2J26Tnew · submitted 2026-05-20 · 🌀 gr-qc

Gravitational entropy in Petrov Type I spacetimes

Maharshi Sarma , Sebasti\'an N\'ajera , Roberto A. Sussman This is my paper

Pith reviewed 2026-05-21 04:35 UTC · model grok-4.3

classification 🌀 gr-qc
keywords gravitational entropyPetrov type IBel-Robinson tensorSzekeres modelseffective energy-momentum tensorgeneral relativityspacetime classification
0
0 comments X

The pith

The Bel-Robinson tensor decomposition yields effective energy-momentum tensors that define gravitational entropy in Petrov type I spacetimes.

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

The paper extends the Clifton-Ellis-Tavakol proposal for gravitational entropy, which relies on an effective energy-momentum tensor from the algebraic decomposition of the Bel-Robinson tensor, to the broader class of Petrov type I spacetimes where that decomposition is not unique. It works through the resulting tensors in detail and applies them explicitly to the Szekeres models of class II as a concrete analytic example. A sympathetic reader would care because this step removes a technical barrier that had restricted the entropy definition to only Petrov types D and N, opening the way to calculate gravitational entropy in a much larger family of solutions.

Core claim

In Petrov type I spacetimes the algebraic decomposition of the Bel-Robinson tensor is not unique yet still produces effective energy-momentum tensors that remain suitable for defining gravitational entropy; explicit construction of these tensors and their use in the Szekeres class II models demonstrates that the definition carries over without requiring uniqueness.

What carries the argument

The effective energy-momentum tensor formed by algebraic decomposition of the Bel-Robinson tensor, which supplies the source term for gravitational entropy even when multiple decompositions exist.

If this is right

  • Gravitational entropy becomes computable in any Petrov type I spacetime once a choice of decomposition is fixed.
  • The Szekeres class II models now serve as an explicit working example where the entropy density can be written down in closed form.
  • The non-uniqueness requires an additional criterion to select among possible tensors, but does not prevent the definition from being used.
  • The same procedure supplies a consistent entropy for any analytic type I solution that admits a Bel-Robinson decomposition.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The method could be applied next to numerically generated type I spacetimes to test whether entropy production tracks gravitational wave emission.
  • If the entropy definition proves stable under small perturbations away from type I, it might connect to existing proposals for entropy in generic cosmologies.
  • One could check whether the resulting entropy satisfies a monotonicity property along null geodesics in the Szekeres models, providing a direct test of the second law in an inhomogeneous setting.

Load-bearing premise

The effective energy-momentum tensor obtained from the decomposition remains physically meaningful for entropy even though the decomposition itself is not unique.

What would settle it

A calculation in the Szekeres class II models that produces an effective energy-momentum tensor whose associated entropy is negative, violates the second law, or fails to reduce to the known results in the type D limit would falsify the claim.

read the original abstract

The gravitational entropy proposal of Clifton, Ellis and Tavakol (CET) is based on an effective energy momentum tensor formed by the algebraic decomposition of the 4th order Bel-Robinson tensor. So far the application of the CET proposal has been limited to spacetimes of Petrov types D and N for which this algebraic decomposition is unique. To address this limitation we examine in detail the effective energy momentum tensors that result from the algebraic decomposition of the Bel-Robinson tensor in Petrov type I spacetimes. As a test case we apply these results to the Szekeres models of class II, a Petrov type I analytic solution.

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.

Referee Report

2 major / 2 minor

Summary. The paper extends the Clifton-Ellis-Tavakol (CET) gravitational entropy proposal, previously limited to Petrov types D and N where the Bel-Robinson tensor decomposition is unique, to Petrov type I spacetimes. It examines in detail the effective energy-momentum tensors arising from the algebraic decomposition of the Bel-Robinson tensor and applies the results as a test case to the analytic Szekeres class II models.

Significance. If the central claims hold, the work would meaningfully broaden the CET framework to a wider class of spacetimes, including inhomogeneous cosmologies. Credit is due for selecting an analytic Petrov type I solution (Szekeres class II) as the testbed and for directly confronting the non-uniqueness issue rather than avoiding it. This could enable falsifiable entropy calculations in more realistic models if a consistent selection or invariance is established.

major comments (2)
  1. [Section 3] The manuscript does not supply an explicit canonical selection rule or invariance proof showing that all admissible decompositions of the Bel-Robinson tensor in Petrov type I yield equivalent entropy densities or preserve the positivity and thermodynamic interpretation of the original CET construction.
  2. [Section 5] In the Szekeres class II application, the choice of effective energy-momentum tensor among the multiple sets of null vectors satisfying the algebraic conditions is not specified, leaving the resulting gravitational entropy density ambiguous.
minor comments (2)
  1. Notation distinguishing the various effective tensors could be introduced earlier to improve readability when multiple decompositions are discussed.
  2. A brief comparison table of entropy densities obtained from different admissible decompositions (if computed) would strengthen the presentation of the Szekeres results.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments. We appreciate the recognition that this work could broaden the CET framework to inhomogeneous cosmologies. We respond to each major comment below, indicating where revisions will be made.

read point-by-point responses

  1. Referee: [Section 3] The manuscript does not supply an explicit canonical selection rule or invariance proof showing that all admissible decompositions of the Bel-Robinson tensor in Petrov type I yield equivalent entropy densities or preserve the positivity and thermodynamic interpretation of the original CET construction.

    Authors: We agree that no canonical selection rule or general invariance proof is supplied, as the algebraic decomposition of the Bel-Robinson tensor is inherently non-unique for Petrov type I spacetimes. Section 3 instead classifies all admissible decompositions satisfying the required algebraic conditions and derives the associated effective energy-momentum tensors. We examine the resulting entropy densities and identify choices for which positivity and a thermodynamic interpretation analogous to the original CET proposal are preserved. We do not claim equivalence across all decompositions, which would require additional structure not present in generic type I geometries. In the revised manuscript we will add an explicit statement in Section 3 clarifying this scope and the absence of a uniqueness theorem. revision: partial

  2. Referee: [Section 5] In the Szekeres class II application, the choice of effective energy-momentum tensor among the multiple sets of null vectors satisfying the algebraic conditions is not specified, leaving the resulting gravitational entropy density ambiguous.

    Authors: We accept this point. Although the application in Section 5 uses a decomposition aligned with the principal null directions of the Szekeres class II Weyl tensor, the specific choice among admissible null-vector sets is not stated explicitly. In the revised version we will specify the selected null vectors, justify the choice by reference to the model's symmetry, and provide the resulting explicit expression for the gravitational entropy density. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation extends external CET framework independently

full rationale

The paper's central task is to examine the (non-unique) algebraic decompositions of the Bel-Robinson tensor into effective energy-momentum tensors for Petrov type I spacetimes and to apply the resulting expressions to the Szekeres class II solution. This is a direct mathematical extension of the external Clifton-Ellis-Tavakol (CET) construction, which is cited but not authored by the present team; no self-citation is load-bearing for the uniqueness or positivity claims. No parameters are fitted to data, no quantity is redefined in terms of itself, and no ansatz is smuggled via prior work by the same authors. The derivation chain therefore consists of explicit tensor algebra and coordinate calculations that remain independent of the target entropy interpretation.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the paper rests on the prior CET framework and the assumption that a useful decomposition exists in Type I. No free parameters, invented entities, or additional axioms are identifiable from the given information.

axioms (1)
  • domain assumption The CET proposal based on algebraic decomposition of the Bel-Robinson tensor defines gravitational entropy.
    This is the foundation being extended to new spacetime types.

pith-pipeline@v0.9.0 · 5637 in / 1371 out tokens · 57513 ms · 2026-05-21T04:35:49.631155+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

22 extracted references · 22 canonical work pages

  1. [1]

    Astrophys641A6

    Aghanim Net al.2020Astron. Astrophys641A6

    work page

  2. [2]

    Arbey A and Mahmoudi F 2021Progress in Particle and Nuclear Physics119103865

    work page

  3. [3]

    Grohs E and Fuller G M 2023 Big bang nucleosynthesisHandbook of Nuclear Physics(Springer) pp 3713–3733

    work page 2023

  4. [4]

    Penrose R 1979 Singularities and time-asymmetryGeneral relativity(Cambridge University Press)

    work page 1979

  5. [5]

    Pelavas N and Coley A 2006International Journal of Theoretical Physics451258–1266

    work page

  6. [6]

    Zhao Z W, Yu C K and Li N 2018Frontiers of Physics131–10

    work page

  7. [7]

    Guha S and Chakraborty S 2020International Journal of Modern Physics D292050034

    work page

  8. [8]

    Gregoris D and Ong Y C 2022Physical Review D105104017

    work page

  9. [9]

    Clifton T, Ellis G F and Tavakol R 2013Classical and Quantum Gravity30125009

    work page

  10. [10]

    Bonilla M ´A and Senovilla J M 1997General Relativity and Gravitation2991–116

    work page

  11. [11]

    Bonilla M ´A and Senovilla J M 1997Physical review letters78783

    work page

  12. [12]

    Bonilla M A and Senovilla J M M 1998 Miscellaneous results on the bel-robinson tensorAnalytical and numerical approaches to relativity. Sources of gravitational radiation:[Spanish Relativity Meeting] Universitat de les Illes Balears, Spain, September, 16-19, 1997(Servei de Publicacions i Intercanvi Cient´ ıfic) pp 14–18

    work page 1998

  13. [13]

    Pelavas N and Lake K 2000Physical Review D62044009

    work page

  14. [14]

    Sussman R A and Larena J 2015Classical and Quantum Gravity32165012

    work page

  15. [15]

    Piza˜ na F A, Sussman R A and Hidalgo J C 2022Classical and Quantum Gravity39185005

    work page

  16. [16]

    Gregoris D, Ong Y C and Wang B 2020Physical Review D102023539 Gravitational entropy in Petrov Type I spacetimes17

    work page

  17. [17]

    Chakraborty S, Guha S and Goswami R 2022General Relativity and Gravitation5447

    work page

  18. [18]

    Press) ISBN 978-0-521-46702-5, 978-0-511-05917-9

    Stephani H, Kramer D, MacCallum M A H, Hoenselaers C and Herlt E 2003Exact solutions of Einstein’s field equationsCambridge Monographs on Mathematical Physics (Cambridge: Cambridge Univ. Press) ISBN 978-0-521-46702-5, 978-0-511-05917-9

    work page

  19. [19]

    N´ ajera S and Sussman R A 2021Classical and Quantum Gravity38015016

    work page

  20. [20]

    N´ ajera S and Sussman R A 2021The European Physical Journal C81374

    work page

  21. [21]

    Ellis G F, Maartens R and MacCallum M A 2012Relativistic cosmology(Cambridge University Press)

    work page

  22. [22]

    Tsagas C G 2010Monthly Notices of the Royal Astronomical Society405503–508

    work page