REVIEW 4 major objections 4 minor 2 cited by
Holographic Timelike c-function
T0 review · 4 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Timelike entanglement entropy supplies a monotonic c-function for non-relativistic RG flows.
desk verdict New timelike-entanglement c-function with a real proof gap that narrows the claimed generality. 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 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.
What would settle it
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.
Extended reading notes
Core claim
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.
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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 (4)
- [Sec. 2 and Sec. 3.C, Eq. (19)] 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.
- [Sec. 3.C, Eq. (18)] 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.
- [Sec. 4.B.2, hyperscaling-violating subregime C] 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.
- [Sec. 3.E and Sec. 4.B.1, Eq. (31)] 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.
minor comments (4)
- [Sec. 1, paragraph 4] 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...'.
- [Sec. 4.B.1] 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 ilde r = e^r with deep IR r → −∞) should be stated explicitly.
- [Sec. 3, Eq. (10)] 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.
- [End Matter EM.2, Eq. (52)] 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.
Circularity Check
No significant circularity: the timelike c-function and its monotonicity are derived from the holographic entropy functional, with explicit geometric and energy conditions, not from fitted data or self-referential definitions.
full rationale
The paper's central object, c = t^dx ∂S/∂t in Eq. (10), is constructed directly from the holographic timelike entanglement entropy action (2), and its derivative along the RG flow is computed explicitly in Eqs. (15), (16), and (20) using the equations of motion, Leibniz rule, and integration by parts. The final monotonicity statement is conditional on the null energy conditions, thermodynamic stability, and the effective-dimension condition d_x ≤ d_xr, as made explicit in Eqs. (31) and the surrounding text. These are stated physical/geometric conditions, not parameters fitted to data, and the derivation does not assume the conclusion. The citation to the author's earlier work [21] supplies the geometric merging condition (18), but that condition is a property of the extremal surfaces used in the timelike entropy construction, not an assertion equivalent to the c-theorem itself. The paper also explicitly acknowledges the restriction to theories without horizons or IR walls, which is an honest limitation rather than a circularity. There are self-citations, but none is load-bearing in the sense that the claimed result reduces to those citations by construction. Overall, the derivation is self-contained once the geometric inputs and stated assumptions are accepted, and no circular step was identified.
Assumptions & free parameters
free parameters (2)
- dx (effective dimension) =
dx = (beta + alpha(d-2))/(beta-delta-1), e.g., dx = 1 + (d-2)/z for Lifshitz
- dxr (radial effective dimension) =
dxr = Lambda'(r_f)^2 / (Lambda''(r_f) + B'(r_f) Lambda'(r_f))
assumptions (5)
- domain assumption The bulk spacetime is homogeneous and can be written as ds^2 = -e^{2B} dt^2 + e^{2A} dx^2 + dr^2.
- domain assumption The null energy conditions (23) and (24) hold.
- domain assumption Thermodynamic stability, as expressed by the specific heat condition (26), holds.
- ad hoc to paper The spacelike and timelike extremal surfaces merge smoothly at r_b, with t'^2_{Re,b} ≈ t'^2_{Im,b} and T_Re ≈ T_Im ≈ infinity.
- domain assumption The UV boundary is at r = infinity, and the surface intersects the boundary orthogonally, so t'_{Re,∂} = 0.
Cite this review
Pith. "Pith review of Holographic Timelike c-function." pith.science (2026). https://pith.science/paper/CUH4OYNO
@misc{pith2026250520459,
author = {Pith},
title = {Pith review of: Holographic Timelike c-function},
year = {2026},
howpublished = {\url{https://pith.science/paper/CUH4OYNO}},
note = {Machine review of arXiv:2505.20459}
}
read the original abstract
The integration of high-energy degrees of freedom along the renormalization group (RG) flow in Poincar\'e-invariant theories can be captured by a monotonic c-function. For such theories, holographic monotonic c-functions have been constructed using entanglement entropy. However, in theories with broken Lorentz invariance, such constructions generally fail, reflecting both the violation of the entanglement RG monotonicity and its limitations in capturing certain properties of non-relativistic RG flows. Since many quantum many-body systems lack Lorentz invariance, it is of significant importance to identify a quantity that reflects the decrease in degrees of freedom along non-relativistic RG flows. We show that the recently introduced holographic timelike entanglement entropy naturally gives rise to a new c-function applicable to all such theories. We further demonstrate the existence of this c-function in theories with Lifshitz and hyperscaling-violating fixed points, showing that, provided the null energy conditions and thermodynamic stability are satisfied, the proposed c-function exhibits the expected monotonic behavior along the RG flow.
Forward citations
Cited by 2 Pith papers
-
Temporal Entanglement from Twist Correlators in 2d Conformal Field Theory and Holography
Timelike entanglement entropy in 2d CFT is defined by time-ordered twist correlators, whose holographic saddles are complex geodesics with smallest real length, and whose imaginary part counts causal-diamond crossings...
-
Entanglement measures for causally connected subregions and holography
Timelike separated subregions admit a transition-operator entropy, a complexified RT surface, and a timelike entanglement wedge cross section that equals half the analytically continued reflected entropy in AdS3/CFT2.
Reference graph
Works this paper leans on
-
[21]
Timelike entanglement entropy,
Kazuki Doi, Jonathan Harper, Ali Mollabashi, Tadashi Takayanagi, and Yusuke Taki, “Timelike entanglement entropy,” JHEP05, 052 (2023), arXiv:2302.11695 [hep- th]
arXiv 2023
-
[1]
Introduction.The renormalization group (RG) flow in quantum field theories reveals a rich structure and serves as a powerful tool for their analysis. One of its most well-known features is the existence of a so- called c-function, which decreases along RG flows and coincides with the central charge at the conformal fixed points of the theory. This propert...
-
[2]
Holographic Setup.We consider the homogeneous holographic spacetime in the following coordinate system ds2 d+1 =−e 2B(r) dt2 +e 2A(r)dx2 +dr 2 ,(1) whered−1 is the number of dimensions of the spatial plane spanned by⃗ xand the boundary of the space-time is taken to be atr→ ∞, without loss of generality. Ho- mogeneous spacetimes can always be diagonalized ...
arXiv 2025
-
[3]
Holographic Timelike c-function.The timelike entropy supports a holographic, monotonicc-function for any type of homogeneous theory. To construct a suitable function, we consider the derivatives oft s andS s, cor- responding to the timelike and spacelike surfaces, with respect to the turning pointr m of the timelike surface. We will demonstrate that a uni...
-
[4]
Holographic Timelikec-theorem. 4.A. Timelikec-theorem in Poincare Invariant Theories.Let us consider a conformal theory with A(r) =B(r), with a bulk geometry described by the metric (1). The evolution of the geometry along the RG flow is encoded in the conformal factorA(r). Such ge- ometries are typical solutions of Einstein gravity coupled to a scalar fi...
-
[5]
Discussion.We have constructed ac-function via holographic timelike entanglement entropy, applicable to non-relativistic theories. We demonstrated that non- Lorentz-invariant renormalization group flows obey time- like entanglement RG monotonicity, thereby establish- ing a deep connection between the two. This represents a significant improvement over pre...
-
[6]
Irreversibility of the Flux of the Renormalization Group in a 2D Field Theory,
A. B. Zamolodchikov, “Irreversibility of the Flux of the Renormalization Group in a 2D Field Theory,” JETP Lett.43, 730–732 (1986)
work page 1986
-
[7]
Is There a c Theorem in Four- Dimensions?
John L. Cardy, “Is There a c Theorem in Four- Dimensions?” Phys. Lett. B215, 749–752 (1988)
work page 1988
Show all 34 references
-
[8]
On Renor- malization Group Flows in Four Dimensions,
Zohar Komargodski and Adam Schwimmer, “On Renor- malization Group Flows in Four Dimensions,” JHEP12, 099 (2011), arXiv:1107.3987 [hep-th]
2011 arXiv
-
[9]
Renormalization group flows from holography supersymmetry and a c theorem,
D. Z. Freedman, S. S. Gubser, K. Pilch, and N. P. Warner, “Renormalization group flows from holography supersymmetry and a c theorem,” Adv. Theor. Math. Phys.3, 363–417 (1999), arXiv:hep-th/9904017
1999 arXiv
-
[10]
Holographic derivation of entanglement entropy from AdS/CFT,
Shinsei Ryu and Tadashi Takayanagi, “Holographic derivation of entanglement entropy from AdS/CFT,” Phys. Rev. Lett.96, 181602 (2006), arXiv:hep- th/0603001
2006
-
[11]
Aspects of Holo- graphic Entanglement Entropy,
Shinsei Ryu and Tadashi Takayanagi, “Aspects of Holo- graphic Entanglement Entropy,” JHEP08, 045 (2006), arXiv:hep-th/0605073
2006 arXiv
-
[12]
Seeing a c-theorem with holography,
Robert C. Myers and Aninda Sinha, “Seeing a c-theorem with holography,” Phys. Rev. D82, 046006 (2010), arXiv:1006.1263 [hep-th]
2010 arXiv
-
[13]
Holographic c- theorems in arbitrary dimensions,
Robert C. Myers and Aninda Sinha, “Holographic c- theorems in arbitrary dimensions,” JHEP01, 125 (2011), arXiv:1011.5819 [hep-th]
2011 arXiv
-
[14]
Towards a derivation of holographic entanglement en- tropy,
Horacio Casini, Marina Huerta, and Robert C. Myers, “Towards a derivation of holographic entanglement en- tropy,” JHEP05, 036 (2011), arXiv:1102.0440 [hep-th]
2011 arXiv
-
[15]
Some Calculable Contributions to Holographic Entan- glement Entropy,
Ling-Yan Hung, Robert C. Myers, and Michael Smolkin, “Some Calculable Contributions to Holographic Entan- glement Entropy,” JHEP08, 039 (2011), arXiv:1105.6055 [hep-th]
2011 arXiv
-
[16]
A Refinement of entangle- ment entropy and the number of degrees of freedom,
Hong Liu and Mark Mezei, “A Refinement of entangle- ment entropy and the number of degrees of freedom,” JHEP04, 162 (2013), arXiv:1202.2070 [hep-th]
2013 arXiv
-
[17]
c-Theorem for Anisotropic RG Flows from Holographic Entan- glement Entropy,
Chong-Sun Chu and Dimitrios Giataganas, “c-Theorem for Anisotropic RG Flows from Holographic Entan- glement Entropy,” Phys. Rev. D101, 046007 (2020), arXiv:1906.09620 [hep-th]
2020 arXiv
-
[18]
The Renormalization Group: Crit- ical Phenomena and the Kondo Problem,
Kenneth G. Wilson, “The Renormalization Group: Crit- ical Phenomena and the Kondo Problem,” Rev. Mod. Phys.47, 773 (1975)
1975
-
[19]
Constraints on renormal- ization group flows from holographic entanglement en- tropy,
Sera Cremonini and Xi Dong, “Constraints on renormal- ization group flows from holographic entanglement en- tropy,” Phys. Rev. D89, 065041 (2014), arXiv:1311.3307 [hep-th]
2014 arXiv
-
[20]
Entanglement does not generally de- crease under renormalization,
Brian Swingle, “Entanglement does not generally de- crease under renormalization,” J. Stat. Mech.1410, P10041 (2014), arXiv:1307.8117 [cond-mat.stat-mech]
2014 arXiv
-
[22]
Timelike entanglement entropy and pseudoentropies have been shown to contain valuable information about quan- tum field theories and their phase transitions, and are the subject of active recent research [18, 21, 23–29]
-
[23]
Timelike entanglement entropy and phase transitions in non-conformal theories,
Mir Afrasiar, Jaydeep Kumar Basak, and Dimitrios Giataganas, “Timelike entanglement entropy and phase transitions in non-conformal theories,” JHEP07, 243 (2024), arXiv:2404.01393 [hep-th]. 7
2024 arXiv
-
[24]
A c-theorem for the en- tanglement entropy,
H. Casini and M. Huerta, “A c-theorem for the en- tanglement entropy,” J. Phys. A40, 7031–7036 (2007), arXiv:cond-mat/0610375
2007 arXiv
-
[25]
Comments on Holo- graphic Entanglement Entropy and RG Flows,
Robert C. Myers and Ajay Singh, “Comments on Holo- graphic Entanglement Entropy and RG Flows,” JHEP 04, 122 (2012), arXiv:1202.2068 [hep-th]
2012 arXiv
-
[26]
Holographic timelike entanglement entropy in non-relativistic theories,
Mir Afrasiar, Jaydeep Kumar Basak, and Dimitrios Gi- ataganas, “Holographic timelike entanglement entropy in non-relativistic theories,” JHEP05, 205 (2025), arXiv:2411.18514 [hep-th]
2025 arXiv
-
[27]
Novel local CFT and exact results on perturbations of N=4 superYang Mills from AdS dynamics,
L. Girardello, M. Petrini, M. Porrati, and A. Zaffaroni, “Novel local CFT and exact results on perturbations of N=4 superYang Mills from AdS dynamics,” JHEP12, 022 (1998), arXiv:hep-th/9810126
1998 arXiv
-
[28]
Entangle- ment phase transition in holographic pseudo entropy,
Hiroki Kanda, Taishi Kawamoto, Yu-ki Suzuki, Tadashi Takayanagi, Kenya Tasuki, and Zixia Wei, “Entangle- ment phase transition in holographic pseudo entropy,” JHEP03, 060 (2024), arXiv:2311.13201 [hep-th]
2024 arXiv
-
[29]
Time-like en- tanglement entropy in AdS/BCFT,
Chong-Sun Chu and Himanshu Parihar, “Time-like en- tanglement entropy in AdS/BCFT,” JHEP06, 173 (2023), arXiv:2304.10907 [hep-th]
2023 arXiv
-
[30]
Thermal pseudo-entropy,
Pawel Caputa, Bowen Chen, Tadashi Takayanagi, and Takashi Tsuda, “Thermal pseudo-entropy,” JHEP01, 003 (2025), arXiv:2411.08948 [hep-th]
2025 arXiv
-
[31]
de Sitter space, extremal surfaces, and time entanglement,
K. Narayan, “de Sitter space, extremal surfaces, and time entanglement,” Phys. Rev. D107, 126004 (2023), arXiv:2210.12963 [hep-th]
2023 arXiv
-
[32]
Massless Lifshitz field theory for arbitrary z,
Jaydeep Kumar Basak, Adrita Chakraborty, Chong-Sun Chu, Dimitrios Giataganas, and Himanshu Parihar, “Massless Lifshitz field theory for arbitrary z,” JHEP05, 284 (2024), arXiv:2312.16284 [hep-th]
2024 arXiv
-
[33]
Field theory aspects ofη-deformed superstring background,
Dibakar Roychowdhury, “Field theory aspects ofη-deformed superstring background,” (2025), arXiv:2503.06294 [hep-th]
2025 arXiv
-
[34]
Timelike entan- glement entropy with gravitational anomalies,
Chong-Sun Chu and Himanshu Parihar, “Timelike entan- glement entropy with gravitational anomalies,” (2025), arXiv:2504.19694 [hep-th]. End Matter EM.1. The derivative of the c-function.In this section, we provide additional technical details on the derivation of the derivative...
2025 arXiv
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.