- The paper establishes nonperturbatively that the derivative of entanglement entropy with respect to a large slab’s width approaches the thermal entropy density, provided the region exceeds the correlation length.
- The paper derives generalized Maxwell relations linking mixed chemical-potential and size derivatives of entanglement or Rényi entropy to charge-density responses, extending thermodynamic identities to entanglement observables.
- The paper’s sign-problem-free 3D O(4) lattice simulations validate the Rényi-2 relation near finite-density transitions, with agreement extending to correlation-length-to-region-size ratios of roughly 0.5–1.0.
Overview
This Letter by Jokela, Rajala, and Rindlisbacher (2603.07635) establishes a direct, nonperturbative connection between entanglement entropy (EE) and thermodynamics in interacting quantum field theories at finite density. The central claim is that for sufficiently large entangling regions, the derivative of EE with respect to the size of the region approaches the thermal entropy density s(T,μ), independent of microscopic details. At finite chemical potential μ, this statement extends to full thermodynamic response relations, including a generalized Maxwell relation linking chemical potential and charge density. The authors provide nonperturbative lattice evidence in the three-dimensional O(4) model and conjecture that these relations are generic features of continuum QFTs.
The result is distinct from the first law of entanglement (Bhattacharya et al., 2012, Blanco et al., 2013), which relates variations of EE to expectation values of the modular Hamiltonian at fixed region geometry. Here, the relevant variation is with respect to the size of the entangling region itself — an infinitesimal rigid displacement of the entangling surface — which probes bulk thermodynamic structure directly.
Derivation of the entropy density relation
The argument proceeds from the replica construction. For a slab-shaped region A of width ℓ, the replica trick gives
tr(ρAr)=Z(β,V,μ)rZ~(A,β,V,μ,r),
where Z~ is the path integral on a geometry with Euclidean time rβ-periodic over A. Assuming that the limit r→1 commutes with the μ0-derivative, the key input is a large-region approximation: when both μ1 and its complement have linear sizes much larger than the longest correlation length μ2 (i.e., μ3), the μ4-derivative of μ5 per transverse volume μ6 reduces to a difference of free energy densities,
μ7
Combining this with the standard extraction of entropy density from the dimensionless free energy yields the central identity:
μ8
Two points deserve emphasis. First, the derivation is nonperturbative and does not rely on the replica formalism beyond being an intermediate computational device. Second, the relation is most sharply realized in phases with finite correlation length, which is why the authors introduce an explicit symmetry-breaking source in their numerics. The authors also note that analogous saturation behavior was previously observed in deconfining Yang–Mills phases (Nakagawa et al., 2011, Jokela et al., 2023) and follows by construction from the Ryu–Takayanagi prescription in holography [hep-th/0603001], but a precise quantitative comparison to thermal entropy had not been established there.
Generalized Maxwell relations and Rényi entropies
Replacing μ9 in the ordinary Maxwell relation O(4)0 by O(4)1 gives a generalized Maxwell relation:
O(4)2
Analogous relations hold for integer-order Rényi entropies O(4)3: their O(4)4-derivative approaches a step-scaling entropy density O(4)5, a discrete approximation to the temperature derivative with scaling factor O(4)6, which reduces to O(4)7 as O(4)8. Correspondingly, the mixed derivative satisfies
O(4)9
again reducing to the Maxwell relation in the A0 limit. This step-scaling structure is practically important because numerical computations are restricted to integer A1.
Nonperturbative test in the 3d A2 model
The numerical platform is the lattice A3 model with a conserved A4 charge coupled to A5. At nonzero A6 the action becomes complex, but a dual reformulation in terms of integer-valued flux variables renders the partition function sign-problem-free and amenable to worm-algorithm sampling [prokof2001worm; (Bruckmann et al., 2015)]. This is a decisive practical advantage over QCD, where finite-density simulations require sign-problem circumvention techniques.
Since A7 is inaccessible numerically, EE is estimated via the second Rényi entropy A8, and the A9-derivative is evaluated as a finite difference between ℓ0 and ℓ1. A severe overlap problem arises because the two ensembles differ on ℓ2 sites; the authors overcome it with the boundary-deformation method introduced for ℓ3 gauge theories (Rindlisbacher et al., 2022, Jokela et al., 2023), supplemented by worm updates that repair or preempt constraint defects caused by changing temporal boundary conditions. Technical details are deferred to a companion paper.
The simulations use ℓ4 (inside the ℓ5 broken-symmetry phase), a source ℓ6 giving the Goldstone modes a mass ℓ7, lattices with ℓ8, ℓ9, tr(ρAr)=Z(β,V,μ)rZ~(A,β,V,μ,r),0, and tr(ρAr)=Z(β,V,μ)rZ~(A,β,V,μ,r),1. The lightest mode mass behaves as tr(ρAr)=Z(β,V,μ)rZ~(A,β,V,μ,r),2 below the critical value, so the longest correlation length diverges as tr(ρAr)=Z(β,V,μ)rZ~(A,β,V,μ,r),3.
Two consistency checks precede the main result. First, the mixed derivative tr(ρAr)=Z(β,V,μ)rZ~(A,β,V,μ,r),4 computed two independent ways — from tr(ρAr)=Z(β,V,μ)rZ~(A,β,V,μ,r),5 at neighboring tr(ρAr)=Z(β,V,μ)rZ~(A,β,V,μ,r),6, and from tr(ρAr)=Z(β,V,μ)rZ~(A,β,V,μ,r),7 at neighboring tr(ρAr)=Z(β,V,μ)rZ~(A,β,V,μ,r),8 — agree well across tr(ρAr)=Z(β,V,μ)rZ~(A,β,V,μ,r),9, confirming internal algorithmic consistency. Notably, the entanglement-based observable clearly resolves the finite-density phase transition at Z~0, demonstrating that Z~1 and related quantities are sensitive probes of phase structure.
Second, the generalized Maxwell relation at Z~2,
Z~3
is tested against independent charge-density measurements. Agreement holds up to Z~4 at the lowest temperature and almost up to Z~5 at the highest temperature. The authors attribute the wider validity window at higher temperature to thermal truncation of the effective correlation length, since Z~6 is defined at zero temperature. This constitutes strong nonperturbative evidence that entanglement variations encode equation-of-state information.
Limitations and open questions
Several qualifications bear directly on the strength of the results. The equality in the Maxwell relation carries an asterisk: it requires Z~7, i.e., all linear sizes large compared to the correlation length, and the empirical agreement degrades precisely as Z~8 approaches unity. The derivation also assumes that the Z~9 limit commutes with the rβ0-derivative, an interchange whose justification is not proven here. Numerically, EE is approximated by rβ1 with a single unit-lattice-spacing finite difference in rβ2, so the reported agreement validates the rβ3 step-scaling version rather than the rβ4 relation itself. The test system is a gapped, symmetry-broken rβ5 model with an explicitly introduced source; whether the relations hold quantitatively in gapless phases, near criticality where rβ6 diverges, or in gauge theories with sign problems remains untested. Finally, the behavior in the deconfining phase of Yang–Mills theories, where saturation was observed but not compared quantitatively to thermal entropy, is left as an open question requiring precise measurement.
Conclusion
The paper establishes, both analytically and through nonperturbative lattice simulation, that size derivatives of entanglement entropy in large subregions reproduce thermal entropy densities and satisfy generalized Maxwell relations at finite chemical potential. The demonstration in the sign-problem-free 3d rβ7 model — with agreement between entanglement-derived and independently measured charge response up to rβ8–rβ9 — supports the conjecture that these relations are generic in continuum QFTs. The practical consequence is that entanglement data can, in principle, be used to extract equation-of-state information, positioning entanglement variations as thermodynamic response functions rather than purely information-theoretic diagnostics.