Wow, ¿qué pasa con todas estas preguntas de física de muchos cuerpos esta noche? De acuerdo Digamos simplemente cuál es la fase de la baya y cómo podemos pensar al respecto. Luego, después del descanso, repasaré las matemáticas generales sobre cómo surge el término de la fase de bayas de un camino de formalismo integral. ¿Alguna pregunta? ¿No? Bueno.
- La fase de la baya [math] \ theta_B [/ math] depende solo de la ruta de la partícula. Es independiente del tiempo que tarda la partícula en atravesar el camino.
- La fase de bayas es real.
- Si hablamos de caminos en una esfera, la fase de bayas atribuirá un factor de fase a cada camino [math] \ gamma [/ math].
¿Por qué existe una fase de bayas? La fase de la baya es como una fase geométrica: ¿cómo puede una partícula viajar en un camino y terminar teniendo una diferencia de fase general desde el momento en que comenzó? ¿Especialmente si viajamos adiabáticamente? La siguiente imagen debería aclarar la idea:
La fase de la baya está relacionada con la tangente a lo largo del camino tomado a lo largo de la esfera. Si empiezo por el camino de la izquierda y bajo en el plano [math] yz [/ math] hasta que presiono [math] z = 0 [/ math], las flechas muestran ese vector específico. Luego giro en el plano [matemáticas] xy [/ matemáticas] hasta que presiono [matemáticas] y = 0 [/ matemáticas]. Luego vuelvo a girar en el plano [math] xz [/ math]. El camino es un camino cerrado en la esfera, pero el vector resultante ahora apunta en una dirección diferente, ¡pero en realidad nunca rotamos nuestro vector! Este es el concepto de una fase de bayas como factor de fase geométrico. El péndulo de Foucault también muestra este fenómeno (aunque indirectamente).
Ahora para las matemáticas. ¿Por qué la fase de bayas depende solo del camino tomado? Obviamente, como puede ver en mi imagen de arriba, puedo formar un camino cerrado que genera una fase de baya específica dependiendo (por ejemplo) de cuánto gire en el plano [math] xy [/ math]. Necesitamos hablar de
Evolución adiabática
Considere un giro- [matemáticas] \ frac {1} {2} [/ matemáticas] en un campo magnético dependiente del tiempo
[matemáticas] H = – \ vec {B} (t) \ cdot \ vec {S} [/ matemáticas]
y supongamos que [math] \ vec {B} = B \ vec {n} [/ math] es constante en el tiempo y apunta en alguna dirección [math] \ vec {n} [/ math]. El estado fundamental es [matemáticas] | \ vec {n} \ rangle [/ matemáticas] donde [matemáticas] \ vec {S} \ cdot \ vec {n} | \ vec {n} \ rangle = \ frac {1} { 2} | \ vec {n} \ rangle [/ math] (no pido disculpas por mi notación). Luego evolucionamos esto a tiempo, pero mantenemos el campo magnético fijo
[matemáticas] \ langle \ vec {n} | e ^ {- i HT} | \ vec {n} \ rangle = e ^ {- i E_0 t} [/ math]
Ahora, podemos imaginar cambiar adiabáticamente [math] \ vec {B} [/ math] a tiempo. Luego hay un resultado general que nos dice que el sistema permanecerá en su estado fundamental. Vamos a variar lentamente la dirección
[matemáticas] \ vec {B} \ equiv B \ cdot \ vec {n} (t) [/ matemáticas]
Si esto es lo suficientemente lento, entonces el estado fundamental evoluciona a … el estado fundamental (teorema adiabático). La escala de tiempo aquí es de orden [matemática] B [/ matemática] así que la cambiamos lentamente en comparación con [matemática] B [/ matemática] (he dejado caer muchas [matemática] \ hbar [/ matemática] por todas partes el lugar; no lo siento).
Entonces, en cualquier momento dado, nuestro giro seguirá y rastreará nuestro campo magnético. Entonces, repitamos el mismo cálculo que hicimos antes y calculemos el elemento de la matriz para el giro entre algún estado inicial. Heurísticamente, tenemos
[matemáticas] \ langle n (T) | \ matemáticas {T} e ^ {- i \ int_0 ^ T – \ vec {B} (t) \ cdot \ vec {S} \ text {d} t} | n ( 0) \ rangle [/ math] (tenga en cuenta el orden de tiempo, importante aquí)
[matemáticas] = \ langle n (T) | \ cdots \ langle n (\ Delta t) | e ^ {- i B (0) \ cdot S (0) \ Delta t} | n (0) \ rangle [/ matemáticas]
[math] = \ left (e ^ {- i \ Delta t E_0} \ right) ^ N \ times [/ math]
[matemáticas] \ underbrace {\ langle n (T) | n (T- \ Delta t) \ rangle \ cdots \ langle n (\ Delta t) | n (0) \ rangle} _ {e ^ {i \ int \ texto {d} t \ i \ langle n | \ partial_t | n \ rangle}} [/ math]
[matemáticas] = e ^ {- i E_0 T} e ^ {i \ int \ text {d} t \ i \ langle n | \ partial_t | n \ rangle} [/ math]
[matemáticas] = e ^ {- i E_0 T} e ^ {i \ theta_B} \ qquad \ theta_B = \ int \ text {d} t \ i \ langle n | \ partial_t | n \ rangle [/ math]
Vemos que hay una contribución adicional al estado fundamental: la fase de bayas. (Compare con nuestro resultado para una constante [matemáticas] B [/ matemáticas]). Hice tres afirmaciones anteriores sobre la fase de bayas. Probándolos aquí ahora
- La fase de la baya depende solo del camino. Hemos demostrado que es una integral del tiempo. Pero podemos hacer un cambio de variables
[matemáticas] \ theta_B = \ int \ text {d} t \ i \ langle n | \ partial_t | n \ rangle = \ int \ text {d} t \ iz ^ \ dagger \ partial_t z = \ int_ \ gamma iz ^ \ dagger \ partial z [/ math]
- La fase de bayas es real. Solo podemos calcular
[matemáticas] i \ langle n | \ partial_t | n \ rangle – (i \ langle n | \ partial_t | n \ rangle) ^ * [/ math]
[matemáticas] = i \ langle n | \ partial_t | n \ rangle – (-i \ partial_t \ langle n | \ cdot | n \ rangle) [/ math]
[matemáticas] = i (\ langle n | \ partial_t | n \ rangle + \ partial_t \ langle n | \ cdot | n \ rangle) [/ math]
[matemáticas] = i \ partial_t (\ langle n | n \ rangle) = 0 [/ matemáticas]
- El término [math] e ^ {i \ theta_B} [/ math] define un factor de fase para cada ruta [math] \ gamma [/ math]. Podemos definir [math] | n (t) \ rangle \ to e ^ {i \ phi (t)} | n (t) \ rangle [/ math]. Entonces, el término de la fase de baya se convierte en
[matemáticas] \ theta_B \ to \ int_0 ^ T \ text {d} t \ i \ langle n (t) | e ^ {- i \ phi (t)} \ partial_t e ^ {i \ phi (t)} | n (t) \ rangle [/ math]
[math] = \ int_0 ^ T \ text {d} t \ (i \ langle n (t) | \ partial_t | n (t) \ rangle – \ partial_t \ phi (t)) [/ math]
Y, por supuesto, si integramos eso, podemos ver que el primer término es el antiguo término de la fase de bayas y el nuevo término nos da una diferencia de fase a lo largo del tiempo
[matemáticas] \ theta_B \ to \ theta_B + \ phi (0) – \ phi (T) [/ matemáticas]
- ¡Un bono # 4 si lees hasta aquí! ¿No te encantan las sorpresas (y a mí)? Observe cómo a partir del n. ° 3, vemos que tenemos dos conceptos diferentes de fase de bayas para una ruta abierta y una ruta cerrada. Para una ruta abierta, puedo cambiar [matemática] \ phi (0) [/ matemática] y [matemática] \ phi (T) [/ matemática] esto cambia nuestra fase de baya, por lo que no es una cantidad bien definida para abrir rutas. Depende tanto del camino que tomemos como de la elección de fase. Pero para un camino cerrado, no podemos elegir [math] \ phi [/ math] arbitrariamente. De hecho, para un camino cerrado, debemos tener [math] \ phi (0) = \ phi (T) [/ math] para que se cancelen y el término de la fase de bayas atribuya un significado físico a un camino cerrado. Para una ruta abierta, no existe una relación específica entre la elección de fase de los puntos finales.