La medición de Helstrom es la medición que tiene la probabilidad mínima de error cuando se trata de distinguir entre dos estados.
Por ejemplo, imaginemos que tiene dos estados puros y , y desea saber cuál es el que tiene. Si , puede especificar una medición con tres proyectores
(Para un espacio de Hilbert bidimensional, )| phi ⟩ ⟨ Psi | varphi ⟩ = 0 P ψ = | Psi ⟩ ⟨ Psi |El | Psi⟩El | phi⟩⟨ Psi | varphi ⟩ = 0ˉ P =0
PAGSψ= | Psi ⟩ ⟨ Psi |PAGSϕ= | phi ⟩ ⟨ phi |PAGS¯= I - Pψ- Pϕ.
PAGS¯= 0
La pregunta es qué medición debe realizar en el caso de que ? Específicamente, supongamos que , y me concentraré solo en mediciones proyectivas (IIRC, esto es óptimo). En ese caso, siempre hay una unitaria tal que
Ahora, esos estados se distinguen de manera óptima pory(obtienes , y asumes que tenías ). Por lo tanto, la medida óptima es
⟨ Psi | phi ⟩ = cos ( 2 θ ) T T | Psi ⟩ = cos theta | 0 ⟩ + pecado theta | 1 ⟩⟨ Psi | phi ⟩ ≠ 0⟨ Psi | varphi ⟩ = cos( 2 θ )UEl | + ⟩ ⟨ + | El | - ⟩ ⟨ - | El | + ⟩ U | ψ ⟩ P ψ = U † | + ⟩ ⟨ + | U
UEl | Psi⟩=cosθ | 0 ⟩ + pecadoθ | 1 ⟩UEl | varphi⟩=cosθ | 0 ⟩ - pecadoθ | 1 ⟩ .
El | +⟩⟨+ |El | -⟩⟨- |El | +⟩UEl | Psi⟩( cos θ + sin θPAGSψ= U†El | +⟩⟨+ | UPAGSϕ= U†El | -⟩⟨- | UPAGS¯= I - Pψ- Pϕ.
La probabilidad de éxito es
( cosθ + pecadoθ2-√)2= 1 + pecado( 2 θ )2.
De manera más general, ¿cómo distingue entre dos matrices de densidad y ? Comience calculando
y encuentre los valores propios y los vectores propios correspondientes de . Construye 3 operadores de medición
Si obtiene la respuesta , asume que tenía . Si obtienes , tienes , mientras que si obtienesρ1ρ2
δρ = ρ1- ρ2,
{ λyo}El | λyo⟩δρPAGS1= ∑i : λyo> 0El | λyo⟩ ⟨ LambdayoEl |PAGS2= ∑i : λyo< 0El | λyo⟩ ⟨ LambdayoEl |PAGS0 0= I - P1- P2.
PAGS1ρ1PAGS2ρ2PAGS0 0simplemente adivinas cuál tenías. Puede verificar que esto reproduzca la estrategia de estado puro descrita anteriormente. ¿Cuál es la probabilidad de éxito de esta estrategia?
Podemos expandir esto como
Desde y , esto es solo
12Tr ( ( P1+ P0 0/ 2) ρ1) + 12Tr ( ( P2+ P0 0/ 2) ρ2)
14 4Tr ( ( P1+ P2+ P0 0) ( ρ1+ ρ2) ) + 14 4Tr ( ( P1- P2) ( ρ1- ρ2) )
PAGS1+ P2+ P0 0= YoTr ( ρ1) = Tr ( ρ2) = 112+ 14 4Tr ( ( P1- P2) ( ρ1- ρ2) ) = 12+ 14 4Tr | ρ1- ρ2El | .