 Quantum typical subspace

For a density operator $\pi ={\sum }_i{q}_i|{\varphi }_i⟩⟨{\varphi }_i|$, the quantum typical subspace is spanned by product eigenvectors of ${\pi }^{\otimes n}$ whose eigenvalues $q_{i_1}\cdots q_{i_n}$ satisfyIt applies the classical weakly typical sequence definition to the spectrum. If $P_{\epsilon }^{(n)}$ is its orthogonal projection, thenThe first statement follows from the typical-set cardinality bounds, and the second from the weak law of large numbers. This subspace holds nearly all the source probability while using exponentially fewer dimensions than the whole space when $S(\pi )<{\log }_{2}d$.