Si se da una función de onda que es un elemento de un espacio de Hilbert que es un producto tensorial de otros dos espacios de Hilbert , ¿cómo se formula la medida de la función en uno de los subespacios, es decir ?
Por ejemplo, supongamos que tiene un sistema que consta de dos qubits . El sistema sufre una operación unitaria, dando . Todavía debería ser posible medir solo uno de los dos qubits, lo que provocaría un colapso parcial del sistema.
Si los dos qubits no se entrelazan después , entonces se pueden separar como . Parece claro que medir es decir no debe causar Colapsar.
Si los qubits están parcialmente entrelazados, aún es posible que uno de los qubits esté en algún tipo de superposición. Por ejemplo, si , entonces el estado depende de lo que se derrumba a. Si , entonces podría todavía estar en una superposición, a saber ?
Para ser más específico sobre la parte de "formulación" de mi pregunta, puede usar, por ejemplo para encontrar la probabilidad de que se derrumba a , asumiendo una función de onda normalizada. ¿Cuál sería el formato para, por ejemplo, medir un solo qubit de ? ¿Sería algo como ?
Algunas ideas que estoy investigando: el valor esperado de un operador es dado por . Cuando es un operador de proyección, como (que se proyecta a un -base), el valor esperado es la probabilidad de que la medición produzca ese resultado particular. Entonces, ¿quizás la medición parcial de un sistema implica la proyección a algún subespacio abarcado por múltiples estados básicos?
En general, tal "colapso parcial" de una función de onda no puede expresarse como el producto interno habitual (es decir, utilizando ). En su lugar, debe utilizar el valor esperado del operador de proyección correspondiente. Esto funciona para el "colapso completo" en un solo estado de base, ya que el operador de proyección correspondiente es solo el producto externo de la base consigo mismo ( ).
Prueba:
Usando el ejemplo que di arriba, dejemos ser el operador que proyecta el primer qubit a . Esto puede ser representado por la matriz . Supongamos que existe algún estado base que representa mientras no se ve afectado entonces se puede escribir como . Si viene dada por la matriz , entonces . La equiparación con la matriz anterior da las siguientes ecuaciones:
Que no tiene solución. Por lo tanto, no existe.
Esto significa que la probabilidad de medir parte de un sistema debe expresarse utilizando la expectativa del operador, .
Es posible, sin embargo, para expresarse como una suma de productos externos. En este caso, . Esto podría generalizarse como una suma de proyecciones a cada base del subespacio.
vcl