¿Qué es un producto tensorial en mecánica cuántica?

En palabras:

En la mecánica cuántica, un producto tensor se utiliza para describir un sistema que está formado por múltiples subsistemas. En esencia, es un espacio Hilbert más grande construido a partir del “producto” de los espacios sub-hilbert más pequeños. Los productos de las funciones de onda y los operadores en un espacio con los de otro también se conocen como productos Tensor.

El constructo es útil en las descripciones de partículas que interactúan ya que generalmente conocemos bastante bien los espacios de Hilbert de las partículas que no interactúan y el estado de interacción vive en el espacio definido por el producto tensorial.

Si el estado de dos partículas que interactúan no puede descomponerse en un producto de una función de onda de un espacio con el del otro espacio (es decir, el estado no es un producto tensorial), entonces se dice que el estado está “enredado”. Por lo tanto, el formalismo del producto tensor es útil cuando el enredo es importante (por ejemplo, en la teoría de la información cuántica)

Algunas matemáticas:

Para dos subsistemas [matemática] A [/ matemática] y [matemática] B [/ matemática] con espacios de Hilbert [matemática] H ^ N_A [/ matemática] y [matemática] H ^ M_B [/ matemática] con vectores de bases ortonómicas [matemática] ] i [/ math] y [math] j [/ math] de modo que

[matemáticas] \ psi_A = \ sum_ {i = 1} ^ N a_i | i \ rangle [/ matemáticas] y

[matemáticas] \ psi_B = \ sum_ {j = 1} ^ M b_j | j \ rangle [/ matemáticas]

El producto Tensor: [matemática] H ^ N_A \ otimes H ^ M_B [/ matemática]

es el espacio de Hilbert dimensional [matemático] NM [/ matemático] atravesado por los pares de vectores

[matemáticas] {| i \ rangle, | j \ rangle} [/ matemáticas] o [matemáticas] | i \ otimes j \ rangle [/ matemáticas]

donde [matemáticas] \ langle i ‘\ otimes j’ | i \ otimes j \ rangle = \ delta_ {i’i} \ delta_ {j’j} [/ math].

El producto tensor para funciones de onda:

[matemáticas] | \ psi_A \ otimes \ psi_B \ rangle = \ sum_ {i = 1} ^ N a_ib_j | i \ otimes j \ rangle [/ math]

y para dos operadores [math] O_A [/ math] y [math] O_B [/ math]:

[matemáticas] (O_A \ otimes O_B) | \ psi_A \ otimes \ psi_B \ rangle = | O_A \ psi_A \ otimes O_B \ psi_B \ rangle [/ math]

Nota sobre el enredo:
Se dice que un estado de dos partículas que no puede escribirse en la forma | \ psi_A \ otimes \ psi_B \ rangle (es decir, como producto de dos funciones de onda de dos espacios de Hilbert separados / un producto tensorial) está entrelazado.

Ejemplo:

Para 2 partículas que pueden estar en dos estados, por ejemplo, dos medias partículas de rotación, el producto tensor de los espacios de Hilbert es de 4 dimensiones.

El chico del cartel de los estados enredados es el Estado Bell.
Tomando el escenario concreto de dos medias partículas de rotación, el estado es [1]:

[matemáticas] \ phi_ {AB} = \ frac {1} {\ sqrt {2}} (B_1 + B_2) [/ matemáticas]

dónde

[matemáticas] B_1 = | – \ frac {1} {2} \ rangle_A \ otimes | + \ frac {1} {2} \ rangle_B [/ matemáticas]
y
[matemáticas] B_2 = | + \ frac {1} {2} \ rangle_A \ otimes | – \ frac {1} {2} \ rangle_B [/ matemáticas]

Como se puede demostrar que no se puede escribir como un producto tensorial

[matemáticas] | \ psi_A \ otimes \ psi_B \ rangle = | \ psi_A \ rangle | \ psi_B \ rangle [/ matemáticas]

para cualquier

[matemáticas] | \ psi_A \ rangle = a_1 | \ frac {1} {2} \ rangle_A + a_2 | – \ frac {1} {2} \ rangle_A [/ matemáticas]

y
[matemáticas] | \ psi_B \ rangle = b_1 | \ frac {1} {2} \ rangle_A + b_2 | – \ frac {1} {2} \ rangle_A [/ matemáticas]

[1] En realidad hay 4 de esos estados. Son los chicos del cartel de enredos porque están “enredados al máximo”. Ver http://en.wikipedia.org/wiki/Bel…

Debo ya le dio una buena respuesta, la respuesta del usuario de Quora a ¿Qué es un producto tensorial en mecánica cuántica? (Debo, espero que disfrutes de Cornell, ¡solía enseñar allí y me encantó!)

Quería agregar algunos:

Si tenemos un conjunto, denotado por ‘a’, de posibles resultados de un evento y un conjunto de resultados para otro evento, denotado por ‘b’, entonces los posibles resultados para el evento de unión siempre son el producto tensor [matemático] a \ otimes b [/ math].

Ahora lo que es interesante es la función de onda para los conjuntos. Si A es la función de onda para el conjunto a y B la función de onda para el conjunto b, entonces la función de onda para el evento de unión para eventos independientes es el producto tensor [matemático] C = A \ otimes B [/ matemático]. Vemos que C es el rango 1. La magnitud al cuadrado de C es la probabilidad de cada resultado potencial. Un ejemplo te ayudará. Considere un lanzamiento de moneda con caras o colas, cabezas definidas como 1, cola como cero, con p (caras) = ​​p. Luego, usando la notación matricial: a = {0,1}, b = {0,1}, [matemáticas] a \ otimes b = \ {0,1 \} \ otimes \ {0,1 \} = \ left (\ begin {array} {cc} 00 & 01 \\ 10 & 11 \ end {array} \ right), [/ math] y la función de onda es [math] C = A \ otimes B = \ sqrt {prob (\ {0 , 1 \} \ otimes \ {0,1 \})} = \ left (\ begin {array} {cc} (1-p) & \ sqrt {pp ^ 2} \\ \ sqrt {pp ^ 2} & p \ end {array} \ right) [/ math]. Vemos que C es el rango 1. (Recordemos que el elemento sabio cuadrado C es la matriz de probabilidad para el lanzamiento de la moneda). Ahora suponga que las monedas están enredadas, de modo que si la primera es cruz, la segunda es cara y viceversa. Entonces tenemos
[matemática] C = \ left (\ begin {array} {cc} 0 & \ sqrt {(1-p)} \\ \ sqrt {p} & 0 \ end {array} \ right) [/ math] que es ahora rango completo. A menudo analizamos la migración del mundo cuántico al clásico utilizando un análisis de deflación de rango. Esto se discute más adelante en mi publicación Desenredando un misterio cuántico: cómo la computación cuántica explica cómo el mundo “clásico” evita la locura de la superposición. por Allan Steinhardt sobre Prime Science y referencias allí.

More Interesting

¿Cuál es la hipótesis súper múltiple en el aprendizaje profundo?

¿Cuáles son las implicaciones filosóficas del experimento de borrador cuántico de elección retardada?

¿Hay alguna razón por la cual estos cambios revolucionarios en física (mecánica cuántica y relatividad) aparecieron en el mismo período (finales del siglo XIX y principios del siglo XX)?

¿Por qué la mecánica clásica es una teoría geométrica, mientras que la mecánica cuántica es una teoría algebraica?

¿Podríamos manipular el tiempo cuando finalmente conectamos GR y QM?

¿Por qué no podemos visualizar la física cuántica?

¿Hay situaciones en las que falla el principio de superposición?

¿El principio de incertidumbre de Heisenberg (específicamente la desigualdad que cuantifica la incertidumbre) tiene algo que ver con el hecho de que la función hamiltoniana toma posición e impulso como argumentos?

¿Hasta qué punto los mejores físicos creen en la interpretación de la mecánica cuántica de muchos mundos?

¿Por qué nadie entiende la física cuántica?

¿Se descompondría toda la física cuántica si no se cuantificara una carga?

¿El teorema de Frauchiger-Renner descarta todas las interpretaciones de la mecánica cuántica, excepto la interpretación de muchos mundos?

Si estoy tratando con 10 qubits de entrada y 10 procesos, ¿cuántas veces tengo que medir la salida para obtener un resultado significativo?

Con los avances tecnológicos, ¿se volverá inválido el principio de incertidumbre de Heisenberg?

¿Cuáles son las explicaciones más simples de la física / mecánica cuántica?