Como se explica en los comentarios, esto se debe al Teorema de Wigner-Eckart . Esto es un poco difícil de asimilar, pero lo que realmente dice es que si tiene un sistema mecánico cuántico con características direccionales bien definidas (en el sentido de que está en un estado con un momento angular bien definido ), y está estudiando las propiedades de un observable que tiene algún tipo de direccionalidad (como, digamos, un operador de valor vectorial como el momento dipolar eléctrico), entonces hay algunas restricciones estrictas sobre cómo la orientación del observable y el la orientación del estado puede interactuar.
Eso es lo mejor que puedo resumir sin volverme inmediatamente más técnico. Entonces, después de haber agitado un poco las manos, y dado que lo único que puedo hacer es ser técnico, supongo que lo haré.
Más específicamente, para usar el teorema de Wigner-Eckart necesitas tener:
- un sistema en un estado de momento angular| ℓmetro⟩
, y
- un observable que "se transforma como un tensor esférico", es decir, un conjunto de2 k + 1
observablesT( k )-k _
,T( k )− k + 1
,…
,T( k )k − 1
,T( k )k
, cuyo conjunto de transformaciones lineales es cerrado bajo rotaciones espaciales, y que siguen las mismas reglas bajo rotación que los armónicos esféricosYkq _
.
- Un ejemplo explícito ayuda: los operadores vectoriales se ajustan a esa factura, conk = 1
, configurandoT( 1 )0=vz
yT( 1 )± 1=12√(vX± yovy)
(hasta un cartel).
Una vez que tenga eso, entonces el teorema dicta que el valor esperado de su operador en ese estado,
⟨ ℓmetro′|T( k )q| ℓmetro⟩,
(posiblemente incluyendo una transición a alguna otra orientación
metro′
), se dividirá en
- una parte "significativa", denotada por⟨ ℓ | |T( k )| | ℓ⟩
, que depende de en qué representación viven el estado y lo observable, es decir, enℓ
yk
, pero no en la "orientación" específica, es decir, en el componente específicoq
del observable que estás preguntando, o la orientaciónmetro
del estado, y que lleva toda la información dinámica verdadera sobre el valor esperado; y
- un factor que codifica toda la dependencia de la orientaciónmetro
ymetro′
y en la elección de la componente del observableq
, conocido como coeficiente de Clebsch-Gordan y denotado⟨ ℓmetro′kq _| ℓmetro⟩
, pero sin saber quéT
en realidad es.
Si pones todo eso junto para tu operadorT( k )q
, se lee como la ecuación
⟨ ℓmetro′|T( k )q| ℓmetro⟩=⟨ℓmetro′kq _| ℓmetro⟩⟨ ℓ | |T( k )| | ℓ⟩.
Entonces, especialicemos esto a algún operador vectorial
v
, como un momento dipolar eléctrico, para una partícula de espín-1/2, dando
⟨12metro′|vq|12metro ⟩ = ⟨12metro′1 q|12m ⟩⟨12| | v | |12⟩ ,
y comparemos eso con cómo se comporta el momento angular en este contexto:
⟨12metro′|Sq|12metro ⟩ = ⟨12metro′1 q|12m ⟩⟨12| | S| |12⟩ ,
dónde
⟨12| | S| |12⟩
es una constante numérica.
Con esto, ahora tenemos suficientes herramientas para abordar el reclamo tal como lo planteó:
el momento dipolar eléctrico del electrón (EDM) tiene que ser colineal con el espín.
Lo que esto realmente significa es que, en lo que respecta a la orientación, nuestro operador vectorial es prácticamente indistinguible del espín, es decir
⟨12metro′|vq|12metro ⟩ =⟨12| | v | |12⟩⟨12| | S| |12⟩⟨12metro′|Sq|12m⟩ . _
O, multiplicando por los vectores base
mi^q
y resumiendo
q
, podemos recuperar el carácter vectorial de nuestra ecuación:
⟨12metro′| v |12metro ⟩ =⟨12| | v | |12⟩⟨12| | S| |12⟩⟨12metro′| S |12m ⟩ ,
que simplifica a
v =⟨12| | v | |12⟩⟨12| | S| |12⟩S
como un operador de igualdad, ya que los elementos de la matriz que considera abarcan una base para el espacio. Y eso pone en contexto lo que significa la afirmación: formalmente hablando, no son "paralelos" como tales, sino para todos los elementos de matriz medibles que importan, y para todos los componentes posibles (o combinaciones lineales de componentes), los dos operadores dan el mismo resultado módulo una constante multiplicativa. Dado que esa es una declaración de paralelismo tan fuerte como la que se puede hacer en la mecánica cuántica sobre dos operadores vectoriales (que, genéricamente, ni siquiera conmutarán), entonces simplemente tomamos eso tal como está y mantenemos la afirmación en su forma simplificada, que es más fácil de recordar.
Habiendo dicho todo eso, sin embargo, hay más que puedes decir sin ser tan técnico, al menos en el caso común de spin-1 / 2
sistemas, y de hecho sin invocar el teorema de Wigner-Eckart en absoluto. Más específicamente, considere la siguiente observación observación:
Para un giro-1 / 2
sistema en un estado puro arbitrario| ψ⟩
, siempre hay una direcciónnorte^∝ ⟨ ψ | S | ψ ⟩
tal que el estado| ψ⟩
es un estado propio de la componente de espínSnorte^= S ⋅norte^
a lo largo de esa dirección, con valor propio+ 1 / 2
.
Esto es relativamente fácil de mostrar a través de una variedad de rutas, pero la parte más importante es que es falso para cualquier giro más alto. (Como ejemplo elmetro = 0
de un giro-1
El sistema nunca será unmetro = + 1
estado propio de cualquier otra orientación del eje, y cualquier estadoun | metro = 1 ⟩ + segundo | metro = − 1 ⟩
con pesos desiguales distintos de cero| un | ≠ | segundo | ≠0
está excluido de ser un estado propio de cualquier componente del espín del sistema).
Además, esa observación tiene algunas consecuencias directas:
- El estado| ψ⟩
es por lo tanto rotacionalmente invariante alrededor del ejenorte^
.
- Eso significa que los dos componentes deS
ortogonal anorte^
deben tener valores esperados que se desvanecen, o romperían la invariancia rotacional.
- Lo mismo es cierto para cualquier operador vectorialv
.
En otras palabras, eso es suficiente para concluir que
⟨ ψ | v | ψ ⟩ ∝ ⟨ ψ | S | ψ ⟩
para todos los estados
| ψ⟩
, y de hecho podemos ir más allá y concluir que la constante de proporcionalidad
k
en esa relación debe ser independiente de
| ψ⟩
, porque todos los estados (en spin
1 / 2
) son unitariamente equivalentes a través de una rotación de los ejes de coordenadas. Poniendo alguna notación conveniente para esa constante de proporcionalidad, obtenemos que
⟨ ψ | v | ψ ⟩ =⟨12| | v | |12⟩⟨12| | S| |12⟩⟨ ψ | S | ψ ⟩
para todos los estados
| ψ⟩
.
Ahora, eso no es suficiente para concluir quev ∝ S
como operadores, como concluimos en la rigurosa sección de Wigner-Eckart anterior, pero la identificación completa del operador no está tan lejos: para obtenerla, simplemente tiene que hacer lo que hace con las identidades de polarización y considerar las ecuaciones múltiples que obtiene cuando tu reemplazas| ψ⟩
con algún otro estado arbitrario| ϕ⟩
así como con las diversas superposiciones| ψ⟩± | ϕ⟩
y| ψ⟩±yo | ϕ⟩
, y obtendrás suficientes ecuaciones para concluir que
⟨ ϕ | v | ψ ⟩ =⟨12| | v | |12⟩⟨12| | S| |12⟩⟨ ϕ | S | ψ ⟩
para todos los estados
| ψ⟩
y
| ϕ⟩
, y por lo tanto que
v =⟨12| | v | |12⟩⟨12| | S| |12⟩S
como operadores en ese spin-
1 / 2
espacio, completando esta segunda versión de la demostración.
Entonces: ¿es esta prueba mejor? Sin duda, es tan riguroso como el de Wigner-Eckart (o se puede hacer que lo sea), pero en realidad no se inscribe en un marco más amplio y sugiere que el resultado está restringido al giro.1 / 2
cuando el argumento de Wigner-Eckart es mucho más general. Entonces, hay algo de juego en ambos lados, y vale la pena entender y explorar ambos argumentos.
robar
RW pájaro