A quantum version of Sanov's theorem

We present a quantum version of Sanov's theorem focussing on a hypothesis testing aspect of the theorem: There exists a sequence of typical subspaces for a given set Psi of stationary quantum product states asymptotically separating them from another fixed stationary product state. Analogously to the classical case, the separating rate on a logarithmic scale is equal to the infimum of the quantum relative entropy with respect to the quantum reference state over the set Psi. While in the classical case the separating subsets can be chosen universally, in the sense that they depend only on the chosen set of i.i.d. processes, in the quantum case the choice of the separating subspaces depends additionally on the reference state.