{"id":"2acc4bac-69f7-411b-8488-12c622045b93","arxiv_id":"2607.12834","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Timelike entanglement first law holds in Lovelock gravity about AdS, with both entropy and modular Hamiltonian variations carrying the same coupling factor that renormalizes Newton's constant in the linearized equations.","lead":"The paper shows that for holographic CFTs dual to Lovelock gravity, the timelike entanglement first law ΔS = Δ⟨H⟩ still holds for low-energy perturbations around anti-de Sitter space, with both quantities multiplied by the same higher-curvature factor. This matters because it extends a known link between entanglement and Einstein's equations to a broad class of modified gravity theories.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"General-Lovelock proof assumes spherical extremal surface; first-integral condition (5.54) not shown to be satisfied by f=const, so the factorization in (5.77) may fail.","rationale":"The reader's weakest assumption is exactly the f=const extremal-surface theorem in §5.2. I agree that this is the most load-bearing internal gap: the central factorization ΔS = factor × ΔS_Einstein and its equality with Δ⟨H⟩ require the extremal surface to be the same maximally symmetric sphere used in the Einstein computation. If the extremal f is non-constant, the induced metric changes and the universal factor does not separate. The JM continuation prescription is also an input, but it is explicitly acknowledged by the authors as a working assumption, so it is a declared limitation rather than an unproven step in the argument. The cubic example provides evidence for the mechanism but does not cover general Lovelock order; the general proof is incomplete at the stated point. This supports the reader's CONDITIONAL verdict. I do not see a basis for strengthening the verdict to REJECT, since the explicit low-order computation and the matching of the factor with the linearized field equations are coherent, and the gap is potentially fillable by a direct computation.","tokens_in":32556,"tokens_out":10592,"duration_ms":94224,"concrete_test":"Evaluate the first variation δS/δf at the spherical embedding f=T0 for a Lovelock order not covered by previous work, e.g., m=4 in d=8 within the ansatz (5.34). Using eqs. (5.32), (5.40)-(5.48), compute ∂S/∂g at g=0 and check whether d/du(∂S/∂g)=0. If the variation is non-vanishing, f=const is not an extremum and the factorization (5.77) is invalid. Alternatively, solve the first-integral equation ∂S/∂g = C numerically for small λ_4 and see whether the solution with f(u_ε)=T0 deviates from constant.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The general-Lovelock extension in §5 depends on the claim that the spherical embedding f=const extremizes the JM functional. The proof in §5.2 reduces the action to a functional S(g,u) with g=dlog f/du and obtains the first-integral condition d/du(∂S/∂g)=0 (eq. 5.54). This condition implies ∂S/∂g is constant in u, not that g=0. To conclude f=const is an extremum one must show that ∂S/∂g evaluated at g=0 is u-independent and equals the integration constant fixed by the boundary conditions. The paper does not compute ∂S/∂g or demonstrate this. This is not a triviality: for the warped ansatz (5.39), γ_uu depends on g², so the area term has vanishing first variation at g=0, but the higher-curvature Lovelock densities S_m contain derivatives of g (through curvature components such as R_{u a u b} in (5.40)); their variation at g=0 need not vanish. If f is non-constant, the induced metric is no longer the maximally symmetric one (5.55)-(5.56), and the reduction to ΔS = factor × ΔS_Einstein (5.77) — and hence the equality with Δ⟨H⟩ in (5.31) — fails. This is the load-bearing step for arbitrary Lovelock order; the cubic example in §3 does not cover it because the paper only cites [28,79] for m=2,3.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims that the timelike entanglement first law holds in Lovelock gravity for hyperbolic timelike subregions, within a perturbative regime around AdS. Using the double Wick rotation prescription together with the Jacobson–Myers entropy functional, the authors compute the first-order variation of holographic timelike entanglement entropy and compare it with the modular Hamiltonian obtained from the boundary stress tensor. In cubic Lovelock gravity the two variations agree and equal the Einstein-gravity result multiplied by a single coupling-dependent factor. For general Lovelock order and normalizable Fefferman–Graham perturbations around AdS, the paper argues that both ΔS and Δ⟨H⟩ are proportional to their Einstein counterparts with the same factor 1 − Σ_{m≥2} m λ_m f∞^{m−1}, which also renormalizes G_eff in the linearized Lovelock field equations. The generalized surface term is claimed to vanish in the conformal limit for this restricted class of perturbations.","tokens_in":32972,"tokens_out":15224,"duration_ms":155324,"significance":"If the general-order part is completed, the result is significant: it extends the known equivalence between the timelike entanglement first law and linearized Einstein equations to the entire Lovelock family, with no fitted parameters and with a single universal factor controlling both the entropy variation and the modular Hamiltonian. The cubic example in §3 is explicit and internally coherent: the JM variation, the surface term, the stress tensor, and the modular Hamiltonian are computed independently and the matching is nontrivial. The paper is also candid about its restrictions: normalizable FG perturbations, conformally flat fixed boundary, hyperbolic subregions, and the double-Wick-rotated JM prescription as a working rule rather than a derived Lorentzian replica prescription. However, the general-order proof rests on an incompletely justified claim that the spherical embedding f=const extremizes the JM functional at arbitrary Lovelock order; until that lemma is supplied, the factorization in (5.77) is conditional.","major_comments":[{"comment":"The step from the first-integral condition to f=const is not demonstrated. For a functional S(g,u) with g=dlog f/du, the Euler–Lagrange equation is d/du(∂S/∂g)=0, i.e. ∂S/∂g is constant in u. This does not imply g=0 unless one shows that ∂S/∂g evaluated at g=0 is u-independent and equals the integration constant fixed by the boundary conditions. The paper states that f=const solves (5.54) but does not provide this check. This is load-bearing: if the extremal surface were not the maximally symmetric embedding, the induced metric would not be (5.55)–(5.56) and the reduction ΔS = factor × ΔS_Einstein in (5.77) would fail. The missing check is likely straightforward — the induced metric (5.39) depends on g through γ_uu=(L²/sin²w)(g²+1/T0²), so the curvature invariants are plausibly even in g — but it should be written out explicitly rather than asserted.","section":"§5.2, Eq. (5.54)"}],"minor_comments":[{"comment":"The double-Wick-rotated JM prescription is explicitly acknowledged as a working assumption, not derived from a Lorentzian replica construction. This is appropriate, but the abstract and conclusions could state more prominently that the physical interpretation of the result is conditional on this prescription.","section":"§2.2 / §6"},{"comment":"The notation S(g,u) is introduced only through the sentence preceding (5.54). Please define g explicitly as dlog f/du and state the endpoint conditions under which the first-integral constant is fixed. The phrase 'solved by f=const with the boundary conditions imposed above' is too terse for a lemma that is central to the general argument.","section":"§5.2"},{"comment":"The explicit expressions for K, R∂K, R∂abK^{ab}, etc., are central to the cubic check but are presented as results of substitution with no intermediate algebra. A short appendix entry or a few displayed intermediate steps would improve verifiability.","section":"§3.2, Eqs. (3.28)–(3.31)"},{"comment":"There are numerous typographical and grammatical slips: 'R´enyi' in the Introduction, 'et al and their holographic descriptions' in §1, 'formax=3' in §4, 'the parameter m_z affects only terms of order O(w_ϵ²)' with a missing verb, and inconsistent spacing around equations. These do not affect the physics but should be cleaned up.","section":"Text and typos"}],"recommendation":"major_revision","confidential_remarks":"The only substantive obstacle is the incomplete proof in §5.2 that f=const extremizes the JM functional at arbitrary Lovelock order. I expect this to be patchable with an explicit evaluation of ∂S/∂g at g=0; if that is supplied, the paper would be suitable for acceptance. The cubic example is sound, and the paper's restrictions are honestly stated. No concerns about novelty or citation practices."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe short version: the cubic Lovelock computation is a genuine piece of work, but the arbitrary-order generalization has a load-bearing gap. I would not cite the general theorem as established; I would cite the cubic example.\n\nWhat's actually new: the paper gives an explicit check of the timelike entanglement first law for hyperbolic subregions in cubic Lovelock gravity. The variation of the JM functional and the boundary stress tensor are computed to first order in the thermal excitation, and both carry the same factor, so ΔS = Δ⟨H⟩. That part is coherent and the algebra is documented in enough detail to follow. The reduction to the Einstein result is a clean way to see the physics: Lovelock terms only rescale the effective Newton constant at linearized order.\n\nThe general analysis in §5 extends the same factor to arbitrary Lovelock order, and the modular-Hamiltonian side (5.31) is straightforward once the stress tensor is known. The entropy side (5.77) depends on the claim in §5.2 that the spherical embedding extremizes the JM functional. That is the soft spot. The paper reduces the action to a functional of g = d log f/du, gets the first-integral condition d/du(∂S/∂g)=0, and states this is solved by f=const. But the condition only says ∂S/∂g is constant in u. To show g=0 solves it, you need ∂S/∂g at g=0 to be u-independent, and the paper never computes that. The higher-curvature terms do contain derivatives of g through the R_{u a u b} components, so this is not an empty check. If the extremum were not the sphere, the factorization in (5.77) would fail. The cubic order does not rescue the general claim, because it cites known results for m=2,3 rather than proving the arbitrary-order case.\n\nThe paper is honest about the other limitation: the double Wick rotated JM prescription is adopted, not derived from a Lorentzian replica. That is fine as a working prescription, but it narrows the claim. The authors say as much in §2.2 and the conclusions.\n\nOverall: solid execution of a specific example, natural conjecture for the general case, but the general theorem is not yet proven. A referee should require the missing computation of ∂S/∂g at g=0, or a symmetry argument that forces it to be constant. The cubic computation deserves publication; the general claim needs that gap closed.","headline":"Solid cubic Lovelock check; the arbitrary-order proof has an unsupported step — cite the cubic example, not the general theorem.","tokens_in":33366,"tokens_out":4416,"would_cite":true,"duration_ms":44804,"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":"This paper establishes that, in the hyperbolic perturbative regime, the timelike entanglement first law is equivalent to the linearized field equations of Lovelock gravity.","keywords":["timelike entanglement entropy","entanglement first law","Lovelock gravity","Jacobson-Myers functional","modular Hamiltonian","linearized field equations","AdS/CFT correspondence","holographic entanglement entropy"],"falsifier":"Compute the first-integral condition (5.54) explicitly at quartic Lovelock order (m = 4) for a rotationally symmetric embedding: if ∂S/∂(dlog f/du) at g = 0 is not independent of u, the spherical solution is not extremal, and ΔS would deviate from the Einstein result times the claimed factor. A direct numerical extremization of the JM functional for a tiny non-spherical perturbation at nonzero λ₄ would settle the question.","tokens_in":1521,"feed_emoji":"🌀","tokens_out":3274,"duration_ms":59925,"temperature":0.7,"pith_summary":"The paper asks whether the timelike entanglement first law—that for small perturbations of a timelike hyperbolic region the change in entanglement entropy equals the change in the modular Hamiltonian—survives when the bulk dual is a higher-curvature Lovelock gravity instead of Einstein gravity. It answers yes in a restricted but precise sense: for normalizable perturbations around AdS in Fefferman-Graham gauge, both ΔS and Δ⟨H⟩ equal the Einstein-gravity results multiplied by the same coupling-dependent factor, (1 − Σ_{m≥2} m λ_m f∞^{m−1}). Because that factor also renormalizes the effective Newton constant in the linearized Lovelock field equations, the paper concludes that the timelike entanglement first law is equivalent to the linearized field equations of Lovelock gravity about the maximally symmetric background. This matters because it extends a known Einstein-gravity equivalence between entanglement dynamics and bulk gravity to an entire class of higher-curvature theories, isolating the single coefficient that carries the higher-curvature correction.","feed_headline":"Entanglement first law holds in Lovelock gravity","feed_subtitle":"For hyperbolic regions, ΔS = Δ⟨H⟩, both rescaled by the same coupling factor","key_machinery":"Three ingredients carry the argument. First, the Jacobson-Myers entropy functional, which for Lovelock gravity depends only on the intrinsic curvature of the bulk surface and is therefore tractable under double Wick rotation. Second, the double Wick rotation prescription that converts a timelike hyperbolic subregion into a spacelike problem in a continued geometry, fixing the extremal surface and the modular Hamiltonian. Third, the Fefferman-Graham gauge with normalizable, transverse-traceless perturbations, which makes the boundary divergent terms vanish as O(ϵ²). The paper shows that the spherical embedding remains extremal at arbitrary Lovelock order through a first-integral condition on","core_discovery":"The central claim is that, in the hyperbolic and perturbative regime studied, the timelike entanglement first law holds in Lovelock gravity and is governed by one universal factor: ΔS and Δ⟨H⟩ each equal their Einstein-gravity counterparts multiplied by (1 − Σ_{m≥2} m λ_m f∞^{m−1}). The paper proves this by computing the variation of the Jacobson-Myers entropy functional on a double-Wick-rotated extremal surface and the variation of the modular Hamiltonian from the holographic stress tensor, showing both reduce to the Einstein results times the same factor for normalizable Fefferman-Graham perturbations, while the generalized boundary term vanishes in the conformal limit. Since this factor a","pith_inferences":["If the spherical embedding fails to extremize the Jacobson-Myers functional at some higher Lovelock order, the claimed factorization would break; this is directly testable by evaluating the first-integral condition at quartic order (m = 4).","The same coupling factor likely appears in other holographic first-law-type relations for Lovelock gravity, such as pseudo entropy or non-hyperbolic regions, offering a quick diagnostic of where the equivalence persists.","The result suggests that the equivalence between entanglement first laws and linearized bulk dynamics is not unique to Einstein gravity but holds for any theory whose linearized equations about a maximally symmetric background are Einstein-like with a rescaled coupling.","A natural next test is to allow non-normalizable perturbations or a non-conformally-flat boundary: the paper predicts the O(ϵ²) suppression, and hence the equivalence, may fail there."],"forward_implications":["For cubic Lovelock gravity, low-energy thermal excitations obey ΔS = Δ⟨H⟩, generalizing the known Einstein-gravity result to a higher-curvature theory.","For arbitrary Lovelock order, normalizable Fefferman-Graham perturbations around AdS give ΔS and Δ⟨H⟩ equal to the Einstein results times the universal factor (1 − Σ_{m≥2} m λ_m f∞^{m−1}).","The generalized boundary term of the Jacobson-Myers functional does not contribute in the conformal limit for the considered class of perturbations.","Consequently, in the hyperbolic perturbative sector, the timelike entanglement first law is equivalent to the linearized Lovelock field equations about the maximally symmetric AdS background.","The effective entanglement temperature remains proportional to the inverse temporal size, matching the Einstein-gravity result, because the higher-curvature factor cancels between ΔS and Δ⟨H⟩."],"fun_headline_variants":["Timelike entanglement law holds in Lovelock","Lovelock gravity obeys timelike entanglement first law","Same factor rescales entropy and Hamiltonian in Lovelock","Universal rescaling proves entanglement law in Lovelock","Entanglement law equals field equations in Lovelock"],"cache_read_input_tokens":34688,"weakest_assumption_plain":"The spherical embedding f = const is assumed to extremize the Jacobson-Myers functional at arbitrary Lovelock order; the paper derives a first-integral condition but does not prove that the constant solution is uniquely selected by the boundary conditions.","fun_headline_variants_meta":{"raw":{"variants":["Timelike entanglement law holds in Lovelock","Lovelock gravity obeys timelike entanglement first law","Same factor rescales entropy and Hamiltonian in Lovelock","Universal rescaling proves entanglement law in Lovelock","Entanglement law equals field equations in Lovelock"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001201,"raw_usage":{"total_tokens":4796,"prompt_tokens":762,"completion_tokens":4034,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":506,"completion_tokens_details":{"reasoning_tokens":3957}},"tokens_in":506,"tokens_out":4034,"duration_ms":29713,"temperature":1.0,"reasoning_tokens":3957,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T06:17:47.054746+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the first-integral condition (5.54) explicitly at quartic Lovelock order (m = 4) for a rotationally symmetric embedding: if ∂S/∂(dlog f/du) at g = 0 is not independent of u, the spherical solution is not extremal, and ΔS would deviate from the Einstein result times the claimed factor. A direct numerical extremization of the JM functional for a tiny non-spherical perturbation at nonzero λ₄ would settle the question.","supporting_citations":[],"review_version":2}