Sean A,B dos sistemas cuánticos distintos que tienen un estado conjunto . Si R es un sistema que purifica A,B, ¿por qué, en virtud de que ABR es un estado puro, S(A,R) = S(B) y S(A,B) = S(R)?
Encontré lo anterior en un paso en la prueba de la desigualdad triangular. en el texto de Nielsen & Chuang, sección 11.3.4 (p516 en la 1ª edición). No dan más explicaciones.
Para cualquier estado puro que separas en dos piezas (posiblemente enredadas) y , puede usar la descomposición de Schmidt para reescribir el estado en la forma:
donde el escalares están entre 0 y 1 y tienen cuadrados que suman 1, el Los vectores son de la parte siendo mutuamente perpendiculares, y la Los vectores son de la parte siendo mutuamente perpendiculares.
cuando rastreas , las mutuamente perpendiculares los vectores dividen efectivamente el estado en el estado mixto
Similarmente
En otras palabras, cuando se enfoca solo en hay una probabilidad de estar en estado , a probabilidad de estar en estado , Etcétera.
Desde el valores definen las probabilidades, y la entropía de Von Neumann es una función de las probabilidades, y ambas sumas usan el mismo , la entropía de es igual a la entropía de .
No importa si crea un estado puro general a través de un paso de purificación o si toma varias decisiones diferentes sobre dónde colocar la división entre los dos subsistemas. Esto funciona para cualquier estado puro y cualquier división.