Term in quantum information theory
In quantum information theory, the idea of a typical subspace plays an important role in the proofs of many coding theorems (the most prominent example being Schumacher compression). Its role is analogous to that of the typical set in classical information theory.
Unconditional quantum typicality
[edit] Consider a density operator
with the following spectral decomposition:

The weakly typical subspace is defined as the span of all vectors such that the sample entropy
of their classical label is close to the true entropy
of the distribution
:

where


The projector
onto the typical subspace of
is defined as

where we have "overloaded" the symbol
to refer also to the set of
-typical sequences:

The three important properties of the typical projector are as follows:

![{\displaystyle {\text{Tr}}\left\{\Pi _{\rho ,\delta }^{n}\right\}\leq 2^{n\left[H\left(X\right)+\delta \right]},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/864bd5e94f81b15d982984fc6e9aa20c04d0189d)
![{\displaystyle 2^{-n\left[H(X)+\delta \right]}\Pi _{\rho ,\delta }^{n}\leq \Pi _{\rho ,\delta }^{n}\rho ^{\otimes n}\Pi _{\rho ,\delta }^{n}\leq 2^{-n\left[H(X)-\delta \right]}\Pi _{\rho ,\delta }^{n},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a16d3babe738beb2f123c0b834f5a637533d741b)
where the first property holds for arbitrary
and sufficiently large
.
Conditional quantum typicality
[edit] Consider an ensemble
of states. Suppose that each state
has the following spectral decomposition:

Consider a density operator
which is conditional on a classical sequence
:

We define the weak conditionally typical subspace as the span of vectors (conditional on the sequence
) such that the sample conditional entropy
of their classical labels is close to the true conditional entropy
of the distribution
:

where


The projector
onto the weak conditionally typical subspace of
is as follows:

where we have again overloaded the symbol
to refer to the set of weak conditionally typical sequences:

The three important properties of the weak conditionally typical projector are as follows:

![{\displaystyle {\text{Tr}}\left\{\Pi _{\rho _{x^{n}},\delta }\right\}\leq 2^{n\left[H(Y|X)+\delta \right]},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19bc9d957f7d82849319d4190401b14a6df3e922)
![{\displaystyle 2^{-n\left[H(Y|X)+\delta \right]}\ \Pi _{\rho _{x^{n}},\delta }\leq \Pi _{\rho _{x^{n}},\delta }\ \rho _{x^{n}}\ \Pi _{\rho _{x^{n}},\delta }\leq 2^{-n\left[H(Y|X)-\delta \right]}\ \Pi _{\rho _{x^{n}},\delta },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56415b84f37564e580bab166e7c01e547f06a9af)
where the first property holds for arbitrary
and sufficiently large
, and the expectation is with respect to the distribution
.