---
title: Entanglement Negativity in Quantum Systems
url: https://www.emergentmind.com/topics/entanglement-negativity
type: topic
---

# Entanglement Negativity in Quantum Systems

Entanglement negativity is a quantitative measure of quantum correlations—particularly, quantum entanglement—in bipartite quantum systems, designed to capture and quantify entanglement in general mixed states beyond the scope of pure-state measures such as the von Neumann or Rényi entropies. It serves not only as a practical entanglement monotone with an operational interpretation in a diversity of quantum information and many-body contexts, but also as a technical device for studying entanglement scaling laws, multipartite structure, and universal features in both quantum field theoretic and condensed matter systems.

## 1. Formal Definition and Fundamental Properties

Given a density matrix $\rho_{AB}$ over a finite-dimensional bipartite Hilbert space $\mathcal{H}_A \otimes \mathcal{H}_B$, the partial transpose with respect to subsystem $B$ (denoted $T_B$) is
\[
\langle a, b|\,\rho_{AB}^{T_B}\,|a', b'\rangle = \langle a, b'|\,\rho_{AB}\,|a', b\rangle
\]
in any orthonormal basis. The trace norm is $\|O\|_1 = \mathrm{Tr}\sqrt{O^\dagger O}$. The (Vidal–Werner) negativity is
\[
N(\rho_{AB}) = \frac{1}{2}\left(\|\rho_{AB}^{T_B}\|_1 - 1\right) = \sum_{i:\lambda_i<0} |\lambda_i|
\]
where $\{\lambda_i\}$ are the eigenvalues of $\rho_{AB}^{T_B}$. The logarithmic negativity is
\[
\mathcal{E}(\rho_{AB}) = \log \|\rho_{AB}^{T_B}\|_1 = \log(2 N + 1)
\]
$N(\rho_{AB}) = 0$ if and only if $\rho_{AB}^{T_B}$ is positive (the PPT criterion), that is, for separable states. Negativity is an entanglement monotone under LOCC and provides an upper bound on distillable entanglement. For pure states, the logarithmic negativity coincides with the Rényi-$1/2$ entropy of the reduced density matrix [1304.7225, 1511.08819, 1605.00674].

## 2. Operational Meaning and Dimensional Quantification

Negativity has an immediate operational interpretation: for pure states of Schmidt rank $k$,
\[
|\Psi_k\rangle = \frac{1}{\sqrt{k}} \sum_{i=1}^k |i\rangle_A \otimes |i\rangle_B
\]
\[
\| (|\Psi_k\rangle\langle\Psi_k|)^{T_A} \|_1 = k \implies N_{\mathrm{dim}}(|\Psi_k\rangle\langle\Psi_k|) = k
\]
where $N_{\mathrm{dim}}(\rho) = \|\rho^{T_A}\|_1$ [as in 1304.7225]. For arbitrary mixed states, $N_{\mathrm{dim}}(\rho) \leq \text{Schmidt~number}(\rho)$, so $\lceil N_{\mathrm{dim}}(\rho) \rceil$ is a lower bound on the number of entangled dimensions.

Device-independent lower bounds are accessible via the moment matrix constructed from measurement outcomes; by semidefinite programming one obtains a certified minimum value of the negativity, which in turn certifies a minimum underlying Hilbert space dimension even when the system implementation or measurement operators are not fully specified [1304.7225].

## 3. Scaling Laws and Spectrum in Quantum Lattice Systems

In free lattice models, the scaling of entanglement negativity reflects universal features:

- In 2D bosonic (harmonic) lattices, the logarithmic negativity obeys a strict area law: $\mathcal{E}_\mathrm{boson}(\ell) \sim \alpha_b |\partial A|$, with $\alpha_b$ non-critical. There are no logarithmic violations [1511.08819].
- In 2D free fermionic systems, the negativity exhibits a multiplicative log correction: $\mathcal{E}_\mathrm{fermion}(\ell) \sim \alpha_F \ell \log \ell$, where $\alpha_F$ depends on geometric integrals over the Fermi surface and subsystem boundary.
- In 1D CFT, the negativity between two adjacent intervals scales logarithmically with subsystem length $\ell$, with universal central-charge dependence [1607.02992, 1312.1168]:
\[
\mathcal{E} \sim \frac{c}{4}\log \ell + \mathrm{const.}
\]
The negativity spectrum, i.e., the eigenvalue distribution of $\rho_A^{T_2}$, exhibits universal scaling functions depending on the central charge and block geometry, with bulk sign symmetry and Bessel-function scaling in the tails [1607.02992].

For random-singlet phases in strongly disordered spin chains, the disorder-averaged negativity is proportional to the number of singlets shared by the intervals, leading to logarithmic scaling but with a reduced effective central charge $c_\mathrm{eff} = \ln 2/2$ [1605.00674].

## 4. Monogamy, Disentangling, and Multipartite Structure

Negativity is strictly monogamous:
\[
N_{A|BC}^2 \ge N_{A|B}^2 + N_{A|C}^2
\]
for any pure $ABC$ state. Equality is achieved only in trivial cases forced by LOCC monotonicity. The tight boundary for the set of achievable $(N_{A|C},N_{A|B},N_{A|BC})$ tuples in the three-qubit case is given by a non-linear polynomial equation; in high-dimensional systems, attainable distributions of negativity asymptotically become linear in local dimension [1401.5843, 1502.04807].

The disentangling theorem gives necessary and sufficient conditions for when $A$ can be factorized from $C$ given $A|B$. Physically, this allows negativity to diagnose factorization structures and topological boundaries in many-body states, and the absence or presence of residual entanglement between separated regions [1401.5843, 2106.07668].

## 5. Holographic and Field-Theoretic Perspectives

In holographic AdS/CFT duality, negativity is computed by a specific algebraic sum of minimal surfaces:
\[
\mathcal{E}(A) = \frac{3}{16 G_N^{(d+1)}} [2 \text{Area}(\gamma_A) + \text{Area}(\gamma_{B_1}) + \text{Area}(\gamma_{B_2}) - \text{Area}(\gamma_{A \cup B_1}) - \text{Area}(\gamma_{A \cup B_2})]
\]
leading to
\[
\mathcal{E}(A) = \frac{3}{2} S_A
\]
for pure AdS and
\[
\mathcal{E}(A) = \frac{3}{2} (S_A - S_A^{\text{th}})
\]
for AdS-Schwarzschild (finite $T$), isolating distillable quantum correlations via the subtraction of thermal entropy. In 1+1d CFT, the same structure emerges via the replica-twist formalism, matching the universal forms at large central charge [1609.06609, 1602.01147].

In random tensor networks and spin network states for quantum gravity, the typical logarithmic negativity between two boundary regions is an area law, matching the Ryu–Takayanagi prescription, and is robust in the large bond/spin regime [2212.06083]. Nonlocal intertwiner entanglement in the bulk induces corrections, modifying the area-law coefficient.

## 6. Dynamics and Measurement-Induced Transitions

Negativity tracks the growth and propagation of quantum correlations in out-of-equilibrium systems. Following a global quantum quench in 1D CFT, negativity exhibits linear spreading in time, plateau, and eventual decay, mirroring entanglement entropy but with distinct lattice-specific effects such as the "late birth" and "sudden death" of entanglement on finite lattices [1410.0900].

In hybrid quantum circuits undergoing measurement-induced transitions, the scaling of "mutual negativity"—the negativity between two disjoint subregions—diagnoses the emergence of bipartite vs multipartite entanglement, and reveals a robust universal scaling exponent for negativity distinct from that governing mutual information [2012.00031].

## 7. Perturbative and Spectral Analyses

The negativity, being a non-analytic function of the density matrix, admits a systematic perturbative expansion with well-defined matrix calculus (i.e., derivatives/Jacobians and Hessians involving the spectral decomposition of $\rho^{T_A}$). The first and second derivatives furnish the linear and quadratic responses of negativity under state deformations, applicable to the characterization of entanglement growth, response to perturbations, and entanglement phase transitions [1809.07772].

The full negativity spectrum in random ensembles and tensor networks (especially holographic or large-$N$ limits) can be analyzed via replica moments and combinatorial methods (e.g., sums over noncrossing permutations, hypergeometric resummations, and max-flow diagrams), elucidating universal spectral laws (e.g., semicircle, Marchenko–Pastur, Motzkin), Page-like transitions, and the structure of Hawking-radiation negativity in island calculations [2109.02649, 2303.00018].

---

Entanglement negativity, thus, serves as a cornerstone entanglement measure for both fundamental and practical investigations across quantum information, condensed matter, and quantum gravity, tightly linking operational meaning, scaling universality, and the multipartite structure of quantum correlations. For explicit analytic results, lattice and field-theoretic scaling forms, device-independent certification protocols, holographic prescriptions, and algorithmic recipes for perturbative computation, see the cited works [1304.7225, 1511.08819, 1605.00674, 1401.5843, 1502.04807, 1609.06609, 2012.00031, 2109.02649, 1607.02992, 2212.06083, 1602.01147, 1410.0900].

Source: https://www.emergentmind.com/topics/entanglement-negativity