¿Es cierto que cualquier estado bipartito que sea "mediblemente independiente" es separable?
estoy definiendo un estado ser "mediblemente independiente" si:
Las probabilidades de los diferentes resultados de una medición de cualquier del sistema no se ve afectado por una medición anterior de cualquier observable del sistema , 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 y a los operadores de proyección y para estados y , puedo demostrar que:
Dejar ser un estado puro mensurable e independiente. La descomposición de Schmidt nos da:
donde el (resp. ) forman una base ortonormal de (resp. ).
Entonces, para el observable , el valor esperado es :
Si ), luego después de una medida del observable , los posibles estados son :
En esos estados, los valores esperados de son :
Esto es una contradicción. Por lo tanto debemos tener : el estado es separable.
creillyucla
SolublePeces