Pith. sign in

REVIEW 2 major objections 4 minor 32 references

Entanglement of a chiral scalar on the torus

T0 review · 2 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Pith's one-line read The paper derives the exact resolvent of the reduced-density-matrix operator for a chiral current on a circle at any temperature, and from it the entanglement and Rényi entropies of an interval.

desk verdict A promising resolvent-method paper for chiral scalars on the torus is undermined as printed by a trivial typo in Eq. (6.5) that zeroes out the claimed thermal correction. read the letter →

arxiv 2412.19332 v1 pith:VEXPJE2N submitted 2024-12-26 hep-th math-phmath.MPquant-ph

classification hep-thmath-phmath.MPquant-ph MSC 81T40
keywords entanglemententropyRényichiralscalarcurrentresolventmethodRiemann-HilbertproblemWeierstrassellipticfunctionstorus
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

The paper establishes an exact formula for the resolvent of the operator $G_V$ that controls the reduced density matrix of a chiral scalar (a chiral current) on a circle at arbitrary temperature. The resolvent is the key object because every function of the reduced density matrix, in particular the entanglement entropy, can be written as a contour integral of the resolvent. The authors solve the associated Riemann-Hilbert problem: find a function analytic on the complex torus minus the interval, with a prescribed jump across the interval and an extra contour condition that fixes the constant ambiguity. The resulting resolvent (equation (5.15)) is then integrated to give the entanglement entropy (equations (6.2)--(6.5)) and all Rényi entropies (equations (6.14)--(6.15)), recovering known plane and cylinder limits as checks. If correct, this supplies the first exact finite-temperature entanglement data for the chiral scalar on the circle and opens the way to the modular Hamiltonian.

What carries the argument

The mechanism is the Riemann-Hilbert reformulation of the resolvent equation. One looks for $S=G R f$, analytic on the torus with the interval removed, satisfying the jump condition $S_- - S_+ = (S_- - f)/\xi$ together with the vanishing contour condition (5.3). The solution starts from the ansatz $S_0 = e^{-ik\Omega} H(e^{ik\Omega_-}f)/(1-\xi)$, where $k=\frac{1}{2\pi}\log\frac{\xi}{1-\xi}+\frac{i}{2}$ and $\Omega(z)=\int_a^b dy\,\zeta(z-y)$, then adds the homogeneous solution $\Delta_0$ with a constant fixed by imposing (5.3); the ratio of contour integrals defines $\mu(y,k)$. The Weierstrass $\sigma$ function $\sigma$ supplies the quasiperiodic zero structure that makes the jump conditions and endpoint behavior work on the torus, replacing the polynomial falloff used on the plane.

What would settle it

On a fine one-dimensional lattice, numerically solve the integral equation $(G_V-\xi)R f=f$ for a test function $f$ and compare with the kernel (5.15); a mismatch in the $x\neq y$ part at finite $\xi$ would refute the resolvent formula. A cheaper check is to evaluate the contour integral $I(a,k)$ in (5.14) over a grid of $k$: if it vanishes anywhere, the ratio $\mu$ in (5.13) is singular and (5.15) cannot hold.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central result is the exact kernel (5.15) for the resolvent $R(x,y;\xi)=(G_V-\xi)^{-1}(x,y)$ of the operator $G_V$ built from the two-point function of the chiral current on a torus of spatial length $L$ and inverse temperature $\beta$. The kernel is expressed through Weierstrass functions: a $\sigma$-function ratio gives the plane-like part, and the function $\mu(y,k)$, defined by the contour integral (5.13)--(5.14), encodes the periodic torus corrections and fixes the solution uniquely. From this resolvent the paper derives the entanglement entropy $S=\frac{1}{6}\log\frac{\sigma(\ell)}{\epsilon}+\Delta S$, with $\Delta S$ given by a real, finite double integral (6.5), and the Rényi entropies (6.14)--(6.15). The authors verify that the formula reduces to the known CFT results on the plane and cylinder, and that the Rényi entropies decrease monotonically in $n$.

Load-bearing premise

The derivation relies on the assertion that the Riemann-Hilbert problem has a unique solution: the homogeneous version must have exactly a one-dimensional space of solutions, and the contour map (5.9) that encodes condition (5.3) must be injective; if either of these fails, the resolvent kernel (5.15) and the entropies derived from it would be incorrect.

Editorial extensions

If this is right

  • The resolvent (5.15) determines every function of the reduced density matrix, not only the entropy, so other modular quantities for the chiral scalar on a circle are in principle computable.
  • The entropy formula (6.2)--(6.5) reduces to the known cylinder result $S=\frac{1}{6}\log\left(\frac{P}{\pi\epsilon}\sin\frac{\pi\ell}{P}\right)$ when one torus period becomes infinite, matching the vacuum-on-circle and thermal-on-line limits.
  • The Rényi entropies (6.14)--(6.15) are real, finite, and decrease monotonically in $n$, and they reduce to the entanglement entropy as $n\to 1$.
  • The same resolvent feeds the modular Hamiltonian through (7.2), so the remaining obstacle to that object is the asymptotic control of $\mu$ near the spectral edges.

Reading between the lines

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

  • A direct numerical test is available: build $G_V$ on a fine discretization of the circle from the two-point function (3.8), find its spectrum, and compare with the poles of (5.15); any discrepancy would localize to the contour function $\mu$, the only numerically defined ingredient.
  • The method of images, made precise for the chiral fermion, suggests that the single-interval torus resolvent is equivalent to an infinite periodic stack of intervals on the plane; if so, the torus modular Hamiltonian should inherit the nonlocal structure found for two intervals on the plane.
  • The same Riemann-Hilbert strategy should transfer to other Gaussian fields on the torus, since only the kernel's pole structure and the jump data would change.
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

2 major / 4 minor

Summary. The paper computes the entanglement entropy and Rényi entropies of an interval for a chiral scalar field on a circle at arbitrary temperature. The authors express the entropy in terms of the resolvent of an operator constructed from the two-point function, and they solve the associated Riemann-Hilbert problem on the complex torus using Weierstrass elliptic functions. The main results are the resolvent formula (5.15), the entropy formula (6.2)-(6.5), and the Rényi entropy formula (6.14)-(6.15). The plane and cylinder limits are checked against known results, and the entropy integrals are claimed to be real, finite, and numerically verified.

Significance. If the results are correct, this is a substantial technical contribution: it provides an exact resolvent for the chiral current at arbitrary temperature, from which arbitrary functions of the reduced density matrix can in principle be computed, and it gives explicit Rényi entropies as well as entanglement entropy. The derivation is largely self-contained, and the reproduction of the known plane result (4.21) and the cylinder result (6.10) are strong consistency checks. A limitation is that the torus resolvent depends on the function µ, which is defined only implicitly by the contour integral (5.14); for the general torus the final entropy is therefore an integral representation requiring numerical evaluation rather than a closed elementary expression. The paper also goes beyond the particular observable by explaining how the resolvent can be used to construct modular Hamiltonians and other density-matrix functions.

major comments (2)
  1. [6.1, Eq. (6.5)] As printed, the bracket in Eq. (6.5) is identically zero: log[(e^{2πk}-1)/(e^{2πk}-1)] - log[(1-e^{-2πk})/(1-e^{-2πk})] = 0 for every k. Therefore Eq. (6.5) gives ΔS = 0, which contradicts the non-zero cylinder-limit value ΔS = -π²ℓ²/(36P²) computed in Eq. (6.9), and it is incompatible with the n→1 limit of the Rényi formula (6.14)-(6.15). The correct bracket should be the entropy function g(ξ) = ξ log ξ - (ξ-1) log(ξ-1) evaluated at ξ = 1/(1-e^{-2πk}) (equivalently ξ = e^{2πk}/(e^{2πk}-1)), as follows from the change of variables in Eq. (6.3); with that replacement, the cylinder integral in (6.9) can yield the stated value. Please correct (6.5), re-derive (6.9), and verify the numerical plots and the consistency at n→1.
  2. [5, Eqs. (5.8)-(5.12)] The proof that the homogeneous solution space of (S1)-(S3) is one-dimensional is elliptical and is load-bearing for the resolvent (5.15). The claim that d/dz ∮ G(z,w)F(w)dw = 0 for arbitrary analytic F on T-\bar V is not fully demonstrated: the contour must move with z, and the integrand ∂_zG(z,w)F(w) has a double pole at w = z, so the derivative does not obviously vanish. The injectivity of the map (5.9) and the conclusion that the homogeneous space has dimension one depend on this step. Please provide a complete argument for (5.8), or an alternative proof of uniqueness and of the one-dimensionality of the homogeneous solution space. Without such a proof, the form of λ in (5.12) and the resolvent formula (5.15) are not fully established.
minor comments (4)
  1. [4.3, around Eq. (4.10)] The text says that k takes values in the strip Im k ∈ (0,1) throughout the relevant ξ domain, but on the two sides of the cut (1,∞) the branch values have Im k = 0 and Im k = 1. Please clarify whether the strip is open or closed for the branch choices used in (4.16).
  2. [General] There are several typographical errors, e.g. 'satyisfying' in the Introduction and 'analitycity' in §4.1; these should be corrected.
  3. [6.1, Figure 3] Figure 3 would be easier to interpret with axis labels and a description of how the implicit function µ(x,k) from (5.14) and the integral in (6.5) were evaluated numerically; please add these details in the caption or the text.
  4. [2, Eq. (2.2)] The symbol Θ in Eq. (2.2) is not defined; please state explicitly that it denotes the Heaviside step function.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the resolvent is derived from the stated Riemann–Hilbert problem and the entropy follows from it via Cauchy's formula; known limits are post-hoc checks, not inputs.

full rationale

The central derivation is self-contained. The two-point function constant c is fixed by the zero-mode condition (3.10), which is independent physical input; the resolvent (5.15) is constructed by solving the Riemann–Hilbert-type problem (S1)–(S3) with condition (5.3), using only the stated analyticity, jump, endpoint, and contour properties of G(z,w) together with Weierstrass-function identities; and the entropy (6.2)–(6.5) is then obtained from the resolvent via Cauchy's integral formula (2.7). No parameter is fitted to the target entropy, and the known cylinder/plane limits (6.9)–(6.10) are invoked as consistency checks after the derivation, not as inputs. The self-citations [16,17,24] supply standard formulas and elliptic-function background, but the load-bearing resolvent derivation does not reduce to them. Section 5's uniqueness/injectivity argument is terse, and a gap there would be a proof-completeness or correctness concern rather than a circularity; likewise, the apparent identity of the two log ratios in the printed bracket of (6.5) is an internal-consistency or typesetting issue, not a circular one. Therefore the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters are fitted to data; the central charge c=1/2 is stated as a known property. The main axioms are standard mathematical properties of Weierstrass functions and the domain assumptions about the operator GV and the entropy functional taken from prior work.

assumptions (5)
  • standard math Weierstrass elliptic functions ℘, ζ, σ satisfy the stated analyticity, periodic, and quasiperiodic properties.
    Used throughout sections 3, 5, and 6; these are standard results from complex analysis, e.g., Appendix A of [17].
  • domain assumption The operator GV has real spectrum contained in (-∞,0) ∪ (1,∞) and is diagonalizable.
    Taken from [24,25] in section 2; the contour integral for the entropy depends on this spectral property.
  • domain assumption The entropy formula S = Tr[Θ(GV - 1/2) g(GV)] and its resolvent representation are valid.
    Equation (2.2) and (2.7); these are derived in [24,25] for Gaussian states.
  • domain assumption The two-point function of the chiral current on the torus is given by Eq. (3.8) with the constant c fixed by Eq. (3.12).
    The derivation of the propagator uses the zero-mode condition and known elliptic function identities; the final result is said to agree with the literature [28].
  • domain assumption The chiral current has central charge 1/2.
    Stated in section 4.4 to identify the plane entropy with the universal result. No derivation is given; this is a physical input.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Entanglement of a chiral scalar on the torus." pith.science (2026). https://pith.science/paper/VEXPJE2N

@misc{pith2026241219332,
  author       = {Pith},
  title        = {Pith review of: Entanglement of a chiral scalar on the torus},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VEXPJE2N}},
  note         = {Machine review of arXiv:2412.19332}
}
read the original abstract

We compute the entanglement entropy of an interval for a chiral scalar on a circle at an arbitrary temperature. We use the resolvent method, which involves expressing the entropy in terms of the resolvent of a certain operator, and we compute that resolvent by solving a problem that entails finding an analytic function on the complex torus with certain jump conditions at the interval. The resolvent is relevant by itself, since it can be used to compute any function of the reduced density matrix. We illustrate that by also computing all the R\'enyi entropies for the model.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 20 canonical work pages

  1. [1]

    Bombelli, R

    L. Bombelli, R. K. Koul, J. Lee, and R. D. Sorkin, Quantum source of entropy for black holes, Phys. Rev. D 34 (Jul, 1986) 373–383

  2. [2]

    R. D. Sorkin, 1983 paper on entanglement entropy: ”On the Entropy of the Vacuum outside a Horizon ”, in 10th International Conference on General Relativity and Gravitation , vol. 2, pp. 734–736, 1984. arXiv:1402.3589. – 17 –

  3. [3]

    Casini and M

    H. Casini and M. Huerta, A Finite entanglement entropy and the c-theorem , Phys. Lett. B600 (2004) 142–150, [ hep-th/0405111]

  4. [4]

    Casini and M

    H. Casini and M. Huerta, On the RG running of the entanglement entropy of a circle , Phys. Rev. D85 (2012) 125016, [ arXiv:1202.5650]

  5. [5]

    Casini, E

    H. Casini, E. Test´ e, and G. Torroba,Markov Property of the Conformal Field Theory Vacuum and the a Theorem , Phys. Rev. Lett. 118 (2017), no. 26 261602, [ arXiv:1704.0187]

  6. [6]

    Casini, Relative entropy and the Bekenstein bound , Class

    H. Casini, Relative entropy and the Bekenstein bound , Class. Quant. Grav. 25 (2008) 205021, [arXiv:0804.2182]

  7. [7]

    D. D. Blanco and H. Casini, Localization of Negative Energy and the Bekenstein Bound , Phys. Rev. Lett. 111 (2013), no. 22 221601, [ arXiv:1309.1121]

  8. [8]

    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 (2016) 038, [arXiv:1605.0807]

Show all 32 references
  1. [9]

    Balakrishnan, T

    S. Balakrishnan, T. Faulkner, Z. U. Khandker, and H. Wang, A General Proof of the Quantum Null Energy Condition , JHEP 09 (2019) 020, [ arXiv:1706.0943]

  2. [10]

    Casini, M

    H. Casini, M. Huerta, J. M. Mag´ an, and D. Pontello, Entanglement entropy and superselection sectors. Part I. Global symmetries , JHEP 02 (2020) 014, [ arXiv:1905.1048]

  3. [11]

    Casini, M

    H. Casini, M. Huerta, J. M. Magan, and D. Pontello, Entropic order parameters for the phases of QFT , JHEP 04 (2021) 277, [ arXiv:2008.1174]

  4. [12]

    Casini and J

    H. Casini and J. M. Magan, On completeness and generalized symmetries in quantum field theory, Mod. Phys. Lett. A 36 (2021), no. 36 2130025, [ arXiv:2110.1135]

  5. [13]

    Casini and M

    H. Casini and M. Huerta, Lectures on entanglement in quantum field theory , PoS T ASI2021 (2023) 002, [ arXiv:2201.1331]

  6. [14]

    Casini and M

    H. Casini and M. Huerta, Reduced density matrix and internal dynamics for multicomponent regions, Class. Quant. Grav. 26 (2009) 185005, [ arXiv:0903.5284]

  7. [15]

    G. Wong, I. Klich, L. A. Pando Zayas, and D. Vaman, Entanglement Temperature and Entanglement Entropy of Excited States , JHEP 12 (2013) 020, [ arXiv:1305.3291]

  8. [16]

    Blanco and G

    D. Blanco and G. P´ erez-Nadal,Modular Hamiltonian of a chiral fermion on the torus , Phys. Rev. D 100 (2019), no. 2 025003, [ arXiv:1905.0521]

  9. [17]

    Blanco, A

    D. Blanco, A. Garbarz, and G. P´ erez-Nadal, Entanglement of a chiral fermion on the torus , JHEP 09 (2019) 076, [ arXiv:1906.0705]

  10. [18]

    Fries and I

    P. Fries and I. A. Reyes, Entanglement Spectrum of Chiral Fermions on the Torus , Phys. Rev. Lett. 123 (2019), no. 21 211603, [ arXiv:1905.0576]

  11. [19]

    Azeyanagi, T

    T. Azeyanagi, T. Nishioka, and T. Takayanagi, Near Extremal Black Hole Entropy as Entanglement Entropy via AdS(2)/CFT(1) , Phys. Rev. D 77 (2008) 064005, [arXiv:0710.2956]

  12. [20]

    C. P. Herzog and T. Nishioka, Entanglement Entropy of a Massive Fermion on a Torus , JHEP 03 (2013) 077, [ arXiv:1301.0336]

  13. [21]

    Blanco, T

    D. Blanco, T. F. Chase, J. Laurnagaray, and G. P´ erez-Nadal, R´ enyi entropies of the massless Dirac field on the torus , Phys. Rev. D 105 (2022), no. 4 045014, [ arXiv:2112.1423]. – 18 –

  14. [22]

    Abate, D

    N. Abate, D. Blanco, M. Koifman, and G. P´ erez-Nadal, Modular conjugation for multicomponent regions, Phys. Rev. D 107 (2023), no. 4 045015, [ arXiv:2209.1071]

  15. [23]

    Abate and M

    N. Abate and M. Koifman, Modular conjugation for the chiral fermion in multicomponent regions on the torus , Phys. Rev. D 108 (2023), no. 8 085003, [ arXiv:2307.1181]

  16. [24]

    R. E. Arias, H. Casini, M. Huerta, and D. Pontello, Entropy and modular Hamiltonian for a free chiral scalar in two intervals , Phys. Rev. D 98 (2018), no. 12 125008, [arXiv:1809.0002]

  17. [25]

    R. D. Sorkin, Expressing entropy globally in terms of (4D) field-correlations , J. Phys. Conf. Ser. 484 (2014) 012004, [ arXiv:1205.2953]

  18. [26]

    Witten, APS Medal for Exceptional Achievement in Research: Invited article on entanglement properties of quantum field theory , Rev

    E. Witten, APS Medal for Exceptional Achievement in Research: Invited article on entanglement properties of quantum field theory , Rev. Mod. Phys. 90 (2018), no. 4 045003, [arXiv:1803.0499]

  19. [27]

    Pastras, Four Lectures on Weierstrass Elliptic Function and Applications in Classical and Quantum Mechanics, arXiv e-print (2017) [arXiv:1706.0737]

    G. Pastras, Four Lectures on Weierstrass Elliptic Function and Applications in Classical and Quantum Mechanics, arXiv e-print (2017) [arXiv:1706.0737]

  20. [28]

    Eguchi and H

    T. Eguchi and H. Ooguri, Conformal and current algebras on a general riemann surface , Nuclear Physics B 282 (1987) 308–328

  21. [29]

    Holzhey, F

    C. Holzhey, F. Larsen, and F. Wilczek, Geometric and renormalized entropy in conformal field theory, Nucl. Phys. B 424 (1994) 443–467, [ hep-th/9403108]

  22. [30]

    Korepin, Universality of Entropy Scaling in One Dimensional Gapless Models , Phys

    V. Korepin, Universality of Entropy Scaling in One Dimensional Gapless Models , Phys. Rev. Lett. 92 (2004) 096402, [ cond-mat/0311056]

  23. [31]

    Calabrese and J

    P. Calabrese and J. L. Cardy, Entanglement entropy and quantum field theory , J. Stat. Mech. 0406 (2004) P06002, [ hep-th/0405152]

  24. [32]

    Arias, D

    R. Arias, D. Blanco, H. Casini, and M. Huerta, Local temperatures and local terms in modular Hamiltonians, Phys. Rev. D 95 (2017), no. 6 065005, [ arXiv:1611.0851]. – 19 –

Pith tools

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