{"id":"b9264ba6-51e1-4a43-ba86-8b9fb6c61042","arxiv_id":"2505.20459","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"A holographic c-function derived from timelike entanglement entropy is shown to be monotonic along RG flows in Poincare invariant, Lifshitz, and hyperscaling-violating theories, given null energy and thermodynamic stability conditions.","lead":"This paper proposes a new monotonic quantity, a timelike c-function, built from holographic timelike entanglement entropy, and claims it decreases along RG flows even in non-relativistic theories where ordinary entanglement entropy fails. The interest is that many condensed matter and quantum many-body systems break Lorentz invariance, so a measure of degree-of-freedom reduction during RG flow would apply broadly to such systems.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central c-theorem proof (Eqs. 19-22) depends on the merging condition (18), which is asserted only for spacetimes without horizons or IR walls; for the claimed generic homogeneous scope the boundary terms need not cancel, so monotonicity is not established.","rationale":"The reader's weakest-assumption analysis identifies the smooth merging condition at the deep IR point as the essential unproven step. My reading of Sec. 3.C confirms this: Eq. (19) is reduced to Eq. (20) only after cancelling the boundary term proportional to (t'_{Re,b} - t'_{Im,b}), and that cancellation relies on Eq. (18), which is justified by the asymptotic condition e^{2Λ_b} → 0 and by T_Re ≃ T_Im ≃ ∞. Both are explicitly limited to backgrounds without horizons or IR walls. Since the abstract and introduction claim applicability to generic homogeneous non-Lorentz-invariant theories, the proof does not cover the stated scope. This is not a disagreement with the existence of a timelike c-function in the examples treated (Lifshitz and hyperscaling-violating fixed points), but it is a real gap in the central monotonicity theorem as formulated. I therefore agree with the reader's verdict of CONDITIONAL: the authors should either prove the merging condition from the equations of motion for each background class, or explicitly restrict the theorem to backgrounds satisfying it. No additional objection beyond this load-bearing assumption is needed to justify the conditional verdict.","tokens_in":11858,"tokens_out":10602,"duration_ms":115528,"concrete_test":"Take a concrete homogeneous background with an IR wall, e.g. metric (1) with A(r) = r, B(r) = z r on r ∈ [r_b, ∞) and a finite infrared cutoff r_b. Compute t'_{Re,b} and t'_{Im,b} from Eq. (3): t'_s^2 = e^{2Λ_m - 2B} / (e^{2Λ_m} + s e^{2Λ}) with s = +1 for the spacelike and s = -1 for the timelike branch. At finite r_b, e^{2Λ_b} is finite, so t'^2_{Re,b} - t'^2_{Im,b} is nonzero. Evaluate the boundary term (1/Λ'_b)(t'_{Re,b} - t'_{Im,b}) in Eq. (19); if it is nonzero, re-derive the full ∂c/∂r_m from Eqs. (15) and (16) without discarding it. If the resulting derivative is not sign-definite under the stated NEC/stability conditions, then the proof of monotonicity fails for this background.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of the c-theorem proceeds by deriving Eq. (20) from Eq. (19) and dropping boundary terms. The cancellation is justified by Eq. (18), t'^2_{Re,b} ≃ t'^2_{Im,b}, which the paper obtains from Eq. (17) under the assumption e^{2Λ_b} → 0 at the deep IR point, and by the claim T_Re ≃ T_Im ≃ ∞. The text explicitly restricts this to 'theories without horizons or IR walls' in Sec. 2. For the homogeneous spacetimes claimed in the abstract, neither condition is automatic: a black-hole background has a horizon at finite r where the extremal surfaces end, and a domain-wall flow ending at an IR fixed point can have finite Λ_b. In such cases the boundary term (1/Λ'_b)(t'_{Re,b} - t'_{Im,b}) in Eq. (19) survives. The NEC, thermodynamic stability, and d_x ≤ d_xr conditions do not by themselves force this boundary term to vanish, nor do they guarantee T_Re ≃ T_Im ≃ ∞. Hence Eq. (20) cannot be used to conclude ∂c/∂r_m ≥ 0 for the claimed generic class. This is the load-bearing gap in the central claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a holographic c-function built from timelike entanglement entropy in homogeneous holographic spacetimes. The construction defines c = c_Re + c_Im with c_(Im,Re) = t_(Im,Re)^{d_x} ∂S_(Im,Re)/∂t_(Im,Re), or equivalently c = T^{d_x} ∂S/∂T, and claims that ∂c/∂r_m ≥ 0 along RG flows. The central formula is Eq. (20), which expresses ∂c/∂r_m as an integral involving geometric data, and the monotonicity claim is then checked for Poincaré-invariant, Lifshitz, and hyperscaling-violating theories under NEC, thermodynamic stability, and the condition d_x ≤ d_xr. The proof of Eq. (20) relies on cancellation of boundary terms using the deep-IR merging of spacelike and timelike extremal surfaces.","tokens_in":12153,"tokens_out":6703,"duration_ms":66352,"significance":"If the monotonicity claim is fully established, the paper would supply a much-needed RG monotone for non-relativistic holographic theories, where standard entanglement entropy fails to be monotonic. The construction is explicit and natural, the final formula (20) is compact, and the end matter provides useful algebraic detail. The use of NEC and thermodynamic stability as physical constraints is sensible. However, the proof as written establishes only a conditional statement, and the claimed genericity for all homogeneous holographic theories is not supported by the derivation.","major_comments":[{"comment":"The derivation of the main result (20) from (19) cancels the boundary term (1/Λ'_b)(t'_Re,b − t'_Im,b) using condition (18) and the assumption T_Re ≃ T_Im ≃ ∞. The paper explicitly restricts this assumption to 'theories without horizons or IR walls' (Sec. 2). For the generic homogeneous metric (1), and for Lifshitz or hyperscaling-violating RG flows that end at a finite IR point or contain a horizon, e^{2Λ_b} → 0 is not guaranteed; the NEC (23)-(24) and thermodynamic stability (26) do not imply it. Therefore the boundary term survives in general and Eq. (20), and hence inequality (22), is not established for the class of theories claimed in the abstract.","section":"Sec. 2 and Sec. 3.C, Eq. (19)"},{"comment":"The smooth-merging condition t'^2_Re,b ≃ t'^2_Im,b is not a consequence of the normal-vector expression (17). When e^{2Λ_b} → 0, Eq. (17) gives |T|² → −s^{-1}, which fixes the signature of the normal vector for each branch but does not equate the two derivatives t'_Re,b and t'_Im,b. The argument from Ref. [21] is quoted but not reproduced in a way that establishes (18) for a general homogeneous flow. Since the cancellation in (19) depends entirely on (18), this is a load-bearing gap.","section":"Sec. 3.C, Eq. (18)"},{"comment":"For the subregime 0 ≤ α ≤ 1, the paper concludes ∂c/∂r_m ≤ 0 and calls this the c-theorem, but Eqs. (20)-(22) were derived with the UV boundary located at infinity. When the UV boundary is at r = 0, the boundary term t'_Re,∂/Λ'_∂ in (19), the integration limits, and the sign convention for monotonicity must all be re-evaluated. The paper does not provide this separate derivation, so the claim for subregime C is not supported by the preceding calculation.","section":"Sec. 4.B.2, hyperscaling-violating subregime C"},{"comment":"The monotonicity condition is ultimately reduced to d_x ≤ d_xr, but this is an additional assumption rather than a consequence of NEC or thermodynamic stability. For Lifshitz flows with a slowly varying exponent z_r(r), taking d_x from the IR fixed point makes z ≥ z_r hold by construction; if d_x is instead fixed at the UV fixed point, the inequality can fail. The paper therefore proves a conditional statement, not the unconditional monotonicity for 'all such theories' claimed in the abstract. The value of d_x for a generic non-fixed-point flow is also never specified, since the scaling argument (30) applies only at scale-covariant points.","section":"Sec. 3.E and Sec. 4.B.1, Eq. (31)"}],"minor_comments":[{"comment":"The sentence 'it is not surprising that fails to support the existence of a proper c-function' is missing a subject and should read 'that entanglement entropy fails to support...'.","section":"Sec. 1, paragraph 4"},{"comment":"The text states A = r and B = zr with the boundary at r → ∞ and the deep IR at r_b → 0. With this coordinate choice e^{2Λ_b} → 1, which contradicts the assumption e^{2Λ_b} → 0 used in Sec. 3.C. The coordinate convention (for example \tilde r = e^r with deep IR r → −∞) should be stated explicitly.","section":"Sec. 4.B.1"},{"comment":"The phrase 'a unique and naturally motivated c-function' is stronger than supported, since the definition depends on the choice of d_x and on normalization conventions; d_x is specified only for scale-covariant examples.","section":"Sec. 3, Eq. (10)"},{"comment":"The statement that 'the c-theorem gives ... ∂T c ≤ 0' is asserted without derivation; from (51)-(52) this requires conditions on the denominator and on the sign of d_x that should be spelled out.","section":"End Matter EM.2, Eq. (52)"}],"recommendation":"major_revision","confidential_remarks":"The central claim is more limited than the abstract suggests. I recommend asking the authors to either prove the boundary-term cancellation under the stated hypotheses or explicitly restrict the theorem to flows whose IR is a smooth deep point with e^{2Λ_b} → 0 and T_Re, T_Im → ∞. The hyperscaling subregime C requires a separate derivation with the UV at r = 0, and the status of d_x ≤ d_xr as an assumption rather than a consequence should be made clear. With these revisions the paper could be publishable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a genuinely new construction of a holographic c-function from timelike entanglement entropy, and the derivative computation is explicit enough to check. The gap is that the monotonicity proof relies on a merging condition that the paper itself restricts to spacetimes without horizons or IR walls, while the abstract claims applicability to all homogeneous non-relativistic theories. That gap is central, not cosmetic.\n\nWhat the paper does well: the definition (9)-(10) is natural, and the recasting in terms of an effective dimension d_x is useful. The paper works out the derivative ∂c/∂r_m in detail, and the end matter fills in most of the algebra that the main text skips. The consistency check for Poincaré-invariant theories is clean. The Lifshitz and hyperscaling-violating examples are worked out concretely, and the conditions NEC + thermodynamic stability + d_x ≤ d_xr are plausible physical inputs. The citation pattern is fine, building on the timelike entropy literature without overclaiming novelty.\n\nWhere the soft spots are. First and foremost, Eq. (18) — the smooth merging of the spacelike and timelike surfaces — is asserted, not proven, and the text says it holds only in theories without horizons or IR walls. For a black hole horizon or a domain wall ending at finite Λ_b, the boundary terms in Eq. (19) survive, and Eq. (20) does not follow. The abstract's claim of generic homogeneous theories is therefore too broad. The author should either prove the merging condition for those cases or explicitly restrict the theorem. Second, the condition d_x ≤ d_xr is assumed for general RG flows; the examples show it can be satisfied, but the paper does not derive it as a consequence of the physical conditions. Third, some sign arguments in the hyperscaling-violating section are compressed; they are plausible if Eq. (20) holds, but that brings you back to the first issue.\n\nVerdict: this deserves peer review. The problem is real, the construction is novel, and the gaps are fixable. I'd send it out and ask a referee to focus on the merging condition and the generality claim. I wouldn't cite it in its current form, but a revised version that narrows the scope or proves the condition would be worth citing.","headline":"New timelike-entanglement c-function with a real proof gap that narrows the claimed generality.","tokens_in":12654,"tokens_out":5955,"would_cite":false,"duration_ms":59267,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Timelike entanglement entropy supplies a monotonic c-function for non-relativistic RG flows.","keywords":["timelike entanglement entropy","holographic c-theorem","renormalization group flow","Lifshitz theories","hyperscaling violation","null energy condition","non-relativistic holography","pseudoentropy"],"falsifier":"For a homogeneous holographic background that satisfies the null energy conditions and thermodynamic stability but contains a horizon or infrared wall, compute $\\partial c/\\partial r_m$ and search for a sign change or non-monotonicity in $c$; a concrete counterexample would settle the generality of the claim.","tokens_in":11622,"feed_emoji":"📉","tokens_out":9162,"duration_ms":74040,"temperature":0.7,"pith_summary":"The paper proposes a new c-function built from holographic timelike entanglement entropy, a pseudoentropy defined by extremal surfaces anchored on a boundary time interval. The claim is that this quantity is monotonic along renormalization-group flow in any homogeneous holographic theory, including Lifshitz and hyperscaling-violating theories where ordinary entanglement entropy fails. If correct, it gives a measure of the number of degrees of freedom that behaves sensibly in non-Lorentz-invariant systems, where no such universal measure was known. The monotonicity is shown to follow from the null energy conditions, thermodynamic stability, and an effective-dimension inequality, $d_x \\le d_{xr}$.","feed_headline":"Timelike entropy gives a monotonic c-function for non-relativistic RG flow","feed_subtitle":"Holographic proof shows the count of degrees of freedom falls along Lifshitz and hyperscaling-violating flows.","key_machinery":"The central object is the timelike entanglement entropy defined by extremal surfaces anchored to a time interval, split into a spacelike part (real contribution) and a timelike part (imaginary contribution). The argument is carried by the identity $c = c_{\\mathrm{Re}} + c_{\\mathrm{Im}}$, whose derivative along the radial flow $r_m$ cancels the boundary terms because the spacelike and timelike surfaces merge smoothly in the deep IR ($t'^2_{\\mathrm{Re},b} \\simeq t'^2_{\\mathrm{Im},b}$, $T_\\infty \\to \\infty$), leaving the compact integral (20). The effective dimension $d_x$, fixed by scaling symmetry or by $d_{xr} = \\Lambda'(r_f)^2/(\\Lambda''(r_f) + B'(r_f)\\Lambda'(r_f))$, controls the sign of the integrand.","core_discovery":"The central discovery is that the combination $c = c_{\\mathrm{Re}} + c_{\\mathrm{Im}}$, with $c_{(\\mathrm{Im},\\mathrm{Re})} = t_{(\\mathrm{Im},\\mathrm{Re})}^{d_x}\\,\\partial S_{(\\mathrm{Im},\\mathrm{Re})}/\\partial t_{(\\mathrm{Im},\\mathrm{Re})}$, built from the real and imaginary parts of holographic timelike entanglement entropy, is monotonic along the holographic RG flow. The derivative with respect to the radial flow parameter reduces to $\\partial c/\\partial r_m = 2 e^{\\Lambda_m} T_\\infty^{d_x-1} d_x \\Lambda'_m \\int_0^{T/2} dt\\, \\frac{1}{\\Lambda'}\\bigl(\\frac{\\Lambda'}{d_x} - \\frac{\\Lambda''}{\\Lambda'} - B'\\bigr)$, which is nonnegative when the null energy conditions, thermodynamic stability, and $d_x \\le d_{xr}$ hold. The proof works in Poincaré-invariant theories as a consistency check, and extends to Lifshitz and hyperscaling-violating fixed points, where previous entanglement-entropy c-functions fail because entanglement monotonicity is violated.","pith_inferences":["A possible direct test is to compute the timelike pseudoentropy of a free non-relativistic field theory, such as a Lifshitz scalar at $z=2$, under a relevant perturbation and check whether $c$ is monotonic; this would probe the claim outside holography.","If the merging condition also holds in backgrounds with a horizon, the construction could yield an RG monotone for finite-temperature or finite-density systems, which the paper does not analyze.","The inequality $d_x \\le d_{xr}$ may be connected to a quantum-information bound in the dual theory, though the paper does not explore that link.","In confining geometries with IR walls the boundary terms may not cancel; checking whether monotonicity survives there would test the robustness of the construction."],"forward_implications":["If the claim holds, every homogeneous holographic theory satisfying the null energy conditions and thermodynamic stability has a monotonic c-function, extending the holographic c-theorem beyond Lorentz-invariant fixed points.","In Lifshitz theories the c-theorem reduces to $z \\ge z_r$ for a slowly varying Lifshitz exponent, giving a concrete constraint on allowed non-relativistic RG flows.","In hyperscaling-violating theories the monotonicity is tied to the effective spatial dimension $d-\\theta$, so the c-function sees the reduced dimensionality of modes.","Because the two definitions of the c-function are equivalent, the quantity can be read directly from the boundary time interval $T$ and the total timelike entropy $S$, which makes it a potentially observable probe.","The bounds on $\\partial c/\\partial T$ derived by the author show that the same conditions that guarantee monotonicity in $r_m$ also guarantee monotonicity when flowing to larger boundary time intervals."],"supporting_citations":[{"why":"Defines the holographic timelike entanglement entropy from extremal surfaces anchored on a boundary time interval, the object from which the c-function is built.","marker":"[16]"},{"why":"Studies timelike entanglement entropy in non-conformal theories and phase transitions, supplying the extremal-surface behavior used in this paper.","marker":"[18]"},{"why":"Derives timelike entanglement entropy in non-relativistic theories and the normal-vector condition that yields the smooth merging of the spacelike and timelike surfaces.","marker":"[21]"},{"why":"The prior holographic c-theorem for anisotropic RG flows from entanglement entropy that fails in non-Lorentz-invariant theories, the problem the paper addresses.","marker":"[12]"},{"why":"Shows that entanglement entropy does not generally decrease under renormalization, motivating the need for a new quantity.","marker":"[15]"},{"why":"Establishes the holographic entanglement-entropy c-function construction that the proposed timelike c-function extends.","marker":"[6]"},{"why":"Refines entanglement entropy as a measure of degrees of freedom, guiding the definition of the c-function's components.","marker":"[11]"},{"why":"The holographic c-theorem for Poincaré-invariant RG flows, used as the consistency check for the timelike c-function.","marker":"[4]"}],"fun_headline_variants":["Timelike entropy c-function monotonic for non-relativistic RG","Monotonic c-function from timelike entropy for non-relativistic RG","Holographic timelike entropy yields monotonic c-function for Lifshitz flows","Timelike entanglement c-function monotonic without Lorentz invariance"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of monotonicity assumes the spacelike and timelike extremal surfaces meet smoothly at a deep-infrared point, with no horizon or infrared wall, so the boundary terms in the derivative cancel exactly.","fun_headline_variants_meta":{"raw":{"variants":["Timelike entropy c-function monotonic for non-relativistic RG","Monotonic c-function from timelike entropy for non-relativistic RG","Holographic timelike entropy yields monotonic c-function for Lifshitz flows","Timelike entanglement c-function monotonic without Lorentz invariance"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000848,"raw_usage":{"total_tokens":3708,"prompt_tokens":984,"completion_tokens":2724,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":600,"completion_tokens_details":{"reasoning_tokens":2647}},"tokens_in":600,"tokens_out":2724,"duration_ms":18426,"temperature":1.0,"reasoning_tokens":2647,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T13:52:55.686270+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a homogeneous holographic background that satisfies the null energy conditions and thermodynamic stability but contains a horizon or infrared wall, compute $\\partial c/\\partial r_m$ and search for a sign change or non-monotonicity in $c$; a concrete counterexample would settle the generality of the claim.","supporting_citations":[{"cited_title":"The Renormalization Group: Crit- ical Phenomena and the Kondo Problem,","cited_arxiv_id":null,"evidence_quote":"Studies timelike entanglement entropy in non-conformal theories and phase transitions, supplying the extremal-surface behavior used in this paper."},{"cited_title":"Irreversibility of the Flux of the Renormalization Group in a 2D Field Theory,","cited_arxiv_id":null,"evidence_quote":"Establishes the holographic entanglement-entropy c-function construction that the proposed timelike c-function extends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The holographic c-theorem for Poincaré-invariant RG flows, used as the consistency check for the timelike c-function."}],"review_version":1}