¿Linealidad de la Mecánica Cuántica?

La prueba del teorema de no clonación establece: "Por la linealidad de la mecánica cuántica, ..." -- ¿Podría alguien darme un bosquejo/esbozo aproximado de lo que esto significa? ¿Tiene que ver con el Espacio de Hilbert en el que viven las funciones de onda?

Me disculpo si esta pregunta no es lo suficientemente específica, solo quería entender completamente este concepto.

Consulte www-inst.eecs.berkeley.edu/~cs191/fa05/lectures/… o cualquier prueba estándar del teorema de no clonación y verá la "linealidad de la mecánica cuántica mencionada".

Respuestas (2)

El teorema de no clonación establece que no es posible tener un estado cuántico | ψ evolucionar en dos copias separables (no entrelazadas) descritas por el estado del producto tensorial | ψ | ψ .

La prueba se reduce a la simple observación de que al expresar | ψ en alguna base | 0 , | 1 , | 2 , . . . :

| ψ = α 0 | 0 + α 1 | 1 + α 2 | 2 + . . .

la operación de clonación sería una evolución unitaria de la forma:

tu ( α 0 | 0 + α 1 | 1 + . . . ) = α 0 2 | 0 | 0 + α 0 α 1 | 0 | 1 + α 1 α 0 | 1 | 0 + α 1 2 | 1 | 1 . . .

Esto lleva a una contradicción, ya que el operador unitario tu ( . . ) es lineal y nunca puede crear amplitudes como α 0 2 y α 0 α 1 que son funciones cuadráticas de la α i .

Entonces la linealidad a la que se refiere el autor es la linealidad de la evolución unitaria. En la física cuántica, la evolución se describe mediante operadores unitarios que transforman los estados entrantes en estados salientes que son una combinación lineal de los estados entrantes.

No entiendo muy bien esto. Los operadores unitarios toman un espacio de Hilbert para sí mismo. Pero tu | ψ > y tu | ψ > | ψ > viven en dos espacios de Hilbert diferentes (el segundo es un producto tensorial de dos copias del primero), por lo que no veo cómo tiene sentido preguntar siquiera si un operador unitario puede tomar | ψ > a | ψ > | ψ > .

"Por la linealidad de la mecánica cuántica" es en realidad una referencia a la linealidad de los operadores utilizados en la mecánica cuántica. Significa que, para un operador lineal A (por la definición misma de linealidad),

A ( α | Ψ + β | Φ ) = α A | Ψ + β A | Φ ,
dónde α y β son números complejos.

La forma en que esto se aplica al teorema de no clonación es bastante simple. Un operador de clonación tendría que satisfacer lo siguiente: hay un vector | Ξ tal que, para cualquier | Ψ , tenemos

A | Ψ | Ξ = | Ψ | Ψ .

Sin embargo, α | Ψ + β | Φ es un estado tan válido como Ψ . Por lo tanto, combinado con la ecuación anterior para los operadores lineales (que es como decir "debido a la linealidad de la mecánica cuántica" ), esto implica que

A ( α | Ψ + β | Φ ) | Ξ = α A | Ψ | Ξ + β A | Φ | Ξ = α | Ψ | Ψ + β | Φ | Φ .
Que no es lo que queríamos, ya que una copia real del estado inicial habría sido ( α | Ψ + β | Φ ) ( α | Ψ + β | Φ ) .

Simplemente ser aditivo no es suficiente para la linealidad. Necesita una condición extra, o si se quiere ser breve, A ^ ( α | Ψ + β | Φ ) = α A ^ | Ψ + β A ^ | Φ en cambio.
@stan Gracias por la aclaración. No estaba diciendo que la aditividad implicara linealidad, estaba diciendo que ser aditivo se derivaba de la definición de linealidad.
Al leerlo de nuevo, veo cómo el texto era engañoso. Gracias.
@BruceConnor Sí, eso tiene sentido, estaba en la línea de lo que estaba pensando. Ahora, en este punto, mi pregunta es más como: ¿a qué se refiere realmente un redactor de pruebas cuando dice "a partir de la linealidad de QM, ..." en el teorema de no clonación?
@Ahaan ¿Podría citar el resto de esa oración? Como hice yo, probablemente esté diciendo que su siguiente afirmación se deriva fácilmente del hecho de que los operadores que se usan en la mecánica cuántica son operadores lineales.
@BruceConnor ¡Gracias, eso tiene sentido ahora! El detalle matemático me abre los ojos. :PI se refería a algo como la Página 1 aquí: www-inst.eecs.berkeley.edu/~cs191/fa05/lectures/… .