Conexión de bayas y simetría de inversión de tiempo

Estoy viendo cómo la conexión Berry A ( k ) se transforma bajo simetría de inversión de tiempo. Parece que tengo hipo por algo simple. Puede que haya complicado demasiado las cosas, pero creo que apunta a algunos conceptos erróneos que puedo tener.

De la definición de la curvatura de Berry como de costumbre:

A ( k ) = i ψ ( k ) | d d k | ψ ( k ) = i ψ ( k ) d ψ ( k ) d k d r

Aplicando inversión de tiempo T ^ ,

T ^ A ( k ) = i T ^ ψ ( k ) | d d k | T ^ ψ ( k ) = i T ^ ψ ( k ) d T ^ ψ ( k ) d k d r = i ψ ( k ) d ψ ( k ) d k d r
Desde A debe ser real, podemos conjugarlo.
= i ψ ( k ) d ψ ( k ) d k d r = A ( k )
Entonces, si estoy en un sistema invariante de inversión de tiempo, tengo
T ^ A ( k ) = A ( k ) A ( k ) = A ( k )
Lo cual está mal, estoy fuera por el signo menos.


Mis preguntas:

  • ¿Es cierto que la conexión Berry siempre es real? Esa fue mi justificación para conjugarlo. Creo que hacen este paso en las dos fuentes que se enumeran a continuación.
  • ¿Es esto un abuso de notación si hice esto (poniendo la derivada con el ket):
    A ( k ) = i ψ ( k ) | d ψ ( k ) d k T ^ A ( k ) = i T ^ ψ ( k ) | T ^ d ψ ( k ) d k
    Y si este fuera el caso, ¿cómo T ^ actuar sobre el operador diferencial? haría
    T ^ d d k = d d ( k ) T ^
    ¿ser cierto? Siento que no puedes simplemente sacar la derivada sin un signo menos, o de lo contrario, ¿cómo se volvería negativo el operador de velocidad?
  • Por que T ^ no actuar sobre la i fuera de las llaves en T ^ A ( k ) = i T ^ ψ ( k ) | d d k | T ^ ψ ( k ) ?
  • ¿Había algo más mal en mi derivación?

Fuentes:

  1. Definen la conexión Berry con un signo menos adicional, pero eso no debería importar http://www-personal.umich.edu/~sunkai/teaching/Fall_2012/chapter3_part8.pdf
  2. Estados topológicos en interfaces protegidas por simetría, por Takahashi 2015. La derivación de eso es la siguiente:

a α ( k ) = i tu α ( k ) | tu α ( k ) = i Θ tu α ( k ) | Θ tu α ( k ) = i Θ tu α ( k ) | Θ tu α ( k ) = a β ( k ) + i x ( k )

Respuestas (1)

Mi conclusión hasta ahora es que la inversión del tiempo actúa sobre la derivada:

T ^ d d k = d d ( k ) T ^ = d d k T ^ .
Y que también actúa sobre el i fuera de los tirantes.

Mi error de signo negativo fue que igualé

A ( k ) = i ψ ( k ) | d ψ ( k ) d k .
Pero en realidad es:
A ( k ) = i ψ ( k ) | d ψ ( k ) d ( k ) .
(Una manera fácil de verificar esto es si X ( t ) = pecado ( t ) , v ( t ) = porque ( t ) , entonces v ( t ) = porque ( t ) = d X ( t ) d ( t ) y no d X ( t ) d t ).

Entonces mi derivación ahora es la siguiente:

T A ( k ) = T ( i ψ ( k ) | d ψ ( k ) d k ) = T ( i ψ ( k ) d ψ ( k ) d k d r ) = i T ( ψ ( k ) d ψ ( k ) d k ) d r = i ψ ( k ) d ψ ( k ) d ( k ) d r = i ψ ( k ) d ψ ( k ) d ( k ) d r = i ψ ( k ) | d ψ ( k ) d ( k ) = A ( k )
Algunas fuentes pueden no conjugar el i , pero eso es porque parten de A ( k ) y sustituya la función de onda por la función de onda invertida en el tiempo, que es diferente a aplicar T a todo el término como lo he hecho, pero ambas derivaciones son equivalentes.