Bedeutung des Erwartungswerts des Produkts von nicht pendelnden Betreibern

Lassen A ^ Und B ^ seien hermitesche Observablen mit Spektren, die mit gekennzeichnet sind A Und B . Dann können wir schreiben

A ^ = A A P ^ A
B ^ = B B P ^ B

Wo P ^ A Und P ^ B sind die Eigenraumprojektionsoperatoren für A ^ Und B ^ .

Lassen | ψ ein Zustand sein und den Erwartungswert berücksichtigen

ψ | A ^ B ^ | ψ = A , B A B ψ | P ^ A P ^ B | ψ .

Wenn [ A ^ , B ^ ] = 0 , dann ist klar, wie man interpretiert ψ | A ^ B ^ | ψ : wenn wir eine gleichzeitige Messung von durchführen A ^ Und B ^ , projizieren wir den Zustand auf einen simultanen Eigenraum und messen die entsprechenden Eigenwerte A , B . Die Wahrscheinlichkeit, dass der Zustand auf die projiziert wird A , B Eigenraum ist einfach ψ | P ^ A P ^ B | ψ . Dann sehen wir das aus der obigen Gleichung ψ | A ^ B ^ | ψ stellt den Mittelwert des Produkts der Messungen dar, die über eine große Anzahl von wiederholten Experimenten genommen wurden.

Meine Frage betrifft die Bedeutung von ψ | A ^ B ^ | ψ Wenn A ^ Und B ^ pendeln nicht. Mein erster Gedanke ist, dass es den Durchschnittswert des Produkts der Messungen darstellt, wenn B ^ wird zuerst gemessen, gefolgt von einer Messung von A ^ . Aber diese Größe sollte, wie mir scheint, stattdessen wie folgt berechnet werden:

  1. Führen Sie zunächst eine Messung durch B ^ . Diese projiziert den Zustand auf einen Eigenraum mit Eigenwert B mit Wahrscheinlichkeit ψ | P ^ B | ψ . Nach dieser Messung ist unser neuer Zustand jetzt

    | ψ ' = 1 ψ | P B ^ | ψ P ^ B | ψ

  2. Wir führen nun eine Messung von durch A ^ An | ψ ' . Diese projiziert auf einen Eigenraum mit Eigenwert A mit Wahrscheinlichkeit ψ ' | P ^ A | ψ '

  3. Daher die Wahrscheinlichkeit, zuerst einen Eigenwert zu erhalten B gefolgt von einem Eigenwert A Ist

ψ ' | P ^ A | ψ ' ψ | P ^ B | ψ = ψ | P ^ B P ^ A P ^ B | ψ

  1. Und so würde ich erwarten, dass der Durchschnittswert das Produkt der Messungen ist
    A , B A B ψ | P ^ B P ^ A P ^ B | ψ .

Wenn diese Argumentation richtig ist, wie soll ich sie interpretieren? ψ | A ^ B ^ | ψ (da es eindeutig nicht gleich dem Ergebnis in Aufzählungspunkt 4 ist, wenn die Projektoren nicht pendeln)? Wenn die Begründung falsch ist, was ist daran falsch?

Antworten (1)

Richtig, im Allgemeinen werden Sie dort keine einfache Äquivalenz sehen. Wir können die Dirac-Notation mit verwenden P ^ B = | B B | das zu sehen A ^ B ^ = A , B A   B   ψ | A   A | B   B | ψ und sogar das Einfügen einer Identitätsmatrix für B (nennen B ' ) ergibt:

A ^ B ^ = A , B , B ' A   B   ψ | B '   B ' | A   A | B   B | ψ = B , B ' B   ψ ( B ' )   ψ ( B )   B ' | A ^ | B
In der Tat müssen Sie eine Art einfügen δ B B ' in diese letzte Summe, um die zu bekommen B   B | A ^ | B Sinn für „Maß B Zuerst, dann A ,", die dieser Ausdruck nicht hat, es sei denn, er ist darin versteckt A ^ Begriff.

Es gibt einen sehr einfachen Grund, warum Sie diese einfache Äquivalenz nicht sehen. Lassen Sie uns in einem endlichdimensionalen Hilbert-Raum arbeiten ψ C N . Dann die Matrix C ^ = A ^ B ^ ist eigentlich durch die Einsteinsumme gegeben

C ich k = A ich J   B J k .
Dies ist hermitesch genau dann, wenn C ich k = C k ich aber das komplexe Konjugierte hier ist
C ich k = A ich J   B J k = B k J   A J ich
und fordert, dass dies gleich ist C k ich fordert dies daher B k J A J ich = A k J B J ich oder deswegen [ A ^ , B ^ ] = 0.

Mit anderen Worten, das Produkt zweier hermitescher Matrizen ist nur dann hermitesch, wenn sie pendeln. Überhaupt die Erwartung A ^ B ^ wird eine komplexe Zahl sein, wenn sie nicht pendeln.

Wenn Sie etwas Hermitisches wollen (sagen wir, Sie haben einen klassischen Ausdruck mit X   P die Sie in den Quantenfall verallgemeinern möchten), dann werden Sie wahrscheinlich ein symmetrisches Produkt erstellen 1 2 ( A ^ B ^ + B ^ A ^ ) , die dann wieder hermitesch ist, wenn ihre konstituierenden Matrizen es sind.