Pith. sign in

REVIEW 3 major objections 3 minor 1 cited by

Formulation and Proof of the Gravitational Entropy Bound

T0 review · 3 major / 3 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that diffeomorphism invariance alone forces a gravitational entropy bound: for any codimension-2 surface $B$, the phase-space volume $V$ of states with $K \le \lambda$ satisfies $\ln V \le \lambda/\hbar$, which for…

desk verdict The paper's entropy-bound idea is original and the Noether-charge part is clean, but the load-bearing lemma equating a path integral with a phase-space integral is unproven and in fact false for a harmonic oscillator, so the theorem does not stand. read the letter →

arxiv 2412.02470 v1 pith:IP72WZZK submitted 2024-12-03 hep-th gr-qchep-ph

Artem Averin This is my paper · ORCID
classification hep-thgr-qchep-ph
keywords gravitationalentropyboundholographicdiffeomorphisminvariancemodularHamiltonianNoetherchargephasespaceblackholeEinstein-Hilbertaction
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper claims to prove, from first principles, that any diffeomorphism-invariant field theory carries a gravitational entropy bound. The argument uses a recently introduced representation of quantum observables as weighted sums over paths in phase space: fixing a codimension-2 surface $B$ selects a submanifold of phase space, and diffeomorphism invariance forces the reduced ground-state density matrix on that submanifold to be $e^{-K}$ for a functional $K$ built from the Lagrangian. The consequence is that the phase-space volume $V$ of states with $K \le \lambda$ satisfies $\ln V \le \lambda/\hbar$. For Einstein–Hilbert gravity with cosmological constant and arbitrary minimally coupled matter, $K = A/(4G)$, yielding the area form of the bound $\ln V \le A/(4\hbar G)$. This matters because it turns the heuristic holographic entropy bound into a precise, matter-independent statement about phase-space volume, with the area entering as a derived quantity.

What carries the argument

The load-bearing object is the functional $K[\Phi] = 2\pi \oint_B X^{cd}\varepsilon_{cd} + c$, built from the Noether-charge $(n-2)$-form $X^{cd}$ associated with the diffeomorphism that rotates the plane normal to $B$; $\varepsilon_{cd}$ is the binormal and $c$ is fixed by normalization. The paper shows this rotation acts as the modular flow of the reduced ground state, so the reduced density matrix is $\langle q_A | e^{-K} | q_B \rangle$, and the covariance of the phase-space path sum converts the normalization of this density matrix into the volume bound $\ln V \le \lambda/\hbar$. For the Einstein–Hilbert Lagrangian with cosmological constant and minimally coupled matter, the same functional evaluates to $K = A/(4G)$.

What would settle it

Take a finite-dimensional phase space with a known $K$ (for example a harmonic oscillator with $K$ proportional to the Hamiltonian) and compute both sides of identity (30) with a regulated discretized path sum; if the path sum does not converge to $\int \mathrm{Vol}\, e^{-K}$ as the lattice spacing goes to zero, the general bound is false. Alternatively, in a solvable two-dimensional gravity model, search for a state with $K \le \lambda$ whose phase-space volume exceeds $e^{\lambda/\hbar}$.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 3.1: in any diffeomorphism-invariant field theory whose Lagrange form (34) depends on the metric, curvature, covariant derivatives of curvature, and minimally coupled matter, the functional $K[\Phi] = 2\pi \oint_B X^{cd}\varepsilon_{cd} + c$ bounds the accessible phase space. For every real $\lambda/\hbar$, if $V$ is the volume of the set of states with $K \le \lambda$, then $\ln V \le \lambda/\hbar$. The proof shows the reduced density matrix of the ground state on the submanifold selected by $B$ is $e^{-K}$, making $K$ a modular Hamiltonian, and proves a general lemma that any density matrix $e^{-K}$ on a symplectic manifold gives $\ln V \le \lambda/\hbar$. In the Einstein–Hilbert case the functional evaluates to $K = A/(4G)$, so the bound becomes $\ln V \le A/(4\hbar G)$.

Load-bearing premise

The entire result rests on Lemma 2.6's claim that a discrete sum over closed paths in phase space equals an ordinary integral of $e^{-K}$ over every open region; the discretization error is not controlled, so if this equality fails, the entropy bound fails with it.

Editorial extensions

If this is right

  • For any codimension-2 surface $B$ in a diffeomorphism-invariant field theory, the phase-space volume of states with $K \le \lambda$ is at most $e^{\lambda/\hbar}$, so $K$ is a genuine microstate-counting functional.
  • In Einstein–Hilbert gravity with minimally coupled matter, the bound takes the concrete form $\ln V \le A/(4\hbar G)$, independent of the matter content and dimension.
  • The functional $K$ is at once the modular Hamiltonian of the reduced ground state, the Noether-charge entropy of a stationary black hole, and the quantity controlling the bound, so three notions of entropy coincide.
  • The proof does not use weak-gravity assumptions or semiclassical limits, so the inequality is a property of the kinematical phase space rather than of particular solutions.
  • The author notes the construction may lead to a derivation of the holographic entanglement-entropy formula, in which case the area term in entanglement entropy would be a corollary of the phase-space bound.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial inference: The bounded quantity $K$ is defined for each surface $B$, so one could compare bounds for nested or disjoint surfaces to obtain consistency conditions on phase space that the paper does not state.
  • Editorial inference: Because $K$ from (35) coincides with the Noether-charge entropy used in black-hole mechanics, the bound suggests black-hole entropy counts the phase-space volume of horizon-adapted states, giving a concrete reading of microstate counting.
  • Editorial inference: Applying the theorem to Euclidean continuations with different boundary topologies may yield a phase-space version of topological entropy relations, a direction the paper leaves open.
  • Editorial inference: The construction applies through (35) even for higher-derivative or non-minimally coupled theories, so the bound could be tested in explicit toy models before full quantum gravity is needed.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. This manuscript proposes a derivation of a gravitational entropy bound from the 'possifold-flow' framework of Ref. [1]. For a diffeomorphism-invariant field theory on M = R×Σ and a codimension-2 surface B⊂Σ, the authors define a functional K on the reduced phase space Γ(B); their main Theorem 3.1 states that the phase-space volume V of K^{-1}((-∞,λ]) satisfies ln V ≤ λ/ℏ, and for Einstein-Hilbert gravity with cosmological constant and minimally coupled matter, K = A/(4G). The derivation proceeds by expressing the reduced density matrix of the ground state as a path integral whose covariance under a rotation foliation around B gives the modular operator e^{-K}; Lemma 2.6 is the key step converting the normalization of this density matrix into a phase-space volume bound.

Significance. If correct, the result would be substantial and striking: a universal entropy bound for any diffeomorphism-invariant field theory, with the Wald Noether-charge functional as the bound quantity and the Bekenstein-Hawking area law as a special case. The paper also gives a concrete and testable target, the phase-space volume inequality, and makes the modular-Hamiltonian interpretation of the Wald charge explicit. However, the central bridge Lemma 2.6 is not proven and in fact fails for the standard phase-space path integral; the result therefore cannot currently be regarded as established.

major comments (3)
  1. [Lemma 2.6, Eqs. (28)-(30)] The proof of Lemma 2.6 is the load-bearing step, and it is not valid. After the triangle inequality in (28), the term ∫_{Φ∈U_i} Vol(α) exp(i∫Θ) (e^{-i∫G[Φ]} - e^{-K[Φ_i]}) is bounded only by sup_{Φ∈U_i}|G[Φ]-G[Φ_i]| times the path-integral measure of loops in U_i; the latter is not controlled by making U_i small in the finite-dimensional phase space. The phase exp(i∫Θ) over closed loops can oscillate and wind even when all loops stay in a small open set. A concrete counterexample to the asserted identity (30) in one dimension is obtained by taking Θ = p dq and G = ω(p²+q²)/2, so K = 2πiG. The standard phase-space path integral over closed paths is tr e^{-2πiω(â†â+1/2)} = 1/(2i sin πω), whereas the right-hand side of (30) is ∫ dpdq/(2π) e^{-2πiG} = -i/(2πω); these differ for generic ω (e.g. ω=1/3 gives -i/√3 versus -3i/(2π)). Since Lemma 2.6 is stated as a general theory lemma and no alternative path measure is specified or shown to be compatible with Lemmas 2.3-2.4, this counterexample disproves the asserted identity in the standard measure, and Theorem 3.1 and Corollary 3.1, which invoke Lemma 2.6 directly, are not established.
  2. [Lemma 2.6, Eq. (26)] The null-set removal argument is also unsupported. Equation (26) asserts that paths crossing a null set Z at any time slice can be discarded because on each time-slice Z has measure zero. This requires a well-defined measure on the infinite-dimensional path space and a Fubini-type justification over the continuum of times; neither is supplied. The subsequent localization to arbitrarily narrow sets U_i therefore cannot be used to conclude equality of the path integral with an ordinary phase-space integral: the ε-control in (29) concerns only the integrand's dependence on G and not the path measure. This compounds the problem identified in the previous comment.
  3. [Lemma 2.7] The proof of Lemma 2.7 uses the limit ℏ→0 in Eq. (33) to conclude that K ≥ 0 and that 0 lies in the image of K. This inference requires analytic assumptions that are not stated: the integral condition ∫ Vol e^{-K/ℏ} = 1 for all ℏ only controls the measure of near-zero sets if K is sufficiently regular and the phase-space measure is well behaved, and it does not by itself imply that the value 0 is attained unless K is proper or satisfies a stronger compactness condition. Since the constant c in Theorem 3.1 is fixed by this lemma, the normalization of K is not rigorously determined by the argument given.
minor comments (3)
  1. [General presentation] The proof relies on a large body of definitions from the unpublished preprint [1] (possifold-flow, path measure, operator-functional correspondence) without restating them; a self-contained statement of these definitions is necessary for the proof to be checkable.
  2. [Eq. (15)] The measure denoted Vol(B)(α) in Lemma 2.3 is not defined; the notation suggests a time-dependent Liouville measure on Γ(B), which should be spelled out explicitly.
  3. [Eq. (54)] Equation (54) contains epsilon-symbol index notation with repeated indices that is easy to misread; please clarify the index convention by writing the components of εcd explicitly in the d-dimensional case.

Circularity Check

2 steps flagged · score 5.0 of 10

The phase-space entropy bound of Theorem 3.1 rests on Lemma 2.6, whose proof assumes the path-integral-to-phase-space identity (30) that carries the bound; the K=A/4G identification itself is independent.

  1. self definitional [Lemma 2.6, Eqs. (25)-(32)]
    "The requirement e−K being a density matrix means 1 = ∫ Vol(α)ei∫(ΘΦ(α)[δΦ/dα]−G[Φ(α)]) (25) ... We conclude 1 = ∫Γ Vole−K ≥ ∫K−1((−∞,λ]) Vole−K ≥ ∫K−1((−∞,λ]) Vole−λ = V e−λ (32)."

    The bound is an elementary consequence of the normalized measure identity ∫Γ Vol e^{-K}=1, which the proof obtains by combining (25) with (30). The derivation of (30) does not follow from (25): the loop path integral over a small open set Ui is replaced by the ordinary Liouville integral over Ui, controlled only by the variation of G. This replacement is exactly the framework's trace formula imported from [1]. Thus ln(V)≤λ is not an independent output of diffeomorphism invariance; it is the normalization of e^{-K} restated after identifying the path integral with ∫Vol e^{-K}.

  2. other [Lemma 2.6, proof of Eq. (30), Eqs. (28)-(29)]
    "From the last two equations, we learn that by choosing the Ui in the decomposition (27) sufficiently narrow around Φi, we can require the integrands in the last line of (28) to be arbitrarily small."

    The last line of (28) contains ∫_{Φ∈Ui} Vol(α)|e^{-i∫G}-e^{-K[Φi]}|. The bound |i∫G−K[Φi]|≤2π sup|G−G_i| controls only the exponent; it does not control the infinite-dimensional loop measure Vol(α) or the oscillatory phase e^{i∫Θ} that was dropped when taking absolute values. Estimating this term by ε∫_{Ui} Vol assumes the very equivalence between loop path integral and Liouville integral that (30) asserts. The proof therefore uses its conclusion to establish the central identity, making the general entropy bound depend on the unproved measure identification.

full rationale

The non-circular core of the paper is the Wald-Noether computation in Theorem 3.1 and Example 3.1, which independently identifies the functional K with A/4G for Einstein-Hilbert gravity. That part does not reduce to a self-citation or a fit. However, the advertised entropy bound ln(V)≤λ/ℏ is not an automatic consequence of that identification by itself: it requires Lemma 2.6's bridge between the operator normalization of e^{-K} and the phase-space volume V. The proof of that bridge is where the argument becomes circular: Eq. (30) is justified by smallness of |G−G_i|, but the first term in (28) is a path integral over a complex oscillatory measure whose domination by the Liouville measure is exactly what must be proved. Moreover, the same identity is the framework input from [1], so the bound inherits the framework's measure postulate rather than being derived from diffeomorphism invariance. There is also a structural forward-reference: Lemma 2.3 assumes the existence of the generator G and defers its construction to Theorem 3.1, while Theorem 3.1 invokes Lemma 2.3/2.4; this can be repaired by reorganizing the proof but indicates that the existence of the rotation generator is load-bearing. Because K=A/4G is independently computed and the bound would follow if the measure identity were established, the circularity is partial rather than total. Score 5.

Assumptions & free parameters 1 free parameters · 5 assumptions · 0 invented entities

The central claim rests on the author's own possifold framework [1], a covariance assumption for path integrals, a localization property that is not proven, and the standard Euclidean projection. The only adjustable number is the additive constant c, fixed by normalization rather than fitted to data.

free parameters (1)
  • additive constant c in K (Eq. 35) = c = 0 for Einstein-Hilbert; generally fixed by conditions K ≥ 0 and 0 in the image of K
    Introduced to fix the shift ambiguity K → K + const from Lemma 2.3; its value is chosen to normalize the density matrix, not derived from the Lagrangian.
assumptions (5)
  • ad hoc to paper The framework of [1]: quantum observables are weighted sums over paths in phase space, with possifold-flow providing a reduction of density matrices and a factorization of the Hilbert space.
    The paper requires the reader to be familiar with all of [1] and uses its formalism without proof; [1] is the author's own preprint.
  • domain assumption Covariance of the functional integral under reparameterization of the foliation (Lemma 2.2, Eq. 7): ∫ Vol(t) e^{i∫(Θ - H)} = ∫ Vol(˜t) e^{i∫(˜Θ - K)}.
    This allows the density matrix to be rewritten in the rotated foliation; the proof in Lemma 2.2 is a sketch and assumes a pathwise map between canonical coordinates.
  • domain assumption The ground state |Ω> is obtained by Euclidean projection: α|Ω> = lim_{T_E → -∞} ∫ Dχ e^{H T_E}|χ> (Lemma 2.4).
    Standard in Euclidean QFT, but convergence and existence for general diffeo-invariant theories with no global time are not addressed.
  • ad hoc to paper Localization: the path integral over closed paths in any open region N of phase space equals ∫_N Vole^{-K} (Lemma 2.6, Eq. 30).
    The central unproven step; the presented argument does not define the path measure and the discretization bound is not controlled.
  • domain assumption Analytic continuation to Euclidean signature and global existence of the rotation vector field ξ near B (Theorem 3.1).
    Used to identify G as the generator of rotations in the normal plane; the global well-definedness argument via local coordinate neighborhoods is only sketched.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Formulation and Proof of the Gravitational Entropy Bound." pith.science (2026). https://pith.science/paper/IP72WZZK

@misc{pith2026241202470,
  author       = {Pith},
  title        = {Pith review of: Formulation and Proof of the Gravitational Entropy Bound},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IP72WZZK}},
  note         = {Machine review of arXiv:2412.02470}
}
abstract

We provide a formulation and proof of the gravitational entropy bound. We use a recently given framework which expresses the measurable quantities of a quantum theory as a weighted sum over paths in the theory's phase space. If this framework is applied to a field theory on a spacetime foliated by a hypersurface $\Sigma,$ the choice of a codimension-2 surface $B$ without boundary contained in $\Sigma$ specifies a submanifold in the phase space. We show here that this submanifold is naturally restricted to obey an entropy bound if the field theory is diffeomorphism-invariant. We prove this restriction to arise by considering the quantum-mechanical sum of paths in phase space and exploiting the interplay of the commutativity of the sum with diffeomorphism-invariance. The formulation of the entropy bound, which we state and derive in detail, involves a functional $K$ on the submanifold associated to $B.$ We give an explicit construction of $K$ in terms of the Lagrangian. The gravitational entropy bound then states: For any real $\frac{\lambda}{\hbar},$ consider the set of states where $K$ takes a value not bigger than $\lambda$ and let $V$ denote the phase space volume of this set. One has then $\ln (V) \le \frac{\lambda}{\hbar}.$ Especially, we show for the Einstein-Hilbert Lagrangian in any dimension with cosmological constant and arbitrary minimally coupled matter, one has $K = \frac{A}{4G}.$ Hereby, $A$ denotes the area of $B$ in a particular state.

Figures

Figures reproduced from arXiv: 2412.02470 by the authors.

Figure 1
Figure 1. Pictorial representation of the integration (2). Note the different [PITH_FULL_IMAGE:figures/full_fig_p007_1.png] view at source ↗
Figure 2
Figure 2. Different foliations of the spacetime M. The spacetime M is rep￾resented by a lattice before the continuum limit is taken in Σ and in t. Lemma 2.2. Let Σ˜ be a hypersurface foliating M along the time-slices t˜ (as in [PITH_FULL_IMAGE:figures/full_fig_p008_2.png] view at source ↗
Figure 3
Figure 3. Functional integration (16). The thick line denotes the surface [PITH_FULL_IMAGE:figures/full_fig_p012_3.png] view at source ↗
Figures from the paper (3 more)
Figure 4
Figure 4. Figure 4: A different foliation for the functional integration (16) in Fig. 3. [PITH_FULL_IMAGE:figures/full_fig_p013_4.png]
Figure 5
Figure 5. Figure 5: Action of the generator G. Our argument so far assumes a specific topology (interval or sphere) for B. What happens if the topology of B is more general? In [PITH_FULL_IMAGE:figures/full_fig_p014_5.png]
Figure 6
Figure 6. Figure 6: The procedure of Fig. 4 for [PITH_FULL_IMAGE:figures/full_fig_p015_6.png]

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Obstructions to unirationality for product-quotient surfaces over $\overline{\mathbb{F}}_p$

    math.AG 2025-08 unverdicted novelty 5.0 of 10

    The abstract announces a supersingular surface over F_p bar with trivial etale fundamental group that is not unirational, refuting Shioda's conjecture, but the submitted body is an unrelated hep-th paper.

Reference graph

Works this paper leans on

11 extracted references · 3 canonical work pages · cited by 1 Pith paper

  1. [1]

    Framework for the Quantum Mechanical Sum of Possibilities and Meaning for Field Theory and Gravity,

    A. Averin, “Framework for the Quantum Mechanical Sum of Possibilities and Meaning for Field Theory and Gravity,” [arXiv:2401.12960 [hep-th]]

    arXiv

  2. [2]

    String Theory in a Nutshell: Second Edition,

    E. Kiritsis, “String Theory in a Nutshell: Second Edition,” Princeton University Press, 2019, ISBN 978-0-691-15579-1, 978-0-691-18896-6

    work page 2019

  3. [3]

    A Covariant entropy conjecture,

    R. Bousso, “A Covariant entropy conjecture,” JHEP 07 (1999), 004 doi:10.1088/1126-6708/1999/07/004 [arXiv:hep-th/9905177 [hep-th]]

    arXiv 1999

  4. [4]

    Relative entropy and the Bekenstein bound,

    H. Casini, “Relative entropy and the Bekenstein bound,” Class. Quant. Grav. 25 (2008), 205021 doi:10.1088/0264-9381/25/20/205021 [arXiv:0804.2182 [hep-th]]

    arXiv 2008

  5. [5]

    Schwarzschild/CFT from soft black hole hair?

    A. Averin, “Schwarzschild/CFT from soft black hole hair?,” JHEP1901 (2019) 092 doi:10.1007/JHEP01(2019)092 [arXiv:1808.09923 [hep-th]]

    work page Pith review arXiv 2019

  6. [6]

    Entropy Counting from Schwarzschild/CFT and Soft Hair

    A. Averin, “Entropy counting from a Schwarzschild/CFT correspon- dence and soft hair,” Phys. Rev. D 101 (2020) no.4, 046024 doi:10.1103/PhysRevD.101.046024 [arXiv:1910.08061 [hep-th]]. 29

    work page Pith review arXiv 2020

  7. [7]

    Some properties of Noether charge and a proposal for dynamical black hole entropy,

    V. Iyer and R. M. Wald, “Some properties of Noether charge and a proposal for dynamical black hole entropy,” Phys. Rev. D50 (1994), 846-864 doi:10.1103/PhysRevD.50.846 [arXiv:gr-qc/9403028 [gr-qc]]

    arXiv 1994

  8. [8]

    Black hole entropy is the Noether charge,

    R. M. Wald, “Black hole entropy is the Noether charge,” Phys. Rev. D48 (1993) no.8, R3427-R3431 doi:10.1103/PhysRevD.48.R3427 [arXiv:gr- qc/9307038 [gr-qc]]

    arXiv 1993

Show all 11 references
  1. [9]

    Holographic Entanglement En- tropy,

    M. Rangamani and T. Takayanagi, “Holographic Entanglement En- tropy,” Lect. Notes Phys. 931 (2017), pp.1-246 Springer, 2017, doi:10.1007/978-3-319-52573-0 [arXiv:1609.01287 [hep-th]]

    2017 arXiv

  2. [10]

    Holographic Entanglement Entropy for Gen- eral Higher Derivative Gravity,

    X. Dong, “Holographic Entanglement Entropy for Gen- eral Higher Derivative Gravity,” JHEP 01 (2014), 044 doi:10.1007/JHEP01(2014)044 [arXiv:1310.5713 [hep-th]]

    2014 arXiv

  3. [11]

    Entropy, Extremality, Euclidean Vari- ations, and the Equations of Motion,

    X. Dong and A. Lewkowycz, “Entropy, Extremality, Euclidean Vari- ations, and the Equations of Motion,” JHEP 01 (2018), 081 doi:10.1007/JHEP01(2018)081 [arXiv:1705.08453 [hep-th]]. 30

    2018 arXiv

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.