The probability of entanglement
arXiv:0712.4163 · doi:10.1007/s00220-008-0661-8
Abstract
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 and be full matrix algebras with , fix an arbitrary state of , and let be the set of all states of that extend . The space contains states of rank for every $r=1,2,...,m\cdot\rankω$, and it has a filtration into compact subspaces $$ E^1(ω)\subseteq E^2(ω)\subseteq ...\subseteq E^{m\cdot\rankω}=E(ω), $$ where is the set of all states of having rank . We show first that for every , there is a real-analytic manifold , homogeneous under a transitive action of a compact group , which parameterizes . The unique -invariant probability measure on promotes to a probability measure on , and assigns probability 1 to states of rank . The resulting probability space represents ``choosing a rank extension of at random". Main result: For every $r=1,2,...,[\rank ω/2]$, states of are almost surely entangled.
Significant revisions and clarifications, more references. 33 pages