Mecánica cuántica y geometría.

Roberto Valdivia†,*
†
DCI

Abstract. void()

Keywords: void()
El espacio de los estados de un sistema cuántico es un espacio vectorial, definiendo una distancia
o métrica en este espacio:

(0.1) ∆s2 = h∆ψ|∆ψi

donde |∆ψi es un estado relativo en el espacio de Hilbert entre los estados |ψ + ∆ψi y |ψi:

(0.2) |∆ψi ≡ |ψ + ∆ψi − |ψi

si multiplicamos los estados por una fase, realmente no nos representa un cambio en las observables
del estado por lo que la métrica no debería de verse modificada, pero si efectuamos la transformación

(0.3) |ψi → eiz |ψi

vemos que

(0.4) ∆s2 6= h∆ψ|∆ψi .

Si definimos entonces la métrica con un término de corrección tenemos

(0.5) ∆s2 = h∆ψ|∆ψi − h∆ψ|ψi hψ|∆ψi

y si la variación en los estados es un cambio infinitesimal tenemos

*
valdiviagc2014@licifug.ugto.mx
(0.6) ds2 = hdψ|dψi − hdψ|ψi hψ|dψi .
 Mecánica cuántica y geometría. 2

Si reescribimos el estado |ψi en términos de una base del espacio de Hilbert, tenemos la forma
X
(0.7) |ψi = ψ i |χi i
i

entonces podemos reescribir la métrica (0.6) como

X
(0.8) ds2 = (hχi |χj i − hχi |ψi hψ|χj i) dψ ∗i dψ j
ij

definiendo

(0.9) γij ≡ hχi |χj i − hχi |ψi hψ|χj i

tenemos la métrica en la forma

X
(0.10) ds2 = γij dψ ∗i dψ j .
ij

1
En el caso particular de un sistema de espín 2 podemos representar los estados en el espacio 3D
posicionados en una esfera unitaria, cuyas coordenadas para identificar todos los estados posibles
son θ y φ.
Si consideramos ahora un conjunto generalizado de coordenadas x = {x1 , x2 , ..., xn } los cuales
identifican a un sistema cuántico, cada conjunto x de coordenadas identifica un estado |χx i, entonces
una variación en el estado |χx i la podemos asociar a una variación en los parámetros x en la forma:
n
X ∂
(0.11) |dχx i = |χx i dxk
∂xk
k=1

o redefiniendo

∂
(0.12) |∂k χx i ≡ |χx i
∂xk

por lo que reescribimos la ecuación (0.11) como

n
X
(0.13) |dχx i = |∂k χx i dxk
k=1

reescribiendo la ecuación (0.6) utilizando en término de los estados dependientes de los parámetros
x (0.13), podemos reescribir la métrica en la forma:
X
(0.14) ds2 = [h∂k χx |∂l χx i − h∂k χx |χx i hχx |∂l χx i] dxk dxl
kl

definiendo

(0.15) gkl ≡ h∂k χx |∂l χx i − h∂k χx |χx i hχx |∂l χx i

 Mecánica cuántica y geometría. 3

podemos reescribir entonces (0.14) como

X
(0.16) ds2 = gkl (x)dxk dxl
kl

la distancia entre dos elementos de un conjunto deben cumplir las siguientes propiedades: Sean x y
y dos elementos de un conjunto A, y d() la función de distancia entre dos elementos del conjunto,
tenemos que se cumple

• d(x, y) = 0 ⇔ x = y
• d(x, y) = d(y, x)
• d(x, y) ≤ d(x, z) + d(z, y)

Definiendo la derivada covariante:

(0.17) |Dk χx i ≡ |∂k χx i − |χx i hχx |∂k χx i

podemos escribir

(0.18) gkl = Re [hDk χx |Dl χx i]

introduciendo el siguiente campo vectorial

(0.19) ak (x) = −i hχx |∂k χx i

entonces reescribimos el tensor métrico en términos del campo vectorial como:

(0.20) gkl = Re h∂k χx |∂l χx i − ak al

el tensor gkl es invariante de norma, al igual que la derivada proyectiva |Dk χx i, por lo que, identi-
ficando al "Tensor Geométrico Cuántico" como

(0.21) Qkl = hDk χx |Dl χx i

vemos que al ser la derivada proyectiva invariante de norma, entonces el tensor geométrico cuántico
también es invariante, como sabemos la parte real asociada a gkl es invariante, pero existe otra
cantidad que es invariante asociada a la parte imaginaria de el tensor geométrico cuántico(QGT),
el cuál escribimos como

(0.22) fkl = 2Im hDk χx |Dl χx i

en tensor fkl es antisimétrico, y gkl es simétrico, además de la definición del campo vectorial (0.19)
podemos reescribir fkl como

(0.23) fkl = ∂i aj − ∂j ai
 Mecánica cuántica y geometría. 4

lo cual vemos que el tensor fkl es análogo al tensor de campos electromagnéticos.

La distancia entre dos sitemas cuánticos hψ(x)|ψ(x + dx)i la podemos calcular de la forma

1 xF
Z
(0.24) |hψ(xF )|ψ(xF )i| = 1 − gkl (x)dxk dxl
2 xI

este resultado se obtiene expandiendo a segundo orden el estado |ψ(x + dx)i.

Considerando el caso de un sistema periódico, donde el sistema en t = 0 y en t = τ está en el

mismo estado pero con un factor de diferencia de fase

(0.25) |ψ(τ )i = e−iα(τ ) |ψ(0)i

y expresando los estados en función de los parámetros x(t), tenemos el estado en función del tiempo
como

(0.26) |ψ(τ )i = e−iα(t) |χx(t) i

calculando la derivada parcial respecto al tiempo

∂
(0.27) |ψ(t)i = −iα̇(t)e−iα(t) |χx(t) i + e−iα(t) ∂t |χx(t) i
∂t

calculando el producto interno con hψ(t)|

∂
(0.28) hψ(t)| |ψ(t)i = −iα̇(t) + hχx(t) | ∂t |χx(t) i = −iα̇(t) + ẋk hχx(t) |∂k χx(t) i
∂t

y de la ecuación de Scrödinger

∂ 1 i
(0.29) |ψ(t)i = Ĥ |ψ(t)i = − E(t) |ψ(t)i
∂t i~ ~

sustituyendo (0.29) en (0.28) tenemos

i
(0.30) − E(t) = −iα̇(t) + ẋk hχx(t) |∂k χx(t) i
~

o en forma diferencial

E(t)dt
(0.31) dα(t) = − idxk hχx(t) |∂k χx(t) i
~

integrando en un tiempo τ y en trayectoria cerrada C en el espacio de parámetros tenemos

Z τ I
E(t)dt
(0.32) α(τ ) = −i dxk hχx(t) |∂k χx(t) i
0 ~ C

donde podemos identificar al término te la fase asociada a la parte dinámica del sistema
Z τ I
E(t)dt
(0.33) α(τ ) = −i dxk ak (x)
0 ~ C
 Mecánica cuántica y geometría. 5

es el término que tenemos en la fasé del operador de evolución temporal

Z τ
E(t)dt Eτ
(0.34) αd = =
0 ~ ~

y el segundo término lo identificamos como la fase geométrica, mejor conocida como fase de Berry

i
(0.35) Û = e− ~ Ĥτ

y aplicando el teorema de Stokes podemos reescribirla como

I
(0.36) αB = dxk ak (x)
C

y como vemos, la fase geométrica depende directamente del campo vectorial ak o de el tensor de
Berry fij .

I
1
(0.37) αB = dσij fij
2 C

Para el caso de un sistema adiabático, en el cual es sistema cuántico está confinado a un nivel de
energía, en dónde la transmisión a otro estado de energía es poco probable debido a la separación
tan grande entre niveles de energía, por ejemplo cuando se encuentra en el estado base el sistema
|φ0 i con energía E0 (x), para el caso en que no hay degeneración el tensor geométrico cuántico lo
podemos calcular como
X hφ0 | ∂k H |φn i hφn | ∂l H |φ0 i
(0.38) Qkl = 2
n6=0
(E0 − En )

de las ecuaciones (0.18) y (0.22) vemos que podemos expresar el tensor geométrico cuántico en la
forma

i
(0.39) Qkl = gkl − fkl
2
1
y en el caso particular de una partícula de espín 2 interactuando con un campo magnético tenemos
el Hamiltoniano del sistema

(0.40) ~
Ĥ = µ~σ · B

y los eigenestado son



e−iφ/2 cos θ2
(0.41) |+i = 

eiφ/2 sin θ2
 Mecánica cuántica y geometría. 6

y


−e−iφ/2 sin θ2
(0.42) |−i = 

eiφ/2 cos θ2

aplicando la ecuación (0.25) obtenemos

   
1 0 i 0 −sin(θ)
(0.43) Qkl =  −  
0 sin2 (θ) 4 sin(θ) 0

donde podemos identificar el tensor métrico gkl

 
1 0
(0.44) gkl =  
0 sin2 (θ)

y el tensor fkl como

 
1 −sin(θ)
0
(0.45) fkl =  
2 sin(θ) 0

si realizamos el cálculo explícito seleccionando el estado inicial como |+i, y partiendo de la ecuación
(0.19) tenemos las siguientes ecuaciones asociadas a cada parámetro asociado a los estados

(0.46) aθ = −i h+|∂θ +i

(0.47) aφ = −i h+|∂φ +i

calculando las derivadas parciales respecto a cada parámetro tenemos



−iφ/2 θ
1 −e sin 2 1
(0.48) |∂θ +i = 
 = 2 |−i
2 e iφ/2
cos θ
2

y


i −e−iφ/2 cos 2 
θ
(0.49) |∂φ +i =
2 eiφ/2 sin θ2

sustituyendo ahora los resultados en (0.48) y (0.49) en (0.46) y (0.47) obtenemos

−i
(0.50) aθ = −i h+|∂θ +i = h+|−i = 0
2

y
 
  i −e−iφ/2 cos θ

2
aφ = −i h+|∂φ +i = −i eiφ/2 cos θ
e−iφ/2 sin θ2



(0.51) 2


2 e iφ/2
sin θ
2
 Mecánica cuántica y geometría. 7



−e−iφ/2 cos θ2
 
1
 1 2θ 2θ
θ
e−iφ/2 sin θ −cos


(0.52) aφ = eiφ/2 cos 2 2
  = + sin
2 eiφ/2 sin θ2

2 2 2

 
1 θ
(0.53) aφ = 1 − 2cos2
2 2

de la ecuación (0.23) y de las formas explícitas de aθ y phi podemos calcular cada uno de los
elementos del tensor fij .
Los elementos de la diagonal resultan en

(0.54) fθθ = fφφ = 0

y los elementos fuera de la diagonal son

θ θ sinθ
(0.55) fθφ = −fφθ = ∂θ aφ − ∂φ aθ = −cos sin =
2 2 2

por lo que finalmente tenemos la forma explícita del tensor

 
1 0 −sin(θ)
(0.56) fkl =  
2 sin(θ) 0

la cual vemos que coincide con el cálculo obtenido en (0.45).

Para calcular ahora el tensor métrico, partimos de la ecuación (0.20), y lo aplicamos para cada uno
de los componentes.
Comenzando con los elementos fuera de la diagonal, obtenemos


−iφ/2 θ
1
i
 −e cos 2
(0.57) gθφ = Re h∂θ + |∂φ +i − aθ aφ = Re θ
e−iφ/2 cos θ2


−eiφ/2 sin 2

2 2 e iφ/2
sin θ
2

i θ θ θ θ
(0.58) gθφ = Re( (−sin( )cos( ) + sin( )cos( ))) + 0 = 0
4 2 2 2 2

(0.59) gφθ = 0

ahora los elementos de la diagonal

1 1
(0.60) gθθ = Re h∂θ + |∂θ +i − aθ aθ = h−|−i − 0 =
4 4
 Mecánica cuántica y geometría. 8

 2
1 1 2θ 1 1 θ θ
(0.61) gφφ = Re h∂φ + |∂φ +i−aφ aφ = Re h−|−i− 1 − 2cos = − (1−4cos2 +4cos4 )
4 4 2 4 4 2 2

1
(0.62) gφφ = sin2 θ
4

por lo que obtenemos la forma explícita de gij

 
1 1 0
(0.63) gkl = 
4 0 sin2 (θ)

y vemos que difiere de la ecuación (0.44) por un factor de 14 .

Si ahora transformamos el tensor fkl que como vimos era un análogo al tensor de campos electro-
magnéticos, al espacio R3 tenemos

1 rkl (1/2)
(0.64) Br = 2
fkl =
2 r sinθ r2

que en analogía con la forma de el campo eléctrico en R3 el campo obtenido en la ecuación (0.33)
sería el campo producido por una carga magnética de carga (1/2) observado a una distancia r.