¿Es separable cualquier estado bipartito "mediblemente independiente"?

¿Es cierto que cualquier estado bipartito que sea "mediblemente independiente" es separable?

estoy definiendo un estado | ψ A B ser "mediblemente independiente" si:

Las probabilidades de los diferentes resultados de una medición de cualquier O ^ B del sistema B no se ve afectado por una medición anterior de cualquier observable O ^ A del sistema A , y viceversa.

Lo pregunto porque el enredo se define típicamente en términos de separabilidad, pero intuitivamente pienso en el enredo como una violación de la independencia medible. Es fácil demostrar que los estados separables son mediblemente independientes, pero ¿podría haber estados medibles independientes que no sean separables?

Hasta ahora, al establecer O ^ A y O ^ B a los operadores de proyección | ϕ A ϕ A | y | ϕ B ϕ B | para estados | ϕ A A y | ϕ B B , puedo demostrar que:

PAG ( | ϕ A , | ϕ B ) = PAG ( | ϕ A ) PAG ( | ϕ B )
para cualquier estado medible y cualquier estado | ϕ A y | ϕ B ( PAG significa probabilidad). Si puedo demostrar que para estados medibles independientes siempre tenemos algunos | ϕ A y | ϕ B tal que PAG ( | ϕ A ) = PAG ( | ϕ A ) = 1 entonces la prueba está lista, pero estoy atascado en este paso.

Respuestas (1)

Dejar | Ψ ser un estado puro mensurable e independiente. La descomposición de Schmidt nos da:

| Ψ = i pag i | X i | y i

donde el | X i (resp. | y i ) forman una base ortonormal de A (resp. B ).

Entonces, para el observable O ^ B = | y i 0 y i 0 | , el valor esperado es :

O ^ B Ψ = i pag i y i | O ^ B | y i = pag i 0

Si 0 < pag i 0 < 1 ), luego después de una medida del observable O ^ A = | X i 0 X i 0 | , los posibles estados son :

| Ψ 1 = | X i 0 | y i 0 y | Ψ 2 = i i 0 pag i 1 pag i 0 | X i | y i

En esos estados, los valores esperados de O ^ B son :

O ^ B Ψ 1 = y i 0 | O ^ B | y i 0 = 1 y O ^ B Ψ 2 = i i 0 pag i 1 pag i 0 y i | O ^ B | y i = 0

Esto es una contradicción. Por lo tanto debemos tener i 0 = 0  o  1 : el estado es separable.

¡No sabía de la existencia de una descomposición de Schmidt! Esa parece ser la clave.
Si quieres más detalles al respecto, mira aquí