Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Entanglement on a Sphere

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The entanglement entropy of a scalar field on a sphere has an infrared coefficient of 1/6.

desk verdict A clean ℓ=0 derivation of c_IR=1/6 in the Einstein universe, with the full-theory extension still an unverified analogy with de Sitter. read the letter →

arxiv 2507.01174 v1 pith:PE4ZJPCD submitted 2025-07-01 hep-th gr-qcquant-ph

Konstantinos Boutivas , Dimitrios Katsinis , Georgios Pastras , Nikolaos Prountzos , Nikolaos Tetradis This is my paper · ORCID
classification hep-thgr-qcquant-ph PACS 04.62.+v03.67.Mn
keywords entanglemententropyEinsteinuniversescalarfieldzeromodeinfrareddivergenceultravioletdeSitterspaceanti-de
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 computes the entanglement entropy of a free massive scalar field in the Einstein universe, a curved background whose spatial slices are three-spheres. It pins down the ultraviolet-divergent terms numerically and derives the infrared contribution analytically, tracing it to the field's zero mode on the sphere. The main results are the ultraviolet logarithmic coefficients $-1/90$, $-1/6$, and $+1/6$, and an infrared coefficient $c_{\rm IR}=1/6$, half the value found in de Sitter space. This matters because it tests whether the structure of entanglement entropy seen in dS and AdS persists in a compact curved background and isolates the zero-mode mechanism behind system-size-dependent terms.

What carries the argument

The calculation is carried by the kernel $M(w,w')=\int_0^{a\theta_R} dy\, \Omega^{-1}(w,y)\Omega(y,w')$, where $\Omega$ is the positive square root of the discretized coupling matrix $K$; the eigenvalues of $M$ feed the entropy formula. In the $\ell=0$ sector the kernels are written as sine-series spectral sums, which become the polylogarithmic kernels $\omega_{-n}(w,w')$, and the curvature correction to $\Omega^{-1}\Omega$ is recast as a total derivative. The flat-space eigenvalue problem for $\tilde M^{(0)}$ provides eigenfunctions $\sin(\omega u(w))$ and eigenvalues $-1/\sinh^2(\pi\omega)$, and a UV regulator $u_{\max}=\ln(2a\theta_R/\epsilon)$ turns the discrete frequency sum into an integral. This machinery isolates the zero-mode infrared contribution and produces the closed form of Eq. (5.70).

What would settle it

A high-precision numerical computation of the full sum over all angular momenta for a massless scalar on $\mathbb{R}\times S^3$ with an infrared cutoff $\theta_M$ would settle the claim: if the coefficient of $\theta_R^2\ln\theta_M$ in the total entropy is not $\frac{1}{6}(1-\mu^2 a^2)$, or if sectors with $\ell>0$ contribute at the same order, the central result fails.

Watch

Extended reading notes

Core claim

The paper claims that for a free scalar in $\mathbb{R}\times S^3$, the entanglement entropy of a region whose entangling surface lies at $w_R$ has the general structure $S_{EE} = c_1 A/(4\pi\epsilon^2) + (c_2 + c_3 A\mu^2/(4\pi) + c_4 A/(4\pi a^2))\ln(a/\epsilon) + c_{\rm IR} A/(4\pi a^2)\ln(\theta_M/\theta_R) + \mathrm{finite}$, with a numerical determination of $c_1\simeq0.295$, $c_2=-1/90$, $c_3=-1/6$, and $c_4=1/6$. The infrared part is derived analytically from the $\ell=0$ sector: $S_{EE}^{(1)} = \frac{1}{6}\,\theta_R^2\,(1-\mu^2 a^2)\,\bigl[\ln(\theta_M/(2\pi\theta_R))+4/3\bigr]$, giving $c_{\rm IR}=1/6$ instead of the de Sitter value $1/3$. The paper also shows that the limits $\mu=0$ and $\theta_M=\pi$ cannot be taken simultaneously in this expansion; the result applies to the massless theory on a portion of the sphere or to the full sphere near the conformal point $\mu a\simeq1$.

Load-bearing premise

The derivation assumes that the $\ell=0$ sector alone determines the infrared coefficient in the full $3+1$-dimensional theory; this is adopted by analogy with the de Sitter calculation rather than verified numerically for the Einstein universe.

Editorial extensions

If this is right

  • The leading ultraviolet divergence scales with the proper area $A=4\pi a^2\sin^2(w_R/a)$, reproducing the flat-space area law when $w_R\ll a$.
  • The logarithmic ultraviolet coefficients $c_3$ and $c_4$ cancel for a conformally coupled scalar, leaving only $c_2=-1/90$, the conformal-anomaly coefficient.
  • The infrared coefficient is $c_{\rm IR}=1/6$ for the Einstein universe, exactly half the de Sitter value $1/3$, while AdS has no such term, so the three backgrounds distinguish zero-mode contributions to entanglement entropy.
  • The infrared term depends on the overall system size $\theta_M$ but not on the subsystem size in the way the area terms do; it is a subleading correction that encodes long-range correlations.
  • Equation (5.70) covers either the massless theory on part of the sphere with an infrared cutoff or the full sphere near $\mu a\simeq1$; reaching $\mu=0$ on the full sphere requires a non-perturbative treatment.

Reading between the lines

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

  • A natural next test is to repeat the extraction on other compact spatial geometries whose scalar spectrum has a single normalizable zero mode; the $\ell=0$-dominance hypothesis predicts the same infrared coefficient regardless of the geometry's detailed shape.
  • The expansion parameter $\delta=\theta_M^2(1-\mu^2 a^2)/\pi^2$ suggests a one-parameter equivalence between the infrared cutoff and the field mass; if the total-derivative structure persists to all orders, a resummation might reach the $\mu=0$, $\theta_M=\pi$ corner that the paper leaves open.
  • One could also examine excited or squeezed states of the zero mode, since the de Sitter infrared term is tied to squeezing; the compact Einstein universe offers a controlled setting to test whether $c_{\rm IR}=1/6$ is state-independent.
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

3 major / 4 minor

Summary. The paper studies the entanglement entropy of a free scalar field on the Einstein universe R × S^3 using a lattice discretization of the radial coordinate. Numerically, it extracts the UV-divergent structure and finds the coefficient of the leading 1/ε^2 term to be c1 ≈ 0.29543145, together with c2 = -1/90, c3 = -1/6, and c4 = 1/6 for the logarithmic divergence. Analytically, the paper isolates the contribution of the ℓ = 0 sector, whose zero mode generates an infrared divergent contribution when the field is massless; using a perturbative expansion in δ = (θ_M^2/π^2)(1 - μ^2 a^2), it derives Eq. (5.70), S_EE^(1) = (1/6) θ_R^2 (1 - μ^2 a^2) [ln(θ_M/(2πθ_R)) + 4/3], and concludes that the IR coefficient is c_IR = 1/6 for the Einstein universe, compared with c_IR = 1/3 in de Sitter space.

Significance. If the central claim holds, the paper provides a striking extension of the infrared entanglement-entropy phenomenon from de Sitter space to the compact Einstein universe, and it does so with an analytical derivation that is parameter-free for the ℓ = 0 sector: the coefficient 1/6 emerges from the calculation rather than being fitted. The numerical determination of the UV coefficients is performed with stated 33-35 digit precision and extrapolations over angular momentum sectors, and the reported rational values are consistent with the expected conformal-anomaly and area-law structure. The paper is also unusually explicit about the limitations of its analytical result, including the assumptions δ < 1, θ_R/θ_M ≪ 1, and the impossibility of taking μ = 0 and θ_M = π simultaneously. These strengths are real, but the advertised c_IR = 1/6 for the full 3+1-dimensional theory rests on an extrapolation from the ℓ = 0 sector that is argued by analogy with de Sitter rather than demonstrated for R × S^3.

major comments (3)
  1. [§5.2, Eq. (5.70) and following paragraph] The central claim that the full (3+1)-dimensional theory has the IR term with coefficient c_IR = 1/6 is not demonstrated in this paper. The calculation leading to Eq. (5.70) is explicitly restricted to the ℓ = 0 sector (the subscript is dropped with the remark 'this section concerns only the vanishing angular momentum sector'). The next paragraph asserts, by analogy with the de Sitter case [8,9], that the term ∼ θ_R^2 ln θ_M 'exists in the full theory, with the coefficient given by the analytical treatment of the ℓ = 0 sector'. For de Sitter this statement was supported by an explicit numerical calculation of the full sum over angular momenta; no analogous check is presented for R × S^3. Since c_IR in Eq. (1.1) is a coefficient of the full theory, this missing verification is load-bearing for the paper's main conclusion.
  2. [§5.2, Eq. (5.70) versus Eq. (1.1)] The analytical prefactor in Eq. (5.70) is θ_R^2, whereas the IR term in Eq. (1.1) is written as c_IR (A/(4πa^2)) ln(L/a), and for R × S^3 the proper area is A = 4πa^2 sin^2 θ_R as used in Section 4.2. These two forms agree only in the limit θ_R ≪ 1. If higher-ℓ sectors do not convert θ_R^2 into sin^2 θ_R, then c_IR is not a constant coefficient in Eq. (1.1) away from small entangling surfaces. The paper does not address this conversion, so the identification c_IR = 1/6 as the coefficient of the area-normalized term requires additional justification or a numerical check of the full sum in Eq. (3.11).
  3. [§5.2, final paragraph] The paper itself states that one cannot set μ = 0 and θ_M = π simultaneously in Eq. (5.70), because the derivation assumes δ = (θ_M^2/π^2)(1 - μ^2 a^2) < 1. Consequently, the massless zero-mode limit on the full sphere is not computed directly. The result applies either to the full sphere near the conformal point μa ∼ 1 or to the massless theory on a portion of the sphere with θ_M < π. This is a significant limitation for the comparison with de Sitter, where the IR coefficient c_IR = 1/3 was obtained for a massless field with the system size as the only IR cutoff. The manuscript should either extend the calculation to cover the massless full-sphere limit or explicitly restrict the claim of c_IR = 1/6 to the cases covered by the derivation.
minor comments (4)
  1. [§1, first paragraph] There is a typo: 'a free, massive, scalar scalar field' should read 'a free, massive scalar field'.
  2. [§4.2, around Eqs. (4.11)-(4.13)] The claim that the fit parameters are determined 'with an accuracy of 0.1%' would be easier to assess if the reported values included explicit fit uncertainties, especially for c4, which distinguishes the Einstein universe from de Sitter space.
  3. [§5.1, Eq. (5.8)] The parameter δ is introduced as δ = -a^2 θ_M^2/π^2 μ̃^2 and then rewritten as (θ_M^2/π^2)(1 - μ^2 a^2). It would help to state explicitly that this uses μ̃^2 = μ^2 - 1/a^2 from Eq. (2.7), since the sign of δ is important for the convergence condition |δ| < 1.
  4. [§5.2, Eq. (5.70)] The error terms O(δ^2) and O(δπ^3 θ_R^3/θ_M^3) are quoted without derivation; a brief explanation of their origin, or a reference to an appendix, would help the reader verify that the displayed leading term is indeed the complete O(δ) contribution.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: c_IR=1/6 emerges from an explicit parameter-free calculation; the extension to the full theory is an acknowledged extrapolation, not a circular reduction.

full rationale

The analytical IR calculation is self-contained. Equation (5.70) is obtained from the spectral decomposition of the kernels (5.6)-(5.7), an expansion in δ defined by Eq. (5.8), the flat-space eigenvalue problem attributed to [23] and also present in [25], and standard Fourier transforms from [28]. The coefficient 1/6 emerges from the integrals in Eqs. (5.52)-(5.69); it is not inserted as an input, and no parameter is fitted to produce it. The UV-divergent results, including c2=-1/90, c3=-1/6, c4=1/6, are determined by numerical fits to the lattice data in Eqs. (4.11)-(4.13), and the paper reports the functional forms S^(2)=c1 sin²(w_R/a) and S^(0)_l = a_l + b_l sin²(w_R/a) as fits, not as assumed predictions. The only potentially weak step is the claim that the ℓ=0 analytical coefficient survives in the full 3+1-dimensional theory, justified by analogy with the authors' earlier dS papers [8,9]. That is a load-bearing but independent, externally verified numerical result in the dS case; in the present paper it is explicitly an extrapolation, and the authors also state that μ=0 and θ_M=π cannot be taken simultaneously. This is a limitation or a conjecture, not a circular reduction: the present derivation does not assume the target coefficient c_IR=1/6, and the self-citations supply separate numerical evidence rather than defining the result. No fitted input is renamed as a prediction, and no equation is equivalent to its input by construction. Therefore no significant circularity is found.

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

The analytical derivation of c_IR = 1/6 is parameter-free, but it rests on the flat-space kernel solution from prior work and on the assumption that the ℓ=0 sector gives the full IR coefficient. The numerical part assumes a specific functional form for the entropy decomposition.

assumptions (4)
  • domain assumption The numerical entanglement entropy admits the decomposition of Eq. (4.6) with a remainder that vanishes in the continuum limit, and the ansatz S_l^(0) = a_l(μ²a²) + b_l(μ²a²) sin²(w_R/a).
    This functional form is assumed and then fitted; the extraction of c_2, c_3, c_4 relies on it being complete.
  • ad hoc to paper The IR coefficient of the full 3+1-dimensional theory is determined by the ℓ=0 sector alone.
    Asserted by analogy with de Sitter [9]; no numerical check in the Einstein universe is provided.
  • standard math The flat-space eigenvalue problem of the kernel (solution of [23]) is exact and applicable as the zeroth-order basis.
    Used in Eqs. (5.31) to (5.38); this is a known result from the literature, also in [25].
  • domain assumption The perturbative expansion in δ converges and first order captures the IR logarithm; the conditions δ < 1 and θ_R << θ_M hold.
    Required for the validity of Eqs. (5.25) and (5.70); excludes the massless full-sphere limit.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Entanglement on a Sphere." pith.science (2026). https://pith.science/paper/PE4ZJPCD

@misc{pith2026250701174,
  author       = {Pith},
  title        = {Pith review of: Entanglement on a Sphere},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PE4ZJPCD}},
  note         = {Machine review of arXiv:2507.01174}
}
read the original abstract

We study the entanglement entropy of a massive scalar field in the background of the Einstein universe. We determine numerically the structure of the UV-divergent terms. We study analytically the IR term that originates in the long-range correlations arising from the field zero mode on the sphere. We compare with previous results for a scalar field in a dS or AdS background.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Boundary Conditions and Entanglement in Anti-de Sitter Space

    hep-th 2026-08 conditional novelty 6.0 of 10

    For a conformally coupled scalar in AdS4, the UV-divergent entanglement entropy is independent of boundary conditions, while the UV-finite part acquires a boundary-condition dependent R^2/a^2 correction with coefficie...

Reference graph

Works this paper leans on

28 extracted references · 11 canonical work pages · cited by 1 Pith paper

  1. [1]

    Sorkin,1983 paper on entanglement entropy: ”On the Entropy of the Vacuum outside a Horizon”, in10th International Conference on General Relativity and Gravitation, vol

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

    arXiv 1983

  2. [2]

    Bombelli, R.K

    L. Bombelli, R.K. Koul, J. Lee and R.D. Sorkin,A Quantum Source of Entropy for Black Holes, Phys. Rev. D34 (1986) 373

    work page 1986

  3. [3]

    Srednicki,Entropy and area, Phys

    M. Srednicki,Entropy and area, Phys. Rev. Lett.71 (1993) 666 [hep-th/9303048]

    arXiv 1993

  4. [4]

    Casini, E

    H. Casini, E. Testé and G. Torroba,Markov Property of the Conformal Field Theory Vacuum and the a Theorem, Phys. Rev. Lett.118 (2017) 261602 [1704.01870]

    arXiv 2017

  5. [5]

    Casini and M

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

    arXiv 2012

  6. [6]

    Replica analysis of entanglement properties

    A. Shekar and M. Taylor,Replica analysis of entanglement properties, Phys. Rev. D111 (2025) 066018 [2410.07312]

    work page Pith review arXiv 2025

  7. [7]

    Maldacena and G.L

    J. Maldacena and G.L. Pimentel,Entanglement entropy in de Sitter space, JHEP 02 (2013) 038 [1210.7244]

    arXiv 2013

  8. [8]

    Entanglement Entropy as a Probe Beyond the Horizon

    K. Boutivas, D. Katsinis, G. Pastras and N. Tetradis,Entanglement Entropy as a Probe Beyond the Horizon, 2407.07824

    work page Pith review arXiv

Show all 28 references
  1. [9]

    Boutivas, D

    K. Boutivas, D. Katsinis, G. Pastras and N. Tetradis,Numerical calculation of entanglement entropy in de Sitter space, Phys. Rev. D111 (2025) 065010 [2407.07811]

    2025 arXiv

  2. [10]

    Abate and G

    N. Abate and G. Torroba,Irreversibility of quantum field theory in de Sitter: the C, F and A theorems, 2411.08961

    arXiv

  3. [11]

    Boutivas, D

    K. Boutivas, D. Katsinis, I. Papadimitriou, G. Pastras and N. Tetradis,Entanglement Entropy of a Scalar Field in Anti-de Sitter Space, 2505.15980

    arXiv

  4. [12]

    Ryu and T

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

    2006 arXiv

  5. [13]

    Ryu and T

    S. Ryu and T. Takayanagi,Aspects of Holographic Entanglement Entropy, JHEP 08 (2006) 045 [hep-th/0605073]

    2006 arXiv

  6. [14]

    Solodukhin, Entanglement entropy, conformal invariance and extrinsic geometry, Phys

    S.N. Solodukhin, Entanglement entropy, conformal invariance and extrinsic geometry, Phys. Lett. B 665 (2008) 305 [0802.3117]

    2008 arXiv

  7. [15]

    Casini and M

    H. Casini and M. Huerta,Entanglement entropy for the n-sphere, Phys. Lett. B694 (2011) 167 [1007.1813]

    2011 arXiv

  8. [16]

    Casini and M

    H. Casini and M. Huerta,Entanglement entropy in free quantum field theory, J. Phys. A42 (2009) 504007 [0905.2562]

    2009 arXiv

  9. [17]

    Lohmayer, H

    R. Lohmayer, H. Neuberger, A. Schwimmer and S. Theisen,Numerical determination of entanglement entropy for a sphere, Phys. Lett. B685 (2010) 222 [0911.4283]

    2010 arXiv

  10. [18]

    Hertzberg and F

    M.P. Hertzberg and F. Wilczek,Some Calculable Contributions to Entanglement Entropy, Phys. Rev. Lett.106 (2011) 050404 [1007.0993]

    2011 arXiv

  11. [19]

    Page,Average entropy of a subsystem, Phys

    D.N. Page,Average entropy of a subsystem, Phys. Rev. Lett.71 (1993) 1291 [gr-qc/9305007]

    1993 arXiv

  12. [20]

    Allen and A

    B. Allen and A. Folacci,The Massless Minimally Coupled Scalar Field in De Sitter Space, Phys. Rev. D35 (1987) 3771. – 25 –

    1987

  13. [21]

    Allen,Vacuum States in de Sitter Space, Phys

    B. Allen,Vacuum States in de Sitter Space, Phys. Rev. D32 (1985) 3136

    1985

  14. [22]

    Peschel,Calculation of reduced density matrices from correlation functions, J

    I. Peschel,Calculation of reduced density matrices from correlation functions, J. Phys. A36 (2003) L205 [cond-mat/0212631]

    2003 arXiv

  15. [23]

    Katsinis and G

    D. Katsinis and G. Pastras,Entanglement in (1+1)-dimensional free scalar field theory: Tiptoeing between continuum and discrete formulations, Phys. Rev. D110 (2024) 085015 [2406.11031]

    2024 arXiv

  16. [24]

    Katsinis, G

    D. Katsinis, G. Pastras and N. Tetradis,Entanglement of harmonic systems in squeezed states, JHEP 10 (2023) 039 [2304.04241]

    2023 arXiv

  17. [25]

    Callan, Jr

    C.G. Callan, Jr. and F. Wilczek,On geometric entropy, Phys. Lett. B333 (1994) 55 [hep-th/9401072]

    1994 arXiv

  18. [26]

    Holzhey, F

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

    1994 arXiv

  19. [27]

    Calabrese and J.L

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

    2004 arXiv

  20. [28]

    Gradshteyn and I.M

    I.S. Gradshteyn and I.M. Ryzhik,Table of Integrals, Series, and Products, Academic Press, Amsterdam, 7 ed. (2007). – 26 –

    2007

Pith tools

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