Details zum Spin-Statistik-Theorem-Beweis

Kürzlich habe ich ein Buch gelesen, in dem es einige unverständliche Beweise für den Spin-Statistik-Satz von Pauli gab. Ich möchte nach ein paar Details des Beweises fragen.

Zunächst leitet der Autor Kommutierungs-(Antikommutierungs-)Beziehungen wie ab [ ψ ^ ( X ) , ψ ^ ( X ' ) ] ± für beliebige Zeitmomente für Skalar-, EM- und Dirac-Theoriefälle. Er bemerkt, dass sie alle von der Funktion abhängen

D 0 = e ich ( P ( X X ' ) ) Sünde ( ϵ P ( T T ' ) ) ϵ P D 3 P ( 2 π ) 3 , ϵ P 2 = P 2 + M 2 ,
was (wie man zeigen kann) Lorentz-invariant ist. Zum Beispiel ist es nicht schwer, dies für das fermionische Feld zu zeigen
[ Ψ ( X ) , Ψ ( X ' ) ] + = ( ich γ μ μ + M ) D 0 ( X X ' ) .

Zweitens nimmt er dies für den Fall eines beliebigen ganzzahligen Spins an 2 N Es gibt eine Funktion Ψ ( X ) , wofür

[ Ψ ^ A ( X ) , Ψ ^ B ( X ' ) ] ± = F A B   2 N ( X ) D 0 ( X X ' ) ,
und für den Fall S = 2 N + 1 Es gibt eine Funktion Ψ ( X ) , wofür
[ Ψ ^ A ( X ) , Ψ ^ B ( X ' ) ] ± = F A B   2 N + 1 ( X ) D 0 ( X X ' ) ,
Wo F A B k bezieht sich auf X Polynom des Ranges k und der Autor (in diesem Stadium des Beweises) klärt das Vorzeichen des Kommutators nicht.

Wie kann man eine solche Verallgemeinerung von Spin argumentieren 0 , 1 2 Und 1 Fällen auf die willkürlichen Fälle von Spin-Wert? Es ist eine sehr starke Annahme, weil es formal den Satz von Pauli fast beweist.

Welches Buch?
@Qmechanic: Dies ist ein Buch, das von meiner Universität veröffentlicht wurde. Leider ist dieses Buch nicht gemeinfrei und auch nicht auf Englisch geschrieben.
Ist der Autor des Buches an Ihrer Hochschule?
@rob: nein, er arbeitet schon nicht. Aber ich habe eine Antwort erfunden.
Es wäre großartig, wenn Sie Ihre Antwort hier aufschreiben könnten, falls jemand später nach einem ähnlichen Problem sucht.
@AndrewMcAddams Ich bin zufällig auf diesen alten Beitrag gestoßen. Ich bin immer noch daran interessiert, die Lösung zu sehen, die Sie dafür gefunden haben.
@rob: Ich habe die Antwort geschrieben, die alle Argumente im Allgemeinen enthält.

Antworten (2)

  1. Schauen wir uns den Ausdruck für Feld mit Masse an M und drehen S (für den masselosen Fall existieren folgende Aussagen in ähnlicher Form):
    (1) ψ ^ A ( X ) = σ = S S D 3 P ( 2 π ) 3 2 E P ( u A σ ( P ) e ich P X A ^ σ ( P ) + v A σ ( P ) e ich P X B ^ σ ( P ) ) .
    Dieses Feld bezieht sich auf die ( M 2 , N 2 ) , N + M = 2 S Spinor-Darstellung der Lorentz-Gruppe (also Index a mean ψ A = ψ A 1 . . . A M B ˙ 1 . . . B ˙ N ; Feld ist in allen Indizes symmetrisch) und gehorcht den Gleichungen
    (2) ( 2 + M 2 ) ψ A ( X ) = 0 , P ^ μ ( σ μ ) B ˙ J A ich ψ A 1 . . . A ich . . . A M B ˙ 1 . . . B ˙ J . . . B ˙ N = 0.
    1.1. Wenn wir das Feld mit ganzzahligem Spin haben l , wir können konvertieren ( 1 ) (hier habe ich einige Berechnungen übersehen, was nicht wichtig ist) zum symmetrischen Tensorrang l A μ 1 . . . μ l (die sich auf die beziehen ( l 2 , l 2 ) und wir können auch konvertieren ( 2 ) zur Form (unser Tensor ist spurlos und transversal in allen Indizes)
    (3) ( 2 + M 2 ) A = 0 , μ ich A μ 1 . . . μ ich . . . μ l = 0 , A μ ich μ 1 . . . μ ich . . . μ l 1 = 0.
    1.2. Bei halbzahligem Spin S = l + 1 2 , wenn wir die Theorie erhalten wollen, die unter Zeit- und Ortsinversionen invariant ist, müssen wir die direkte Summe einführen ( l + 1 2 , l 2 ) ( l 2 , l + 1 2 ) und dann den Gleichungsprojektor zu konstruieren, der die Anzahl unabhängiger Komponenten reduziert. Also steigen wir aus ( 2 ) und der oben angegebenen Anforderung (das Feld ist natürlich auch symmetrisch):
    ψ μ 1 . . μ l = ( ψ A μ 1 . . . μ l κ B ˙ , μ 1 . . . μ l ) ,
    (4) ( ich γ μ μ M ) ψ = 0 , γ μ ich ψ μ 1 . . . μ ich . . . μ l = 0 , G μ ich μ J ψ μ 1 . . . μ ich . . . μ J . . μ l = 0.
  2. Hier ist ein starkes Theorem: Feld ( 1 ) ist lorentzkovarianter Körper genau dann, wenn u A σ ( P ) Und v A σ ( P ) sind durch Relation verbunden
    v A σ ( P ) = ( 1 ) S + σ u A σ ( P ) .
    Dieses Ergebnis ist richtig, wenn ( 1 ) transformiert sich unter dem irreduziblen Repräsentanten der Lorentz-Gruppe T die von der irrep der Rotationsgruppe des Spins enthält S nur einmal. Dies ist für 1.1 richtig, aber im Fall von 1.2 nicht korrekt. Für den letzten Fall ergibt die Modifikation des Satzes v A σ ( P ) = ( 1 ) S + σ γ 5 u A σ ( P ) . Mit 1 und 2 können wir konvertieren [ ψ A ( X ) , ψ B ( j ) ] ± .
  3. Ganzzahliger Spin:

    [ ψ A ( X ) , ψ B ( j ) ] ± = σ D 3 P ( 2 π ) 3 2 E P G A B σ ( P ) ( e ich P ( X j ) ± e ich P ( X j ) ) ,
    Wo G A B σ ( P ) = u A σ ( P ) ( u B σ ( P ) ) . Danach können wir folgendes Rezept verwenden: 1) Wir haben einen symmetrischen Tensor G A B σ ( P ) , so dass es als lorentzkovariantes Objekt nur aus konstruiert werden kann G μ v , P v (das andere Objekt, das Levi-Civita-Symbol, ist antisymmetrisch). Es bedeutet, dass es nur als Rangpolnom konstruiert werden darf 2 S An P μ die nur die Summanden des geraden Grades von enthält P ; also 2) G A B σ ( P ) e ich P X = G A B σ ( P ^ ) e ich P X Und G A B σ ( P ) e ich P X = G A B σ ( P ^ ) e ich P X = G A B σ ( P ^ ) e ich P X . Wenn wir die Invarianz unter räumlicher Inversion und Zeitinversion nicht benötigen, erhalten wir das Ergebnis (auf die gleiche Weise) G A B σ ( P ^ ) = G A B σ ( P ^ ) für halbzahlige Spinrealisierungen.

  4. Halbzahliger Spin. Für diesen Fall haben wir

    [ ψ A ( X ) , ψ B ( j ) ] ± = σ D 3 P ( 2 π ) 3 2 E P ( G A B σ ( P ) e ich P ( X j ) ± γ 5 G A B σ ( P ) γ 5 e ich P ( X j ) ) .
    Durch Verwendung von Gl. ( 4 ) das können wir festhalten G A B ( P ) = ( γ μ P μ + M ) R A B ( P ) , Wo R A B ( P ) ist konstruiert als die Summe von Produkten einer geraden Anzahl von Gamma-Matrizen und einer geraden Anzahl von Impulsen und Produkten einer ungeraden Anzahl von Gammas und einer ungeraden Anzahl von Impulsen. Also durch die Beziehung [ γ 5 , γ μ ] + = 0 und die obige Aussage können wir davon ausgehen γ 5 G A B ( P ) γ 5 = G A B ( P ) .

Nicht sicher. Völlig verloren über die Gleichungen. Aber haben Sie das Experiment gesehen, bei dem Elektronen, die durch einen Spalt gehen, um 2 Pi gedreht werden? Das Interferenzmuster verschiebt sich. Der minimale und maximale Flip. Ich bin mir nicht ganz sicher, warum ein Elektron, das sich in einem anderen Zustand befindet, überhaupt ein Interferenzmuster zeigt. In jedem Fall könnte das Experiment etwas damit zu tun haben, warum das Pauli-Ausschlussprinzip stattfindet. Ich bin mir nicht sicher, ob das Ausschlussprinzip irgendetwas mit Relativität zu tun hat. Die Wellenfunktion eines Zweielektronensystems ist antisymmetrisch. Das ist eine Grundsatzerklärung. Ich weiß nicht, ob Sie eine Wellengleichung haben, die aus zwei Spinoren besteht. Muss diese Wellengleichung angesichts der Transformation einzelner Spinoren antisymmetrisch sein? Es ist mir egal, es auszuarbeiten. Es ist eine interessante Frage.