{"id":"cd27910f-6967-4492-8b41-c01908cb9822","arxiv_id":"2501.12438","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In JT gravity with higher-derivative scalar couplings, the geometric entropy flow generalizes the BCP kink transformation by adding delta-function singularities in the dilaton and matter fields.","lead":"This paper computes the classical Hamiltonian flows generated by geometric entropy in two higher-derivative gravity theories, finding that the flow is not purely geometric and introduces extra singularities in matter fields. It matters because these flows are linked to modular flow in holography and the algebraic structure of entropy in quantum gravity.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified.","rationale":"The reader's weakest assumption is the perturbative treatment of λ. I agree this is the main scope limitation, but the paper states it explicitly and confines all claims to that regime, so it does not constitute a load-bearing concern against the central claim. The central computations are internally consistent: the Peierls-bracket and Dirac-bracket results agree, the constraint equations are checked, and the Killing-horizon limit restores the BCP form as expected. The field-redefinition argument is valid and, combined with the explicit examples, makes the non-universality of the BCP kink-transformation robust. The only residual uncertainty would be behavior at finite λ or in theories not amenable to perturbative treatment, which is outside the paper's stated scope. I therefore see no reason to change the reader's accept verdict.","tokens_in":32415,"tokens_out":25885,"duration_ms":255505,"concrete_test":"Verify the field-redefinition argument directly in Theory 1 by explicitly constructing the field redefinition that maps the action (4.1) to the minimal JT-plus-scalar action (3.1) to first order in λ, then push forward the BCP kink vector field of the minimal theory under this redefinition and check that it reproduces the initial-data transformation in Eqs. (4.33)-(4.35), including the δφ̇ term.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. The central claim that geometric entropy flow in higher-derivative theories generically fails to be a BCP kink-transformation is supported by explicit two-dimensional examples computed with two independent formalisms (Peierls and Dirac brackets, Secs. 4 and B), by a consistent Killing-horizon check (Appendix E), and by a general field-redefinition argument (Sec. 1). The only substantive caveat is the explicit perturbative-in-λ assumption stated at the start of Sec. 4.1: all fields are expanded in a formal power series in λ, and the theory is treated as having no new degrees of freedom. This is a clearly scoped limitation, not an internal inconsistency; within that regime the computations are coherent, the constraint checks are performed, and the cross-checks agree. The additional singularities in δφ̇, δρ̇, δψ̇ are derived from explicit solutions of the sourced equations of motion and survive Dirac-bracket cross-checks. I do not find a load-bearing flaw that would invalidate the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":32570,"tokens_out":10748,"duration_ms":96351,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":"Eq. (4.21)"},{"comment":"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.","section":"Sec. 5 (Modular flow)"},{"comment":"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.","section":"Throughout"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the headline: the paper answers a real question in holographic entanglement, whether geometric entropy flow is always a BCP kink transformation, and the answer is no once higher-derivative couplings are included. The evidence is two explicit 2D examples plus a field-redefinition argument, and the Killing-horizon case is cleanly separated.\n\nWhat's new and good: the two JT-plus-scalar computations are the first explicit geometric entropy flows in higher-derivative theories. The Peierls-bracket method is well suited, and Appendix B's Dirac-bracket cross-check makes the examples trustworthy. The field-redefinition argument in the introduction is a nice conceptual explanation for why the BCP form should fail generically. Appendix E giving the Killing-horizon result for general theories is a useful extension of earlier work. The susceptibility analysis in Appendix C is a neat tool, and the results are internally consistent, with no fitting and no circularity.\n\nSoft spots, in proportion: the perturbative-in-lambda assumption is the load-bearing one, stated plainly at the start of Section 4.1. It means the conclusions apply to theories with perturbative higher-derivative corrections and no new degrees of freedom. That is a real restriction, but it is exactly the regime where the question was open. The examples are two-dimensional and special; the general field-redefinition argument is persuasive but not a theorem. The paper itself flags the possible O(s^2) delta-function products when integrating the flow, shows they do not arise in these examples, but leaves the general question open. The discussion of modular flow leans on a forthcoming paper [25] and is suggestive, not a proof. None of these undermines the main claim.\n\nBottom line: this is a paper I would send to a serious referee. The computations are explicit and cross-checked, the caveats are honestly scoped, and it advances the subfield. I'd cite it for the explicit higher-derivative flow examples, and it's a good reading-group candidate for a holography group.","headline":"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.","tokens_in":33081,"tokens_out":2587,"would_cite":true,"duration_ms":25362,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The geometric entropy's Hamiltonian flow is not a pure boundary-condition-preserving kink once higher-derivative terms are included.","keywords":["geometric entropy","higher-derivative gravity","Hamiltonian flow","Peierls bracket","BCP kink transformation","JT gravity","holographic entanglement entropy","modular flow"],"falsifier":"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.","tokens_in":32221,"feed_emoji":"🌀","tokens_out":8285,"duration_ms":82267,"temperature":0.7,"pith_summary":"This paper asks what Hamiltonian flow the geometric entropy generates on the phase space of a gravitational theory with higher-derivative corrections. In Einstein gravity and JT gravity with minimal couplings, the answer is a boundary-condition-preserving (BCP) kink-transformation: the flow adds a delta-function boost to the extrinsic curvature at the HRT surface and leaves all other Cauchy data alone. The paper's central claim is that this pure geometric form fails once perturbative higher-derivative interactions are included: the flow still adds the extrinsic-curvature kink, but it also produces delta-function jumps in the dilaton and matter fields, localized at the HRT surface, because the kink alone no longer satisfies the constraint equations. The claim is shown explicitly in two JT-gravity-plus-scalar theories using Peierls brackets, backed by a general field-redefinition argument and by Poisson/Dirac bracket checks. If correct, holographic modular flow should generically induce such non-geometric singularities whenever the HRT surface is not the bifurcation surface of a Killing horizon.","feed_headline":"Geometric entropy flow is not a pure kink in higher-derivative gravity","feed_subtitle":"In JT gravity with higher-derivative couplings, the entropy flow also kicks the dilaton and scalar at the HRT surface","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Computes the geometric entropy of these JT-plus-matter theories by Euclidean methods and gives their equations of motion.","marker":"[23]"},{"why":"Defines the geometric entropy as the response of the Euclidean action to a conical defect and establishes the associated variational principle.","marker":"[24]"},{"why":"Introduces the extrinsic-curvature corrections to holographic entanglement entropy for higher-derivative gravity.","marker":"[9]"},{"why":"Shows that HRT-area flow in Einstein gravity is the BCP kink transformation, the baseline this paper generalizes.","marker":"[26]"},{"why":"Proposes the gravity dual of Connes cocycle flow and shows that the kink preserves constraints in Einstein gravity.","marker":"[27]"},{"why":"Supplies the manifestly covariant Peierls bracket formalism used for all flow computations.","marker":"[28]"},{"why":"Shows that geometric entropy transforms as a scalar under field redefinitions, which underlies the argument that the kink form cannot be universal.","marker":"[31]"},{"why":"Derives Wald entropy as Noether charge and the first law, used to identify the flow in Killing-horizon cases.","marker":"[30]"}],"fun_headline_variants":["Entropy flow in higher-derivative JT also kicks matter","Geometric entropy flow is not a pure kink beyond Einstein","Higher-derivative JT: entropy flow adds delta kicks to fields","Entropy Hamiltonian flow deviates from kink in JT with higher derivatives"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Entropy flow in higher-derivative JT also kicks matter","Geometric entropy flow is not a pure kink beyond Einstein","Higher-derivative JT: entropy flow adds delta kicks to fields","Entropy Hamiltonian flow deviates from kink in JT with higher derivatives"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000312,"raw_usage":{"total_tokens":1857,"prompt_tokens":1107,"completion_tokens":750,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":723,"completion_tokens_details":{"reasoning_tokens":678}},"tokens_in":723,"tokens_out":750,"duration_ms":8092,"temperature":1.0,"reasoning_tokens":678,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T17:11:08.790295+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"The action of HRT-areas as operators in semiclassical gravity","cited_arxiv_id":"2203.04270","evidence_quote":"Shows that HRT-area flow in Einstein gravity is the BCP kink transformation, the baseline this paper generalizes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the manifestly covariant Peierls bracket formalism used for all flow computations."},{"cited_title":"Holographic entanglement from the UV to the IR","cited_arxiv_id":"2308.07952","evidence_quote":"Shows that geometric entropy transforms as a scalar under field redefinitions, which underlies the argument that the kink form cannot be universal."}],"review_version":1}