Typical subspace

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

Consider a density operator $\rho$ with the following spectral decomposition:

\rho =\sum _{x}p_{X}\left(x\right)\left\vert x\right\rangle \left\langle x\right\vert .

The weakly typical subspace is defined as the span of all vectors such that the sample entropy ${\overline {H}}\left(x^{n}\right)$ of their classical label is close to the true entropy $H\left(X\right)$ of the distribution $p_{{X}}\left(x\right)$ :

T_{\delta }^{X^{n}}\equiv {\text{span}}\left\{\left\vert x^{n}\right\rangle :\left\vert {\overline {H}}\left(x^{n}\right)-H\left(X\right)\right\vert \leq \delta \right\},

where

{\overline {H}}\left(x^{n}\right)\equiv -{\frac {1}{n}}\log \left(p_{X^{n}}\left(x^{n}\right)\right),

H\left(X\right)\equiv -\sum _{x}p_{X}\left(x\right)\log p_{X}\left(x\right).

The projector $\Pi _{\rho ,\delta }^{n}$ onto the typical subspace of $\rho$ is defined as

\Pi _{\rho ,\delta }^{n}\equiv \sum _{x^{n}\in T_{\delta }^{X^{n}}}\left\vert x^{n}\right\rangle \left\langle x^{n}\right\vert ,

where we have "overloaded" the symbol $T_{\delta }^{X^{n}}$ to refer also to the set of $\delta$ -typical sequences:

T_{\delta }^{X^{n}}\equiv \left\{x^{n}:\left\vert {\overline {H}}\left(x^{n}\right)-H\left(X\right)\right\vert \leq \delta \right\}.

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

{\text{Tr}}\left\{\Pi _{\rho ,\delta }^{n}\rho ^{\otimes n}\right\}\geq 1-\epsilon ,

{\text{Tr}}\left\{\Pi _{\rho ,\delta }^{n}\right\}\leq 2^{n\left[H\left(X\right)+\delta \right]},

2^{-n\left[H\left(X\right)+\delta \right]}\Pi _{\rho ,\delta }^{n}\leq \Pi _{\rho ,\delta }^{n}\rho ^{\otimes n}\Pi _{\rho ,\delta }^{n}\leq 2^{-n\left[H\left(X\right)-\delta \right]}\Pi _{\rho ,\delta }^{n},

where the first property holds for arbitrary $\epsilon ,\delta >0$ and sufficiently large $n$ .

Conditional Quantum Typicality

Consider an ensemble $\left\{p_{X}\left(x\right),\rho _{x}\right\}_{x\in {\mathcal {X}}}$ of states. Suppose that each state $\rho _{{x}}$ has the following spectral decomposition:

\rho _{x}=\sum _{y}p_{Y|X}\left(y|x\right)\left\vert y_{x}\right\rangle \left\langle y_{x}\right\vert .

Consider a density operator $\rho _{x^{n}}$ which is conditional on a classical sequence $x^{n}\equiv x_{1}\cdots x_{n}$ :

\rho _{x^{n}}\equiv \rho _{x_{1}}\otimes \cdots \otimes \rho _{x_{n}}.

We define the weak conditionally typical subspace as the span of vectors (conditional on the sequence $x^{{n}}$ ) such that the sample conditional entropy ${\overline {H}}\left(y^{n}|x^{n}\right)$ of their classical labels is close to the true conditional entropy $H\left(Y|X\right)$ of the distribution $p_{Y|X}\left(y|x\right)p_{X}\left(x\right)$ :

T_{\delta }^{Y^{n}|x^{n}}\equiv {\text{span}}\left\{\left\vert y_{x^{n}}^{n}\right\rangle :\left\vert {\overline {H}}\left(y^{n}|x^{n}\right)-H\left(Y|X\right)\right\vert \leq \delta \right\},

where

{\overline {H}}\left(y^{n}|x^{n}\right)\equiv -{\frac {1}{n}}\log \left(p_{Y^{n}|X^{n}}\left(y^{n}|x^{n}\right)\right),

H\left(Y|X\right)\equiv -\sum _{x}p_{X}\left(x\right)\sum _{y}p_{Y|X}\left(y|x\right)\log p_{Y|X}\left(y|x\right).

The projector $\Pi _{\rho _{x^{n}},\delta }$ onto the weak conditionally typical subspace of $\rho _{x^{n}}$ is as follows:

\Pi _{\rho _{x^{n}},\delta }\equiv \sum _{y^{n}\in T_{\delta }^{Y^{n}|x^{n}}}\left\vert y_{x^{n}}^{n}\right\rangle \left\langle y_{x^{n}}^{n}\right\vert ,

where we have again overloaded the symbol $T_{\delta }^{Y^{n}|x^{n}}$ to refer to the set of weak conditionally typical sequences:

T_{\delta }^{Y^{n}|x^{n}}\equiv \left\{y^{n}:\left\vert {\overline {H}}\left(y^{n}|x^{n}\right)-H\left(Y|X\right)\right\vert \leq \delta \right\}.

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

\mathbb {E} _{X^{n}}\left\{{\text{Tr}}\left\{\Pi _{\rho _{X^{n}},\delta }\rho _{X^{n}}\right\}\right\}\geq 1-\epsilon ,

{\text{Tr}}\left\{\Pi _{\rho _{x^{n}},\delta }\right\}\leq 2^{n\left[H\left(Y|X\right)+\delta \right]},

2^{-n\left[H\left(Y|X\right)+\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\left(Y|X\right)-\delta \right]}\ \Pi _{\rho _{x^{n}},\delta },

where the first property holds for arbitrary $\epsilon ,\delta >0$ and sufficiently large $n$ , and the expectation is with respect to the distribution $p_{X^{n}}\left(x^{n}\right)$ .

References

Mark M. Wilde, "From Classical to Quantum Shannon Theory", arXiv:1106.1445.

Quantum information science

General

Quantum communication

Quantum algorithms

Quantum complexity theory

Quantum computing models

Decoherence prevention

Physical implementations

Quantum optics	Cavity QED Circuit QED Linear optical quantum computing

Ultracold atoms	Trapped ion quantum computer Optical lattice

Spin-based	Nuclear magnetic resonance QC Kane QC Loss–DiVincenzo QC Nitrogen-vacancy center

Superconducting quantum computing	Charge qubit Flux qubit Phase qubit

This article is issued from Wikipedia - version of the 9/17/2012. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.

Typical subspace

Unconditional Quantum Typicality

Conditional Quantum Typicality

See also

References