# Purity (quantum mechanics)

In quantum mechanics, and especially quantum information theory, the purity of a normalized quantum state is a scalar defined as

${\displaystyle \gamma \,\equiv \,{\mbox{tr}}(\rho ^{2})\,}$

where ${\displaystyle \rho \,}$ is the density matrix of the state. The purity defines a measure on quantum states, giving information on how much a state is mixed.

## Mathematical properties

The purity of a normalized quantum state satisfies ${\displaystyle {\frac {1}{d}}\leq \gamma \leq 1\,}$,[1] where ${\displaystyle d\,}$ is the dimension of the Hilbert space upon which the state is defined. The upper bound is obtained by ${\displaystyle tr(\rho )=1\,}$and ${\displaystyle tr(\rho ^{2})\leq tr(\rho )\,}$(see trace). If ${\displaystyle \rho \,}$ is a projection, which describe a pure state, then it holds that ${\displaystyle tr(\rho ^{2})=tr(\rho )=1\,}$ (see Projections). The lower bound is obtained by the completely mixed state, represented by the matrix ${\displaystyle {\frac {1}{d}}I_{d}\,}$.

The purity of a quantum state is conserved under unitary transformations acting on the density matrix in the form ${\displaystyle \rho \mapsto U\rho U^{\dagger }\,}$, where ${\displaystyle U\,}$is an unitary matrix. Specifically, it is conserved under the time evolution operator ${\displaystyle U(t,t_{0})=e^{{\frac {-i}{\hbar }}H(t-t_{0})}\,}$, where ${\displaystyle H\,}$is the Hamiltonian operator.[1][2]

## Physical meaning

A pure quantum state can be represented as a single vector ${\displaystyle |\psi \rangle }$ in the Hilbert space. In the density matrix formulation, a pure state is represented by the matrix ${\displaystyle \rho _{pure}=|\psi \rangle \langle \psi |}$. However, a mixed state cannot be represented this way, and instead is represented by a linear combination of pure states ${\displaystyle \rho _{mixed}=\sum p_{i}|\psi _{i}\rangle \langle \psi _{i}|}$, while ${\displaystyle \sum p_{i}=1}$ for normalization. The purity parameter is related to the coefficients: If only one coefficient is equal to ${\displaystyle 1}$, the state is pure; else the purity measures how much their values are similar. Indeed, the purity is ${\displaystyle {\frac {1}{d}}}$ when the state is completely mixed, i.e. ${\displaystyle \rho _{completley\ mixed}={\frac {1}{d}}\sum _{i=1}^{d}|\psi _{i}\rangle \langle \psi _{i}|={\frac {1}{d}}I_{d}}$, where ${\displaystyle |\psi _{i}\rangle }$ are the ${\displaystyle d}$ orthonormal vector that constitute the basis Hilbert space.[3]

### Geometrical representation

On Bloch sphere, pure states are represented by a point on the surface of the sphere, whereas mixed states are represented by an interior point. Thus, a purity of a state can be visualized as the degree in which it is close to the surface of the sphere. For example, the completely mixed state of a single qubit ${\displaystyle {\frac {1}{2}}I_{2}\,}$is represented by the center of the sphere, by symmetry.

A graphical intuition of purity can be gained by looking at the relation between the density matrix and Bloch sphere:

${\displaystyle \rho ={\frac {1}{2}}\left(I+{\vec {a}}\cdot {\vec {\sigma }}\right)}$, where ${\displaystyle {\vec {a}}}$ is the vector representing the quantum state (on or inside the sphere), and ${\displaystyle {\vec {\sigma }}=(\sigma _{x},\sigma _{y},\sigma _{z})}$ are Pauli matrices.

Since Pauli matrices are traceless, it still holds that ${\displaystyle tr(\rho )=1}$.

However, using ${\displaystyle ({\vec {a}}\cdot {\vec {\sigma }})({\vec {b}}\cdot {\vec {\sigma }})=({\vec {a}}\cdot {\vec {b}})\,I+i({\vec {a}}\times {\vec {b}})\cdot {\vec {\sigma }}}$:

${\displaystyle \rho ^{2}={\frac {1}{2}}[{\frac {1}{2}}(1+|a|^{2})I+{\vec {a}}\cdot {\vec {\sigma }}]}$, hence ${\displaystyle tr(\rho ^{2})={\frac {1}{2}}(1+|a|^{2})}$

Which agrees with the fact that only states on the sphere itself are pure (i.e. ${\displaystyle |a|=1}$).

## Relation to other concepts

### Linear entropy

Purity is trivially related to the Linear entropy ${\displaystyle S_{L}\,}$ of a state by

${\displaystyle \gamma =1-S_{L}\,.}$

### Entanglement

A 2-qubits pure state ${\displaystyle |\psi \rangle _{AB}\in H_{A}\otimes H_{B}}$ can be written (using Schmidt decomposition) as ${\displaystyle |\psi \rangle _{AB}=\sum _{j}\lambda _{j}|j\rangle _{A}|j\rangle _{B}}$, where ${\displaystyle \{|j\rangle _{A}\},\{|j\rangle _{B}\}}$ are the bases of ${\displaystyle H_{A},H_{B}}$ respectively, and ${\displaystyle \sum _{j}\lambda _{j}^{2}=1,\lambda _{j}\geq 0}$. Its density matrix is ${\displaystyle \rho ^{AB}=\sum _{i,j}\lambda _{i}\lambda _{j}|i\rangle _{A}\langle j|_{A}\otimes |i\rangle _{B}\langle j|_{B}}$. The degree in which it is entangled is related to the purity of the states of its subsystems, ${\displaystyle \rho ^{A}=tr_{B}(\rho _{AB})=\sum _{j}\lambda _{j}^{2}|j\rangle _{A}\langle j|_{A}}$, and similarly for ${\displaystyle \rho ^{B}}$ (see partial trace). If this initial state is separable (i.e. there's only a single ${\displaystyle \lambda _{j}\neq 0}$), then ${\displaystyle \rho ^{A},\rho ^{B}}$ are both pure. Otherwise, this state is entangled and ${\displaystyle \rho ^{A},\rho ^{B}}$ are both mixed. For example, if ${\displaystyle |\psi \rangle _{AB}=|\Phi ^{+}\rangle ={\frac {1}{\sqrt {2}}}(|0\rangle _{A}\otimes |0\rangle _{B}+|1\rangle _{A}\otimes |1\rangle _{B})}$ which is a maximally entangled state, then ${\displaystyle \rho ^{A},\rho ^{B}}$ are both completely mixed.

For 2-qubits (pure or mixed) states, the Schmidt number (number of Schmidt coefficients) is at most 2. Using this and Peres–Horodecki criterion (for 2-qubits), a state is entangled if its partial transpose has at least one negative eigenvalue. Using the Schmidt coefficients from above, the negative eigenvalue is ${\displaystyle -\lambda _{0}\lambda _{1}}$.[4] The negativity ${\displaystyle {\mathcal {N}}=-\lambda _{0}\lambda _{1}}$ of this eigenvalue is also used as a measure of entanglement - the state is more entangled as this eigenvalue is more negative (up to ${\displaystyle -{\frac {1}{2}}}$ for bell states). For the state of subsystem ${\displaystyle A}$ (similarly for ${\displaystyle B}$), it holds that:

${\displaystyle \rho ^{A}=tr_{B}(|\psi \rangle _{AB}\langle \psi |_{AB})=\lambda _{0}^{2}|0\rangle _{A}\langle 0|_{A}+\lambda _{1}^{2}|1\rangle _{A}\langle 1|_{A}}$

And the purity is ${\displaystyle \gamma =\lambda _{0}^{4}+\lambda _{1}^{4}=(\lambda _{0}^{2}+\lambda _{1}^{2})^{2}-2(\lambda _{0}\lambda _{1})^{2}a=1-2{\mathcal {N}}^{2}}$.

One can see that the more entangled the composite state is (i.e. more negative), the less pure the subsystem state.

### Inverse Participation Ratio (IPR)

In the context of localization, a quantity closely related to the purity, the so-called inverse participation ratio (IPR) turns out to be useful. Instead of the trace over the square of the density matrix, it is defined as the integral (or sum for finite system size) over the square of the density in some space, e.g., real space, momentum space, or even phase space, where the densities would be the square of the real space wave function ${\displaystyle |\psi (x)|^{2}}$, the square of the momentum space wave function ${\displaystyle |{\tilde {\psi }}(k)|^{2}}$, or some phase space density like the Husimi distribution, respectively.[5]

A small value of the IPR then corresponds to a delocalized state (or a strongly mixed state to keep the analogy to the purity), as can be seen by calculating the IPR for a totally delocalized state ${\displaystyle \psi (x)=1/{\sqrt {N}}}$ for a system of size ${\displaystyle N}$, where the IPR yields ${\displaystyle \sum _{x}|\psi (x)|^{4}=N\cdot (N^{-1/2})^{4}=1/N}$. A large value of the IPR corresponds to a localized state (pure state in the analogy), as can be seen with the perfectly localized state ${\displaystyle \psi (x)=\delta _{x,x_{0}}}$, where the IPR yields ${\displaystyle \sum _{x}|\psi (x)|^{4}=1}$. Localized and delocalized (extended) states in the framework of condensed matter physics then correspond to insulating and metallic states, respectively, if one imagines an electron on a lattice not being able to move in the crystal (localized wave function, IPR is large) or being able to move (extended state, IPR is small).

In the context of localization, it is often not necessary to know the wave function itself; it often suffices to know the localization properties. This is why the IPR is useful in this context. The IPR basically takes the full information about a quantum system (the wave function; for a ${\displaystyle N}$-dimensional Hilbert space one would have to store ${\displaystyle N}$ values, the components of the wave function) and compresses it into one single number that then only contains some information about the localization properties of the state. Even though these two examples of a perfectly localized and a perfectly delocalized state were only shown for the real space wave function and correspondingly for the real space IPR, one could obviously extend the idea to momentum space and even phase space; the IPR then gives some information about the localization in the space at consideration, e.g. a plane wave would be strongly delocalized in real space, but its Fourier transform then is strongly localized, so here the real space IPR would be small and the momentum space IPR would be large. Actually the two examples shown above interchange their IPR when switching from real space to momentum space.

## Projectivity of a measurement

For a quantum measurement, the projectivity[6] is the purity of its pre-measurement state. This pre-measurement state is the main tool of the retrodictive approach of quantum physics, in which we make predictions about state preparations leading to a given measurement result. It allows us to determine in which kind of states the measured system was prepared for leading to such a result.

## References

1. ^ a b Jaeger, Gregg (2006-11-15). Quantum Information: An Overview. Springer Science & Business Media. ISBN 9780387357256.
2. ^ Cappellaro, Paola (2012). "Lecture notes: Quantum Theory of Radiation Interactions, Chapter 7: Mixed states" (PDF). ocw.mit.edu. Retrieved 2016-11-26.
3. ^ Nielsen, Michael A.; Chuang, Isaac L. (2011). Quantum Computation and Quantum Information: 10th Anniversary Edition. New York, NY, USA: Cambridge University Press.
4. ^ Życzkowski, Karol (1998-01-01). "Volume of the set of separable states". Physical Review A. 58 (2): 883–892. arXiv:quant-ph/9804024v1. Bibcode:1998PhRvA..58..883Z. doi:10.1103/PhysRevA.58.883.
5. ^ Kramer, B.; MacKinnon, A. (December 1993). "Localization: theory and experiment". Reports on Progress in Physics. 56 (12): 1469. Bibcode:1993RPPh...56.1469K. doi:10.1088/0034-4885/56/12/001. ISSN 0034-4885.
6. ^ Taoufik Amri, Quantum behavior of measurement apparatus, arXiv:1001.3032 (2010).