Pith. sign in

REVIEW 3 major objections 3 minor 24 references

The bulk Hamiltonian of quantum gravity can be written as a BRST anticommutator, yet it still drives the time evolution of gauge-variant fields.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-04 09:14 UTC pith:PEJZAXPU

load-bearing objection A compact BRST-exact form for the bulk Hamiltonian and a fresh reading of time evolution through BRST images — but the load-bearing identity is asserted rather than shown. the 3 major comments →

arxiv 2510.16543 v2 pith:PEJZAXPU submitted 2025-10-18 hep-th gr-qcmath-phmath.MP

On Time-Evolution in Quantum Gravity

Lasha Berezhiani , Gia Dvali , Otari Sakhelashvili This is my paper
classification hep-th gr-qcmath-phmath.MP MSC 83C4581T7083C47 PACS 04.60.-m11.15.-q
keywords quantum gravityBRST quantizationHamiltonian dynamicstime evolutioncanonical quantizationboundary energyS-matrixghost field
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper sets out to resolve a longstanding puzzle: in quantum gravity, the Hamiltonian is supposedly a pure constraint that annihilates physical states, leaving no room for time. Working in a BRST-invariant quantization of general relativity as a low-energy effective theory, it derives an explicit operator identity: the bulk Hamiltonian equals the Planck mass times the anticommutator of the BRST charge with the temporal ghost momentum. Because the BRST charge is nilpotent, any physical state evolves only by adding a BRST-exact image, so the equivalence classes that define physical states are frozen in time. Yet the paper shows this does not trivialize evolution: gauge-variant observables such as the metric acquire the standard semiclassical time dependence, while the boundary term restores the usual scattering amplitudes. If correct, this framework unifies canonical quantization with the path-integral S-matrix and answers the old complaint that there is no time in quantum gravity.

Core claim

This work claims that in the BRST-invariant quantization of general relativity, the bulk Hamiltonian — the part generating evolution of interior correlators — takes the explicit form H_bulk = M_pl ∫ d³x {Q̂, iΠ̂_c0}, where Q̂ is the nilpotent BRST charge and Π̂_c0 is the conjugate momentum of the temporal ghost field. This makes the bulk Hamiltonian BRST-exact. The paper's non-trivial claim is that BRST-exactness does not trivialize time: because the BRST variation of the metric equals a coordinate reparameterization with the ghost as parameter, the anticommutator with the temporal ghost momentum projects onto time translation. Physical states, annihilated by Q̂, evolve only by Q̂-image term

What carries the argument

The central mechanism is the operator identity H_bulk = M_pl ∫ d³x {Q̂, iΠ̂_c0}, expressing the bulk Hamiltonian as the anticommutator of the BRST charge Q̂ (the nilpotent charge generating the gauge symmetry of the gauge-fixed theory) with the temporal ghost momentum Π̂_c0. The identity is obtained by first rewriting the Einstein–Hilbert-plus-ghost Hamiltonian in a non-canonical form H = ∫ d³x A^μ ∂_μ Π^0 using the constraint equations, then using the BRST transformation of Π^c0. What makes this non-trivial is that the BRST variation of the metric is an infinitesimal diffeomorphism with the ghost field as the parameter; the anticommutator with the temporal ghost momentum therefore implement

Load-bearing premise

The central identity is derived by using the constraint equations to rewrite the Hamiltonian in a non-canonical form and by reading the BRST transformation of conjugate momenta off the operator Hamilton equations; if this derivation holds only on-shell, the BRST-exactness is not an off-shell operator identity.

What would settle it

An explicit order-by-order evaluation of [Ĥ, γ̂_ij] using the identity (24) and the canonical commutation relations, without importing Hamilton's equations for the momenta, would either produce the expected time derivative ∂t γ̂_ij or expose that the identity holds only on-shell — the latter would undercut the claimed off-shell evolution of gauge-variant correlators.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • Physical BRST-cohomology classes are invariant under the bulk Hamiltonian flow; only BRST-image (zero-norm) components of a state evolve.
  • Expectation values of gauge-variant operators such as the spatial metric acquire the expected semiclassical time dependence, because the anticommutator with the temporal ghost momentum acts as a time translation on those operators.
  • With an asymptotically flat boundary, the physical Hamiltonian reduces to the boundary energy term, which provides the conserved energy and governs the evolution of physical matrix elements of the evolution operator.
  • The S-matrix is restored through the boundary term; at tree level the bulk Hamiltonian contributes to scattering of infrared-undressed Fock states, and fully dressed BRST-invariant states are needed at higher orders.

Where Pith is reading between the lines

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

  • A direct test of the identity would be an order-by-order computation of the commutator of the bulk Hamiltonian with the metric operator using only the canonical commutation relations, without invoking Hamilton's equations for the momenta; the paper does not exhibit such an off-shell computation.
  • The structure suggests that any relational notion of time in this quantization must be built from gauge-variant operators; constructing diffeomorphism-invariant clocks would require dressing them with ghosts, which could lead to relational observables whose physical action is a BRST-exact correction of a gauge-variant seed.
  • The parallel with QED dressing implies that the tree-level S-matrix computed with undressed Fock states receives bulk contributions that may disappear at higher orders once states are fully dressed; a one-loop graviton scattering calculation in the BRST framework could test this expectation.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 3 minor

Summary. The paper claims to derive an explicit BRST-exact operator identity for the bulk Hamiltonian of General Relativity in the Kugo–Ojima BRST quantization: Ĥ_bulk = M_pl ∫ d³x {Q̂, iΠ̂c0} (Eq. (24)). From this identity it derives that, in the absence of boundaries, physical states evolve only by BRST-exact images (Eqs. (31)–(32)), so matrix elements of the evolution operator in physical states are time-independent (Eq. (33)), while correlators of gauge-variant operators such as the metric acquire the expected semiclassical time dependence (Eqs. (25)–(27), (34)). With asymptotically Minkowski boundaries, the total Hamiltonian is supplemented by a boundary term identified with the ADM energy, and physical matrix elements of the evolution operator reduce to the boundary contribution (Eqs. (41)–(43)). The paper also offers a preliminary discussion of BRST-invariant states analogous to DeWitt's states.

Significance. If Eq. (24) is a genuine off-shell operator identity, the paper provides a compact and elegant resolution of the 'problem of time' within the BRST framework: the bulk Hamiltonian is BRST-exact, yet the Hamiltonian flow acts as time-reparametrization on gauge-variant fields through their BRST images. The downstream logical chain—Eq. (24) → Eqs. (31)–(32) → time-independent physical matrix elements → boundary-driven S-matrix—is mostly straightforward, and the explicit check for γ_ij in Eq. (27) is a useful concrete illustration. The paper is not a data-fitting or parameter-tuning exercise; it is a formal derivation from a fixed gauge-fixed Lagrangian. However, the central identity (24) is asserted rather than derived, and the authors themselves flag in §8 that the passage to canonical variables is 'a more subtle step.' Since virtually every later result depends on (24), the paper's main claim is only as strong as that derivation.

major comments (3)
  1. [§3, Eqs. (19) and (24)] The central identity (24) is not derived in the text. Eq. (19) is obtained 'using these equations'—i.e., the constraint equations promoted to auxiliary-field equations—and (24) is then stated as the result of 'the straightforward computation' and 'the direct consequence of the BRST transformation property of Π̂c0.' Section 8 concedes that deducing BRST transformation properties of conjugate momenta requires the operator form of Hamilton's equations and is 'a more subtle step.' This is load-bearing: Eqs. (31), (32), (33), (42), and (43) all follow only if (24) holds as an exact off-shell operator identity. The manuscript must display the computation or otherwise give a rigorous off-shell proof. If (24) holds only after imposing constraints, then the claim that physical states evolve by BRST images is not established.
  2. [§6, Eqs. (41)–(43)] The boundary operator Â_k in (41) is never defined, and the argument that bulk BRST-exact terms drop out of physical matrix elements is not spelled out. One must specify the inner product and the (indefinite-metric) Hermiticity properties of Q̂ to justify ⟨f1| {Q̂, iΠ̂c0} |f2⟩ = 0. Moreover, the step from (42) to (43) replaces arbitrary powers of Ĥ with products of boundary operators; this requires an ordering prescription and a proof that the bulk part contributes no matrix elements in each power. Without these details, Eq. (43) is formal.
  3. [§5.1, Eqs. (35)–(39)] The proposed construction of 'DeWitt-like' BRST-invariant states satisfying (39) is left entirely to future work; no explicit operator Ô is provided. This section is not essential to the main argument, but as written it is speculative and should be clearly labeled as an outlook, not a result.
minor comments (3)
  1. [§3, Eq. (25)] The sign in the Jacobi-identity step of (25) appears to be -iMpl, whereas a super-Jacobi identity for {Q̂, iΠ̂c0} with O gives +iMpl up to conventions for [Q̂,O]. Please verify the sign and state the convention, since the explicit check in (27) depends on it.
  2. [§8] The text states that the BRST-exact form was 'previously identified in [8]'. Please clarify whether Eq. (24) already appears in Ref. [8] in some parametrization, and if so, what is genuinely new here beyond the time-evolution interpretation.
  3. [Various] Typos and wording: 'spacial' → 'spatial'; 'consequencies' → 'consequences'; 'exclussion' → 'exclusion'; 'over-restricitve' → 'over-restrictive'. In §8, 'puzzle posed by DeWitt [2]' may be a misattribution; the over-constrained Hamiltonian problem is usually associated with Ref. [1].

Circularity Check

0 steps flagged

No circular reduction: Eq. (24) is a formal BRST identity derived from the BRST transformation of the ghost momentum, not a fitted input or renamed result.

full rationale

The paper's central claim is the operator identity (24), H = M_pl ∫ d^3x {Q, i Π^c_0}, obtained after rewriting the canonical Hamiltonian as (19) and then as the anticommutator of the BRST charge with the temporal ghost momentum. This is a formal derivation: the Hamiltonian is not fitted to data, and the identity is stated to be 'the direct consequence of the BRST transformation property of Π^c_0' (§3). The downstream results — physical states evolving by BRST images, time-independent physical matrix elements, and boundary-dominated ADM evolution — are algebraic consequences of (24) together with the definition of physical states (28). The paper does cite the authors' own framework [3,5,11–18] for the canonical setup and coherent-state program, but the BRST-exactness claim is not obtained by importing it: §8 states that the authors 'verified explicitly that the BRST transformation is nilpotent' and 'confirmed that it does indeed hold, without invoking equations of motion,' and the general BRST-exactness of constraint-generated Hamiltonians is supported by the independent textbook result [6] and the earlier identification in [8]. The main flagged weakness is a derivational gap, not circularity: §3 obtains (19) by using auxiliary-field equations, and (24) is said to follow from 'straightforward computation'; §8 concedes that 'moving to canonical Hamiltonian variables is a more subtle step: one must use the operator form of Hamilton’s equations to deduce the BRST transformation properties of the conjugate momenta.' This is an omitted or subtle off-shell computation, which could affect the validity of (24) if the rewrite (19) is on-shell only. However, no equation is shown to be equivalent to its own input by construction, no parameter is fitted and renamed as a prediction, and no load-bearing conclusion is forced by a self-citation chain. Therefore the paper exhibits no significant circularity, though it carries a genuine completeness/correctness caveat about the off-shell status of (24).

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

No free parameters: there is no fitting to data and no hand-chosen constant besides physical inputs (M_pl). The axioms are the standard BRST quantization framework plus three structural assumptions the paper asserts without full demonstration: (i) the off-shell form of the canonical BRST variations of momenta behind (24) — flagged by the authors in §8; (ii) the existence/BRST-invariance of the surface operator Âk in (41); (iii) the BRST-invariant vacuum property (38). The BFV theorem from [6] provides independent grounding for the general structure. No invented entities: the ghosts, anti-ghosts, and b-field are the standard Faddeev-Popov apparatus.

axioms (6)
  • domain assumption Standard canonical quantization: operators satisfy the equal-time (anti)commutation relations (20)-(23) in an indefinite-metric Hilbert space.
    The entire operator analysis in §3 proceeds from these relations; they define what 'quantization' means here and are not derived from a more fundamental principle.
  • domain assumption Kugo-Ojima physicality conditions: physical states have zero ghost number and Q̂|f⟩=0; H_phys = V_phys/V_0 with V_0 the zero-norm subspace.
    Used throughout §4-§7 to define physical states, to conclude ⟨f1|Q̂|ψ⟩=0, and to identify the time-independence of (33) and (43); cited from [9] but foundational to the argument.
  • ad hoc to paper The canonical BRST transformation of the conjugate momenta (especially δΠ̂c0) is as assumed, deduced from Hamilton's operator equations, and makes (24) hold.
    This is the crux of the paper's §8 caveat: the identity (24) follows from δΠ̂c0, whose off-shell determination is argued but not exhibited; if the variations are fixed so that (24) comes out, the identity is not an independent check.
  • domain assumption A BRST-invariant surface operator Âk exists in the interacting theory, making the total Hamiltonian (41) and defining the quantum ADM energy with BRST-invariant physical matrix elements (42).
    §6 requires the surface term to be BRST-invariant and to cancel the problematic surface variation (40); its operator form in the nonperturbative theory is assumed, with the linearized expression used for the asymptotic region.
  • domain assumption The vacuum |Ω⟩ is BRST-invariant and annihilated by the BRST charge density, as in Eq. (38), with standard Poincaré invariance.
    §5.1 uses (38) to build the larger class of BRST-invariant states (39); the existence of such a vacuum in the full interacting BRST-quantized GR is assumed.
  • standard math BFV theorem: a Hamiltonian built from first-class constraints plus a gauge-fixing/Faddeev-Popov sector is BRST-exact up to BRST-invariant boundary terms.
    Invoked in §3 with citation [6] as the general expectation supporting the specific form (24); it is background literature, not re-derived here.

pith-pipeline@v1.3.0-alltime-deepseek · 9668 in / 32187 out tokens · 264385 ms · 2026-08-04T09:14:53.107622+00:00 · methodology

0 comments
read the original abstract

We derive an explicit BRST-exact operator identity for the bulk Hamiltonian in quantum gravity, working within a BRST-invariant quantization of General Relativity, treated as a low-energy effective field theory. We show that, up to a boundary term, the Hamiltonian can be written elegantly as the anticommutator of the BRST charge and the temporal ghost field. This form makes manifest that the Hamiltonian flow acts as a time-reparameterization on the correlation functions of the physical degrees of freedom. We demonstrate that the BRST-exactness of the bulk Hamiltonian does not trivialize the time evolution of gravitational backgrounds or bulk correlators, nor does it trivialize scattering amplitudes.

discussion (0)

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

Reference graph

Works this paper leans on

24 extracted references · 1 canonical work pages

  1. [1]

    Quantum Theory of Gravity. 1. The Canonical Theory,

    B. S. DeWitt, “Quantum Theory of Gravity. 1. The Canonical Theory,” Phys. Rev.160, 1113- 1148 (1967) doi:10.1103/PhysRev.160.1113

    doi:10.1103/physrev.160.1113 1967

  2. [2]

    Quantum Theory of Gravity. 2. The Manifestly Covariant Theory,

    B. S. DeWitt, “Quantum Theory of Gravity. 2. The Manifestly Covariant Theory,” Phys. Rev. 162, 1195-1239 (1967) doi:10.1103/PhysRev.162.1195

    doi:10.1103/physrev.162.1195 1967

  3. [3]

    Consistent Canonical Quantization of Gravity: Recovery of Classical GR from BRST-invariant Coherent States,

    L. Berezhiani, G. Dvali and O. Sakhelashvili, “Consistent Canonical Quantization of Gravity: Recovery of Classical GR from BRST-invariant Coherent States,” [arXiv:2409.18777 [hep-th]]

    Pith/arXiv arXiv

  4. [4]

    Subsidiary Conditions and Physical S Matrix Unitarity in Indefinite Metric Quantum Gravitational Theory,

    T. Kugo and I. Ojima, “Subsidiary Conditions and Physical S Matrix Unitarity in Indefinite Metric Quantum Gravitational Theory,” Nucl. Phys. B144, 234-252 (1978) doi:10.1016/0550- 3213(78)90504-7

    doi:10.1016/0550- 1978

  5. [5]

    Coherent states in gauge theories: Topo- logical defects and other classical configurations,

    L. Berezhiani, G. Dvali and O. Sakhelashvili, “Coherent states in gauge theories: Topo- logical defects and other classical configurations,” Phys. Rev. D111, no.6, 6 (2025) doi:10.1103/PhysRevD.111.065018 [arXiv:2411.11657 [hep-th]]. 11

    Pith/arXiv arXiv 2025

  6. [6]

    Quantization of Gauge Systems,

    M. Henneaux and C. Teitelboim, “Quantization of Gauge Systems,” Princeton University Press, 1994, ISBN 978-0-691-03769-1, 978-0-691-21386-6

    1994

  7. [7]

    Aspects of BRST quantization,

    J. W. Van Holten, “Aspects of BRST quantization,” Lect. Notes Phys.659, 99-166 (2005) doi:10.1007/978-3-540-31532-2_3 [arXiv:hep-th/0201124 [hep-th]]

    Pith/arXiv arXiv 2005

  8. [8]

    Pedagogical introduction to Hamiltonian BRST formalism,

    N. Ogawa, “Pedagogical introduction to Hamiltonian BRST formalism,” [arXiv:hep-th/9702062 [hep-th]]

    Pith/arXiv arXiv

  9. [9]

    Local Covariant Operator Formalism of Nonabelian Gauge The- ories and Quark Confinement Problem,

    T. Kugo and I. Ojima, “Local Covariant Operator Formalism of Nonabelian Gauge The- ories and Quark Confinement Problem,” Prog. Theor. Phys. Suppl.66, 1-130 (1979) doi:10.1143/PTPS.66.1

    doi:10.1143/ptps.66.1 1979

  10. [10]

    Instability of the Kaluza-Klein Vacuum,

    E. Witten, “Instability of the Kaluza-Klein Vacuum,” Nucl. Phys. B195, 481-492 (1982) doi:10.1016/0550-3213(82)90007-4

    doi:10.1016/0550-3213(82)90007-4 1982

  11. [11]

    de Sitter space as a BRST invariant coherent state of gravitons,

    L. Berezhiani, G. Dvali and O. Sakhelashvili, “de Sitter space as a BRST invariant coherent state of gravitons,” Phys. Rev. D105(2022) no.2, 025022 doi:10.1103/PhysRevD.105.025022 [arXiv:2111.12022 [hep-th]]

    Pith/arXiv arXiv 2022

  12. [12]

    Black Hole’s Quantum N-Portrait,

    G. Dvali and C. Gomez, “Black Hole’s Quantum N-Portrait,” Fortsch. Phys.61, 742-767 (2013) doi:10.1002/prop.201300001 [arXiv:1112.3359 [hep-th]]

    Pith/arXiv arXiv 2013

  13. [13]

    Black Holes as Critical Point of Quantum Phase Transition,

    G. Dvali and C. Gomez, “Black Holes as Critical Point of Quantum Phase Transition,” Eur. Phys. J. C74, 2752 (2014) doi:10.1140/epjc/s10052-014-2752-3 [arXiv:1207.4059 [hep-th]]

    Pith/arXiv arXiv 2014

  14. [14]

    Quantum Compositeness of Gravity: Black Holes, AdS and Inflation,

    G. Dvali and C. Gomez, “Quantum Compositeness of Gravity: Black Holes, AdS and Inflation,” JCAP01, 023 (2014) doi:10.1088/1475-7516/2014/01/023 [arXiv:1312.4795 [hep-th]]

    Pith/arXiv arXiv 2014

  15. [15]

    Quantum Exclusion of Positive Cosmological Constant?,

    G. Dvali and C. Gomez, “Quantum Exclusion of Positive Cosmological Constant?,” Annalen Phys.528, 68-73 (2016) doi:10.1002/andp.201500216 [arXiv:1412.8077 [hep-th]]

    Pith/arXiv arXiv 2016

  16. [16]

    On Corpuscular Theory of Inflation,

    L. Berezhiani, “On Corpuscular Theory of Inflation,” Eur. Phys. J. C77, no.2, 106 (2017) doi:10.1140/epjc/s10052-017-4672-5 [arXiv:1610.08433 [hep-th]]

    Pith/arXiv arXiv 2017

  17. [17]

    Quantum Break-Time of de Sitter,

    G. Dvali, C. Gomez and S. Zell, “Quantum Break-Time of de Sitter,” JCAP06, 028 (2017) doi:10.1088/1475-7516/2017/06/028 [arXiv:1701.08776 [hep-th]]

    Pith/arXiv arXiv 2017

  18. [18]

    Hint to supersymmetry from the GR vacuum,

    G. Dvali, A. Kobakhidze and O. Sakhelashvili, “Hint to supersymmetry from the GR vacuum,” Phys. Rev. D110, no.8, 8 (2024) doi:10.1103/PhysRevD.110.086008 [arXiv:2406.18402 [hep-th]]

    Pith/arXiv arXiv 2024

  19. [19]

    RoleofSurfaceIntegralsintheHamiltonianFormulationofGeneral Relativity,

    T.ReggeandC.Teitelboim, “RoleofSurfaceIntegralsintheHamiltonianFormulationofGeneral Relativity,” Annals Phys.88, 286 (1974) doi:10.1016/0003-4916(74)90404-7

    doi:10.1016/0003-4916(74)90404-7 1974

  20. [20]

    Coordinate invariance and energy expressions in general relativity,

    R. L. Arnowitt, S. Deser and C. W. Misner, “Coordinate invariance and energy expressions in general relativity,” Phys. Rev.122(1961), 997 doi:10.1103/PhysRev.122.997

    doi:10.1103/physrev.122.997 1961

  21. [21]

    Generator algebra of the asymptotic Poincare group in the general theory of relativity,

    V. O. Solovev, “Generator algebra of the asymptotic Poincare group in the general theory of relativity,” Theor. Math. Phys.65(1985), 1240-1249 doi:10.1007/BF01036133 12

    work page doi:10.1007/bf01036133 1985

  22. [22]

    The Quantum theory of fields. Vol. 1: Foundations,

    S. Weinberg, “The Quantum theory of fields. Vol. 1: Foundations,” Cambridge University Press, 2005, ISBN 978-0-521-67053-1, 978-0-511-25204-4 doi:10.1017/CBO9781139644167

    doi:10.1017/cbo9781139644167 2005

  23. [23]

    Dressed states from gauge invariance,

    H. Hirai and S. Sugishita, “Dressed states from gauge invariance,” JHEP06, 023 (2019) doi:10.1007/JHEP06(2019)023 [arXiv:1901.09935 [hep-th]]

    Pith/arXiv arXiv 2019

  24. [24]

    The quantum theory of fields. Vol. 2: Modern applications,

    S. Weinberg, “The quantum theory of fields. Vol. 2: Modern applications,” Cam- bridge University Press, 2013, ISBN 978-1-139-63247-8, 978-0-521-67054-8, 978-0-521-55002-4 doi:10.1017/CBO9781139644174 13

    doi:10.1017/cbo9781139644174 2013