Rényi-2 Entanglement Entropy

Updated 3 February 2026

Rényi-2 entanglement entropy is defined as -ln(Tr(ρA²)) and quantifies bipartite quantum entanglement in many-body systems and conformal field theories.
It employs techniques such as the replica trick, swap operator protocols, and Monte Carlo methods to facilitate tractable numerical and experimental estimation.
Its universal scaling laws in critical, topological, and strongly correlated systems highlight its broad applications in diagnosing quantum phase transitions and entanglement properties.

Rényi-2 entanglement entropy is the α=2 member of the Rényi entropy family, widely used to quantify bipartite quantum entanglement in many-body systems, conformal field theories, topologically ordered phases, and quantum information tasks. Defined as the negative logarithm of the purity of the reduced density matrix, S₂ provides operational and theoretical advantages, especially in numerical simulations and experimental protocols where full state tomography is intractable. S₂ possesses deep connections to universal scaling at criticality, topological entanglement entropy, operational randomness, and is central to modern quantum many-body and quantum information research.

1. Definition, Properties, and Operational Meaning

Let ρ be a pure or mixed quantum state defined on a bipartition A∪B. The second Rényi entropy of subsystem A is

$S_2(\rho_A) = -\ln \mathrm{Tr}\,(\rho_A^2)$

where ρ_A = Tr_B(ρ) is the reduced density matrix of A. For pure global states, S₂ quantifies the quantum entanglement between A and B.

Key formal properties include:

Purity sensitivity: S₂ vanishes for separable states (Tr(ρ_A²⁾⁼¹⁾ and attains its maximal value log d for maximally entangled states on d-dimensional subsystems.
Comparison to other Rényi entropies: For general α, the Rényi-α entropy S_α(ρ_A) = (1/(1-α)) ln Tr(ρ_A^α), satisfies monotonicity, with S_1 (the von Neumann entropy) recovered as α→1. S₂ underweights the tail of the spectrum compared to α<2, making it less sensitive to rare Schmidt eigenvalues (Lee et al., 23 Jan 2026).
Convex-roof extension: For mixed states ρ_AB, the "entanglement Rényi-2 entropy" ER₂(ρ_AB) is defined as the infimum over decompositions into pure states {|ψ_i⟩}:

$ER_2(\rho_{AB}) = \min_{\{p_i, |\psi_i\rangle\}} \sum_i p_i\, [-\log \mathrm{Tr}((\mathrm{Tr}_B |\psi_i\rangle\langle\psi_i|)^2)]$

Relation to other entanglement measures: ER₂ is monotonic under LOCC, convex, and non-increasing with α; it provides an entanglement spectrum that refines the von Neumann entropy (Wang et al., 2015, Song et al., 2016).
Operational role: S₂ lower bounds the ability to glue local randomness into global randomness via local resource-free operations, attaining optimality among Rényi indices for design generation (Lee et al., 23 Jan 2026).

2. Scaling Laws and Universality in Lattice Models and CFTs

S₂ is the central tool in diagnosing universal features of critical, topological, and strongly correlated systems.

1D Critical Systems (CFT): For a block of size ℓ in a system of total length L, the leading scaling form is

$S_2(L, \ell) \sim \frac{c}{4} \ln \left[\frac{L}{\pi} \sin\left(\frac{\pi\ell}{L}\right)\right] + \text{const}$

with central charge c. For open boundary conditions, scaling prefactors are halved (Bazavov et al., 2017, Estienne et al., 2021, Kusuki et al., 31 Mar 2025).

Topological Order: The subleading constant yields the topological entanglement entropy γ, with S₂ displaying

$S_2(\ell) = \alpha \ell - 2\gamma + O(1/\ell)$

In Z₂ topological liquids, the O(1) term is exactly −ln2, independently of the Rényi index (Stéphan et al., 2011, Zhao et al., 2021).

Higher-Dimensional Metals: S₂ in free/metallic Fermi systems displays log-violated area law scaling:

$S_2 \sim \kappa_2 L^{d-1} \ln L$

with explicit coefficient fixed by the Widom formula in terms of the geometry of the real-space boundary and Fermi surface (Barghathi et al., 2018, Porter et al., 2016).

Strong Correlations: For strongly interacting systems (e.g., unitary Fermi gas), the leading coefficient of S₂ remains as in the noninteracting case, with subleading area law corrections revealing strong pairing correlations (Porter et al., 2016).

3. Methodologies for Calculation and Measurement

S₂ is tractable via several state-of-the-art numerical and experimental protocols:

Replica Trick and Path Integral: For both quantum and classical statistical models, S₂ is computed as

$S_2(A) = -\ln \frac{Z_2(A)}{Z^2}$

where Z is the original partition function and Z_2(A) involves gluing along subsystem A (Białas et al., 2024, Estienne et al., 2021).

Swap Operator Protocols: In cold atom and trapped ion experiments, S₂ is directly measured using a swap operation between two copies:

$S_2 = -\ln \langle \hat{V}_A \rangle$

where ⟨𝑉_A⟩ is the expectation value of the swap (Barghathi et al., 31 Dec 2025, Zhao et al., 2021).

Quantum Monte Carlo and Nonequilibrium Methods: Incremental Jarzynski estimators and nonequilibrium quenching avoid sampling bottlenecks in stochastic simulations, providing unbiased estimates of S₂ in large-scale systems (Zhao et al., 2021).
Generative Neural Networks: Autoregressive and hierarchical architectures enable S₂ computation in spin chains and lattice models via explicit probability estimation and importance sampling, facilitating simulations up to L=32 spins (Białas et al., 2024).
Conformal and Integrable Field Theory Approaches: S₂ can be exactly computed in rational and irrational CFTs using twist fields, four-point correlators, and the annulus partition function, with detailed finite-size corrections derived via CFT technology (Estienne et al., 2021, He, 2017).

4. Physical Phenomena: Proxies, Scaling Transitions, and Topological Terms

Proxy for Entanglement: S₂ is often used experimentally as a proxy for the von Neumann entropy; in many critical or gapped models, their scalings coincide. However, symmetry-protected or number-conserving systems can exhibit marked discrepancies in their scaling exponents (Barghathi et al., 31 Dec 2025). For example, in number-conserving states, S₁(ℓ) ~ √ℓ ln ℓ, S₂(ℓ) ~ ln ℓ.
Symmetry-Resolved Diagnostics: Charge-resolved S₂ and related bounds (e.g.,

$\bar S_2 = \sum_q P(q)\,S_2(q) + H_1(\{P(q)\})$

with P(q) the probability distribution of the conserved quantity in A) provide a practical lower bound on S₁ and can reveal when S₂ underestimates the true entanglement (Barghathi et al., 31 Dec 2025).

Topological Entanglement Entropy: The universal O(1) term in S₂ for Z₂ topological orders is exactly −ln 2, robust to microscopic details and model parameters (Stéphan et al., 2011, Zhao et al., 2021).
Design and Randomness Capacity: S₂ quantitatively determines the capacity to glue local Haar randomness into global designs via local resource-free operations. The trace distance to the Haar t-design decays as Θ(t² e^{–S_2}) and S₂ provides the tightest such guarantee among Rényi indices (Lee et al., 23 Jan 2026).
Diffusive Quantum Dynamics: In non-integrable systems with U(1) conservation, the growth of S₂ after a quench is sub-ballistic,

$S_2(t) \lesssim \mathrm{const} \times \sqrt{t}$

reflecting the diffusive transport constraint (Zhou et al., 2019).

5. Extensions: Generalizations, Mixed States, and Operational Variants

Generalized/Off-Diagonal Rényi-2: For eigenstate pairs |Ψi⟩, |Ψ_j⟩ in CFT, generalized Rényi entropies S_2^{(i,j)}(A) = –ln Tr_A(ρ{ij}^{A ρ_{ij}^A),} where ρ_{ij}^A = Tr_B |Ψ_i⟩⟨Ψ_j|, encode orthogonality and relative entropy properties. Efficient analytic evaluation is possible using CFT mode expansion and Hafnian formulae for bosonic states (Murciano et al., 2021).
Mixed States and Convex-Roof Bounds: For density matrices, ER₂ admits tight lower and upper bounds in terms of concurrence-type quantities:

$-\ln(1-\underline C^2/2) \leq E_2(\rho) \leq -\ln(1-\overline C^2/2)$

These bounds are tight for pure states and Werner states (Song et al., 2016).

Operational Rényi Entropy: The operational Rényi entanglement entropy S₂^{op} accounts for particle-number superselection, exhibiting a reduction ΔS₂ = H_{1/2}({P_{n,2}}) scaling as (1/2) ln(L^{{d–1} ln L)} for free fermions, with only a double-log correction to the leading log-violated area law (Barghathi et al., 2018).

6. Advanced Applications: Gauge Theories, Strong Correlations, and Quantum Simulation

Gauge Theories: S₂ has been numerically computed in pure SU(N_c) lattice gauge theories, revealing universal scaling of the "entropic c-function" C(l) ∝ N_c²–1 at short distances, with a sharp crossover identifying confinement transitions as predicted by AdS/CFT (Rabenstein et al., 2018).
Strongly Correlated Fermions: In the 3D unitary Fermi gas, S₂ displays the same leading x² ln x scaling as the free case, with a universal subleading area-law correction attributed to pairing (Porter et al., 2016).
Boson-Fermion Dualities: In the massless Thirring model, S₂ for two intervals can be computed via bosonization into free-boson partition functions on a torus, with entanglement enhanced or suppressed by the coupling and exhibiting duality symmetries (Fujimura et al., 2023).
Quantum Simulation Prospects: S₂ can be measured in cold atoms via swap-operator protocols, and its scaling exponents used to extract central charges and critical properties in quantum simulators for systems up to moderate system sizes (Bazavov et al., 2017).

7. Tables: Definitions and Scaling Laws

Quantity	Formula	Domain
S₂ (pure state)	$S_2 = -\ln \mathrm{Tr}(\rho_A^2)$	General bipartition
S₂ (replica/path integral)	$S_2 = -\ln[Z_2(A)/Z^2]$	Equilibrium statistical/lattice systems
S₂ (topological)	$S_2(\ell) = \alpha\ell - 2\gamma + \cdots$ , $\gamma = \ln 2$ for Z₂ order	2D gapped/topological phases
S₂ (1D CFT)	$S_2(\ell) = (c/4)\ln[\frac{L}{\pi} \sin\frac{\pi\ell}{L}] + \mathrm{const}$	1D critical, central charge c
S₂ (Fermi surface)	$S_2 \sim \kappa_2 L^{d-1} \ln L$	Metals, free fermions, dimension d
S₂ (mixed state bound)	$-\ln(1-\underline C^2/2) \leq E_2(\rho) \leq -\ln(1-\overline C^2/2)$	Arbitrary-dimensional bipartite states
S₂ (swap expectation)	$S_2 = -\ln \langle \hat V_A \rangle$	Experiment, two-copy measurement