Ist die Spin-Rotations-Symmetrie des Kitaev-Modells D2D2D_2 oder Q8Q8Q_8?

Es ist bekannt, dass sowohl der Kitaev-Hamiltonian als auch sein Spin-Flüssigkeits-Grundzustand den brechen S U ( 2 ) Spinrotationssymmetrie . Was ist also die Spin-Rotations-Symmetrie-Gruppe für das Kitaev-Modell?

Es ist offensichtlich, dass der Kitaev-Hamiltonian invariant ist unter π Rotation um die drei Drehachsen, und in einigen neueren Arbeiten geben die Autoren die "Gruppe" an (siehe die Kommentare am Ende) G = { 1 , e ich π S X , e ich π S j , e ich π S z } , Wo ( e ich π S X , e ich π S j , e ich π S z ) = ( ich σ X , ich σ j , ich σ z ) , mit S = 1 2 σ Und σ die Pauli-Matrizen sind.

Aber wie sieht es mit der Quaternion-Gruppe aus? Q 8 = { 1 , 1 , e ich π S X , e ich π S X , e ich π S j , e ich π S j , e ich π S z , e ich π S z } , mit 1 Vertretung der 2 π Spin-Rotations-Operator. Betrachten Sie andererseits die Diedergruppe D 2 = { ( 1 0 0 0 1 0 0 0 1 ) , ( 1 0 0 0 1 0 0 0 1 ) , ( 1 0 0 0 1 0 0 0 1 ) , ( 1 0 0 0 1 0 0 0 1 ) } , und diese S Ö ( 3 ) Matrizen können auch die implementieren π Spin-Rotation.

Also, welche Sie wählen, G , Q 8 , oder D 2 ? Beachte das Q 8 ist eine Untergruppe von S U ( 2 ) , während D 2 ist eine Untergruppe von S Ö ( 3 ) . Außerdem, D 2 Q 8 / Z 2 , so wie S Ö ( 3 ) S U ( 2 ) / Z 2 , Wo Z 2 = { ( 1 0 0 1 ) , ( 1 0 0 1 ) } .

Bemerkungen: Die G oben definiert ist nicht einmal eine Gruppe , da zB ( e ich π S z ) 2 = 1 G .

Bemerkungen: Beachte hier das D 2 kann nicht als Untergruppe angesehen werden Q 8 , so wie S Ö ( 3 ) kann nicht als Untergruppe angesehen werden S U ( 2 ) .

Ergänzend: Betrachten Sie als Beispiel ein Zwei-Spin-1/2-System. Wir wollen einige Einblicke gewinnen, welche Arten von Wellenfunktionen erhalten bleiben Q 8 Spinrotationssymmetrie aus diesem einfachsten Modell. Lassen Sie der Einfachheit halber R a = e ± ich π S a = 4 S 1 a S 2 a repräsentieren die π Spinrotationsoperatoren um Spinachsen a = X , j , z , Wo S a = S 1 a + S 2 a . Also, indem man eine Wellenfunktion sagt ψ hat Q 8 Spin-Rotations-Symmetrie, meinen wir R a ψ = λ a ψ , mit | λ a | 2 = 1 .

Nach einer einfachen Rechnung finden wir, dass a Q 8 Spinrotationssymmetrische Wellenfunktion ψ konnte nur eine der folgenden 4 möglichen Formen annehmen :

( 1 ) | ↑↓ | ↓↑ , mit ( λ X , λ j , λ z ) = ( 1 , 1 , 1 ) (Singlet-Zustand mit full S U ( 2 ) Spin-Rotations-Symmetrie), die durch vernichtet wird S X , S j , Und S z ,

( 2 ) | ↑↓ + | ↓↑ , mit ( λ X , λ j , λ z ) = ( 1 , 1 , 1 ) , die durch vernichtet wird S z ,

( 3 ) | ↑↑ | ↓↓ , mit ( λ X , λ j , λ z ) = ( 1 , 1 , 1 ) , die durch vernichtet wird S X ,

( 4 ) | ↑↑ + | ↓↓ , mit ( λ X , λ j , λ z ) = ( 1 , 1 , 1 ) , die durch vernichtet wird S j .

Beachten Sie, dass jede Art von Überlagerung der obigen Zustände keine Eigenfunktion mehr wäre R a und damit würde die brechen Q 8 Spinrotationssymmetrie.

Wenn man von Rotationssymmetrie spricht, bezieht man sich in der Regel auf die SO(3)-Gruppe und ihre Untergruppen. Die Symmetriegruppe hier ist also D ~ 2 . D 4 ist seine projektive Darstellung (oder projektive Symmetriegruppe).
Auf welche Papiere beziehst du dich? Es gibt eine Notationsirritation, die immer auftritt, wenn es um die Dihedral-Gruppen geht, in denen manche Leute schreiben D N und manche schreiben D M - Wo N ist die Anzahl der Kanten und Ecken des n-Ecks und M = 2 N ist die Anzahl der Gruppenelemente - für dieselbe Gruppe. Allerdings denke ich auch nicht an dich D 2 oder D 4 sind Gruppen. Im Falle Ihres D 4 , e ich π S X e ich π S j ist kein Element Ihres Sets. Wenn jedoch beide verwendet werden, um alle Elemente der Gruppe zu erzeugen, sollte offensichtlich sein, dass sie hier dieselbe Gruppe erzeugen würden.
@ Matthew TItsworth Die Notation, die ich hier verwendet habe, ist offensichtlich und nicht der entscheidende Punkt meiner Frage.
@ Matthew TItsworth Ich habe die Ausdrücke für hinzugefügt S X , S j , S z zu meiner Frage, und es ist direkt, um das zu zeigen e ich π S X e ich π S j = e ich π S z D 4 und daher D 4 ist natürlich eine Gruppe. Während D 2 ist keine Gruppe, wie ich in den Kommentaren am Ende meiner Frage erwähnt habe .
@ Everett Sie Vielen Dank für Ihre Kommentare. Aber zum Beispiel sagen wir nicht normalerweise, dass das Spin-1/2-Heisenberg-Modell global ist S U ( 2 ) Spin-Rotations-Symmetrie, anstatt zu sagen S Ö ( 3 ) Symmetrie?
Natürlich ist es das. Es hilft, wenn ich die ziehe ich aus. Es hilft auch, wenn ich nicht kommentiere, bevor ich Kaffee getrunken habe. Entschuldigung.
Nehmen Sie die Schließung von D 2 unter Multiplikation. Dies gibt Ihnen offensichtlich das Set D 4 . Also die Sätze D 2 Und D 4 dieselbe Gruppe generieren. Dies war der Grund für die Aussage zur Notation und die Frage, auf welches Papier Sie sich beziehen, wenn Sie sagen: "In einigen neueren Papieren geben die Autoren ..." Ich habe Kitaevs "Anyons ..." -Papier durchsucht, aber es wird nicht erwähnt davon dort. Auch davon ist keine Rede D 2 in der Zeitung von Yao und Lee. Ich habe kein Exemplar der Baskaran-Zeitung sofort verfügbar. Es wäre hilfreich, wenn Sie den Kontext, aus dem Ihre Frage stammt, erläutern könnten.
@K-boy : Wie du bemerkt hast, dein " D 2 " ist keine Gruppe, also ist Ihre Notation falsch, und Ihre D ~ 2 ist das wahre D 2 , die Dieder-Ranggruppe 4 . Und dein " D 4 " ist nicht die Dieder-Ranggruppe 8 , sondern die Quaterniongruppe Q = Q 4 von Rang 8 (die erste in der Familie der dicyclischen Gruppen Q 2 N , von Rang 4 N ). Und die wahre Dieder D 4 Gruppe ist nicht isomorph zu D 2 × Z 2 (während D 2 ist isomorph zu Z 2 × Z 2 ). Siehe: Ramond, Group Theory, Cambridge, Seiten 13 17 . Schließlich sind (abstrakte) Gruppen und Repräsentationen von Gruppen zwei verschiedene Dinge.
@ Matthew TItsworth Gern geschehen. D 2 erscheint im 3. Absatz auf Seite 1 dieses Papiers .
@K-Junge. Sehen Sie sich die Reihenfolge der Elemente in Ihrem an D 4 . Sie sind { 1 , 2 , 4 , 4 , 4 , 4 } . Die Dieder-Gruppe der Ordnung 8 hat zwei Ordnungselemente 4 und fünf Elemente der Ordnung 2 . Siehe auch hier , hier und hier . Trimo hat recht.
@ Matthew TItsworth Vielen Dank. Ich werde darüber nachdenken.
Vielleicht habe ich einen Fehler gemacht und meine D 4 ist nicht isomorph zur Diedergruppe vom Rang 8.
@Trimok Vielen Dank, gute Kommentare.
@Everett Sie Vielen Dank, gute Kommentare.

Antworten (1)

Der Satz G gibt die Darstellung der Identität und Erzeuger der abstrakten Gruppe von Quaternionen als Elemente in S L ( 2 , C ) die auch drin sind S U ( 2 ) . Die Vervollständigung davon ergibt die Darstellung Q 8 der in der Frage vorgestellten Quaternionen.

Betrachten Sie aus der Beschreibung der Symmetriegruppe als von hier kommend die Zusammensetzung von zwei π Drehungen entlang der X ^ , j ^ , oder z ^ Achse. Diese Operation ist nicht die Identitätsoperation für Drehungen (die eine erfordert 4 π Drehung). Allerdings sind alle Elemente von D 2 oben angegeben sind von der Ordnung 2.

Dies weist darauf hin, dass die Symmetriegruppe des Systems zu den Quaternionen und isomorph sein sollte Q 8 ist die geeignete Darstellung, die auf Spinzustände wirkt. Die dort entstehende Notation z D 2 ist wahrscheinlich aus der dizyklischen Ordnungsgruppe 4 × 2 = 8 die isomorph zu den Quaternionen ist.

Es ist wahrscheinlich erwähnenswert, dass die Quaternion-Gruppe Q ist eines der beiden Schur-Cover der Klein-Vierergruppe K . Der andere ist D 4 , die Diedergruppe vom Grad 4.
@ Matthew TItsworth Danke für deine klare Zusammenfassung.