Wie in den Kommentaren erläutert, liegt dies am Wigner-Eckart-Theorem . Das ist ein bisschen schwer zu verstehen, aber was es wirklich sagt, ist, dass, wenn Sie ein quantenmechanisches System mit wohldefinierten Richtungseigenschaften haben (in dem Sinne, dass es sich in einem Zustand mit einem wohldefinierten Drehimpuls befindet ) und Sie untersuchen die Eigenschaften eines Observablen, das eine Art Richtungsabhängigkeit aufweist (wie beispielsweise ein vektorwertiger Operator wie das elektrische Dipolmoment), dann gibt es einige strenge Einschränkungen hinsichtlich der Ausrichtung des Observablen und des Ausrichtung des Staates interagieren können.
Das ist ungefähr das Beste, was ich zusammenfassen kann, ohne sofort technischer zu werden. Nachdem ich also ein bisschen mit der Hand gewunken habe und das Einzige, was ich tun kann, technisch zu werden, werde ich das wohl tun.
Genauer gesagt, um das Wigner-Eckart-Theorem zu verwenden, benötigen Sie:
- ein System im Drehimpulszustand| ℓm⟩
, Und
- eine Observable, die sich "wie ein Kugeltensor transformiert", dh eine Menge von2 k + 1
beobachtbarT( k )− k
,T( k )− k + 1
,…
,T( k )k - 1
,T( k )k
, deren Menge linearer Transformationen unter räumlichen Rotationen abgeschlossen ist und die unter Rotation denselben Regeln folgen wie die sphärischen HarmonischenYk q
.
- Ein explizites Beispiel hilft: Vektoroperatoren passen zu dieser Rechnung, mitk = 1
, indem man es einstelltT( 1 )0=vz
UndT( 1 )± 1=12√(vX± ichvj)
(bis zu einem Schild).
Sobald Sie das haben, schreibt das Theorem vor, dass der erwartete Wert Ihres Operators in diesem Zustand
⟨ℓ _M'|T( k )Q| ℓm⟩,
(möglicherweise einschließlich eines Übergangs zu einer anderen Ausrichtung
M'
), wird aufgeteilt in
- ein "bedeutungsvoller" Teil, bezeichnet mit⟨ℓ | _ |T( k )| | ℓ⟩
, die davon abhängt, in welcher Repräsentation der Zustand und das Beobachtbare leben, also aufℓ
Undk
, nicht aber auf die konkrete "Orientierung", also auf das konkrete BauteilQ
des Observable, nach dem Sie fragen, oder der OrientierungM
des Zustands, und der alle wahren dynamischen Informationen über den Erwartungswert trägt; Und
- ein Faktor, der die gesamte Abhängigkeit von der Orientierung kodiertM
UndM'
und auf der Wahl der Komponente des ObservablenQ
, bekannt als Clebsch-Gordan-Koeffizient und bezeichnet⟨ℓ _M'k q| ℓm⟩
, aber ohne zu wissen wasT
eigentlich ist.
Wenn Sie das alles für Ihren Betreiber zusammenfassenT( k )Q
, es liest sich wie die Gleichung
⟨ℓ _M'|T( k )Q| ℓm⟩=⟨ℓM'k q| ℓm⟩⟨ℓ | _ |T( k )| | ℓ⟩.
Spezialisieren wir das also auf einen Vektoroperator
v
, wie ein elektrisches Dipolmoment, für ein Spin-1/2-Teilchen, gebend
⟨12M'|vQ|12m ⟩ = ⟨12M'1 Q|12m ⟩⟨12| | v | |12⟩ ,
und vergleichen wir das damit, wie sich der Drehimpuls in diesem Zusammenhang verhält:
⟨12M'|SQ|12m ⟩ = ⟨12M'1 Q|12m ⟩⟨12| | S| |12⟩ ,
Wo
⟨12| | S| |12⟩
ist eine numerische Konstante.
Damit haben wir jetzt genug Werkzeuge, um die Behauptung so anzugehen, wie Sie sie aufgestellt haben:
das elektronenelektrische Dipolmoment (EDM) muss kollinear mit dem Spin sein.
Was das wirklich bedeutet, ist, dass unser Vektoroperator in Bezug auf die Orientierung so gut wie nicht vom Spin zu unterscheiden ist, dh
⟨12M'|vQ|12m ⟩ =⟨12| | v | |12⟩⟨12| | S| |12⟩⟨12M'|SQ|12m ⟩ .
Oder Multiplizieren mit den Basisvektoren
e^Q
und summieren
Q
, können wir den Vektorcharakter unserer Gleichung wiederherstellen:
⟨12M'| v |12m ⟩ =⟨12| | v | |12⟩⟨12| | S| |12⟩⟨12M'| S |12m ⟩ ,
was vereinfacht zu
v =⟨12| | v | |12⟩⟨12| | S| |12⟩S
als Operatorgleichheit, da die betrachteten Matrixelemente eine Basis für den Raum aufspannen. Und das bringt in einen gewissen Kontext, was mit der Behauptung gemeint ist: Formal gesehen sind sie nicht "parallel" als solche, aber für alle messbaren Matrixelemente, auf die es ankommt, und für alle möglichen Komponenten (oder linearen Kombinationen von Komponenten), die beiden Operatoren ergeben das gleiche Ergebnis modulo einer multiplikativen Konstante. Da dies eine ungefähr so starke Aussage zur Parallelität ist, wie Sie sie in der Quantenmechanik über zwei Vektoroperatoren machen können (die im Allgemeinen nicht einmal kommutieren), nehmen wir das einfach so, wie es ist, und behalten die Behauptung in ihrer vereinfachten Form bei. was leichter zu merken ist.
Abgesehen davon gibt es jedoch noch mehr zu sagen, ohne allzu technisch zu werden, zumindest im üblichen Fall von Spin-1/2 _ _
Systeme, und zwar ohne das Wigner-Eckart-Theorem überhaupt zu zitieren. Betrachten Sie insbesondere die folgende Beobachtung:
Für eine Spritz-1/2 _ _
System in einem beliebigen reinen Zustand| ψ⟩
, es gibt immer eine RichtungN^∝ ⟨ ψ | S | ψ ⟩
so dass der Staat| ψ⟩
ein Eigenzustand der Spinkomponente istSN^= S⋅ _N^
entlang dieser Richtung, mit Eigenwert+ 1 / 2
.
Dies lässt sich relativ einfach über eine Vielzahl von Routen zeigen, aber der wichtigste Teil ist, dass es für jeden höheren Spin falsch ist. (Als Beispiel diem = 0
von einem Spin-1
System wird nie ein seinm = + 1
Eigenzustand einer beliebigen anderen Achsenorientierung und eines beliebigen Zustandsein | m = 1 ⟩ + b | m = − 1 ⟩
mit ungleichen Gewichten ungleich Null| ein | ≠ | b | ≠0
ist ausgeschlossen, ein Eigenzustand irgendeiner Komponente des Spins des Systems zu sein.)
Darüber hinaus hat diese Beobachtung einige direkte Konsequenzen:
- Der Staat| ψ⟩
ist also rotationsinvariant um die AchseN^
.
- Das bedeutet, dass die beiden Komponenten vonS
orthogonal zuN^
müssen verschwindende Erwartungswerte haben, sonst würden sie die Rotationsinvarianz brechen.
- Dasselbe gilt für jeden Vektoroperatorv
.
Mit anderen Worten, das reicht aus, um darauf zu schließen
⟨ψ | _ v | ψ ⟩ ∝ ⟨ ψ | S | ψ ⟩
für alle Staaten
| ψ⟩
, und tatsächlich können wir weiter gehen und schlussfolgern, dass die Proportionalität konstant ist
K
in dieser Beziehung muss unabhängig sein
| ψ⟩
, weil alle Zustände (in spin
1/2 _ _
) sind durch eine Drehung der Koordinatenachsen unitär äquivalent. Wenn wir eine bequeme Notation für diese Proportionalitätskonstante eingeben, erhalten wir das
⟨ψ | _ v | ψ ⟩ =⟨12| | v | |12⟩⟨12| | S| |12⟩⟨ψ | _ S | ψ ⟩
für alle Staaten
| ψ⟩
.
Nun, das reicht nicht ganz aus, um darauf zu schließenv ∝ S
als Operatoren, wie wir im rigorosen Wigner-Eckart-Abschnitt oben festgestellt haben, aber die vollständige Operatoridentifikation ist nicht so weit entfernt: Um sie zu erhalten, müssen Sie einfach so vorgehen wie mit den Polarisationsidentitäten und die mehreren Gleichungen berücksichtigen, die Sie erhalten, wenn Sie ersetzen| ψ⟩
mit einem anderen willkürlichen Zustand| ϕ⟩
sowie mit den verschiedenen Überlagerungen| ψ⟩± | ϕ⟩
Und| ψ⟩±ich | ϕ⟩
, und Sie werden genug Gleichungen erhalten, um darauf zu schließen
⟨ ϕ | v | ψ ⟩ =⟨12| | v | |12⟩⟨12| | S| |12⟩⟨ ϕ | S | ψ ⟩
für alle Staaten
| ψ⟩
Und
| ϕ⟩
, und damit das
v =⟨12| | v | |12⟩⟨12| | S| |12⟩S
als Operatoren auf diesem Spin-
1/2 _ _
Leerzeichen, wodurch diese zweite Version des Beweises vervollständigt wird.
Also: Ist dieser Beweis besser? Es ist sicherlich so rigoros wie das von Wigner-Eckart (oder es kann so gemacht werden), aber es schreibt sich nicht wirklich in einen größeren Rahmen ein und deutet darauf hin, dass das Ergebnis auf den Spin beschränkt ist1/2 _ _
wenn das Wigner-Eckart-Argument viel allgemeiner ist. Es gibt also ein gewisses Spiel auf beiden Seiten, und beide Argumente sind es wert, verstanden und untersucht zu werden.
rauben
RW Vogel