Was bestimmt, ob |jm⟩|jm⟩|jm\rangle in |jm′⟩|jm′⟩|jm'\rangle gedreht werden kann oder nicht?

Ich war überrascht zu erfahren, dass nicht jeder | J M kann in ein Gegebenes gedreht werden | J M ' mit jeder endlichen Drehung R ( a , β , γ ) , und ich bin neugierig, ob es eine physikalische Intuition gibt, die uns sagen lässt, wann dies möglich ist und wann nicht. Ich glaube, ich verstehe mathematisch, warum das so ist. Drehungen um eine gegebene Achse werden durch die Drehimpulsoperatoren erzeugt, und wir können die einer endlichen Drehung entsprechende Matrix durch Potenzieren erhalten. Das heißt, wir können sagen:

R ( a , β , γ ) = e ich a L X / e ich β L j / e ich γ L z /

Für einen gegebenen Unterraum entsprechend einem festen J , nur die erste 2 J Terme in der Reihenentwicklung jedes Exponentials werden linear unabhängig sein und wir können tatsächlich einen kompakten Ausdruck für jeden dieser Operatoren aufschreiben. Der Einfachheit halber nehme ich J = 1 . Dann:

e ich θ L ich / = 1 ich Sünde ( θ ) L ich + ( cos ( θ ) 1 ) 2 L ich 2

Wenn Sie die Formulare einstecken, z L X Und L j und drehen Sie die Kurbel, die obige Drehung wird zu:

( cos 2 ( a / 2 ) ich Sünde a / 2 Sünde 2 ( a / 2 ) ich Sünde a / 2 cos a ich Sünde a / 2 Sünde 2 ( a / 2 ) ich Sünde a / 2 cos 2 ( a / 2 ) ) × ( 1 Sünde 2 ( β / 2 ) Sünde β / 2 Sünde 2 ( β / 2 ) Sünde β / 2 cos β Sünde β / 2 Sünde 2 ( β / 2 ) Sünde β / 2 1 Sünde 2 ( β / 2 ) ) × ( e ich M γ 0 0 0 e ich M γ 0 0 0 e ich M γ )

Es ist chaotisch, aber Sie können damit zum Beispiel zeigen, dass, wenn Sie bei beginnen | 1 , 1 man kann sich nicht hineindrehen | 1 , 0 , aber Sie können in rotieren | 1 , 1 . Das ist für mich sehr seltsam, da ich nicht viel sehen kann, was diese beiden Fälle unterscheiden würde. Beide | 1 , 0 Und | 1 , 1 befinden sich im selben Unterraum wie | 1 , 1 , beides sind Basisvektoren, und klassischerweise hätte man einen solchen Drehimpuls, dass seine Projektion entlang z War 1 , Sie könnten es beide so drehen, dass seine Projektion war 0 (umdrehen X von π / 2 ) oder 1 (umdrehen X von π ). Was ist also der Unterschied zwischen diesen beiden Zuständen, der eine Drehung möglich macht und die andere nicht?

Gibt es irgendwelche Argumente aus physikalischen Gründen, die wir hätten vorbringen können, um zu der obigen Schlussfolgerung zu gelangen, ohne die Mathematik zu durchlaufen? Gibt es eine allgemeine Möglichkeit, zu klassifizieren, welche Zustände Sie von einem bestimmten Startzustand aus durch endliche Drehungen erreichen können?

Sie könnten die Struktur von Wigner- d- Matrizen untersuchen und das ss- Element aufheben .
Ich bin sehr verwirrt von Ihren Rotationsmatrizen. Die Spin-1-Darstellung ist also nicht projektiv a = 2 π sollte trivial sein. Wo ist der Faktor von 1 / 2 kommen von? dh warum ist es Sünde ( a / 2 ) statt nur Sünde ( a ) ? Außerdem ist die Spin-1-Darstellung die fundamentale Darstellung von S Ö ( 3 ) , dh, U ( R ) = R . Ihre Rotationsmatrizen sollten die Standard-Euler-Matrizen sein
( cos a Sünde a 0 Sünde a cos a 0 0 0 1 )
das ist definitiv nicht das, was du geschrieben hast. Oder rede ich Unsinn?
@ AccidentalFourierTransform Tatsächlich ist sein Paradigma ziemlich fehlerhaft. Da er begonnen hat, auf der sphärischen Basis zu arbeiten, sollte er sich an Wigners Matrizen halten und einfach beobachten, wie ich ihn dazu aufgefordert habe, dass er, um vom höchsten m-Zustand weg zu rotieren, π für alle Spins benötigt, was ihn unmöglich zu allen Zuständen führen kann , offensichtlich, mit Ausnahme des Spins 1/2, der unvermeidlich ist, aus der Einheitlichkeit. Warum er sich vorstellen konnte, dass er es könnte, habe ich keine Ahnung.
@AccidentalFourierTransform Es ist möglich, dass ich einen Fehler gemacht habe. Ich habe die obige Identität für j = 1-Rotationsmatrizen verwendet und Sachen eingesteckt. Ich bin mir nicht sicher, was ich Ihnen sagen soll, außer dass diese Matrizen das Ergebnis sind, oder ich habe einen Fehler gemacht.

Antworten (2)

Dies ist keine vollständige Antwort, aber eine einfache Möglichkeit zu sehen, dass Sie mit einer Rotation nicht jeden Zustand erreichen können, besteht darin, dass der Satz von Rotationen drei reale Dimensionen hat, während der Satz von normalisiertem Spin S Staaten hat reale Dimensionen 2 ( 2 S + 1 ) 2 = 4 S reale Dimensionen, bei denen die Subtraktion darauf zurückzuführen ist, dass eine globale Phase weggeworfen und eine Normalisierung gefordert wird. Das bedeutet für Spin S = 1 und höher können fast alle Zustände nicht durch eine Rotation erreicht werden, nur aus dimensionalen Gründen. Die klassische Intuition funktioniert nicht, weil ein „klassischer“ Spin immer einen zweidimensionalen Zustandsraum hat.

Dies ist definitiv eine Beobachtung, die ich nicht gemacht hatte, was mich nur noch neugieriger macht! Mich interessiert immer noch, ob irgendetwas die durch Rotation erreichbaren Zustände von einem gegebenen Ausgangszustand unterscheidet oder nicht. Es fühlt sich an , als ob es einen Weg geben sollte, um zu sagen, ob ein bestimmter Zustand bei einem gegebenen Ausgangspunkt erreichbar ist, aber die Intuition rund um Rotationen im QM kann einen schnell in die Irre führen.

Gibt es irgendwelche Argumente aus physikalischen Gründen, die wir hätten vorbringen können, um zu der obigen Schlussfolgerung zu gelangen, ohne die Mathematik zu durchlaufen?

Ja. Diese Antwort verwendet eine mathematische Notation , aber keine Matrizen. Es verwendet nur geometrische Intuition und die grundlegendsten allgemeinen Prinzipien der Quantenphysik.

Notation

Betrachten Sie eine irreduzible Darstellung der Spingruppe (die doppelte Abdeckung der Rotationsgruppe) und verwenden Sie diese Notation:

  • u ^ ist ein Einheitsvektor im 3D-Raum.

  • J ( u ^ ) ist der Generator von Drehungen um die u ^ -Achse. Für jede Achse u ^ , der Generator J ( u ^ ) ist eine Observable, die durch einen selbstadjungierten Operator auf dem Hilbert-Raum dargestellt wird.

  • J der größte Eigenwert von ist J ( u ^ ) in der gegebenen irreduziblen Darstellung.

  • | u ^ ist der Eigenzustand von J ( u ^ ) mit dem größten Eigenwert J :

    J ( u ^ ) | u ^ = J | u ^ .

Wir können uns vorstellen | u ^ als mit einem Drehimpuls mit einer bestimmten Orientierung im 3D-Raum, nämlich entlang der u ^ -Achse, aber diese Interpretation ist nicht erforderlich, damit diese Antwort funktioniert.

Intuition

Drehungen wirken sich auf offensichtliche Weise auf Observables aus: durch Anwenden einer Drehung u ^ R u ^ transformiert J ( u ^ ) J ( R u ^ ) . Das impliziert sofort zwei Dinge:

  • Alle Staaten | u ^ , für alle Richtungen u ^ , können durch Rotationen bis auf einen physikalisch nicht relevanten Gesamtphasenfaktor voneinander erhalten werden. (Ein Zustand kann durch einen Vektor im Hilbert-Raum dargestellt werden, aber die Darstellung ist nicht eins zu eins: Vektoren, die durch eine komplexe Gesamtkonstante ungleich Null miteinander in Beziehung stehen, repräsentieren denselben Zustand.)

  • Für jede gegebene Richtung u ^ , die einzigen Zustände, die durch Rotieren erreicht werden können | u ^ sind die eigenwertigsten Eigenzustände der Generatoren J ( R u ^ ) .

Drehung im Uhrzeigersinn ca u ^ ist dasselbe wie eine Drehung gegen den Uhrzeigersinn u ^ , also der Eigenzustand von J ( u ^ ) mit Eigenwert J entspricht dem Eigenzustand von J ( u ^ ) Eigenwert J . Dies impliziert:

  • Der Eigenzustand von J ( u ^ ) mit Eigenwert J eine Drehung des Eigenzustands von ist J ( u ^ ) mit Eigenwert J .

Der Fall J = 1 / 2 ist besonders, denn dann J ( u ^ ) hat keine anderen Eigenzustände: Die einzigen zwei Eigenzustände, die es hat, sind diejenigen mit Eigenwerten ± J .

Betrachten Sie nun eine Darstellung mit J > 1 / 2 , und betrachte einen Eigenzustand | M von J ( u ^ ) mit Eigenwert M ± J . Der Betreiber J ( u ^ ) ist der Generator von Drehungen um die u ^ Achse, also | M muss unter Drehungen um die invariant sein u ^ -Achse, bis hin zu einer physikalisch bedeutungslosen Gesamtphase. Andererseits, wenn | M konnte bezogen werden | u ^ durch eine Drehung, dann | M wäre ein Eigenzustand von J ( R u ^ ) für eine andere Richtung R u ^ mit dem größten Eigenwert J . Aber J ( R u ^ ) ist unter Drehungen um die nicht invariant u ^ -Achse, es sei denn R u ^ = ± u ^ , das würde also dem widersprechen, dass | M muss unter Drehungen um die invariant sein u ^ -Achse. Insgesamt bedeutet dies

  • Der Eigenzustand von J ( u ^ ) mit Eigenwert J eine Drehung des Eigenzustands von ist J ( u ^ ) mit Eigenwert J , und die anderen Eigenzustände von J ( u ^ ) kann nicht durch Drehen desjenigen mit Eigenwert erhalten werden J .

Übrigens

Die obige Antwort konzentrierte sich auf Eigenzustände von J ( u ^ ) , aber wie knzhous Antwort darauf hinwies, können wir auch eine allgemeinere Aussage machen: in einer Darstellung mit J > 1 / 2 , die meisten Zustände sind nicht gleich (oder proportional) zu | u ^ für jede Richtung u ^ . Jeder Zustand kann als Überlagerung davon ausgedrückt werden, aber in den meisten Fällen muss die Überlagerung mehr als eine Richtung im 3D-Raum beinhalten. Darüber hinaus ist die Überlagerung nicht eindeutig: Derselbe Zustand kann als unterschiedliche Überlagerungen ausgedrückt werden, die unterschiedliche Sätze von Richtungen im 3D-Raum beinhalten. Dies folgt einfach aus der Tatsache, dass die Basis { | u ^ } übervollständig ist, was wiederum daraus folgt, dass der Parameter u ^ ist stetig: eine irreduzible Darstellung hat eine Basis mit endlich vielen Vektoren, also ist die Basis stetig durch parametrisiert u ^ muss überkomplett sein.

Wow, +1, ich kann nicht glauben, dass ich verpasst habe, wie einfach und elegant das Kriterium ist!
Tolle Antwort, das bietet wirklich die Art von Einblick, nach der ich gesucht habe. Die Antwort von @knzhou war auch ziemlich gut, aber diese liefert die Art von Argumentation, nach der ich gesucht habe, also werde ich hier das Kopfgeld vergeben. Damit bin ich zufrieden.