No. Al escribirExp( yo αnorte^⋅j⃗ )
hay que usar matricesj^X,j^y,j^z
con las relaciones de conmutación estándar:
[j^X,j^y] = yo ℏj^z, etc.
Para
s = 1 / 2
, las matrices que satisfacen las relaciones de conmutación son
{12σX,12σy,12σz}
en vez de
{σX,σy,σz}
, de ahí la necesidad de la
12
factor.
Sí, en general se obtendrían las matrices paraj^X
yj^y
, únelos conj^z
para construirExp( yo αnorte^⋅j⃗ )
y exponenciar. El resultado no depende de la base sino de la base de estados propios dej^z
es conveniente ya que elj^±
en esta base son bien conocidas y fáciles de calcular.
Editar: en respuesta a un comentario, las matrices de rotación suelen ser de la forma
Rz( a )Ry( β)Rz( γ) =mi− yo αLzmi- yo βly _mi- yo γLz
Llegar
RX
uno debe elegir
α = − π/ 2
y
γ= π/ 2
.
En una base de estados propios dej^z
, la rotaciónRX( β) =miyo πLz/ 2Ry( β)mi− yo πLz/ 2
paras = 1 / 2
es dado por
RX( β) =⎛⎝⎜porque(β2)− yo peco(β2)− yo peco(β2)porque(β2)⎞⎠⎟=mi- yo βσX/ 2,
con estados ordenados como
| 1 / 2 , 1 / 2 ⟩ , | 1 / 2 , − 1 / 2 ⟩
.
Paraℓ = 1
el resultado correspondiente es
RX( β) =⎛⎝⎜⎜⎜⎜⎜porque2(β2)−yo peco( β)2√−pecado2(β2)−yo peco( β)2√porque( β)−yo peco( β)2√−pecado2(β2)−yo peco( β)2√porque2(β2)⎞⎠⎟⎟⎟⎟⎟
para el pedido
| 1 , 1 ⟩ , | 1 , 0 ⟩ , | 1 , − 1 ⟩
usuario110903
usuario110903
usuario110903
usuario110903
usuario110903
usuario110903
usuario110903
ZeroTheHero
usuario110903
ZeroTheHero
usuario110903