pith. sign in

arxiv: 2412.13777 · v2 · submitted 2024-12-18 · 🪐 quant-ph

Reduced density matrix and entanglement Hamiltonian for a free real scalar field on an interval

Mikhail A. Baranov This is my paper

Pith reviewed 2026-05-23 06:59 UTC · model grok-4.3

classification 🪐 quant-ph
keywords reduced density matrixentanglement Hamiltonianfree scalar fieldmodular HamiltonianWilliamson decomposition1+1 dimensionsmass corrections
0
0 comments X

The pith

An exact reduced density matrix for a free scalar field on an interval determines the entanglement Hamiltonian with explicit mass corrections.

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

The paper derives an exact expression for the reduced density matrix of a 1+1 dimensional free real scalar field in its ground state when restricted to a finite interval. Using the Williamson decomposition on the associated kernels, it recovers the known form of the entanglement Hamiltonian in the massless limit and identifies the leading non-local corrections proportional to 1 over ln M for small but nonzero mass. In the limit of very large mass, the entanglement Hamiltonian becomes local, with its density given by the field Hamiltonian density multiplied by a triangular function, accurate up to corrections of order M to the power -1/2.

Core claim

An exact result for the reduced density matrix on a finite interval for a 1+1 dimensional free real scalar field in the ground state is presented. In the massless case, the Williamson decomposition of the appearing kernels is explicitly performed, which allows to reproduce the known result for the entanglement (modular) Hamiltonian and, for a small mass M of the field, find the leading ∼1/lnM non-local corrections. In the opposite M→∞ case, it is argued that, up to terms O(M^{-1/2}), the entanglement Hamiltonian is local with the density being the Hamiltonian density spatially modulated by a triangular-shape function.

What carries the argument

Kernels from the ground-state two-point functions of the scalar field, decomposed via the Williamson theorem to extract the entanglement Hamiltonian.

If this is right

  • The massless limit exactly reproduces the known entanglement Hamiltonian.
  • Small but finite mass introduces non-local corrections that scale as 1/ln M to leading order.
  • In the infinite-mass limit the entanglement Hamiltonian is local up to O(M^{-1/2}) terms, with density modulated by a triangular function.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The exact kernel construction could be applied to other free fields or different boundary conditions to obtain similar mass-dependent forms.
  • Lattice discretizations of the scalar field could numerically test the predicted 1/ln M corrections and the triangular modulation at large mass.

Load-bearing premise

The standard canonical quantization and ground-state two-point functions of the free scalar field on an interval with appropriate boundary conditions remain valid when the reduced density matrix is constructed via the kernels.

What would settle it

A direct numerical computation of the reduced density matrix eigenvalues for small nonzero mass that fails to exhibit the predicted leading non-local corrections scaling as 1/ln M would falsify the result.

read the original abstract

An exact result for the reduced density matrix on a finite interval for a $1+1$ dimensional free real scalar field in the ground state is presented. In the massless case, the Williamson decomposition of the appearing kernels is explicitly performed, which allows to reproduce the known result for the entanglement (modular) Hamiltonian and, for a small mass $M$ of the field, find the leading $\sim1/\ln M$ non-local corrections. In the opposite $M\to\infty$ case, it is argued that, up to terms $O(M^{-1/2})$, the entanglement Hamiltonian is local with the density being the Hamiltonian density spatially modulated by a triangular-shape function.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript claims to derive an exact expression for the reduced density matrix of a free real scalar field in 1+1 dimensions on a finite interval in the ground state, using restricted two-point correlation kernels. In the massless limit, the Williamson decomposition is carried out explicitly, reproducing the known form of the entanglement Hamiltonian and yielding leading non-local corrections of order 1/ln M for small but nonzero mass. In the large-mass limit, an argument is given that the entanglement Hamiltonian becomes local up to corrections of order M^{-1/2}, with the local density modulated by a triangular function.

Significance. Should the central claims be verified, the paper would contribute a valuable exact result to the study of entanglement in quantum field theory on intervals. The explicit diagonalization in the massless case and the mass corrections provide testable predictions and insights into non-locality. The reproduction of known results in limits is a positive feature, lending credibility to the approach. The large-mass locality result, if made rigorous, would be of interest for understanding effective local theories in massive regimes.

major comments (1)
  1. [Large-mass limit discussion] Large-mass limit discussion: The argument that the entanglement Hamiltonian is local up to O(M^{-1/2}) with triangular modulation relies on the exponential decay of correlations but is presented without an explicit error estimate or derivation of the O(M^{-1/2}) bound. This is load-bearing for the M→∞ claim in the abstract and conclusion.
minor comments (2)
  1. [Notation and definitions] The definitions of the kernels used in the reduced density matrix construction could be stated more explicitly with reference to the canonical commutation relations to aid readability.
  2. [Small-mass corrections] Clarify how the leading 1/ln M term is extracted from the Williamson eigenvalues; an intermediate equation showing the expansion would help.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the positive assessment of its potential contribution. We address the single major comment below.

read point-by-point responses

  1. Referee: Large-mass limit discussion: The argument that the entanglement Hamiltonian is local up to O(M^{-1/2}) with triangular modulation relies on the exponential decay of correlations but is presented without an explicit error estimate or derivation of the O(M^{-1/2}) bound. This is load-bearing for the M→∞ claim in the abstract and conclusion.

    Authors: We agree that the large-mass limit section would be strengthened by an explicit error estimate. The argument in the manuscript proceeds from the known exponential decay of the two-point correlation functions (involving modified Bessel functions K_0(Mr) and K_1(Mr)) for large M, which suppresses non-local contributions across the interval. The triangular modulation arises from integrating the leading local term of the kernel over the finite interval, while the O(M^{-1/2}) scaling is identified from the leading asymptotic correction in the small-r expansion of these kernels. We acknowledge that a fully rigorous bound on the remainder term is not derived in the current text. In the revised manuscript we will add a dedicated paragraph (or short appendix) that makes this estimate explicit by bounding the integral remainder using the uniform exponential decay and the known asymptotics of the kernels. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper derives the reduced density matrix from the standard ground-state two-point correlation kernels of the free scalar field on an interval (with appropriate boundary conditions), then applies the Williamson decomposition explicitly to these kernels. This is a standard construction for Gaussian states in QFT and does not reduce any claimed result to a fitted parameter or self-citation chain by the paper's own equations. The massless limit reproduces an externally known result, while mass corrections follow directly from the exponential decay properties of the kernels; no load-bearing step is equivalent to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based on the abstract alone, the calculation rests on standard free-field quantization and the mathematical properties of the Williamson decomposition; no free parameters, ad-hoc axioms, or new entities are introduced.

axioms (1)
  • domain assumption Standard canonical quantization and ground-state correlators of a free real scalar field in 1+1 dimensions remain valid on a finite interval.
    Invoked implicitly when constructing the reduced density matrix from the field kernels.

pith-pipeline@v0.9.0 · 5634 in / 1454 out tokens · 34474 ms · 2026-05-23T06:59:30.845208+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [1]

    cosh(2πω) − 2ϕ1ϕ2 = r µω 2π sinh(2πω) exp −1 4 µω[tanh(πω)ϕ2 + + coth(πω)ϕ2 −] , where ϕ± = ϕ1 ± ϕ2. After introducing ϵ = 2πω, λ = coth(ϵ/2), and defining the mass as µ = 4π/(ϵλ), one obtains exp −1 2[λ−2ϕ2 + + ϕ2 −] 10 for the exponent in the above expression and 2π ˆH = 1 2 ϵ λ 2 ˆπ2 + 2 λ ˆϕ2 for the Hamiltonian (multiplied by 2 π). The canonical symm...

    work page

  2. [2]

    antidiagonal

    + δ(ln tan u 2 − ln tan v 2) i = π 8Λ sin u [δ(u + v − π) + δ(u − v)] . The correction to the field part of the entanglement Hamiltonian thus reads δ ˆHEϕ = 1 16Λ πˆ 0 du sin(u)[ˆϕ2 u + ˆϕu ˆϕπ−u] = 1 16Λ 1ˆ −1 dx[ˆϕ2 x + ˆϕx ˆϕ−x] = 1 32Λ 1ˆ −1 dx(ˆϕx + ˆϕ−x)2. It is worth to mention that the above expression can be rewritten as δ ˆHEϕ = 1 16Λ    1¨ −...

    work page

  3. [3]

    ϵ(0) s λ(0) s 2 # = − 1 2E(0) s

    − 1 cosh(πs) for the kernel Q0(u, v) in Section V. Let us consider the above integral as a contour one in the complex plane of s over the real axis. After noting that the integrand is analytic at s = 0, we deform the contour of the integration from the real axis into the contour C which consists of two parts of the real axis ( −∞, −ϵ] and [ϵ, ∞) connected...

    work page

  4. [4]

    Amico, R

    L. Amico, R. Fazio, A. Osterloh, and V. Vedral, Rev. Mod. Phys. 80, 517 (2008)

    work page 2008

  5. [5]

    Eisert, M

    J. Eisert, M. Cramer, and M. B. Plenio, Rev. Mod. Phys. 82, 277 (2010)

    work page 2010

  6. [6]

    Laflorencie, Physics Reports 646, 1 (2016)

    N. Laflorencie, Physics Reports 646, 1 (2016)

    work page 2016

  7. [7]

    Dalmonte, V

    M. Dalmonte, V. Eisler, M. Falconi, and B. Vermersch, Annalen der Physik 534, 2200064 (2022), https://onlinelibrary.wiley.com/doi/pdf/10.1002/andp.202200064

    work page doi:10.1002/andp.202200064 2022

  8. [8]

    Li and F

    H. Li and F. D. M. Haldane, Phys. Rev. Lett. 101, 010504 (2008)

    work page 2008

  9. [9]

    J. J. Bisognano and E. H. Wichmann, J. Math. Phys. 16, 985 (1975)

    work page 1975

  10. [10]

    J. J. Bisognano and E. H. Wichmann, J. Math. Phys. 17, 303 (1976)

    work page 1976

  11. [11]

    R. E. Arias, D. D. Blanco, H. Casini, and M. Huerta, Phys. Rev. D 95, 065005 (2017)

    work page 2017

  12. [12]

    Davies, Physica A: Statistical Mechanics and its Applications 154, 1 (1988)

    B. Davies, Physica A: Statistical Mechanics and its Applications 154, 1 (1988)

    work page 1988

  13. [13]

    T. T. Truong and I. Peschel, Zeitschrift f¨ ur Physik B Condensed Matter 75, 119 (1989)

    work page 1989

  14. [14]

    Peschel, M

    I. Peschel, M. Kaulke, and r. Legeza, Annalen der Physik 511, 153 (1999)

    work page 1999

  15. [15]

    Peschel, Journal of Statistical Mechanics: Theory and Experiment 2004, P12005 (2004)

    I. Peschel, Journal of Statistical Mechanics: Theory and Experiment 2004, P12005 (2004)

    work page 2004

  16. [16]

    Eisler, G

    V. Eisler, G. D. Giulio, E. Tonni, and I. Peschel, Journal of Statistical Mechanics: Theory and Experiment 2020, 103102 (2020)

    work page 2020

  17. [17]

    P. D. Hislop and R. Longo, Communications in Mathematical Physics 84, 71 (1982)

    work page 1982

  18. [18]

    Casini, M

    H. Casini, M. Huerta, and R. C. Myers, Journal of High Energy Physics 2011, 36 (2011)

    work page 2011

  19. [19]

    Cardy and E

    J. Cardy and E. Tonni, Journal of Statistical Mechanics: Theory and Experiment 2016, 123103 (2016)

    work page 2016

  20. [20]

    R. E. Arias, H. Casini, M. Huerta, and D. Pontello, Phys. Rev. D 98, 125008 (2018)

    work page 2018

  21. [21]

    Casini and M

    H. Casini and M. Huerta, Classical and Quantum Gravity 26, 185005 (2009)

    work page 2009

  22. [22]

    Peschel and M.-C

    I. Peschel and M.-C. Chung, Journal of Physics A: Mathematical and General 32, 8419 (1999)

    work page 1999

  23. [23]

    Botero and B

    A. Botero and B. Reznik, Phys. Rev. A 70, 052329 (2004)

    work page 2004

  24. [24]

    Peschel and V

    I. Peschel and V. Eisler, Journal of Physics A: Mathematical and Theoretical 42, 504003 (2009)

    work page 2009

  25. [25]

    Eisler and I

    V. Eisler and I. Peschel, Journal of Statistical Mechanics: Theory and Experiment 2018, 104001 (2018)

    work page 2018

  26. [26]

    G. D. Giulio and E. Tonni, Journal of Statistical Mechanics: Theory and Experiment 2020, 033102 (2020)

    work page 2020

  27. [27]

    Eisler, E

    V. Eisler, E. Tonni, and I. Peschel, Journal of Statistical Mechanics: Theory and Experiment 2022, 083101 (2022)

    work page 2022

  28. [28]

    R. E. Arias, H. Casini, M. Huerta, and D. Pontello, Phys. Rev. D 96, 105019 (2017)

    work page 2017

  29. [29]

    McLachlan, Theory and Application of Mathieu Functions (Clarendon Press, 1947)

    N. McLachlan, Theory and Application of Mathieu Functions (Clarendon Press, 1947)

    work page 1947

  30. [30]

    Peschel, Journal of Physics A: Mathematical and General 36, L205 (2003)

    I. Peschel, Journal of Physics A: Mathematical and General 36, L205 (2003)

    work page 2003

  31. [31]

    S. F. W. Meixner J., Mathieusche Funktionen und Sph¨ aroidfunktionen Mit Anwendungen auf Physikalische und Technis- che Problemen, in Reihe Grundlehren der mathematischen Wissenschaften, Band 71 (Verlag Springer Berlin Heidelberg GMBH, 1954)

    work page 1954

  32. [32]

    Blanch, Trans

    G. Blanch, Trans. Amer. Math. Soc. 97, 357-366 (1960)

    work page 1960