Dies ist im Grunde ein Problem des rekursiven Zählens. Beginnen Sie mit dem entkoppelten Basiszustand, also der Zustandsmenge der Form| ℓMℓ⟩ | SMS⟩
. Es gibt eindeutig( 2 ℓ + 1 ) ( 2 s + 1 )
davon, und die Aufgabe besteht darin, sie neu zu organisieren.
Das Schlüsselzählergebnis basiert auf der Beobachtung, dass| ℓMℓ⟩ | SMS⟩
ist ein Eigenzustand vonJ^z=L^z+S^z
mit EigenwertM=Mℓ+MS
. In diesem Sinne organisieren Sie Ihre| ℓMℓ⟩ | SMS⟩
Staaten, damit diejenigen mit dem gleichen Wert vonM
sind auf der gleichen Linie. Explizit zum Beispiel hätten Sie das getan
M= ℓ + s :M= ℓ + s − 1 :M= ℓ + s − 2 :⋮| ℓ ℓ ⟩ | s s ⟩| ℓ , ℓ − 1 ⟩ | s s ⟩| ℓ , ℓ − 2 ⟩ | s s ⟩⋮| ℓ ℓ ⟩ | s , s − 1 ⟩| ℓ , ℓ − 1 ⟩ | s , s − 1 ⟩| ℓ ℓ ⟩ | s , s − 2 ⟩
und ersetze jeden Zustand durch a
∙
zu bekommen
ℓ + s :ℓ + s − 1 :ℓ + s − 2 :⋮∙∙∙⋮∙∙∙
Nun, wenn
M= l + s
ist der größte Wert und es kommt einmal vor, der Wert von
j = l + s
einmal vorkommen müssen und auch alle Zustände
| j = ℓ + s ,MJ⟩
wird einmal vorkommen. Es liegt eine Linearkombination der beiden Zustände vor
M= ℓ + s − 1
das wird der Staat sein
| j = ℓ + s ,MJ= ℓ + s − 1 ⟩
, wird es eine lineare Kombination der drei Zustände mit geben
M= ℓ + s − 2
das wird die sein
| j = ℓ + s ,MJ= ℓ + s − 2 ⟩
Zustand usw. Da wir nur daran interessiert sind, die möglichen resultierenden Werte von
aufzuzählenJ
, und nicht an den tatsächlichen Zuständen an sich interessiert, können wir die erste Spalte aus unserer Tabelle streichen, da sie einen Zustand mit enthält
MJ= l + s
, eine mit
MJ= ℓ + s − 1
usw. Das Eliminieren dieser Spalte ergibt die reduzierte Tabelle
ℓ + s − 1 :ℓ + s − 2 :⋮∙∙⋮∙
Da der Wert von
MJ= ℓ + s − 1
tritt einmal auf, der Wert
j = ℓ + s − 1
muss einmal vorkommen, und die Staaten
| ℓ + s − 1 ,MJ⟩
kommen jeweils einmal vor. Wir entfernen diese aus der Liste, indem wir die erste Spalte löschen, um eine weiter reduzierte Tabelle zu erhalten
ℓ + s − 2 :⋮∙⋮
Der Prozess wird so bis zur Erschöpfung fortgesetzt. In den obigen Beispielen haben wir gefunden
j = ℓ + s , ℓ + s − 1
und die letzte reduzierte Tabelle des Beispiels würde, wenn sie nicht leer ist, den Wert von angeben
j = ℓ + s − 1
. Es ist klar, dass dieser Prozess eine abnehmende Folge von erzeugt
J
. Der letzte Wert von
J
wird durch die Breite der Originaltabelle bestimmt. Es ist nicht schwer, sich davon zu überzeugen, dass die Breite des Tisches aufhören wird, sich zu vergrößern, sobald wir ihn erreichen
M= | ℓ − s |
, und dies ist der letzte Wert von
J
. So finden Sie nach Erschöpfung die möglichen Werte von
J
im Sortiment
| ℓ − s | ≤ j ≤ ℓ + s.
Betrachten Sie als Beispiell = 1
Unds = 2
. Die ursprüngliche Tabelle sieht dann so aus
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 ist nur
2
Spalte breit, und die Breite hört auf zu wachsen
M= 1/2 _ _
, was auf das Mögliche hinweist
J
in diesem Fall sind
3/2 _ _
Und
1/2 _ _
, und in der Tat
| 1 − 1 / 2 | ≤ j ≤ 1 + 1 / 2
Beachten Sie schließlich, dass der Absolutwert auf der linken Seite erforderlich ist, da man Zustand schreiben könnte
| SMS⟩ | ℓMℓ⟩
ohne die möglichen Werte von zu beeinflussen
J
.
Benutzer154997
MeMeansMe
Benutzer154997
Emilio Pisanty