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 →
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 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.
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
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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.
- [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)
- [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).
- [General] There are several typographical errors, e.g. 'satyisfying' in the Introduction and 'analitycity' in §4.1; these should be corrected.
- [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.
- [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
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
assumptions (5)
- standard math Weierstrass elliptic functions ℘, ζ, σ satisfy the stated analyticity, periodic, and quasiperiodic properties.
- domain assumption The operator GV has real spectrum contained in (-∞,0) ∪ (1,∞) and is diagonalizable.
- domain assumption The entropy formula S = Tr[Θ(GV - 1/2) g(GV)] and its resolvent representation are valid.
- 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).
- domain assumption The chiral current has central charge 1/2.
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.
Reference graph
Works this paper leans on
-
[1]
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
work page 1986
-
[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 –
arXiv 1983
-
[3]
H. Casini and M. Huerta, A Finite entanglement entropy and the c-theorem , Phys. Lett. B600 (2004) 142–150, [ hep-th/0405111]
arXiv 2004
-
[4]
H. Casini and M. Huerta, On the RG running of the entanglement entropy of a circle , Phys. Rev. D85 (2012) 125016, [ arXiv:1202.5650]
arXiv 2012
- [5]
-
[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]
arXiv 2008
-
[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]
arXiv 2013
-
[8]
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
-
[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]
2019
-
[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]
2020
-
[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]
2021
-
[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]
2021
-
[13]
Casini and M
H. Casini and M. Huerta, Lectures on entanglement in quantum field theory , PoS T ASI2021 (2023) 002, [ arXiv:2201.1331]
2023
-
[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]
2009 arXiv
-
[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]
2013 arXiv
-
[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]
2019
-
[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]
2019
-
[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]
2019
-
[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]
2008 arXiv
-
[20]
C. P. Herzog and T. Nishioka, Entanglement Entropy of a Massive Fermion on a Torus , JHEP 03 (2013) 077, [ arXiv:1301.0336]
2013 arXiv
-
[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 –
2022
-
[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]
2023
-
[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]
2023
-
[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]
2018
-
[25]
R. D. Sorkin, Expressing entropy globally in terms of (4D) field-correlations , J. Phys. Conf. Ser. 484 (2014) 012004, [ arXiv:1205.2953]
2014 arXiv
-
[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]
2018
-
[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]
2017
-
[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
1987
-
[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]
1994 arXiv
-
[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]
2004 arXiv
-
[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]
2004 arXiv
-
[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 –
2017
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.