Misplaced Pages

Purification of quantum state

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

This is an old revision of this page, as edited by 24.39.22.2 (talk) at 23:27, 5 July 2017 (→Statement). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Revision as of 23:27, 5 July 2017 by 24.39.22.2 (talk) (→Statement)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

In quantum mechanics, especially quantum information, purification refers to the fact that every mixed state acting on finite-dimensional Hilbert spaces can be viewed as the reduced state of some pure state.

In purely linear algebraic terms, it can be viewed as a statement about positive-semidefinite matrices.

Statement

Let ρ be a density matrix acting on a Hilbert space H A {\displaystyle H_{A}} of finite dimension n. Then it is possible to construct a second Hilbert space H B {\displaystyle H_{B}} and a pure state | ψ ⟩ ∈ H A ⊗ H B {\displaystyle |\psi \rangle \in H_{A}\otimes H_{B}} such that the partial trace of | ψ ⟩ ⟨ ψ | {\displaystyle |\psi \rangle \langle \psi |} with respect to H B {\displaystyle H_{B}} . While the initial Hilbert space H A {\displaystyle H_{A}} might correspond to physically meaningful quantities, the second Hilbert space H B {\displaystyle H_{B}} needn't have any physical interpretation whatsoever. However, in physics the process of state purification is assumed to be physical, and so the second Hilbert space H B {\displaystyle H_{B}} should also correspond to a physical space, such as the environment. The exact form of H B {\displaystyle H_{B}} in such cases will depend on the problem, here is simply a proof of principle, showing that at very least H B {\displaystyle H_{B}} has to have dimensions greater than or equal to H A {\displaystyle H_{A}} .

t r B ⁡ ( | ψ ⟩ ⟨ ψ | ) = ρ . {\displaystyle \operatorname {tr_{B}} \left(|\psi \rangle \langle \psi |\right)=\rho .}

We say that | ψ ⟩ {\displaystyle |\psi \rangle } is the purification of ρ {\displaystyle \rho } .

Proof

A density matrix is by definition positive semidefinite. So ρ can be diagonalized and written as ρ = ∑ i = 1 n p i | i ⟩ ⟨ i | {\displaystyle \rho =\sum _{i=1}^{n}p_{i}|i\rangle \langle i|} for some basis { | i ⟩ } {\displaystyle \{|i\rangle \}} . Let H B {\displaystyle H_{B}} be another copy of the n-dimensional Hilbert space with an orthonormal basis { | i ′ ⟩ } {\displaystyle \{|i'\rangle \}} . Define | ψ ⟩ ∈ H A ⊗ H B {\displaystyle |\psi \rangle \in H_{A}\otimes H_{B}} by

| ψ ⟩ = ∑ i p i | i ⟩ ⊗ | i ′ ⟩ . {\displaystyle |\psi \rangle =\sum _{i}{\sqrt {p_{i}}}|i\rangle \otimes |i'\rangle .}

Direct calculation gives

t r B ⁡ ( | ψ ⟩ ⟨ ψ | ) = t r B ⁡ [ ( ∑ i p i | i ⟩ ⊗ | i ′ ⟩ ) ( ∑ j p j ⟨ j | ⊗ ⟨ j ′ | ) ] {\displaystyle \operatorname {tr_{B}} \left(|\psi \rangle \langle \psi |\right)=\operatorname {tr_{B}} \left}

= t r B ⁡ ( ∑ i , j p i p j | i ⟩ ⟨ j | ⊗ | i ′ ⟩ ⟨ j ′ | ) = ∑ i , j δ i j p i p j | i ⟩ ⟨ j | = ρ . {\displaystyle =\operatorname {tr_{B}} \left(\sum _{i,j}{\sqrt {p_{i}p_{j}}}|i\rangle \langle j|\otimes |i'\rangle \langle j'|\right)=\sum _{i,j}\delta _{ij}{\sqrt {p_{i}p_{j}}}|i\rangle \langle j|=\rho .}

This proves the claim.

Note

  • The vectorial pure state | ψ ⟩ {\displaystyle |\psi \rangle } is in the form specified by the Schmidt decomposition.
  • Since square root decompositions of a positive semidefinite matrix are not unique, neither are purifications.
  • In linear algebraic terms, a square matrix is positive semidefinite if and only if it can be purified in the above sense. The if part of the implication follows immediately from the fact that the partial trace of a positive map remains a positive map.

An application: Stinespring's theorem

This section needs expansion. You can help by adding to it. (June 2008)

By combining Choi's theorem on completely positive maps and purification of a mixed state, we can recover the Stinespring dilation theorem for the finite-dimensional case.

Categories: