Quantum typical subspace (${\mathcal{T}}_{\epsilon }^{(n)}$)

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$.

For each fixed $\delta >0$, the quantum typical subspace projector selects eigenvalues of ${\pi }^{\otimes n}$ between $2^{-n(S(\pi )+\delta )}$ and $2^{-n(S(\pi )-\delta )}$. Its probability tends to one by the weak law of large numbers for the spectral information variable. If its probability is at least $1-ϵ$, its dimension is between $(1-ϵ)2^{n(S(\pi )-\delta )}$ and $2^{n(S(\pi )+\delta )}$. These statements give the size and concentration estimates behind Schumacher compression.