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

# Entanglement Matrix in Quantum Systems

“Entanglement matrix” does not denote a single universally standardized object in quantum information or many-body theory. In the literature surveyed here, it refers to several matrix-valued constructions that encode entanglement in different ways: the reduced density matrix \(\rho_A\), the finite bond space and transfer matrices of a matrix product state (MPS), covariance and commutation matrices used in separability tests, generalized adjacency matrices that reproduce subsystem entropies, and, in some explicitly named graph-state formalisms, midpoint-indexed matrices defined from geometric cuts. A plausible unifying description is that an entanglement matrix is any matrix-valued object whose rank, spectrum, singular values, positivity, or block structure encodes quantum correlations across a partition [0712.1976], [1806.03832], [1906.05146].

## 1. Terminology and recurrent forms

Several distinct matrix objects are called, or function as, an entanglement matrix in different subfields. Some papers explicitly state that they do **not** introduce an object literally called an entanglement matrix, while nevertheless using a matrix that plays that role operationally.

| Setting | Matrix object | Role |
|---|---|---|
| Bipartite quantum states | \(\rho_A=\operatorname{Tr}_{\bar A}|\psi\rangle\langle\psi|\) | Canonical carrier of entanglement entropy |
| MPS and tensor networks | Bond space, transfer matrix, overlap transfer matrix | Finite-rank entanglement support and propagation |
| Covariance criteria | \(V+\frac{i}{2}\Omega\), or its partially transposed form | Entanglement detection from moments |
| Entanglement geometry | \(J_{ij}\) | Reconstructs \(S_A\) as a cut weight |
| Graph-state classification | Midpoint-indexed symmetric matrix | Paper-specific bookkeeping of graph-state entanglement |

In one line of work, the “entanglement adjacency matrix” \(J\) is defined by
\[
S_A=\sum_{i\in A}\sum_{j\in \bar A}J_{ij},
\]
so subsystem entropy is represented as the weight of a graph cut [1906.05146]. In another, finite-\(\chi\) MPS are interpreted as finite-rank approximations to the half-chain reduced density matrix, with the bond indices acting as the effective entanglement-carrying matrix space [0712.1976]. In covariance-based detection, the matrix
\[
V_{jk}=\frac{1}{2}\langle\{\xi_j,\xi_k\}\rangle-\langle\xi_j\rangle\langle\xi_k\rangle
\]
and its partially transposed counterpart become the relevant entanglement witness [1806.03832]. A separate graph-state paper explicitly introduces an “Entanglement Matrix,” but its midpoint-based definition is nonstandard and specific to that formalism [2507.11458].

## 2. Reduced density matrices and spectral support

The canonical matrix formulation of bipartite entanglement begins with the Schmidt decomposition
\[
\ket{\Psi}=\sum_{\alpha=1}^{\min(\dim {\mathcal H}_A,\dim {\mathcal H}_B)} \lambda_{\alpha} \ket{\varphi_{\alpha}^A} \ket{\varphi_{\alpha}^B},
\qquad
\sum_\alpha |\lambda_\alpha|^2=1,
\]
and the reduced density matrix \(\rho_A\), whose eigenvalues are \(\{\lambda_\alpha^2\}\). The von Neumann entropy is
\[
S(\rho_A)=-\sum_\alpha \lambda_\alpha^2 \log \lambda_\alpha^2=S(\rho_B),
\]
so the reduced density matrix is the most direct entanglement matrix in standard bipartite theory [0712.1976].

This remains the operative matrix object in many-body eigenstate studies. For the spin-\(\frac12\) XXZ chain, the entanglement of an eigenstate \(|\alpha\rangle\) is defined by
\[
S_\alpha=-{\rm Tr}\{\hat\rho_A\ln(\hat\rho_A)\},
\qquad
\hat\rho_A={\rm Tr}_{\bar A}\{|\alpha\rangle\langle\alpha|\}.
\]
That work emphasizes that \(\hat\rho_A\) is the only explicit entanglement-related matrix used there; no entanglement spectrum or modular Hamiltonian is introduced [1909.09654].

A different but closely related matrix appears in entanglement negativity. Negativity is defined from the partial transpose,
\[
\mathcal N(\rho)=\frac12\left(\|\rho^{T_B}\|_1-1\right),
\]
so the entanglement content is encoded not by \(\rho_A\) but by the singular-value structure of \(\rho^{T_B}\). The partial transpose is represented explicitly by a fixed permutation matrix \(K_B\) acting on \(\operatorname{vec}\rho\),
\[
\operatorname{vec}\rho^{T_B}=K_B\,\operatorname{vec}\rho,
\]
and the derivative of \(\|\rho^{T_B}\|_1\) is controlled by the matrix sign of \(\rho^{T_B}\) [1809.07772]. In this formulation, the entanglement matrix is the partially transposed density matrix together with the linear superoperator that implements partial transposition.

## 3. Matrix product states and finite entanglement support

In MPS theory, entanglement is encoded concretely in the bond indices linking local tensors rather than in an abstract auxiliary object. For
\[
\ket{\Psi}=\sum_{s_1\ldots s_N}\mathrm{tr}[A_1(s_1)\cdots A_N(s_N)]\ket{s_1\ldots s_N},
\]
with each \(A_i(s_i)\) a \(\chi\times\chi\) matrix, the Schmidt rank across any bond cut is at most \(\chi\). Consequently, the reduced density matrix has rank at most \(\chi\), and
\[
S(\rho_A)\le \log\chi.
\]
The bond space therefore acts as a finite-dimensional entanglement channel, or, equivalently, as the effective finite-rank support of the reduced density matrix [0712.1976].

At criticality this finite support produces a characteristic finite-entanglement scaling. For the quantum Ising chain the half-chain entropy satisfies
\[
S_\chi \simeq \frac{1}{6}\log\chi,
\]
while the induced correlation length obeys
\[
\xi_\chi\sim \chi^\kappa,
\qquad
\kappa\simeq 2
\]
for Ising and \(\kappa\sim 1.37\) for Heisenberg [0712.1976]. The transfer matrix built from local tensors supplies the effective correlation length through the ratio of its two leading eigenvalues, so the same finite-dimensional matrix structure governs both entanglement support and long-range correlations.

A related matrix notion appears in geometric entanglement. For periodic finite chains, the overlap between an MPS ground state \(|\psi\rangle\) and a separable state \(|\phi\rangle\) is encoded in the transfer matrix
\[
E_{\langle\phi|\psi\rangle},
\]
whose dominant eigenpairs determine fidelities and gradients in the optimization of geometric entanglement per lattice site [1106.2110]. This is not a reduced-density-matrix formalism; the relevant matrix is an overlap transfer matrix.

In symmetric-state entanglement classification, the local matrices themselves become the classifier. A symmetric \(N\)-qubit state can be written as
\[
|\Psi_S^{(N)}\rangle=\sum_{k=1}^{D}c_k|x_k\rangle^{\otimes N},
\]
equivalently as a diagonal MPS with diagonal Kraus operators \(A_\mu\). The minimal diagonal bond dimension \(D\) is then used to define entanglement families compatible with SLOCC, and reduced-density-matrix rank and kernel data determine parent-Hamiltonian interaction length [1504.07524]. Here the entanglement matrix is not a single matrix but the MPS matrix structure itself.

## 4. Covariance matrices, positive maps, and matrix inequalities

A second major usage treats entanglement matrices as witness matrices constructed from moments. For an arbitrary set of Hermitian observables \(\xi=(\xi_1,\dots,\xi_N)\), the covariance and commutation matrices are
\[
V_{jk}\equiv \frac{1}{2}\langle\{\xi_j,\xi_k\}\rangle-\langle\xi_j\rangle\langle\xi_k\rangle,
\qquad
\Omega_{jk}\equiv -i\langle[\xi_j,\xi_k]\rangle.
\]
Every physical state satisfies the generalized uncertainty relation
\[
V+\frac{i}{2}\Omega\ge 0.
\]
For separable bipartite states, the partially transposed matrices must satisfy
\[
\mathrm{PT}(V)+\frac{i}{2}\mathrm{PT}(\Omega)\ge 0.
\]
Violation implies entanglement [1806.03832]. In this setting the entanglement matrix is the Hermitian matrix \(\mathrm{PT}(V)+\frac{i}{2}\mathrm{PT}(\Omega)\), whose negative eigenvalues certify nonseparability.

A broader matrix-inequality framework starts from immanant inequalities for positive semidefinite matrices \(G\), promotes them to Young-projector operator inequalities, and then to positive maps and witnesses. The key operator-valued matrices are the Young projectors \(P_\lambda\), the filtered multilinear maps
\[
\Psi_{\vec a}^{E}(\rho_1\otimes\cdots\otimes\rho_{k-1}),
\]
and the witness matrices
\[
W=E^{\otimes n}\sum_{\lambda\vdash n}\frac{a_\lambda}{\chi_\lambda(\mathrm{id})}P_\lambda.
\]
Entanglement is detected by failure of positivity of the map output or negativity of \(\operatorname{tr}(W\rho)\) [2502.18446]. This usage treats an entanglement matrix as a positivity-test matrix derived from symmetric matrix inequalities.

Tripartite detection based on principal basis matrix representations uses the correlation coefficients
\[
r_{ij,kl,st}=\operatorname{tr}\!\left(\rho\,A_{ij}^{\dagger}\otimes A_{kl}^{\dagger}\otimes A_{st}^{\dagger}\right)
\]
to build matrix slices \(T_i^{f|gh}\), and then linear combinations such as
\[
S^{f|gh}=a_fT_1^{f|gh}+b_fT_2^{f|gh}+c_fT_3^{f|gh}.
\]
Necessary conditions for separability are then expressed as bounds on \(\|S^{f|gh}\|_{tr}\) for qubits, or on phase-weighted sums \(N^{f|gh}\) for qudits [2202.06176]. These are explicitly entanglement-sensitive matrices extracted from a three-body correlation tensor.

## 5. Geometric and graph-theoretic adjacency matrices

A geometrical use of the term appears in the entanglement adjacency matrix \(J\), a symmetric weighted matrix on the set of sites, defined by the exact or approximate relation
\[
S_A=\sum_{i\in A}\sum_{j\in \bar A}J_{ij}.
\]
When this representation is exact and \(s_0=0\), one has
\[
\mathcal I(a:b)=2J_{ab},
\qquad
J_{ab}=\frac12\mathcal I(a:b),
\]
and more generally
\[
\mathcal I(A:B)=2\sum_{i\in A}\sum_{j\in B}J_{ij}.
\]
Thus \(J\) functions as a generalized adjacency matrix whose cut weights reproduce entanglement entropies [1906.05146].

This representation yields a natural entanglement contour,
\[
s_A(i)=\sum_{j\in\bar A}J_{ij},
\qquad
S_A=\sum_{i\in A}s_A(i),
\]
and, for translationally invariant one-dimensional systems, a recursion relation
\[
J_l=S_l-\frac12 S_{l-1}-\frac12 S_{l+1}.
\]
For a CFT interval on the infinite line, the continuum kernel is
\[
J(x,y)=\frac{c/6}{(x-y)^2},
\]
which the paper interprets formally as the two-point function of an entanglement current [1906.05146]. In this literature the entanglement matrix is literal: it is the weighted graph matrix from which all cut entropies are reconstructed.

A distinct, explicitly named but nonstandard graph-state formalism defines the Entanglement Matrix as a symmetric matrix indexed by edge midpoints rather than by qubits. Primary midpoints, associated with adjacent qubits, contribute to diagonal and off-diagonal entries; secondary midpoints contribute only to diagonal entries. The total entanglement is then the sum of the diagonal entries and one triangular half of the matrix. For complete odd-\(N\) graph states the paper reports
\[
E_{\max}=N^2-N,
\]
while for even \(N\) it gives piecewise formulas, including
\[
E_{\max}=\frac{5N^2}{4}-\frac{3N}{2},
\qquad
E_{\max}=\frac{5N^2}{4}-2N,
\]
and, for even multiples of \(12\),
\[
E_{\max}=\frac{5N^2}{4}.
\]
That work also states that “The reason why this happens is still not clear,” so these midpoint formulas should be read as properties of that paper’s custom bookkeeping scheme rather than as standard graph-state entanglement theory [2507.11458].

## 6. Matrix degrees of freedom, gauge constraints, and emergent geometry

In matrix-model and gauge/gravity settings, the phrase shifts meaning again: the relevant subsystem is a subset of matrix degrees of freedom. In gauged multi-matrix models, diagonal matrix entries encode D-brane positions and off-diagonal entries encode strings stretched between branes. After gauge fixing adapted to a planar target-space cut, the problem maps to a \(U(1)\) gauge theory on a complete graph with extended Hilbert space
\[
\mathcal H=\otimes \mathcal H_{V_i}\otimes \mathcal H_{ij}.
\]
Tracing out hidden vertices and links yields a reduced state block-diagonal in charge sectors,
\[
\rho_{in}=\bigoplus_{\vec q}\rho_{in}^{\vec q},
\]
with entropy
\[
S_{EE}=-\sum_{\vec q}p_{\vec q}\log p_{\vec q}
-\sum_{\vec q}p_{\vec q}\,\mathrm{Tr}\!\left[\rho_{in}^{\vec q}\log \rho_{in}^{\vec q}\right].
\]
Here the “entanglement matrix” is the reduced density matrix for a matrix-defined subsystem, together with the matrix block structure induced by gauge constraints [2012.15683].

A related proposal called matrix entanglement defines subsystems directly in the extended Hilbert space of matrix/color degrees of freedom,
\[
\mathcal H_{\rm ext}=\mathcal H_A\otimes\mathcal H_{\bar A},
\qquad
\rho_A=\mathrm{Tr}_{\bar A}\rho,
\]
with physical meaning supplied by wave packets \(|Y,Q\rangle\) whose matrix centers encode emergent D-brane or black-hole geometry [2204.06472]. In that setting the “matrix” is not a matrix of entropies but the underlying matrix-valued dynamical variable whose blocks define the subsystem.

The Quantum Hall Matrix Model provides an explicit emergent-space calculation. A cut through the droplet yields two contributions: a boundary term from the collective eigenvalue mode,
\[
s_{\rm bdy}=\frac16\log(NL)+\cdots,
\]
and a bulk term from duplicated off-diagonal matrix elements crossing the cut,
\[
s_{\rm cut}=\frac{(Nk)^{1/2}}{\sqrt6}\,L\log(NL)+\cdots,
\]
so that \(s=s_{\rm cut}+s_{\rm bdy}\) [2111.05967]. In this example the singular values of the cut-crossing off-diagonal block play the decisive entanglement role, making the singular-value structure of a matrix block directly geometric.

## 7. Kernel-based formulations and conceptual boundaries

Some recent work treats an operator kernel itself as the entangling matrix. In Matrix theory, integrating out heavy off-diagonal modes leads to a Gaussian kernel
\[
\hat\Omega=
\begin{pmatrix}
\Omega_{11} & \Omega_{12}\\
\Omega_{21} & \Omega_{22}
\end{pmatrix},
\]
from which the reduced density matrix of the probe is controlled by
\[
\hat C\equiv \hat{\Omega}_{11}^{-1/2}\hat{\Omega}_{12}\hat{\Omega}_{22}^{-1}\hat{\Omega}_{21}\hat{\Omega}_{11}^{-1/2}.
\]
The entanglement entropy is then a function of \(\hat C\), and in the weak-coupling regime
\[
S_{ent}\simeq -\mathrm{Tr}\left(\frac{\hat C}{4}\ln\frac{\hat C}{4}\right).
\]
The same paper also introduces a covariant \(c\)-tensor,
\[
C_{rs}=r_{ru}r_{us},
\]
as the geometric counterpart of the entanglement kernel [2103.06941].

In an operator-algebraic scattering formulation, the two-body scattering kernel
\[
K_{cd,ab}
\]
acts on a bipartite representation space, while a product input \(u_a v_b\) produces the outgoing coefficient matrix
\[
\mathcal N_{cd}=K_{cd,ab}u_a v_b.
\]
The reduced density matrix is
\[
\rho_R=\frac{\mathcal N\mathcal N^\dagger}{\mathrm{Tr}[\mathcal N\mathcal N^\dagger]},
\]
and the entanglement is computed from the singular values of \(\mathcal N\) [2511.09623]. This again uses a matrix whose singular-value structure is the entanglement carrier, but it is neither a reduced density matrix nor a covariance matrix.

A recent review of matrix quantum mechanics makes the broader terminological point explicit: MQM does not introduce a standard object literally called an “entanglement matrix,” and the closest constructions are reduced density matrices for matrix-defined subsystems, projector/block decompositions
\[
X^i_{AB}=\Theta_A X^i\Theta_B,
\]
Gaussian correlation kernels, and representation-block decompositions of \(\rho_\Sigma\) [2512.03163]. That observation captures the general state of the term. “Entanglement matrix” is best understood as a context-dependent label for matrix-valued encodings of entanglement rather than as a single invariant object shared across quantum information, tensor networks, gauge theory, graph states, and emergent-geometry models.

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