The Probability of Entanglement

Abstract

We show that states on tensor products of matrix algebras whose ranks are relatively small are almost surely entangled, but that states of maximum rank are not. More precisely, let \(M = M_m(\mathbb{C})\) and \({N=M_n(\mathbb C)}\) be full matrix algebras with m ≥ n, fix an arbitrary state ω of N, and let E(ω) be the set of all states of \({M\otimes N}\) that extend ω. The space E(ω) contains states of rank r for every r = 1, 2, . . . , m · rank ω, and it has a filtration into compact subspaces $$E^1(\omega)\subseteq E^2(\omega)\subseteq \cdots\subseteq E^{m\cdot{\rm rank}\,\omega}=E(\omega),$$ where Er(ω) is the set of all states of E(ω) having rank ≤ r.