¿Cuál es la medida de Helstrom?

9

He estado leyendo el artículo de decodificación de propagación de creencias de canales cuánticos pasando mensajes cuánticos de Joseph Renes para decodificar canales cuánticos clásicos y he cruzado con el concepto de mediciones de Helstrom .

Tengo algunos conocimientos sobre la teoría de la información cuántica y la corrección de errores cuánticos, pero nunca había leído sobre tal medición hasta que trabajé en ese documento. En dicho artículo, el autor afirma que la medición es óptima para este procedimiento de decodificación, por lo que me gustaría saber qué tipo de mediciones son y cómo se pueden hacer.

Josu Etxezarreta Martinez
fuente

Respuestas:

9

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 |ψEl |ϕψEl |ϕ=0 0ˉ P =0

PAGSψ=El |ψψEl |PAGSϕ=El |ϕϕEl |PAGS¯=yo-PAGSψ-PAGSϕ.
PAGS¯=0 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 ψEl |ϕ0 0ψEl |ϕ=cos(2θ)UEl | + + | El | - - | El | + U | ψ P ψ = U | + + | U

UEl |ψ=cosθEl |0 0+pecadoθEl |1UEl |ϕ=cosθEl |0 0-pecadoθEl |1.
El |++El |El |--El |El |+UEl |ψ( cos θ + sin θ
PAGSψ=UEl |++El |UPAGSϕ=UEl |--El |UPAGS¯=yo-PAGSψ-PAGSϕ.
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=yo:λyo>0 0El |λyoλyoEl |PAGS2=yo:λyo<0 0El |λyoλyoEl |PAGS0 0=yo-PAGS1-PAGS2.
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((PAGS1+PAGS0 0/ /2)ρ1)+12Tr((PAGS2+PAGS0 0/ /2)ρ2)
14 4Tr((PAGS1+PAGS2+PAGS0 0)(ρ1+ρ2))+14 4Tr((PAGS1-PAGS2)(ρ1-ρ2))
PAGS1+PAGS2+PAGS0 0=yoTr(ρ1)=Tr(ρ2)=1
12+14 4Tr((PAGS1-PAGS2)(ρ1-ρ2))=12+14 4TrEl |ρ1-ρ2El |.
DaftWullie
fuente
Muchas gracias por la respuesta completa, describe lo que quería saber. Solo un pequeño punto para aclarar, ¿son los valores propios de la matriz ? Supongo que sí, pero solo quiero estar seguro. λyoδρ
Josu Etxezarreta Martinez
@JosuEtxezarretaMartinez Sí.
DaftWullie
Otro pequeño comentario, en el último paso, ¿cómo pasar de a? Tr((PAGS1-PAGS2)(ρ1-ρ2))TrEl |ρ1-ρ2El |
Josu Etxezarreta Martinez
1
@JosuEtxezarretaMartinez proyecta sobre los valores propios positivos de . proyecta sobre los valores propios negativos de , multiplicándolos por -1, convirtiendo así valores propios negativos en positivos. Entonces. PAGS1δρ-PAGS2δρ(PAGS1-PAGS2)δρ=El |δρEl |
DaftWullie