Pith. sign in

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 →

arxiv 2506.10917 v1 pith:TNOODWC2 submitted 2025-06-12 hep-th cond-mat.stat-mechcond-mat.str-elquant-ph

classification hep-thcond-mat.stat-mechcond-mat.str-elquant-ph
keywords modularHamiltonianvonNeumannentropyentanglementcapacityconformalblockOPEstresstensorspectrumAdS/CFT
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper argues that correlators of modular Hamiltonians, the negative logarithms of reduced density matrices, form a meaningful higher-point generalization of von Neumann entropy, with von Neumann entropy and entanglement capacity as special cases. For two spacelike-separated spherical subregions in a vacuum conformal field theory, the connected two-point function is claimed to be exactly the stress-tensor conformal block, making entanglement observables computable from standard OPE data. The authors verify the identification by direct integration in d=2, where the coefficient is $π^{2}$ C_T/36, and in d=4 in two kinematic limits, including subregions separated in imaginary time, a regime outside the original Lorentzian derivation.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 3 minor

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)
  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)
  1. [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.
  2. [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.
  3. [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

0 steps flagged · score 1.0 of 10

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 0 free parameters · 4 assumptions · 0 invented entities

The paper introduces no new entities and no fitted constants. It relies on established inputs: finite-dimensional density matrices, the known local form of the ball modular Hamiltonian from [44], the standard stress-tensor two-point function from [47], and standard conformal-block formulas from [48,49].

assumptions (4)
  • domain assumption Finite-dimensional Hilbert spaces and density matrices with normalization tr ρ = 1 for the general properties in Section II.
    Section II begins with finite-dimensional subsystems; the results are not proven for infinite-dimensional QFTs directly.
  • 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.
    Equation (12) is used for all CFT computations and is cited from [44-46].
  • domain assumption The vacuum stress-tensor two-point function takes the standard form of Eq. (14) with dimensionless constant C_T.
    Equation (14) is quoted from Osborn-Petkou [47] and is the input to every direct integral.
  • 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.
    Discussed after Eq. (22); used to equate the d=2 result with the block, but argued only by expansion around z=0.

how reviews work

0 comments
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.

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Relative entropy for $\lambda \phi^4$ in the Rindler wedge

    hep-th 2026-07 accept novelty 6.5 of 10

    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.

  2. Composite AdS geodesics for CFT correlators and timelike entanglement entropy

    hep-th 2025-11 conditional novelty 6.0 of 10

    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

50 extracted references · 8 canonical work pages · cited by 2 Pith papers

  1. [23]

    Correlation function of modular Hamiltonians

    J. Long, Correlation function of modular Hamiltonians, JHEP 11, 163, arXiv:1907.00646 [hep- th]

  2. [1]

    Witten, ed., Gravitation: An Introduction to Current Research (Wiley, 1962)

    L. Witten, ed., Gravitation: An Introduction to Current Research (Wiley, 1962)

  3. [2]

    De Vuyst, S

    J. De Vuyst, S. Eccles, P. A. Hoehn, and J. Kirklin, Gravitational entropy is observer- dependent, (2024), arXiv:2405.00114 [hep-th]

  4. [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]

  5. [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

  6. [5]

    Takesaki, Tomita’s Theory of Modular Hilbert Algebras and its Applications, Lecture Notes in Mathematics (Springer-Verlag, 1970)

    M. Takesaki, Tomita’s Theory of Modular Hilbert Algebras and its Applications, Lecture Notes in Mathematics (Springer-Verlag, 1970)

  7. [6]

    Ryu and T

    S. Ryu and T. Takayanagi, Holographic derivation of entanglement entropy from AdS/CFT, Phys. Rev. Lett. 96, 181602 (2006), arXiv:hep-th/0603001

  8. [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
  1. [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]

  2. [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]

  3. [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]

  4. [11]

    S. A. W. Leutheusser and H. Liu, Emergent Times in Holographic Duality, Phys. Rev. D 108, 086020 (2023), arXiv:2112.12156 [hep-th]

  5. [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]

  6. [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]

  7. [14]

    K. Doi, J. Harper, A. Mollabashi, T. Takayanagi, and Y. Taki, Timelike entanglement entropy, JHEP 05, 052, arXiv:2302.11695 [hep-th]

  8. [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]

  9. [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]

  10. [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]

  11. [18]

    Hartman, S

    T. Hartman, S. Kundu, and A. Tajdini, Averaged Null Energy Condition from Causality, JHEP 07, 066, arXiv:1610.05308 [hep-th]

  12. [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]

  13. [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]

  14. [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]

  15. [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]

  16. [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

  17. [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]

  18. [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]

  19. [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]

  20. [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]

  21. [29]

    Faulkner and A

    T. Faulkner and A. Lewkowycz, Bulk locality from modular flow, JHEP 07, 151, arXiv:1704.05464 [hep-th]

  22. [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]

  23. [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]

  24. [32]

    Balakrishnan and O

    S. Balakrishnan and O. Parrikar, Modular Hamiltonians for Euclidean Path Integral States, (2020), arXiv:2002.00018 [hep-th]

  25. [33]

    Milekhin, Z

    A. Milekhin, Z. Adamska, and J. Preskill, Observable and computable entanglement in time, (2025), arXiv:2502.12240 [quant-ph]

  26. [34]

    Verlinde and K

    E. Verlinde and K. M. Zurek, Spacetime Fluctuations in AdS/CFT, JHEP 04, 209, arXiv:1911.02018 [hep-th]

  27. [35]

    Parikh and J

    M. Parikh and J. Pereira, Quantum uncertainty in the area of a black hole, (2024), arXiv:2412.21160 [hep-th]

  28. [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]

  29. [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]

  30. [38]

    Aalsma and S.-E

    L. Aalsma and S.-E. Bak, Modular Fluctuations in Cosmology, (2025), arXiv:2503.04886 [hep-th]

  31. [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

  32. [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]

  33. [41]

    Banks and W

    T. Banks and W. Fischler, Fluctuations and Correlations in Causal Diamonds, (2023), arXiv:2311.18049 [hep-th]

  34. [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]

  35. [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]

  36. [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]

  37. [45]

    J. J. Bisognano and E. H. Wichmann, On the duality condition for a Hermitian scalar field, J. Math. Phys. 16, 985 (1975)

  38. [46]

    J. J. Bisognano and E. H. Wichmann, On the duality condition for quantum fields, J. Math. Phys. 17, 303 (1976)

  39. [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

  40. [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

  41. [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

  42. [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

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.