The probability of entanglement

We show that states on tensor products of matrix algebras whose ranks are relatively small are {\em 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\geq n$, fix an arbitrary state $\omega$ of $N$, and let $E(\omega)$ be the set of all states of $M\otimes N$ that extend $\omega$. The space $E(\omega)$ contains states of rank $r$ for every $r=1,2,...,m\cdot\rank\omega$, and it has a filtration into compact subspaces $$E^1(\omega)\subseteq E^2(\omega)\subseteq ...\subseteq E^{m\cdot\rank\omega}=E(\omega),$$ where $E^r(\omega)$ is the set of all states of $E(\omega)$ having rank $\leq r$. We show first that for every $r$, there is a real-analytic manifold $V^r$, homogeneous under a transitive action of a compact group $G^r$, which parameterizes $E^r(\omega)$. The unique $G^r$-invariant probability measure on $V^r$ promotes to a probability measure $P^{r,\omega}$ on $E^r(\omega)$, and $P^{r,\omega}$ assigns probability 1 to states of rank $r$. The resulting probability space $(E^r(\omega),P^{r,\omega})$ represents ``choosing a rank $r$ extension of $\omega$ at random". Main result: For every $r=1,2,...,[\rank \omega/2]$, states of $(E^r(\omega),P^{r,\omega})$ are almost surely entangled.