REVIEW 3 minor 1 cited by
Geometric Entropies and their Hamiltonian Flows
T0 review · 0 major / 3 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read The geometric entropy's Hamiltonian flow is not a pure boundary-condition-preserving kink once higher-derivative terms are included.
desk verdict Higher-derivative corrections break the BCP-kink form of geometric entropy flow; the paper shows this cleanly with two explicit 2D examples and a field-redefinition argument. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the Peierls bracket of the geometric entropy $\sigma$ with arbitrary observables: one deforms the action by $-s\sigma$, solves the retarded and advanced linearized solutions, and takes their difference to get the Hamiltonian vector field of $\sigma$. The geometric entropy is the response of the Euclidean action to a conical defect at the extremal HRT surface (the extremal codimension-2 surface whose area gives holographic entanglement entropy), and the BCP kink-transformation is the operation that adds $2\pi s\,\delta_\Sigma(\gamma)$ to the extrinsic curvature component $K_{\perp\perp}$ while leaving other Cauchy data fixed. In two dimensions the retarded solution is a Lorentzian conical defect with conformal factor $\omega=\pi s\,\theta(-u)\theta(v)$, and the flow is read off by comparing Cauchy data on slices just before and just after the defect. A second, more general argument uses perturbative field redefinitions: since $\sigma$ transforms as a scalar while field redefinitions can mix $K_{\perp\perp}$ with non-metric fields, the flow cannot be universally the pure geometric kink.
What would settle it
Compute the Peierls bracket of the geometric entropy in Theory 1 at first order in $\lambda$ on a non-Killing HRT surface and check whether the term $\delta\dot{\varphi} = -2\pi\lambda s (\nabla\psi)^2 \delta_\Sigma(\gamma)$ appears; if the pure BCP kink data, with only $K_{\perp\perp}$ shifted, satisfied the constraints, the paper's central claim would be wrong. The broader falsifier is to exhibit any perturbative higher-derivative theory whose geometric entropy flow is exactly the BCP kink on a non-Killing spacetime, which would contradict the field-redefinition covariance argument.
Extended reading notes
Core claim
This paper establishes that, in a general gravitational theory with perturbative higher-derivative terms, the Hamiltonian flow generated by the geometric entropy $\sigma$ does not coincide with the boundary-condition-preserving (BCP) kink transformation, except when the HRT surface is the bifurcation surface of a Killing horizon. In the two worked examples, inserting $\sigma$ into the action makes the geometry a Lorentzian cone with the usual kink in $K_{\perp\perp}$, but in the original fields the flow also changes $\dot{\varphi}$ and, in the second theory, $\dot{\psi}$ and $\dot{\rho}$ by terms proportional to $\lambda$ times matter gradients contracted with a delta function supported on the HRT surface, for example $\delta\dot{\varphi} = -2\pi\lambda s (\nabla\psi)^2 \delta_\Sigma(\gamma)$ in Theory 1. The pure BCP kink data fails the constraint equations, and the extra singularities are exactly what restores them. For Killing horizons the extra terms vanish because the Killing symmetry removes the delta function by a coordinate shift, and the flow is the BCP kink generated by Wald entropy; Appendix E proves this for general theories, not just the examples. The covariant Peierls bracket is the tool that makes the computation tractable, and Appendix B reproduces the results with Dirac brackets.
Load-bearing premise
The load-bearing premise is that the higher-derivative coupling $\lambda$ is perturbatively small, so all fields are expanded in powers of $\lambda$ and no new degrees of freedom enter; if $\lambda$ were not small, the Ostrogradsky instability and new modes would require a different phase space.
Editorial extensions
If this is right
- The BCP kink transformation alone does not preserve the constraint equations in higher-derivative gravity; the geometric entropy flow must add dilaton and matter singularities localized at the HRT surface.
- In the Killing-horizon case the extra singularities vanish, so the flow reduces to the BCP kink and agrees with the Wald entropy flow; this is the regime where the type II von Neumann algebra argument for generalized entropy holds.
- If the holographic correspondence is right, boundary modular flow in a state without Killing symmetry should produce non-geometric bulk singularities of the same kind, in addition to the Weyl shocks already known in Einstein gravity.
- In the example theories, the susceptibility construction recovers the geometric entropy only after adding total-derivative terms, so the Lorentzian analogue of the Euclidean derivation requires a non-obvious choice of presymplectic potential.
Reading between the lines
- Inference: because the paper's field-redefinition argument is general, any theory obtained from Einstein gravity by a field redefinition that mixes the kink direction $K_{\perp\perp}$ with matter should show non-geometric singularities, so the two examples should be generic rather than accidents of JT gravity.
- Inference: in settings without a Killing horizon, the type II algebra boost generator may need to include matter and dilaton dressing, not just the geometric boost; checking this would require extending the calculation to higher dimensions and beyond the perturbative coupling regime.
- Inference: the existence of shockwave-free one-parameter families of generators suggests that identifying the geometric entropy flow in a general theory may require outside information, such as the boundary modular Hamiltonian, rather than a purely local bulk rule.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the Hamiltonian flow generated by the geometric entropy in two-dimensional dilaton-gravity theories with perturbative higher-derivative matter couplings. Using the Peierls bracket formalism, the authors compute the linearized flow for two JT-gravity-plus-scalar models, showing that the flow is not simply the boundary-condition-preserving (BCP) kink transformation: in addition to the extrinsic-curvature delta function (1.3), the dilaton and matter fields acquire distributional singularities localized at the HRT surface, e.g. Eqs. (4.33)-(4.35) and (4.62)-(4.66). The results are cross-checked with an independent Dirac-bracket calculation in Appendix B, and Appendix E shows that for Killing-horizon bifurcation surfaces the flow reduces to the BCP form and is generated by the Wald entropy. The computations are performed explicitly under the stated perturbative-in-λ assumption (Sec. 4.1), and the paper discusses connections to modular flow, type II algebras, and the Lorentzian derivation of geometric entropy.
Significance. If the results hold, the paper resolves an open question about the universality of the BCP kink transformation: it demonstrates by explicit construction that in higher-derivative theories the geometric entropy flow generically acquires additional, non-geometric singularities, while reproducing the known BCP form in the Killing-horizon case. This is important for the program of deriving type II von Neumann algebras from gravitational constraints and for the holographic interpretation of modular flow. The paper's strengths include the use of two independent formalisms (Peierls and Dirac brackets) that agree, the explicit order-by-order nature of the computations, the clearly stated perturbative regime, and the Killing-horizon cross-check in Appendix E. The perturbative-in-λ assumption is a genuine limitation for inferring non-perturbative behavior, but it is transparently stated and does not affect the validity of the claims within that regime.
minor comments (3)
- [Eq. (4.21)] The field-redefinition notation is confusing: the displayed equality 'φ̃ = φ − (λ/2)∇_αψ∇^αψ = φ − λ ∇_uψ∇_uψ' cannot be correct as written, since the last term is not equal to the contraction; in conformal gauge the intended expression is φ − λ e^{-2ω}∂_uψ∂_vψ (or the second equality should be removed). Because Eq. (4.28) and the subsequent computation are consistent, this is a typographical issue, but it should be corrected to avoid a mismatch for readers.
- [Sec. 5 (Modular flow)] The discussion of modular flow relies on a forthcoming companion paper [25] for a key claim about the relation between BCP kink transformations and modular flow more generally. Since the present paper is otherwise self-contained, the authors should either clarify the extent to which this discussion depends on unpublished work or mark those statements as conjectural.
- [Throughout] A careful proofreading pass is recommended: the text as provided contains several typographical and OCR artifacts (e.g., 'Bar bara' in the affiliation, 'Jack iw-Teitelboim' in the abstract, 'umambiguously' in Sec. 2.2), and a few equations have broken or inconsistent spacing. These do not affect the results but would improve readability.
Circularity Check
No significant circularity: the geometric-entropy flow is computed from a stipulated sigma via Peierls brackets, with no fitted input or self-referential reduction.
full rationale
The paper's derivation chain is self-contained. The geometric entropy sigma is taken as a stipulated input, either from the known JT result or from Ref. [23] in the higher-derivative examples, and the flow is then computed by solving the Peierls-bracket equations of motion with sigma added as a source. The central results, such as Eqs. (4.32)-(4.35) and Eqs. (4.62)-(4.66), are derived by explicit solution of the sourced equations of motion, not by fitting a parameter and calling it a prediction. The Appendix C susceptibility calculation reconstructs sigma from the flow, but the paper explicitly presents this as an alternate computation of the generator given a transformation, and it reproduces the same sigma rather than being used to define it; this is a consistency check rather than a circular reduction. The field-redefinition argument in Sec. 1 cites Ref. [31] for the transformation property of geometric entropy, but the central claim does not rest on that citation: the explicit two-dimensional examples and the Killing-horizon check in Appendix E stand independently. Self-citations to Refs. [23, 25, 31] are either prior parameter-free inputs with stated assumptions that do not include the target result, or contextual remarks about future work. No equation in the paper is defined in terms of the target result, no uniqueness theorem is imported from the authors' prior work, and no ansatz is smuggled in via citation. The perturbative-in-lambda restriction is a clearly stated scoping assumption, not a circular step.
Assumptions & free parameters
assumptions (4)
- domain assumption The geometric entropy σ for each theory is taken from the Euclidean analysis of Ref. [23]: σ = 2πφ − πλ(∇ψ)^2 in Theory 1 and σ = 2πφ − πλρ(∇ψ)^2 in Theory 2.
- domain assumption The higher-derivative coupling λ is treated perturbatively, so no new degrees of freedom are introduced and the Ostrogradsky instability is avoided.
- domain assumption The HRT surface is an extremum of σ, so variations of the surface location vanish (∂σ/∂x = 0).
- standard math The Peierls bracket is equivalent to the Poisson bracket on the phase space of classical solutions, and the flow is defined via dO/ds = {O, σ}.
Cite this review
Pith. "Pith review of Geometric Entropies and their Hamiltonian Flows." pith.science (2026). https://pith.science/paper/FRDNYEQC
@misc{pith2026250112438,
author = {Pith},
title = {Pith review of: Geometric Entropies and their Hamiltonian Flows},
year = {2026},
howpublished = {\url{https://pith.science/paper/FRDNYEQC}},
note = {Machine review of arXiv:2501.12438}
}
read the original abstract
In holographic theories, the Hubeny-Rangamani-Takayanagi (HRT) area operator plays a key role in our understanding of the emergence of semiclassical Einstein-Hilbert gravity. When higher derivative corrections are included, the role of the area is instead played by a more general functional known as the geometric entropy. It is thus of interest to understand the flow generated by the geometric entropy on the classical phase space. In particular, the fact that the associated flow in Einstein-Hilbert or Jackiw-Teitelboim (JT) gravity induces a relative boost between the left and right entanglement wedges is deeply related to the fact that gravitational dressing promotes the von Neumann algebra of local fields in each wedge to type II. This relative boost is known as a boundary-condition-preserving (BCP) kink-transformation. In a general theory of gravity (with arbitrary higher-derivative terms), it is straightforward to show that the flow continues to take the above geometric form when acting on a spacetime where the HRT surface is the bifurcation surface of a Killing horizon. However, the form of the flow on other spacetimes is less clear. In this paper, we use the manifestly-covariant Peierls bracket to explore such flows in two-dimensional theories of JT gravity coupled to matter fields with higher derivative interactions. The results no longer take a purely geometric form and, instead, demonstrate new features that should be expected of such flows in general higher derivative theories. We also show how to obtain the above flows using Poisson brackets.
Forward citations
Cited by 1 Pith paper
-
Canonical quantization for effective theories with perturbations altering degrees of freedom: a covariant phase space approach
Covariant phase space formalism enables perturbative canonical quantization of higher-derivative perturbed theories, verified on a solvable 2D charged particle model where perturbative results match exact expansion.
Reference graph
Works this paper leans on
-
[25]
X. Dong, D. Marolf and P. Rath, The JLMS Formula, Modular Flow and the Area Operator , to appear
-
[1]
J. D. Bekenstein, Black holes and entropy , Phys. Rev. D 7 (1973) 2333
work page 1973
-
[2]
’t Hooft, Dimensional reduction in quantum gravity , Conf
G. ’t Hooft, Dimensional reduction in quantum gravity , Conf. Proc. C 930308 (1993) 284 [gr-qc/9310026]
arXiv 1993
-
[3]
Susskind, The World as a hologram , J
L. Susskind, The World as a hologram , J. Math. Phys. 36 (1995) 6377 [hep-th/9409089]
arXiv 1995
-
[4]
J. M. Maldacena, The Large N limit of superconformal field theories and superg ravity, Int. J. Theor. Phys. 38 (1999) 1113 [hep-th/9711200]
arXiv 1999
- [5]
- [6]
-
[7]
V. E. Hubeny, M. Rangamani and T. Takayanagi, A Covariant holographic entanglement entropy proposal, JHEP 07 (2007) 062 [0705.0016]
arXiv 2007
Show all 58 references
-
[8]
R. M. Wald, Black hole entropy is the Noether charge , Phys. Rev. D 48 (1993) R3427 [gr-qc/9307038]
1993 arXiv
-
[9]
Dong, Holographic Entanglement Entropy for General Higher Deriv ative Gravity , JHEP 01 (2014) 044 [1310.5713]
X. Dong, Holographic Entanglement Entropy for General Higher Deriv ative Gravity , JHEP 01 (2014) 044 [1310.5713]
2014 arXiv
-
[10]
Camps, Generalized entropy and higher derivative Gravity , JHEP 03 (2014) 070 [1310.6659]
J. Camps, Generalized entropy and higher derivative Gravity , JHEP 03 (2014) 070 [1310.6659]
2014 arXiv
-
[11]
Miao and W.-z
R.-X. Miao and W.-z. Guo, Holographic Entanglement Entropy for the Most General High er Derivative Gravity, JHEP 08 (2015) 031 [1411.5579]
2015 arXiv
-
[12]
Lewkowycz and J
A. Lewkowycz and J. Maldacena, Generalized gravitational entropy , JHEP 08 (2013) 090 [1304.4926]
2013 arXiv
-
[13]
X. Dong, A. Lewkowycz and M. Rangamani, Deriving covariant holographic entanglement , JHEP 11 (2016) 028 [1607.07506]
2016 arXiv
-
[14]
Colin-Ellerin, X
S. Colin-Ellerin, X. Dong, D. Marolf, M. Rangamani and Z. Wang, Real-time gravitational replicas: Formalism and a variational principle , 2012.00828
2012 arXiv
-
[15]
Colin-Ellerin, X
S. Colin-Ellerin, X. Dong, D. Marolf, M. Rangamani and Z. Wang, Real-time gravitational replicas: Low dimensional examples , 2105.07002
-
[16]
Colafranceschi, X
E. Colafranceschi, X. Dong, D. Marolf and Z. Wang, Algebras and Hilbert spaces from gravitational path integrals. Understanding Ryu-Takayan agi/HRT as entropy without AdS/CFT , JHEP 10 (2024) 063 [2310.02189]
2024 arXiv
-
[17]
Sanches and S
F. Sanches and S. J. Weinberg, Holographic entanglement entropy conjecture for general spacetimes, Phys. Rev. D 94 (2016) 084034 [1603.05250]
2016 arXiv
-
[18]
Nomura, P
Y. Nomura, P. Rath and N. Salzetta, Pulling the Boundary into the Bulk , Phys. Rev. D 98 (2018) 026010 [1805.00523]
2018 arXiv
-
[19]
Dong, X.-L
X. Dong, X.-L. Qi, Z. Shangnan and Z. Yang, Effective entropy of quantum fields coupled with gravity, JHEP 10 (2020) 052 [2007.02987]
2020 arXiv
-
[20]
Grado-White, D
B. Grado-White, D. Marolf and S. J. Weinberg, Radial Cutoffs and Holographic Entanglement , JHEP 01 (2021) 009 [2008.07022]
2021 arXiv
-
[21]
Bousso and G
R. Bousso and G. Penington, Entanglement wedges for gravitating regions , Phys. Rev. D 107 (2023) 086002 [2208.04993]
2023 arXiv
-
[22]
Bousso and G
R. Bousso and G. Penington, Holograms in our world , Phys. Rev. D 108 (2023) 046007 [2302.07892]
2023 arXiv
-
[23]
Dong and A
X. Dong and A. Lewkowycz, Entropy, Extremality, Euclidean Variations, and the Equat ions of Motion, JHEP 01 (2018) 081 [1705.08453]
2018 arXiv
-
[24]
Dong and D
X. Dong and D. Marolf, One-loop universality of holographic codes , JHEP 03 (2020) 191 [1910.06329]. – 42 –
2020 arXiv
-
[26]
Kaplan and D
M. Kaplan and D. Marolf, The action of HRT-areas as operators in semiclassical gravi ty, 2203.04270
-
[27]
Bousso, V
R. Bousso, V. Chandrasekaran, P. Rath and A. Shahbazi-Mog haddam, Gravity dual of Connes cocycle flow , Phys. Rev. D 102 (2020) 066008 [2007.00230]
2020 arXiv
-
[28]
R. E. Peierls, The Commutation laws of relativistic field theory , Proc. Roy. Soc. Lond. A 214 (1952) 143
1952
-
[29]
Kaplan, The Action of Geometric Entropy in Topologically Massive Gr avity, 2308.09763
M. Kaplan, The Action of Geometric Entropy in Topologically Massive Gr avity, 2308.09763
-
[30]
Iyer and R
V. Iyer and R. M. Wald, Some properties of Noether charge and a proposal for dynamic al black hole entropy , Phys. Rev. D 50 (1994) 846 [gr-qc/9403028]
1994 arXiv
-
[31]
X. Dong, G. N. Remmen, D. Wang, W. W. Weng and C.-H. Wu, Holographic entanglement from the UV to the IR , JHEP 11 (2023) 207 [2308.07952]
2023 arXiv
-
[32]
G. W. Gibbons and S. W. Hawking, Action Integrals and Partition Functions in Quantum Gravity, Phys. Rev. D15 (1977) 2752
1977
-
[33]
J. S. Schwinger, On the Green’s functions of quantized fields. 1. , Proc. Nat. Acad. Sci. 37 (1951) 452
1951
-
[34]
B. S. DeWitt, Dynamical theory of groups and fields , Conf. Proc. C 630701 (1964) 585
1964
-
[35]
B. S. DeWitt and R. Stora, eds., Relativity, groups and topology: Proceedings, 40th Summer School of Theoretical Physics - Session 40: Les Houches, Fra nce, June 27 - August 4, 1983, vol. 2, (Amsterdam), North-holland, 1984
1983
-
[36]
B. S. DeWitt, The global approach to quantum field theory. Vol. 1, 2 , vol. 114. Oxford University Press, 2003
2003
-
[37]
D. M. Marolf, The Generalized Peierls bracket , Annals Phys. 236 (1994) 392 [hep-th/9308150]
1994 arXiv
-
[38]
Ostrogradsky, M´ emoires sur les ´ equations diff´ erentielles, relatives au probl` eme des isop´ erim` etres, Mem
M. Ostrogradsky, M´ emoires sur les ´ equations diff´ erentielles, relatives au probl` eme des isop´ erim` etres, Mem. Acad. St. Petersbourg 6 (1850) 385
-
[39]
D. L. Jafferis, A. Lewkowycz, J. Maldacena and S. J. Suh, Relative entropy equals bulk relative entropy, JHEP 06 (2016) 004 [1512.06431]
2016 arXiv
-
[40]
D. L. Jafferis and S. J. Suh, The Gravity Duals of Modular Hamiltonians , JHEP 09 (2016) 068 [1412.8465]
2016 arXiv
-
[41]
Lewkowycz and O
A. Lewkowycz and O. Parrikar, The holographic shape of entanglement and Einstein’s equations, JHEP 05 (2018) 147 [1802.10103]
2018 arXiv
-
[42]
Y. Chen, X. Dong, A. Lewkowycz and X.-L. Qi, Modular Flow as a Disentangler , JHEP 12 (2018) 083 [1806.09622]
2018 arXiv
-
[43]
Faulkner, M
T. Faulkner, M. Li and H. Wang, A modular toolkit for bulk reconstruction , JHEP 04 (2019) 119 [1806.10560]
2019 arXiv
-
[44]
Bousso, V
R. Bousso, V. Chandrasekaran and A. Shahbazi-Moghaddam, From black hole entropy to energy-minimizing states in QFT , Phys. Rev. D 101 (2020) 046001 [1906.05299]. – 43 –
2020 arXiv
-
[45]
Engelhardt, G
N. Engelhardt, G. Penington and A. Shahbazi-Moghaddam, A world without pythons would be so simple , Class. Quant. Grav. 38 (2021) 234001 [2102.07774]
2021 arXiv
-
[46]
Donnelly and L
W. Donnelly and L. Freidel, Local subsystems in gauge theory and gravity , JHEP 09 (2016) 102 [1601.04744]
2016 arXiv
-
[47]
A. J. Speranza, Local phase space and edge modes for diffeomorphism-invaria nt theories , JHEP 02 (2018) 021 [1706.05061]
2018 arXiv
-
[48]
Chandrasekaran and K
V. Chandrasekaran and K. Prabhu, Symmetries, charges and conservation laws at causal diamonds in general relativity , JHEP 10 (2019) 229 [1908.00017]
2019 arXiv
-
[49]
Chandrasekaran, G
V. Chandrasekaran, G. Penington and E. Witten, Large N algebras and generalized entropy , 2209.10454
-
[50]
Kudler-Flam, S
J. Kudler-Flam, S. Leutheusser and G. Satishchandran, Generalized black hole entropy is von Neumann entropy , Phys. Rev. D 111 (2025) 025013 [2309.15897]
2025 arXiv
-
[51]
Chen and G
C.-H. Chen and G. Penington, A clock is just a way to tell the time: gravitational algebras in cosmological spacetimes, 2406.02116
-
[52]
Kudler-Flam, S
J. Kudler-Flam, S. Leutheusser and G. Satishchandran, Algebraic Observational Cosmology , 2406.01669
-
[53]
Harlow and J.-Q
D. Harlow and J.-Q. Wu, Covariant phase space with boundaries , JHEP 10 (2020) 146 [1906.08616]
2020 arXiv
-
[54]
Henneaux and C
M. Henneaux and C. Teitelboim, Quantization of Gauge Systems . Princeton University Press, 8, 1994
1994
-
[55]
Cheng, P.-M
T.-C. Cheng, P.-M. Ho and M.-C. Yeh, Perturbative approach to higher derivative and nonlocal theories, Nucl. Phys. B 625 (2002) 151 [hep-th/0111160]
2002 arXiv
-
[56]
Andrzejewski, K
K. Andrzejewski, K. Bolonek, J. Gonera and P. Ma´ slanka, Canonical formalism and quantization of the perturbative sector of higher-derivat ive theories , Physical Review A—Atomic, Molecular, and Optical Physics 76 (2007) 032110
2007
-
[57]
Harlow and D
D. Harlow and D. Jafferis, The Factorization Problem in Jackiw-Teitelboim Gravity , JHEP 02 (2020) 177 [1804.01081]
2020 arXiv
-
[58]
Dirac, Lectures on Quantum Mechanics
P. Dirac, Lectures on Quantum Mechanics . Belfer Graduate School of Science, Yeshiva University, New York, NY, 1964. – 44 –
1964
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.