title: Purificación de estados cuánticos
text: # Purificación de estados cuánticos
  
  En mecánica cuántica, especialmente en el campo de la información cuántica, la purificación se refiere al hecho que cada estado mixto actuando en un espacio de Hilbert de dimensión finita puede ser visto como el estado reducido de algún estado puro.
  
  En términos puramente algebraicos, esto puede ser considerado como una proposición de las matrices semidefinidas positivas .
  
  ## Proposición
  
  Sea $\rho$ una matriz densidad que actúa en un espacio de Hilbert $H_{A}$ de dimensión finita $n$. Entonces existe un espacio de Hilbert $H_{B}$ espacio y un estado puro $|\psi \rangle \in H_{A}\otimes H_{B}$ tal que la traza parcial de $|\psi \rangle \langle \psi |$ con respecto a $H_{B}$ es
  
      $\operatorname {tr_{B}} \left(|\psi \rangle \langle \psi |\right)=\rho .$
  
  Se dice que $|\psi \rangle$ es la purificación de $\rho$.
  
  ### Demostración
  
  Una matriz densidad es por definición semidefinida positiva. Así que $\rho$ puede ser diagonalizada y escrita como $\rho =\sum _{i=1}^{n}p_{i}|i\rangle \langle i|$ en alguna base $\{|i\rangle \}$. Sea $H_{B}$ otra copia del espacio de Hilbert $n$-dimensional con una base ortonormal $\{|i'\rangle \}$. Se define $|\psi \rangle \in H_{A}\otimes H_{B}$ por
  
      $|\psi \rangle =\sum _{i}{\sqrt {p_{i}}}|i\rangle \otimes |i'\rangle .$
  
  Un cálculo directo da
  
      $\operatorname {tr_{B}} \left(|\psi \rangle \langle \psi |\right)=\operatorname {tr_{B}} \left[\left(\sum _{i}{\sqrt {p_{i}}}|i\rangle \otimes |i'\rangle \right)\left(\sum _{j}{\sqrt {p_{j}}}\langle j|\otimes \langle j'|\right)\right]$
  
  $=\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 .$
  
  Esto prueba la proposición.
  
  **Notas**
  
  * El estado puro $|\psi \rangle$ está en la forma especificada por la descomposición de Schmidt.
  * Dado que la raíz cuadrada de una matriz semidefinida positiva no es única, tampoco lo es su purificación.
  * En términos algebraicos, una matriz cuadrada es semidefinida positiva si y solo si se puede purificar en el sentido expuesto arriba. El si la parte de la implicación se sigue inmediatamente del hecho que la traza parcial de una aplicación positiva es otra aplicación positiva (por el teorema de Choi).
  