---
title: Rényi-2 Entanglement Entropy
url: https://www.emergentmind.com/topics/renyi-2-entanglement-entropy
type: topic
---

# Rényi-2 Entanglement Entropy

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^2)=1) 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 [2601.16454].
- **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 [1504.03909, 1604.02783].
- **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 [2601.16454].

## 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 [1703.10577, 2112.01929, 2503.24353].
- **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 [1108.1699, 2112.15178].
- **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 [1804.01114, 1605.07085].
- **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 [1605.07085].

## 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 [2406.06193, 2112.01929].
- **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 [2512.24533, 2112.15178].
- **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 [2112.15178].
- **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 [2406.06193].
- **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 [2112.01929, 1711.00624].

## 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 [2512.24533]. 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 [2512.24533].
- **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 [1108.1699, 2112.15178].
- **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 [2601.16454].
- **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 [1911.12384].

## 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 [2112.09000].
- **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 [1604.02783].
- **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 [1804.01114].

## 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 [1812.04279].
- **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 [1605.07085].
- **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 [2309.11889].
- **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 [1703.10577].

## 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            |

For detailed protocols, analytic formulas, and numerical results, see [2406.06193], [2102.15178], [2112.01929], [2512.24533], [1108.1699], [2601.16454], [1504.03909], [1604.02783], [1804.01114], and others.

Source: https://www.emergentmind.com/topics/renyi-2-entanglement-entropy