The bipartite Renyi entropy of the spin-1/2 XYZ chain is known exactly for a cut into two semi-infinite half-chains through Baxter's corner transfer matrix (CTM). In the scaling limit this entropy, written as a function of the correlation length, coincides with that of a bulk Ising model, while at finite lattice spacing the relation between the mass parameter and the correlation length generates path-dependent 'unusual' corrections - including a term with a continuously varying exponent ξ−2μ0/π\xi^{-2\mu_0/\pi} tied to sine-Gordon bound states and a 1/ln⁡ξ1/\ln\xi term along zero-slope approach paths - whose field-theoretical origin is unknown, alongside the question of whether the decomposition of the CTM spectrum into c=1/2c=1/2 Ising characters reflects an underlying Virasoro or extended algebraic structure. Ercolessi, Evangelisti, Franchini and Ravanini (Phys. Rev. B 85, 115428 (2012)) posed a five-part program around one objective, a complete theory of the near-criticality corrections: a massive sine-Gordon derivation of these corrections by ultraviolet counterterm analysis; an algebraic characterization of the CTM-character correspondence; extensions to finite intervals (testing a predicted exponent doubling) and to excited states; a classification of approach paths and of when correction coefficients vanish; and the parallel analysis in terms of the mass gap. All five parts remain open: parallel exact results exist only in bound-state-free restricted solid-on-solid (RSOS) families, two competing but unproven interpretations exist for the character structure, and the authors' promised follow-up papers never appeared.

Background

For a quantum system in a pure state, the entanglement between a subsystem AA and its complement is measured by the Renyi entropies Sα=11−αln⁡Tr ρAαS_\alpha=\frac{1}{1-\alpha}\ln\mathrm{Tr}\,\rho_A^\alpha (with α>0\alpha>0; the limit α→1\alpha\to1 is the von Neumann entropy), where ρA\rho_A is the reduced density matrix obtained by tracing out the complement. For a one-dimensional critical system described by a conformal field theory (CFT), the Renyi entropy of a block of length ℓ\ell (a bipartition with two boundary points) grows as Sα=c+cˉ12(1+1α)ln⁡ℓ+const.S_\alpha=\frac{c+\bar c}{12}(1+\frac{1}{\alpha})\ln\ell+\text{const.}, where ℓ\ell is the subsystem length, cc and cˉ\bar c are the central charges of the two chiral halves of the CFT, and the lattice spacing a0a_0 provides the ultraviolet cutoff; a half-chain (a bipartition with a single boundary point) carries half of this coefficient. In a gapped (massive) one-dimensional system the entropy of a half-chain instead saturates to a value controlled by the correlation length ξ\xi (the inverse of the lightest excitation mass), Sα≃c12(1+1α)ln⁡ξ+Aα+correctionsS_\alpha\simeq\frac{c}{12}(1+\frac{1}{\alpha})\ln\xi+A_\alpha+\text{corrections}; for integrable lattice models this follows exactly from Baxter's corner transfer matrix (CTM) construction - the transfer matrix describing one quadrant of the two-dimensional classical lattice, four of whose copies multiply into a row of the model, and whose eigenvalue spectrum generates the reduced density matrix of the associated quantum chain (see the review by Peschel).

The structure of the subleading corrections is subtle and matters for interpreting numerical simulations. Cardy and Calabrese showed that at criticality 'unusual corrections' arise from relevant operators located at the conical singularity of the replicated Riemann surface (the surface built from α\alpha cyclically glued copies of the system on which Tr ρAα\mathrm{Tr}\,\rho_A^\alpha is computed): their exponents carry a factor 1/α1/\alpha that depends on the Renyi index, unlike ordinary corrections. Calabrese, Campostrini, Essler and Nienhuis, and Xavier and Alcaraz, found that in the critical XXZ chain the first correction scales as ℓ−2K/α\ell^{-2K/\alpha}, where KK is the Luttinger parameter (which measures the compactification radius of the c=1c=1 free boson describing the critical line), and a naive scaling argument would then predict terms of the form ξ−K/α\xi^{-K/\alpha} in the massive phase.

Ercolessi, Evangelisti, Franchini and Ravanini (2012) tested this expectation exactly for the XYZ spin-1/2 chain, H=−J∑n(σnxσn+1x+Jyσnyσn+1y+Jzσnzσn+1z)H=-J\sum_n(\sigma_n^x\sigma_{n+1}^x+J_y\sigma_n^y\sigma_{n+1}^y+J_z\sigma_n^z\sigma_{n+1}^z) (with J>0J>0 a positive overall energy scale, so that the model is parametrized by the anisotropy couplings (Jy,Jz)(J_y,J_z) of the plane in which its phase diagram is drawn), the archetypal interacting integrable quantum chain, solvable through its exact mapping to Baxter's eight-vertex model (the two-dimensional classical vertex model whose commuting transfer matrices underlie the solution). Baxter's elliptic parametrization of the couplings by two moduli (denoted ll and μ\mu, with 0≤μ≤π0\le\mu\le\pi) gives, for the bipartition into two semi-infinite half-chains, a closed expression for the Renyi entropy in terms of infinite qq-products (qq-Pochhammer symbols (a;q)∞=∏k≥0(1−aqk)(a;q)_\infty=\prod_{k\ge0}(1-aq^k)). In the scaling limit the massive XYZ chain renormalizes to the sine-Gordon field theory (a massive interacting relativistic theory of one compactified boson) with μ\mu proportional to the compactification radius: for μ<π/2\mu<\pi/2 the low-energy excitations are free spinons, while for π/2<μ<π\pi/2<\mu<\pi stable bound states (breathers) appear, the hallmark of the genuinely interacting attractive regime.

Two exact findings define the problem. First, the CTM partition function Z(q)=∏j≥1(1+qj)\mathcal{Z}(q)=\prod_{j\ge1}(1+q^j) entering the entropy is formally equal to the character (the generating series of a representation) of the c=1/2c=1/2 Ising CFT spin field, so that in the scaling limit the Renyi entropy as a function of ξ\xi takes the bulk-Ising form, modulo a multiplicative redefinition of the correlation length:

Sα=1+α12αln⁡ξa0−12ln⁡2−11−α∑n≥1σ−1(n)[(ξa0)−2n/α−(ξa0)−4n/α]+α1−α∑n≥1σ−1(n)[(ξa0)−2n−(ξa0)−4n],S_\alpha=\frac{1+\alpha}{12\alpha}\ln \frac{\xi}{a_0}-\frac{1}{2}\ln 2-\frac{1}{1-\alpha}\sum_{n\ge1}\sigma_{-1}(n)\Big[\Big(\frac{\xi}{a_0}\Big)^{-2n/\alpha}-\Big(\frac{\xi}{a_0}\Big)^{-4n/\alpha}\Big]+\frac{\alpha}{1-\alpha}\sum_{n\ge1}\sigma_{-1}(n)\Big[\Big(\frac{\xi}{a_0}\Big)^{-2n}-\Big(\frac{\xi}{a_0}\Big)^{-4n}\Big],

where σ−1(n)=∑d∣nd−1\sigma_{-1}(n)=\sum_{d|n}d^{-1} is the divisor function: the subleading terms carry the operator content of the c=cˉ=1/2c=\bar c=1/2 Ising theory (the leading correction ξ−2/α\xi^{-2/\alpha} is the 'unusual' form ξ−2h/α\xi^{-2h/\alpha} with h=1h=1, the Ising energy field) rather than that of the c=1c=1 free boson describing the critical line, so that the naive scaling prediction fails for this interacting model. Consistently, the reduced density matrix can be written as ρ∝e−HCTM\rho\propto e^{-H_{\mathrm{CTM}}} with HCTM=∑j2ϵjηj†ηjH_{\mathrm{CTM}}=\sum_j 2\epsilon_j\eta_j^\dagger\eta_j a free-fermion (Majorana) Hamiltonian built from the CTM eigenvalues. Second, once the lattice spacing is kept finite, the relation between the mass parameter and the correlation length depends on the path by which the critical line is approached in the (Jz,Jy)(J_z,J_y) plane, and this generates additional path-dependent corrections of the forms ξ−2h\xi^{-2h}, ξ−2h/α\xi^{-2h/\alpha}, ξ−(2−h)\xi^{-(2-h)}, ξ−2(1+1/α)\xi^{-2(1+1/\alpha)} and even 1/ln⁡ξ1/\ln\xi, where hh is the scaling dimension of a relevant operator of the critical bulk theory. Most strikingly, along straight approach paths in the coupling plane that meet the critical line at μ=μ0\mu=\mu_0 a correction with a continuously varying exponent ξ−2μ0/π\xi^{-2\mu_0/\pi} appears - a member of the ξ−(2−h)\xi^{-(2-h)} family with hh the dimension of the sine-Gordon vertex operator eiβϕ\mathrm{e}^{i\beta\phi} - and along curves that meet the critical line with zero slope a 1/ln⁡ξ1/\ln\xi term emerges, of the type associated with marginal operators. The coefficient of the ξ−2μ0/π\xi^{-2\mu_0/\pi} term is controlled by the bound states: it vanishes both on the special slope m0=−2/cos⁡μ0m_0=-2/\cos\mu_0 (with m0m_0 the slope of the straight approach path in the (Jz,Jy)(J_z,J_y) plane; this is the slope followed by the renormalization-group flow, i.e. by paths that keep μ\mu fixed) and at the free/bound-state crossing point μ=π/2\mu=\pi/2, so that in the authors' words this term is 'turned on by the existence of a bound state' as 'a clear signature of a truly interacting theory'. The authors state that 'no fundamental reason is known' why CTM spectra of integrable models decompose into characters in the mass parameter and that any connection with an underlying Virasoro algebra (the symmetry algebra of the generators of conformal transformations in a two-dimensional conformal field theory) 'remains to be discovered', while the lattice-generated terms 'still lack a field theoretical interpretation'.

Problem Statement

Provide a complete theory of the subleading corrections to the bipartite Renyi entropy of the massive XYZ spin-1/2 chain near its critical line, and of the algebraic structure underlying its corner transfer matrix. The problem was posed by Ercolessi, Evangelisti, Franchini and Ravanini (Phys. Rev. B 85, 115428 (2012)) as five interlocking components that together define the completion boundary:

  1. Field-theoretical origin. Construct the continuum derivation of the lattice-generated, path-dependent corrections to the half-chain Renyi entropy Sα(ξ)S_\alpha(\xi) in the massive sine-Gordon scaling limit, generalizing the ultraviolet-regularization and counterterm argument of Cardy and Calabrese from the critical to the massive interacting theory. The derivation must produce, not merely observe, the exponents and coefficients of the full set of terms ξ−2h\xi^{-2h}, ξ−2h/α\xi^{-2h/\alpha}, ξ−(2−h)\xi^{-(2-h)}, ξ−2(1+1/α)\xi^{-2(1+1/\alpha)} and 1/ln⁡ξ1/\ln\xi (with hh the scaling dimension of the operator responsible for a given term), including the correction with continuously varying exponent ξ−2μ0/π\xi^{-2\mu_0/\pi} that appears along straight approach paths meeting the critical line at μ=μ0\mu=\mu_0 with π/2<μ0<π\pi/2<\mu_0<\pi (a member of the ξ−(2−h)\xi^{-(2-h)} family in which hh is the dimension of the sine-Gordon vertex operator eiβϕ\mathrm{e}^{i\beta\phi}) and the logarithmic term that appears along zero-slope approach curves, and it must explain why these terms are turned on by the existence of bound states.

  2. Algebraic structure of the CTM. Determine whether the decomposition of the corner transfer matrix spectrum into c=1/2c=1/2 Ising characters in the mass parameter reflects an underlying Virasoro or extended algebraic structure (for example a modular structure in parameter space) that can be made explicit, or prove that it is accidental in the sense of being forced by the analytic structure of the elliptic functions alone; in either case the observed Ising operator content and the Majorana form of the corner Hamiltonian should follow from the characterization.

  3. Geometry and excited states. Extend the analysis to a bipartition into a finite interval (two boundary points) and test whether the correlation-length exponent doubles relative to the half-chain, in analogy with critical chains, where the exponent of the unusual correction is multiplied by the number of twist-field insertions (the branch-point operators of the replicated geometry) at the edges of the blocks - the factor-of-two case measured for two disjoint blocks in critical Ising and XY chains; and perform the corresponding analysis for excited states, checking whether the formally conformal structure found for the ground state persists or changes.

  4. Path classification. Classify which approach paths in the coupling space (in the elliptic parametrization, which trajectories in the (l,μ)(l,\mu) or (Jz,Jy)(J_z,J_y) plane) generate which types of subleading terms, and give criteria predicting when the coefficients of particular terms vanish - beyond the two cases already known: straight paths of slope m0=−2/cos⁡μ0m_0=-2/\cos\mu_0 (the slope followed by the renormalization-group flow, along which μ\mu stays fixed) and the free/bound-state crossing point μ=π/2\mu=\pi/2.

  5. Infrared scale. Redo the correction analysis with the entropy expressed in terms of the mass gap (the energy of the lightest excitation) instead of the correlation length, and characterize the qualitatively different subleading series generated by this choice of physical infrared scale.

These five components share one scientific objective: they are the source authors' own decomposition of the task of understanding how, why and with what universality the entanglement entropy of an interacting massive integrable chain approaches criticality. Component 1 supplies the operator interpretation that components 3, 4 and 5 export to other geometries, states, paths and scales, while component 2 explains the operator content that component 1 must reproduce; an answer that resolves the common objective must address them jointly, although individual components may be settled in sequence.

References

  1. E. Ercolessi, S. Evangelisti, F. Franchini, F. Ravanini, "Correlation Length and Unusual Corrections to the Entanglement Entropy", Phys. Rev. B 85, 115428 (2012). DOI: 10.1103/PhysRevB.85.115428; arXiv:1201.6367. https://arxiv.org/abs/1201.6367
  2. E. Ercolessi, S. Evangelisti, F. Ravanini, "Exact entanglement entropy of the XYZ model and its sine-Gordon limit", Phys. Lett. A 374, 2101 (2010). DOI: 10.1016/j.physleta.2010.03.014; arXiv:0905.4000. https://arxiv.org/abs/0905.4000
  3. E. Ercolessi, S. Evangelisti, F. Franchini, F. Ravanini, "Essential singularity in the Renyi entanglement entropy of the one-dimensional XYZ spin-1/2 chain", Phys. Rev. B 83, 012402 (2011). DOI: 10.1103/PhysRevB.83.012402; arXiv:1008.3892. https://arxiv.org/abs/1008.3892
  4. E. Ercolessi, S. Evangelisti, F. Franchini, F. Ravanini, "Modular invariance in the gapped XYZ spin-1/2 chain", Phys. Rev. B 88, 104418 (2013). DOI: 10.1103/PhysRevB.88.104418; arXiv:1301.6758. https://arxiv.org/abs/1301.6758
  5. J. Cardy, P. Calabrese, "Unusual Corrections to Scaling in Entanglement Entropy", J. Stat. Mech. P04023 (2010). DOI: 10.1088/1742-5468/2010/04/P04023; arXiv:1002.4353. https://arxiv.org/abs/1002.4353
  6. P. Calabrese, J. Cardy, I. Peschel, "Corrections to scaling for block entanglement in massive spin-chains", J. Stat. Mech. P09003 (2010). DOI: 10.1088/1742-5468/2010/09/P09003; arXiv:1007.0881. https://arxiv.org/abs/1007.0881
  7. P. Calabrese, M. Campostrini, F. Essler, B. Nienhuis, "Parity effects in the scaling of block entanglement in gapless spin chains", Phys. Rev. Lett. 104, 095701 (2010). DOI: 10.1103/PhysRevLett.104.095701; arXiv:0911.4660. https://arxiv.org/abs/0911.4660
  8. M. Fagotti, P. Calabrese, "Entanglement entropy of two disjoint blocks in XY chains", J. Stat. Mech. P04016 (2010). DOI: 10.1088/1742-5468/2010/04/P04016; arXiv:1003.1110. https://arxiv.org/abs/1003.1110
  9. J. C. Xavier, F. C. Alcaraz, "Finite-size corrections of the Entanglement Entropy of critical quantum chains", Phys. Rev. B 85, 024418 (2012). DOI: 10.1103/PhysRevB.85.024418; arXiv:1111.6577. https://arxiv.org/abs/1111.6577
  10. A. De Luca, F. Franchini, "Approaching the restricted solid-on-solid critical points through entanglement: One model for many universalities", Phys. Rev. B 87, 045118 (2013). DOI: 10.1103/PhysRevB.87.045118; arXiv:1205.6426. https://arxiv.org/abs/1205.6426
  11. D. Bianchini, E. Ercolessi, P. A. Pearce, F. Ravanini, "RSOS quantum chains associated with off-critical minimal models and Zn\mathbb{Z}_n parafermions", J. Stat. Mech. P03010 (2015). DOI: 10.1088/1742-5468/2015/03/P03010; arXiv:1412.4942. https://arxiv.org/abs/1412.4942
  12. D. Bianchini, F. Ravanini, "Entanglement Entropy from Corner Transfer Matrix in Forrester-Baxter non-unitary RSOS models", J. Phys. A 49, 154005 (2016). DOI: 10.1088/1751-8113/49/15/154005; arXiv:1509.04601. https://arxiv.org/abs/1509.04601
  13. L. Cevolani, "Unusual Corrections to the Scaling of the Entanglement Entropy of the Excited states in Conformal Field Theory", arXiv:1601.01709 (2016, unpublished preprint). https://arxiv.org/abs/1601.01709
  14. O. A. Castro-Alvaredo, "Massive Corrections to Entanglement in Minimal E8E_8 Toda Field Theory", SciPost Phys. 2, 008 (2017). DOI: 10.21468/SciPostPhys.2.1.008; arXiv:1610.07040. https://arxiv.org/abs/1610.07040
  15. G. Mbeng, V. Alba, P. Calabrese, "Negativity spectrum in 1D gapped phases of matter", J. Phys. A 50, 194001 (2017). DOI: 10.1088/1751-8121/aa6734; arXiv:1612.05172. https://arxiv.org/abs/1612.05172
  16. G. Y. Cho, A. W. W. Ludwig, S. Ryu, "Universal entanglement spectra of gapped one-dimensional field theories", Phys. Rev. B 95, 115122 (2017). DOI: 10.1103/PhysRevB.95.115122; arXiv:1603.04016. https://arxiv.org/abs/1603.04016
  17. P. Kim, H. Katsura, N. Trivedi, J. H. Han, "Entanglement and corner Hamiltonian spectra of integrable open spin chains", Phys. Rev. B 94, 195110 (2016). DOI: 10.1103/PhysRevB.94.195110; arXiv:1512.08597. https://arxiv.org/abs/1512.08597
  18. S. Murciano, G. Di Giulio, P. Calabrese, "Symmetry resolved entanglement in gapped integrable systems: a corner transfer matrix approach", SciPost Phys. 8, 046 (2020). DOI: 10.21468/SciPostPhys.8.3.046; arXiv:1911.09588. https://arxiv.org/abs/1911.09588
  19. V. Eisler, G. Di Giulio, E. Tonni, I. Peschel, "Entanglement Hamiltonians for non-critical quantum chains", J. Stat. Mech. 103102 (2020). DOI: 10.1088/1742-5468/abb4da; arXiv:2007.01804. https://arxiv.org/abs/2007.01804
  20. F. T. Sant'Ana, "Entanglement asymmetry in the gapped XYZ spin-12\frac{1}{2} chain", arXiv:2607.25625 (2026, preprint). https://arxiv.org/abs/2607.25625
  21. I. Peschel, "Special Review: Entanglement in Solvable Many-Particle Models", Braz. J. Phys. 42, 267 (2012). DOI: 10.1007/s13538-012-0074-1; arXiv:1109.0159. https://arxiv.org/abs/1109.0159
  22. J. C. Xavier, M. A. Rajabpour, "Entanglement and boundary entropy in quantum spin chains with arbitrary direction of the boundary magnetic fields", Phys. Rev. B 101, 235127 (2020). DOI: 10.1103/PhysRevB.101.235127; arXiv:2003.00095. https://arxiv.org/abs/2003.00095
  23. D. Rossini, E. Vicari, "Coherent and dissipative dynamics at quantum phase transitions", Phys. Rep. 936, 1-110 (2021). DOI: 10.1016/j.physrep.2021.08.003; arXiv:2103.02626. https://arxiv.org/abs/2103.02626