Estoy viendo cómo la conexión BerryA( 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 )= yo ⟨ ψ ( k ) |ddk| ψ(k)⟩= yo ∫ψ⋆( k )dψ ( k )dkdr⃗
Aplicando inversión de tiempoT^
,
T^A( k )= yo ⟨T^ψ ( k ) |ddk|T^ψ ( k ) ⟩= yo ∫T^ψ⋆( k )dT^ψ ( k )dkdr⃗ = yo ∫ψ ( − k )dψ⋆( − k )dkdr⃗
Desde
A
debe ser real, podemos conjugarlo.
= − yo ∫ψ⋆( − k )dψ ( − k )dkdr⃗ = − A( − k )
Entonces, si estoy en un sistema invariante de inversión de tiempo, tengo
T^A( k )⟹A( k )= un( 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 )T^A( k )= yo ⟨ ψ ( k ) |dψ ( k )dk⟩= yo ⟨T^ψ ( k ) |T^dψ ( k )dk⟩
Y si este fuera el caso, ¿cómoT^
actuar sobre el operador diferencial? haría
T^ddk=dd( − 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 queT^
no actuar sobre lai
fuera de las llaves enT^A( k ) = yo ⟨T^ψ ( k ) |ddk|T^ψ ( k ) ⟩
?
- ¿Había algo más mal en mi derivación?
Fuentes:
- 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
- Estados topológicos en interfaces protegidas por simetría, por Takahashi 2015. La derivación de eso es la siguiente:
aα( − k )= − yo ⟨tuα( -k ) | _ ∇tuα( − k ) ⟩= − yo ⟨ ∇ Θtuα( -k ) | _ Θtuα( − k ) ⟩= yo ⟨ Θtuα( -k ) | _ ∇ Θtuα( − k ) ⟩=aβ( k ) + yo ∇ χ ( k )