Inspirado por esta pregunta: ¿ Son estos dos sistemas cuánticos distinguibles? y la discusión en el mismo.
Dado un conjunto de estados, la aleatoriedad de una medida de resultado puede ser debido a la clásica razones (la clásica distribución de probabilidad de los estados en conjunto) y quantum razones (una individual estado puede tener una superposición de estados). Debido a que un sistema clásico no puede estar en una superposición de estados, y, en principio, el estado puede ser medido directamente, la distribución de probabilidad es directamente medible. Por lo que cualquier distintas distribuciones de probabilidad son distinguibles. Sin embargo, en la mecánica cuántica, un número infinito de conjuntos diferentes pueden tener la misma densidad de la matriz.
¿Qué suposiciones son necesarias para demostrar que si dos conjuntos tienen inicialmente la misma densidad de la matriz, que no hay manera de aplicar el mismo procedimiento para ambos conjuntos y lograr la diferente densidad de las matrices? (es decir. que el 'redundante' información sobre qué parte del espacio de Hilbert es representado en el conjunto nunca es recuperable, ni siquiera en principio)
Relacionar a la que hace referencia la pregunta, por ejemplo si se podría generar una interacción que se desarrolló:
1) un conjunto de estados $|0\rangle + e^{i\theta}|1\rangle$, con una distribución uniforme en $\theta$
a
2) un conjunto de estados $|0\rangle + e^{i\phi}|1\rangle$ con un no-uniforme distribución en $\phi$
tal asignación de vectores en el espacio de Hilbert puede ser de 1-a-1. Pero no parece que se pueda hacer de un operador lineal.
Por lo que sugiere que probablemente podemos demostrar una respuesta a la pregunta utilizando sólo la suposición de que los estados son vectores en un espacio de Hilbert, y la evolución es un operador lineal.
Puede alguien de la lista de una prueba simple que muestra que dos conjuntos inicialmente con la misma densidad de la matriz, nunca puede evolucionar a dos diferentes matrices de densidad? Por favor, ser explícito con lo de los supuestos a hacer.
Actualización: supongo que para demostrar que son indistinguibles, también nos gustaría necesidad de demostrar que no unitario de la evolución como la proyección de una medición, no se puede permitir, eventualmente, uno para distinguir el conjunto subyacente. Tal como tal vez usando la correlación entre varias medidas o, posiblemente, en lugar de pedir algo con sólo dos respuestas, pidiendo algo más que dos, de modo que, finalmente, la distribución de respuestas que necesita algo más que la expectativa de valor para caracterizar los resultados.