REVIEW 1 major objections 3 minor 2 cited by
Correlation functions of von Neumann entropy
T0 review · 1 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read This paper aims to show that correlation functions of modular Hamiltonians generalize von Neumann entropy to higher points and, for ball-shaped regions in vacuum CFTs, equal the stress-tensor conformal block.
desk verdict Direct d=2 and large-a d=4 checks support the main claim, but the printed d=4 tau-zero formula appears not to be the conformal block, so the second check is unverifiable as written. 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 modular Hamiltonian K of a ball, whose connected part ΔK = K − ⟨K⟩ is given in the vacuum by a local integral of the stress-tensor component T00 over the ball with weight ($L^{2}$−$x^{2}$)/(2L). The argument's engine is the previously established equivalence between ΔK and the stress-tensor OPE block for operators at the tips of the causal diamond, combined with the known stress-tensor conformal block for pairwise-identical external operators. The paper evaluates the integrated stress-tensor two-point function directly and shows the resulting expression has the same analytic form as the block in the cross ratios z = $4L^{2}$/(a−iτ)^2 and z̄.
What would settle it
Evaluate the d=4 connected correlator (or the corresponding stress-tensor block) to higher order in L/a at fixed τ≠0, or numerically at intermediate separation, and test whether the two series agree term by term; a mismatch, or the appearance of a branch cut when the cross ratio z = $4L^{2}$/(a−iτ)^2 is continued around z=0, would break the claimed equality.
Extended reading notes
Core claim
In general quantum systems, the connected correlator ⟨K1K2⟩c of two modular Hamiltonians vanishes when either subsystem has a flat entanglement spectrum, and the full correlator is nonnegative and vanishes if and only if one subsystem is pure; these properties mirror those of von Neumann entropy and entanglement capacity. In the vacuum of a CFT, for two codimension-one balls separated by a spacetime vector, the connected two-point function is identified with the stress-tensor conformal block of an associated four-point function, with proportionality constant $π^{2}$ C_T/36 in d=2. The paper proves this by direct integration using the known local expression for ΔK as a weighted integral of T00, and checks it in d=4 against large-separation and imaginary-time series expansions, while leaving equality in the full complex time plane to future work.
Load-bearing premise
The main assumption is that the local Lorentzian expression for the modular Hamiltonian, Eq. (12), can be analytically continued to subregions separated in imaginary time without picking up contact terms or branch-cut contributions; the nonzero-imaginary-time checks cover only the first few orders of an expansion, not the full complex time plane.
Editorial extensions
If this is right
- Connected two-point functions of modular Hamiltonians for ball regions can be obtained from known conformal-block data without replica calculations.
- In holographic CFTs, ⟨K1K2⟩c gives a finite, gauge-invariant definition of bulk area-fluctuation correlators, extending the one-point capacity/area relation to two regions.
- Analytical continuation to imaginary-time-separated subregions produces finite results that match the stress-tensor block, providing data for timelike-separated entanglement measures.
- Higher-point correlators of modular Hamiltonians inherit similar nonnegativity and vanishing properties, generalizing entanglement capacity to multipartite settings.
- The d=2 exact equality fixes the proportionality coefficient and gives a benchmark for checking proposed modular-Hamiltonian/OPE-block relations beyond the one-point level.
Reading between the lines
- If the block equality holds generally, modular-Hamiltonian correlators in any CFT with known stress-tensor OPE data could be computed purely from conformal-block sums, making multipartite entanglement measures accessible to bootstrap methods.
- The imaginary-time checks suggest the analytic continuation may be free of branch cuts, but only to a few orders in an expansion; a full proof would require showing the integrated correlator and the block satisfy the same differential equation with matching boundary conditions on a larger domain.
- In holographic settings, the identification could be tested against semiclassical gravity by computing the gravitational dual of the two-ball modular correlation function and comparing its large-N expansion.
- For non-spherical or non-ball subregions, where the local form of the modular Hamiltonian is unknown, the general inequalities of Section II would still constrain the correlator and could serve as consistency checks on proposed modular-Hamiltonian ansätze.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies correlation functions of modular Hamiltonians K_i for distinct subsystems, establishing several general properties (non-negativity, vanishing conditions for flat entanglement spectra or pure states) and then specializing to vacuum CFT_d with two spherical subregions. Using the local expression for the modular Hamiltonian (12) and the stress-tensor two-point function (14), the authors compute the connected two-point function ⟨K_1 K_2⟩_c exactly in d=2 (Eq. (17)) and in a large-separation series and a closed form for overlapping balls in d=4 (Eqs. (23) and (32)). They compare these results to the stress-tensor conformal block, claiming a proportionality π² C_T / 36 in d=2 and a matching expansion in d=4, including for imaginary time separation.
Significance. If the central claim holds, modular Hamiltonian two-point functions become computable from conformal block data, linking entanglement measures to the conformal bootstrap and, holographically, to bulk area fluctuations. The d=2 exact computation is a clean, directly verifiable check, and the general properties of Section II are useful and clearly presented. The direct integral approach is reproducible for the quantities computed from (12) and (14). However, the d=4 comparison is currently invalid as printed because Eq. (34) is not the stress-tensor conformal block, so one of the two checks supporting the central claim is not established in the text.
major comments (1)
- [III.B, Eq. (34)] The closed form for g_{4,2}(z,\bar z) given in Eq. (34) is not the d=4 stress-tensor conformal block. For instance, at z=0.1, \bar z=0.2, Eq. (34) evaluates to approximately -4.7×10^2, whereas the standard formula (33) with k_β defined in Eq. (19) gives approximately 2×10^-3. In the coincident limit z=\bar z=s→0, Eq. (33) behaves as O(s^4) for a Δ=4,J=2 block, while Eq. (34) as written gives O(s^2). Consequently, the expansion in Eq. (35) does not follow from the printed formula, and the claimed match to Eq. (23) for τ≠0 is not reproducible from the text. The authors should correct Eq. (34)—possibly by interchanging the two logarithms and changing the constant from +6 to -6—and then re-derive Eq. (35) to verify the comparison.
minor comments (3)
- [II, Eq. (8)] The four-index notation ρ_{ab;cd} in the proof of Eq. (7) is nonstandard and the trace operation is not clearly defined; the joint density matrix should be written as ρ_{(a,c),(b,d)}, with ρ1_{ab} = ∑_c ρ_{(a,c),(b,c)}. Please revise this proof for clarity.
- [III.A, Eq. (17)] The logarithms in Eq. (17) involve complex arguments; the branch choice for log(1-z) and log(1-\bar z) should be stated explicitly, especially since the expression is later compared with the conformal block in the complex z, \bar z plane.
- [III.B, Eq. (30)] In Eq. (30), the expression for the angular prefactor is compact but hard to follow; for readability, define the volume of the unit n-sphere before the integral and include the d=4 specialization of the prefactor explicitly.
Circularity Check
No significant circularity: the correlation-function computation is an independent direct integral over the modular-Hamiltonian density and the stress-tensor two-point function, with no fitted constants; the main caveats concern the printed d=4 block formula and normalization, not circular reasoning.
full rationale
The paper's central derivation is not circular. In d=2, Eq. (17) is obtained by directly integrating Eq. (12) against the known stress-tensor two-point function Eq. (14), and the result is then compared to the stress-tensor conformal block Eq. (22) quoted from [48,49]; the overall coefficient pi^2 C_T/36 emerges from the integral rather than being fitted. In d>2, the large-separation expansion Eq. (23) and the overlapping-balls expression Eq. (32) are likewise evaluated from the same integral, and the claimed equality to the block is a comparison of independently derived series. The relation to OPE blocks from [19,20] is used to motivate the comparison and to identify the relevant cross-ratio configuration, but it is not an input to the integral that produces the correlator. No parameter is tuned to force agreement, and the proportionality constant is not absorbed into a fit. The only self-citation is reference [37], which appears in a list of related work on area-fluctuation observables and is not load-bearing for the paper's claims. The paper explicitly states a scope limitation: 'We leave exploring equality in the full complex time plane to future work,' which indicates a partial check rather than a circularly enforced result. A reader should note that the d=4 block formula Eq. (34), as printed, does not appear to reproduce the standard stress-tensor block: in the coincident limit z=zbar=s it behaves as -30 s^2 rather than O(s^4), and matching Eq. (35) to Eq. (23) would require C_T = 3600/pi^4. This is a reproducibility and correctness concern for one of the d=4 checks, not a circularity of the derivation chain.
Assumptions & free parameters
assumptions (4)
- domain assumption Finite-dimensional Hilbert spaces and density matrices with normalization tr ρ = 1 for the general properties in Section II.
- domain assumption For a ball in CFT vacuum, the modular Hamiltonian equals 2π times the spatial integral of (L² - x²)/(2L) T00, from Casini-Huerta-Myers and Bisognano-Wichmann.
- domain assumption The vacuum stress-tensor two-point function takes the standard form of Eq. (14) with dimensionless constant C_T.
- domain assumption The cross-ratio configuration can be Wick rotated to the causal-diamond tips without crossing branch cuts, so the conformal block is unchanged under the analytic continuation.
Cite this review
Pith. "Pith review of Correlation functions of von Neumann entropy." pith.science (2026). https://pith.science/paper/TNOODWC2
@misc{pith2026250610917,
author = {Pith},
title = {Pith review of: Correlation functions of von Neumann entropy},
year = {2026},
howpublished = {\url{https://pith.science/paper/TNOODWC2}},
note = {Machine review of arXiv:2506.10917}
}
read the original abstract
In this note, we study two-point correlation functions of modular Hamiltonians. We show that in general quantum systems, these correlators obey properties similar to those of von Neumann entropy and capacity of entanglement, both of which are special cases of these correlators. Then we specialize to two spacelike-separated spherical subregions in conformal field theories. We present direct computations of the vacuum two-point function that confirm its equivalence to the stress-tensor conformal block. We explore the two-point function in various kinematic regimes, including imaginary time separation between subsystems. The material presented in this note may be useful for further studying modular Hamiltonian correlators in generic quantum systems and in conformal field theories, including those with holographic duals.
Forward citations
Cited by 2 Pith papers
-
Relative entropy for $\lambda \phi^4$ in the Rindler wedge
Relative entropy of vacuum vs coherent state for λφ⁴ in the Rindler wedge equals the classical interacting boost charge to O(λ) and obeys the Bekenstein bound.
-
Composite AdS geodesics for CFT correlators and timelike entanglement entropy
A bulk extremization prescription produces composite timelike-spacelike geodesics whose complex length exactly matches CFT two-point functions at timelike separation, including behind the BTZ horizon.
Reference graph
Works this paper leans on
-
[23]
Correlation function of modular Hamiltonians
J. Long, Correlation function of modular Hamiltonians, JHEP 11, 163, arXiv:1907.00646 [hep- th]
work page Pith review arXiv 1907
-
[1]
Witten, ed., Gravitation: An Introduction to Current Research (Wiley, 1962)
L. Witten, ed., Gravitation: An Introduction to Current Research (Wiley, 1962)
work page 1962
-
[2]
J. De Vuyst, S. Eccles, P. A. Hoehn, and J. Kirklin, Gravitational entropy is observer- dependent, (2024), arXiv:2405.00114 [hep-th]
arXiv 2024
-
[3]
Maldacena, Real observers solving imaginary problems, (2024), arXiv:2412.14014 [hep-th]
J. Maldacena, Real observers solving imaginary problems, (2024), arXiv:2412.14014 [hep-th]
arXiv 2024
-
[4]
J. M. Maldacena, The Large N limit of superconformal field theories and supergravity, Adv. Theor. Math. Phys. 2, 231 (1998), arXiv:hep-th/9711200
arXiv 1998
-
[5]
M. Takesaki, Tomita’s Theory of Modular Hilbert Algebras and its Applications, Lecture Notes in Mathematics (Springer-Verlag, 1970)
work page 1970
- [6]
-
[7]
V. E. Hubeny, M. Rangamani, and T. Takayanagi, A Covariant holographic entanglement entropy proposal, JHEP 07, 062, arXiv:0705.0016 [hep-th]
Show all 50 references
-
[8]
Engelhardt and A
N. Engelhardt and A. C. Wall, Quantum Extremal Surfaces: Holographic Entanglement En- tropy beyond the Classical Regime, JHEP 01, 073, arXiv:1408.3203 [hep-th]
-
[9]
Penington, Entanglement Wedge Reconstruction and the Information Paradox, JHEP 09, 002, arXiv:1905.08255 [hep-th]
G. Penington, Entanglement Wedge Reconstruction and the Information Paradox, JHEP 09, 002, arXiv:1905.08255 [hep-th]
1905 arXiv
-
[10]
Almheiri, N
A. Almheiri, N. Engelhardt, D. Marolf, and H. Maxfield, The entropy of bulk quantum fields and the entanglement wedge of an evaporating black hole, JHEP 12, 063, arXiv:1905.08762 13 [hep-th]
1905 arXiv
-
[11]
S. A. W. Leutheusser and H. Liu, Emergent Times in Holographic Duality, Phys. Rev. D 108, 086020 (2023), arXiv:2112.12156 [hep-th]
2023 arXiv
-
[12]
Leutheusser and H
S. Leutheusser and H. Liu, Subregion-subalgebra duality: emergence of space and time in holography, (2022), arXiv:2212.13266 [hep-th]
2022 arXiv
-
[13]
K. Doi, J. Harper, A. Mollabashi, T. Takayanagi, and Y. Taki, Pseudoentropy in dS/CFT and Timelike Entanglement Entropy, Phys. Rev. Lett. 130, 031601 (2023), arXiv:2210.09457 [hep-th]
2023 arXiv
-
[14]
K. Doi, J. Harper, A. Mollabashi, T. Takayanagi, and Y. Taki, Timelike entanglement entropy, JHEP 05, 052, arXiv:2302.11695 [hep-th]
-
[15]
D. L. Jafferis and L. Lamprou, Inside the hologram: reconstructing the bulk observer’s expe- rience, JHEP 03, 084, arXiv:2009.04476 [hep-th]
2009 arXiv
-
[16]
de Boer, D
J. de Boer, D. L. Jafferis, and L. Lamprou, On black hole interior reconstruction, singularities and the emergence of time, (2022), arXiv:2211.16512 [hep-th]
2022 arXiv
-
[17]
Faulkner, R
T. Faulkner, R. G. Leigh, O. Parrikar, and H. Wang, Modular Hamiltonians for Deformed Half-Spaces and the Averaged Null Energy Condition, JHEP 09, 038, arXiv:1605.08072 [hep- th]
-
[18]
Hartman, S
T. Hartman, S. Kundu, and A. Tajdini, Averaged Null Energy Condition from Causality, JHEP 07, 066, arXiv:1610.05308 [hep-th]
-
[19]
Czech, L
B. Czech, L. Lamprou, S. McCandlish, B. Mosk, and J. Sully, Equivalent Equations of Motion for Gravity and Entropy, JHEP 02, 004, arXiv:1608.06282 [hep-th]
-
[20]
Czech, L
B. Czech, L. Lamprou, S. McCandlish, B. Mosk, and J. Sully, A Stereoscopic Look into the Bulk, JHEP 07, 129, arXiv:1604.03110 [hep-th]
-
[21]
de Boer, F
J. de Boer, F. M. Haehl, M. P. Heller, and R. C. Myers, Entanglement, holography and causal diamonds, JHEP 08, 162, arXiv:1606.03307 [hep-th]
-
[22]
S´ arosi and T
G. S´ arosi and T. Ugajin, Modular Hamiltonians of excited states, OPE blocks and emergent bulk fields, JHEP 01, 012, arXiv:1705.01486 [hep-th]
-
[24]
Long, Area law and OPE blocks in conformal field theory, SciPost Phys
J. Long, Area law and OPE blocks in conformal field theory, SciPost Phys. Proc. 4, 013 (2021), arXiv:2012.14141 [hep-th]. 14
2021 arXiv
-
[25]
Long, Area law of connected correlation function in higher dimensional conformal field theory, JHEP 02, 110, arXiv:2007.15380 [hep-th]
J. Long, Area law of connected correlation function in higher dimensional conformal field theory, JHEP 02, 110, arXiv:2007.15380 [hep-th]
2007 arXiv
-
[26]
M. Nath, S. Sahoo, and D. Sarkar, Revisiting subregion holography using OPE blocks, Phys. Rev. D 111, 046009 (2025), arXiv:2406.09027 [hep-th]
2025 arXiv
-
[27]
E. P. Verlinde and K. M. Zurek, Observational signatures of quantum gravity in interferome- ters, Phys. Lett. B 822, 136663 (2021), arXiv:1902.08207 [gr-qc]
2021 arXiv
-
[28]
De Boer, J
J. De Boer, J. J¨ arvel¨ a, and E. Keski-Vakkuri, Aspects of capacity of entanglement, Phys. Rev. D 99, 066012 (2019), arXiv:1807.07357 [hep-th]
2019 arXiv
-
[29]
Faulkner and A
T. Faulkner and A. Lewkowycz, Bulk locality from modular flow, JHEP 07, 151, arXiv:1704.05464 [hep-th]
-
[30]
D. L. Jafferis, A. Lewkowycz, J. Maldacena, and S. J. Suh, Relative entropy equals bulk relative entropy, JHEP 06, 004, arXiv:1512.06431 [hep-th]
-
[31]
Hijano, P
E. Hijano, P. Kraus, E. Perlmutter, and R. Snively, Witten Diagrams Revisited: The AdS Geometry of Conformal Blocks, JHEP 01, 146, arXiv:1508.00501 [hep-th]
-
[32]
Balakrishnan and O
S. Balakrishnan and O. Parrikar, Modular Hamiltonians for Euclidean Path Integral States, (2020), arXiv:2002.00018 [hep-th]
2020 arXiv
-
[33]
Milekhin, Z
A. Milekhin, Z. Adamska, and J. Preskill, Observable and computable entanglement in time, (2025), arXiv:2502.12240 [quant-ph]
2025
-
[34]
Verlinde and K
E. Verlinde and K. M. Zurek, Spacetime Fluctuations in AdS/CFT, JHEP 04, 209, arXiv:1911.02018 [hep-th]
1911 arXiv
-
[35]
Parikh and J
M. Parikh and J. Pereira, Quantum uncertainty in the area of a black hole, (2024), arXiv:2412.21160 [hep-th]
2024 arXiv
-
[36]
T. G. Mertens and G. J. Turiaci, Solvable models of quantum black holes: a review on Jackiw–Teitelboim gravity, Living Rev. Rel. 26, 4 (2023), arXiv:2210.10846 [hep-th]
2023 arXiv
-
[37]
Carney, M
D. Carney, M. Karydas, and A. Sivaramakrishnan, Response of interferometers to the vacuum of quantum gravity, (2024), arXiv:2409.03894 [hep-th]
2024 arXiv
-
[38]
Aalsma and S.-E
L. Aalsma and S.-E. Bak, Modular Fluctuations in Cosmology, (2025), arXiv:2503.04886 [hep-th]
2025 arXiv
-
[39]
Banks and K
T. Banks and K. M. Zurek, Conformal description of near-horizon vacuum states, Phys. Rev. D 104, 126026 (2021), arXiv:2108.04806 [hep-th]. 15
2021 arXiv
-
[40]
Banks and P
T. Banks and P. Draper, Generalized entanglement capacity of de Sitter space, Phys. Rev. D 110, 045025 (2024), arXiv:2404.13684 [hep-th]
2024 arXiv
-
[41]
Banks and W
T. Banks and W. Fischler, Fluctuations and Correlations in Causal Diamonds, (2023), arXiv:2311.18049 [hep-th]
2023 arXiv
-
[42]
Yao and X.-L
H. Yao and X.-L. Qi, Entanglement entropy and entanglement spectrum of the Kitaev model, Phys. Rev. Lett. 105, 080501 (2010), arXiv:1001.1165 [cond-mat.str-el]
2010 arXiv
-
[43]
Schliemann, Entanglement spectrum and entanglement thermodynamics of quantum Hall bilayers at ν=1, Phys
J. Schliemann, Entanglement spectrum and entanglement thermodynamics of quantum Hall bilayers at ν=1, Phys. Rev. B 83, 115322 (2011), arXiv:1008.5289 [cond-mat.mes-hall]
2011 arXiv
-
[44]
Casini, M
H. Casini, M. Huerta, and R. C. Myers, Towards a derivation of holographic entanglement entropy, JHEP 05, 036, arXiv:1102.0440 [hep-th]
-
[45]
J. J. Bisognano and E. H. Wichmann, On the duality condition for a Hermitian scalar field, J. Math. Phys. 16, 985 (1975)
1975
-
[46]
J. J. Bisognano and E. H. Wichmann, On the duality condition for quantum fields, J. Math. Phys. 17, 303 (1976)
1976
-
[47]
Osborn and A
H. Osborn and A. C. Petkou, Implications of conformal invariance in field theories for general dimensions, Annals Phys. 231, 311 (1994), arXiv:hep-th/9307010
1994 arXiv
-
[48]
F. A. Dolan and H. Osborn, Conformal four point functions and the operator product expan- sion, Nucl. Phys. B 599, 459 (2001), arXiv:hep-th/0011040
2001 arXiv
-
[49]
F. A. Dolan and H. Osborn, Conformal partial waves and the operator product expansion, Nucl. Phys. B 678, 491 (2004), arXiv:hep-th/0309180
2004 arXiv
-
[50]
Qiao, Classification of Convergent OPE Channels for Lorentzian CFT Four-Point Functions, SciPost Phys
J. Qiao, Classification of Convergent OPE Channels for Lorentzian CFT Four-Point Functions, SciPost Phys. 13, 093 (2022), arXiv:2005.09105 [hep-th]. 16
2022 arXiv
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.