Esto es básicamente un problema de conteo recursivo. Comience con el estado base desacoplado, es decir, el conjunto de estados de la forma| ℓmetroℓ⟩ | smetros⟩
. hay claramente( 2 ℓ + 1 ) ( 2 s + 1 )
de estos, y el trabajo es reorganizarlos.
El resultado del conteo de claves se basa en la observación de que| ℓmetroℓ⟩ | smetros⟩
es un estado propio dej^z=L^z+S^z
con valor propioMETRO=metroℓ+metros
. Con esto en mente, organice su| ℓmetroℓ⟩ | smetros⟩
establece que aquellos con el mismo valor deMETRO
están en la misma línea. Explícitamente, por ejemplo, tendrías
METRO= ℓ + s :METRO= ℓ + s − 1 :METRO= ℓ + s − 2 :⋮| ℓ ℓ ⟩ | s s ⟩| ℓ , ℓ - 1 ⟩ | s s ⟩| ℓ , ℓ - 2 ⟩ | s s ⟩⋮| ℓ ℓ ⟩ | s , s - 1 ⟩| ℓ , ℓ - 1 ⟩ | s , s - 1 ⟩| ℓ ℓ ⟩ | s , s - 2 ⟩
y reemplace cada estado con un
∙
Llegar
ℓ + s :ℓ + s − 1 :ℓ + s − 2 :⋮∙∙∙⋮∙∙∙
Ahora si
METRO= ℓ + s
es el valor más grande y ocurre una vez, el valor de
j = l + s
debe ocurrir una vez y también todos los estados
| j = ℓ + s ,metroj⟩
ocurrirá una vez. Hay una combinación lineal de los dos estados con
METRO= ℓ + s − 1
ese sera el estado
| j = ℓ + s ,metroj= ℓ + s − 1 ⟩
, habrá una combinación lineal de los tres estados con
METRO= ℓ + s - 2
ese será el
| j = ℓ + s ,metroj= ℓ + s − 2 ⟩
etc. Dado que sólo estamos interesados en
enumerar los posibles valores resultantes de
j
, y no interesados en los estados reales per se, podemos eliminar de nuestra tabla la primera columna ya que contiene un estado con
metroj= ℓ + s
, uno con
metroj= ℓ + s − 1
etc. La eliminación de esta columna produce la tabla reducida
ℓ + s − 1 :ℓ + s − 2 :⋮∙∙⋮∙
Dado que el valor de
metroj= ℓ + s − 1
ocurre una vez, el valor
j = ℓ + s − 1
debe ocurrir una vez, y los estados
| ℓ + s - 1 ,metroj⟩
cada uno ocurrirá una vez. Los sacamos de la lista eliminando la primera columna para obtener una tabla aún más reducida.
ℓ + s − 2 :⋮∙⋮
El proceso continúa así hasta el agotamiento. En los ejemplos anteriores hemos encontrado
j = ℓ + s , ℓ + s - 1
y la tabla reducida final del ejemplo, si no está vacía, indicaría el valor de
j = ℓ + s − 1
. Es claro que este proceso produce una secuencia decreciente de
j
. El último valor de
j
está determinado por el ancho de la tabla original. No es difícil convencerse de que el ancho de la mesa dejará de aumentar una vez que alcancemos
METRO= | ℓ - s |
, y este es el último valor de
j
. Así por agotamiento encuentras los posibles valores de
j
en el rango
| ℓ - s | ≤ j ≤ ℓ + s.
Como ejemplo considereℓ = 1
ys = 2
. La tabla original entonces se ve como
32:12:−12:−32:| 11 ⟩ | 1 / 2 , 1 / 2 ⟩| 10 ⟩ | 1 / 2 , 1 / 2 ⟩| 1 , − 1 ⟩ | 1 / 2 , 1 / 2 ⟩| 1 , − 1 ⟩ | 1 / 2 , − 1 / 2 ⟩| 11 ⟩ | 1 / 2 , − 1 / 2 ⟩| 10 ⟩ | 1 / 2 , − 1 / 2 ⟩→32:12:−12:−32:∙∙∙∙∙∙
Es solo
2
columna de ancho, y el ancho deja de crecer en
METRO= 1 / 2
, indicando la posible
j
en este caso son
3 / 2
y
1 / 2
, y de hecho
| 1 - 1 / 2 | ≤ j ≤ 1 + 1 / 2
Finalmente, tenga en cuenta que el valor absoluto se requiere a la izquierda porque uno podría escribir estado
| smetros⟩ | ℓmetroℓ⟩
sin afectar los posibles valores de
j
.
usuario154997
yosignificayo
usuario154997
Emilio Pisanty