Was ist die physikalische Bedeutung der Summe zweier nicht-kommutierender Observablen?

Szenario: A Und B sind zwei Beobachtungsgrößen. Mathematisch modellieren wir sie durch zwei hermitesche Operatoren A : H H Und B : H H auf einem separierbaren Hilbertraum. Physikalisch entsprechen sie Experimenten E A Und E B , deren Ergebnisse Werte in sind S P e C ( A ) Und S P e C ( B ) ; Wiederholungen erzeugen auf diesen Spektren Wertverteilungen, Erwartungswerte, Varianzen und höhere Impulse. Der mathematische Operator A + B ist auch hermitesch. Suchen wir also ein Experiment, das diesem Operator entspricht, und untersuchen wir seinen Erwartungswert im Zustand φ .

Naiver Ansatz: Lassen Sie uns Paar-Experimente versuchen . Angenommen, wir haben eine Black Box, die Zustandsmuster produziert φ . Nehmen Sie eine Probe des Zustands, experimentieren Sie E A und Ergebnis erhalten A . Probieren Sie den Zustand erneut aus, experimentieren Sie E B und Ergebnis erhalten B . Nennen Sie die Summe A + B das Ergebnis des Paarversuchs.

Wenn S P e C ( A ) = { A 1 , A 2 } Und S P e C ( B ) = { B 1 , B 2 } dann hat das Paar-Experiment Spektrum { A 1 + B 1 , A 1 + B 2 , A 2 + B 1 , A 2 + B 2 } . Offensichtlich muss das Paar-Experiment in beschrieben werden H H und mit einem völlig anderen Observable. Details sind einfach, aber wir haben kein Experiment dafür A + B . :-(

Zweiter Versuch: Nehmen wir mal an A Und B sind kompatibel u A Und B pendeln. Dann können wir Folgendes tun: Den Zustand einmal abtasten , an diesem Abtastwert Experimente durchführen E A Und E B in beliebiger Reihenfolge reihenfolgeunabhängige Werte erhalten A Und B und füge sie hinzu. Rechnerisch ist alles gut. A Und B teilen sich eine Eigenbasis, das Spektrum von A + B ist die Summe der Eigenwerte (die zum selben gemeinsamen Eigenraum gehören). Erwartungswerte funktionieren wie erwartet. :-)

Nun meine Frage: A + B ist immer noch ein hermitescher Operator, selbst wenn A Und B pendeln nicht. Ich bin also immer noch neugierig, zu welchem ​​Experiment dieser Operator gehört.

Hinweis: Im Falle des Produkts A B , der Betreiber A B ist nicht mehr hermitesch, wenn die Bediener nicht pendeln, und das macht es mir unmöglich, diese Frage für das Produkt zu stellen. Meine Frage würde die Voraussetzungen des Formalismus sprengen. Aber in A + B der Formalismus erlaubt es, diese Frage zu stellen ...

Update: Infolge einiger Kommentare werde ich versuchen, meine Frage klarer zu spezifizieren: Was ist die physikalische Bedeutung der Summe zweier Observablen?

Offensichtlich ist die „Summe zweier Observablen“ nicht die „Summe der Werte der beiden Observablen“. Angenommen, das ist beobachtbar A kann die Werte haben 2 oder 3 und davon ausgehen, dass beobachtbar B kann die Werte haben 100 oder 200 dann das Beobachtbare A + B hat die Werte nicht 102 , 103 , 202 oder 203 wie es ein einfacher, naiver Ansatz nahelegen könnte oder wie ein Verständnis der "Summe der Werte der beiden Observablen" nahelegen könnte.

Da diese Intuition versagt, möchte ich die physikalische Bedeutung von verstehen A + B ausgehend von einem Verständnis von A Und B .

Update 2: Die Beschreibung des Paar-Experiments wurde auf eine weniger irreführende Form angepasst.

Update 3: Obwohl ich die gegebenen Hinweise zu schätzen weiß und mein "naiver Ansatz" und "zweiter Versuch" beide miserabel sind, ist meine Frage immer noch: Wann gehe ich davon aus? A Und B Zu A + B , was ist der physikalische Prozess oder Inhalt dieser mathematischen Operation?

Dies ist ein zentraler Bestandteil des QM; das Kernbeispiel ist wo A ist die kinetische Energie eines Teilchens, und B ist seine potentielle Energie: Beide sind trivial zu diagonalisieren, aber ihre Summe ist es selten. Grundsätzlich laufen alle harten Diagonalisierungsprobleme auf Summen von nicht-kommutierenden Operatoren hinaus, wobei jeder einzelne Term einfach oder trivial zu diagonalisieren ist.
Aber das heißt, ich verstehe wirklich nicht, was die Frage hier wirklich ist.
SE-Beiträge sind versioniert, also lassen Sie Ihren Beitrag bitte nicht wie eine Überarbeitungstabelle aussehen , sondern integrieren Sie einfach das neue Material nahtlos in den Beitrag. Am Ende des Beitrags befindet sich eine Schaltfläche zum Bearbeiten des Verlaufs für diejenigen, die daran interessiert sind, zu sehen, was sich geändert hat.
die Eigenwerte von A + B können als konvexe Kombinationen der Eigenwerte von geschrieben werden A Und B , wobei die Gewichte von den Beziehungen zwischen ihren Eigenvektoren abhängen. Also gewissermaßen A + B ist eine Messung, deren Ergebnisse etwas zwischen denen von liegen A Und B , obwohl man, um mehr zu sagen, die Beziehungen zwischen den Eigenvektoren von spezifizieren müsste A Und B . Würde dies als "physikalische Bedeutung" des Messens gelten? A + B ?
@gIS Der Hinweis auf eine konvexe Kombination ist eine nützliche mathematische Bemerkung, weist uns jedoch nicht auf ein Verständnis des physikalischen Aspekts hin. Angesichts eines Verständnisses dafür, wie A Und B in einem Experiment gemessen werden, wie würde ich ein Experiment zum Messen erhalten A + B . Ich möchte hier also wirklich in den physikalischen Aspekt eindringen, über die mathematische Seite hinausgehen und insbesondere für das Nicht-Pendeln A Und B .
@KyleKanos Es ist oft nützlich zu wissen, wann ein OP auf einen Kommentar antwortet. Aber ja, einfache Korrekturen und Klarstellungen lassen sich besser redigieren. Es ist sicher eine unscharfe Linie.
Das ist eine großartige Frage, über die ich heute nachgedacht habe. Ich habe leider keine Ahnung.
Ich verstehe ehrlich gesagt nicht, warum die Leute dies für eine gute oder fruchtbare Frage halten.

Antworten (5)

Dies ist eine noch offene Frage über die Grundlage von Quantentheorien.

Üblicherweise wird dies nur für jedes Paar beschränkter Observablen angenommen A , B (selbstadjungierte Operatoren auf einem komplexen trennbaren Hilbert-Raum) gibt es eine dritte beschränkte Observable C deren Erwartungswerte die Summen der Erwartungswerte von sind A Und B , für jeden gegebenen Zustand ψ .

Seit C = A + B erfüllt trivialerweise diese Anforderung und die Zustände trennen die Observablen dann A + B ist das gesuchte Observable.

Hier wird das Problem zweifach.

Von der physischen Seite ist ein natürliches Problem

Wie misst man A + B ?

Mit anderen Worten,

Q1 Wozu dient ein Messinstrument A + B wenn wir die kennen A Und B ?

Von der mathematischen Seite

Q2 Wie können wir das Projection Value Measure (PVM) von konstruieren? A + B wenn man die kennt A Und B ?

Wenn A Und B kompatibel sind, sind die Antworten elementar. In Bezug auf das frühere Problem können wir messen A Und B auf dem gleichen Stand und das Ergebnis von C ist die Summe der Ergebnisse von A Und B . (Wenn wir uns stattdessen für den Zustand nach der Messung interessieren , wird die Situation viel komplizierter und es gibt keine eindeutige Antwort.)

Die Antwort auf die zweite Frage, wann die Observablen kompatibel sind, lässt sich leicht finden, indem man sich die gemeinsame PVM zunutze macht A Und B .

Wenn A Und B nicht kompatibel sind , gibt es insbesondere auf die erstere Frage keine eindeutige Antwort. Wie auch immer, wenn A Und B gehören dann auch zu einer Lie-Algebren von Erzeugern einer Symmetriegruppe des betrachteten physikalischen Systems A + B ist ein Generator einer Symmetrie (hier haben wir es mit unbeschränkten Observablen zu tun, die auf einem gemeinsamen dichten Bereich wesentlicher Selbstadjungiertheit definiert sind). In diesem Fall A + B hat eine konkrete physikalische Bedeutung und ein Messinstrument sollte von der Physik vorgeschlagen werden.

In Bezug auf das letztere Problem (um die PVM von zu finden A + B in Bezug auf die PVM von A Und B für inkompatible Observablen) haben wir kürzlich in Zusammenarbeit mit zwei Kollegen eine Arbeit darüber veröffentlicht, die auch den Fall von unbeschränkten nichtkompatiblen Observablen beinhaltet.

Es gibt ein Verfahren zum Erstellen des PVM von A A + B B , F ( A A + B B ) (für eine entsprechend interessante Klasse von Funktionen F ) und auch von einigen anderen Operatoren, die aus konstruiert wurden A Und B als ihr Jordan-Produkt 1 2 ( A B + B A ) .

Der letzte Teil des Beitrags enthält einige Anregungen zum vorigen Thema.

N.Drago, S. Mazzucchi, V.Moretti: Eine operationale Konstruktion der Summe zweier nicht-kommutierender Observablen in der Quantentheorie und verwandte Konstruktionen Lett. Mathematik. Phys , 110 (2020) 3197–3242 DOI: 10.1007/s11005-020-01332-7 arxiv.org/abs/1909.10974

Die abschließende, aus meiner Sicht durchaus suggestive, Formel mit mehreren Hypothesen lautet

F ( A A + B B )
= lim N + R 2 N F ( 1 N N = 1 N ( A λ N + B μ N ) ) D P λ 1 ( A ) D P μ 1 ( B ) D P λ N ( A ) D P μ N ( B )
Wo P ( A ) Und P ( B ) sind die spektralen Maße (PVM) von A Und B bzw.

Im endlichdimensionalen Fall wird das Integral zu einer Summe der Eigenwerte von A Und B und die PVMs bestehen aus Projektoren auf den jeweiligen Eigenräumen.

F ( A A + B B )
= lim N + λ 1 , , λ N σ ( A ) , μ 1 , , μ N σ ( B ) F ( 1 N N = 1 N ( A λ N + B μ N ) ) P λ 1 ( A ) P μ 1 ( B ) P λ N ( A ) P μ N ( B )

Ihrer Frage fehlt der Fokus. Alles, was ich tun kann, ist, Ihnen ein Beispiel für eine Summe nichtkommutierender Operatoren zu geben, die physikalisch Sinn machen. Die kinetische Energie P 2 / 2 M und das elektromagnetische Wechselwirkungspotential v pendeln nicht und bilden zusammen den Schrödinger-Hamiltonian.

Liegt das nicht nur daran, dass Energie additiv ist, also ist es ein Sonderfall? Das Hinzufügen eines anderen Satzes von zwei Operatoren ist im Allgemeinen nicht der Fall.

Wenn S P e C ( A ) = { A 1 , A 2 } Und S P e C ( B ) = { B 1 , B 2 } dann hat das Paar-Experiment Spektrum { A 1 + B 1 , A 1 + B 2 , A 2 + B 1 , A 2 + B 2 } .

Ich halte das nicht einmal formal für richtig. Nehmen A = S z = 2 ( 1 0 0 1 ) Und B = S X = 2 ( 0 1 1 0 ) . Berechnen Sie das Spektrum von A + B und vergewissern Sie sich, dass es Ihre Bedingung nicht erfüllt.

Um die Frage im Zusammenhang mit diesem Beispiel zu beantworten: die physikalische Bedeutung von A + B ist die Spinmessung entlang der N X + N z Achse (multipliziert mit 2 , um pedantisch zu sein)

Meine Beschreibung des Paarversuchs war irreführend, also habe ich sie angepasst. Das Paarexperiment entspricht nicht dem mathematischen Operator A + B . Die physikalische Bedeutung des mathematischen Operators A + B ist genau so, wie Sie es beschreiben, und es ist nicht die Summe zweier experimentell ermittelter Werte A Und B sondern ein ganz anderes Experiment. Wie experimentieren A + B ergibt sich im allgemeinen Fall aus den Einzelversuchen A Und B ist genau meine frage.

Was Sie "naiven Ansatz" nennen, befasst sich mit zwei Partikelexperimenten (daher der espace H H ) und was Sie beschreiben, ist eigentlich ein Maß für A + B als Abkürzung für den Bediener A ICH + ICH B , für den Produktzustand | ϕ | ϕ , Wo ICH ist die Identität von H . Sein Erwartungswert ist ϕ | A | ϕ + ϕ | B | ϕ (unter Verwendung ϕ | ICH | ϕ = 1 ) unabhängig von der Vergleichbarkeit oder nicht A Und B . Da Sie einen Produktzustand haben, ist die Messung von A auf Partikel 1 kann die Messung nicht beeinflussen B auf Teilchen 2. ( A ICH Und ICH B pendeln für alle A Und B ).

Wenn Sie jetzt die Summe messen müssen A + B für ein Teilchen beinhaltet die Vorhersage bedingte Wahrscheinlichkeiten wie P ( B | A ) (vorausgesetzt B ist ein Ergebnis von B Und A das Ergebnis ist A zuvor erhalten) und diese nur vereinfachen, wenn A Und B pendeln. Dies stellt keinen Messversuch dar A + B aber erklären Sie, warum das erwartete Ergebnis anders ist.

Mathematisch gesehen ist die sukzessive Messung von A Und B hat einen Erwartungswert

ϕ | A + B | ϕ = A P ( A ) ( A + B P ( B | A ) B )
Wenn P A bezeichnen den Projektor im Eigenraum von A mit Eigenwert A , P ( A ) = ϕ | P A | ϕ Und P ( B | A ) = ϕ | P A P B P A | ϕ ϕ | P A | ϕ

Nach der Expansion ist der erste Term einfach ϕ | A | ϕ und die zweite, mit B B P B = B Ist

A , B ϕ | P A P B P A | ϕ B = ϕ | B ~ | ϕ mit B ~ = A P A B P A
Endlich :
ϕ | A + B | ϕ = ϕ | A | ϕ + ϕ | B ~ | ϕ
Dies reduziert sich auf den naiven Wert im Spezialfall wo | ϕ ist ein Eigenzustand von A , oder interessanter für alle | ϕ Wenn A Und B kompatibel sind: dann P A Und B pendeln und B ~ = B .

Nichtsdestotrotz wird in diesem Schema der Ausgangszustand ein Eigenvektor von sein B und nicht von A + B ...

Wenn A Und B pendeln, sie teilen Eigenzustände, und diese sind auch die Eigenzustände von ( A + B ) : Das Messen von „A+B“ ergibt das gleiche Ergebnis wie das Messen von „A“ und dann „B“ (oder „B“ dann „A“). Der Betreiber ( A + B ) entspricht der Beobachtung, die Sie erwarten würden: Die Messung der Summe von "A" und "B" in einer einzigen Messung ist dieselbe wie die Summe der einzelnen (Rücken-an-Rücken) Messungen von "A" und dann "B".

Wenn A Und B kommutieren dann nicht die Eigenzustände von ( A + B ) werden normalerweise nicht mit geteilt A oder B . Der Betreiber ( A + B ) entspricht noch dem Beobachtbaren ( A + B ) aber das ist nicht mehr dasselbe wie messen A und dann B . Wenn Sie eine „A“-Messmaschine und eine „B“-Messmaschine haben, brauchen Sie eine brandneue „A+B“-Messmaschine, und die überraschende Tatsache der Quantenmechanik ist, dass die möglichen Ergebnisse dieser Maschine nicht die gleichen sind wie die mögliche Werte, die Sie bilden können, indem Sie die möglichen Ergebnisse der „A“-Maschine zu den möglichen Ergebnissen der „B“-Maschine addieren.

Um Sie davon zu überzeugen, warum ( A + B ) ist der Operator für eine einzelne Messung von "A+B" überlegen, wie P 2 2 M + v ist der Operator für eine einzelne Messung der Gesamtenergie, und der Operator wird aus der physikalischen Beziehung gebildet, die wir für kinetische und potentielle Energie erwarten. Aber die möglichen Ergebnisse einer Gesamtenergiemessung unterscheiden sich stark von der Summe einer Messung der potentiellen Energie, gefolgt von einer Messung der kinetischen Energie: Die Messung der potentiellen Energie (auch bekannt als die Position) wird Ihre nachfolgende kinetische Energie (auch bekannt als Impuls) völlig "verwirren". Messung, weil sie nicht pendeln.

Ja. Ich stimme zu und bedanke mich für den Beitrag. Meine Frage bleibt jedoch bestehen, und ich werde dies in einer Aktualisierung des Beitrags widerspiegeln.
@Nobody-Knows-I-am-a-Dog "Meine Frage bleibt" Sie hatten überhaupt keine wirkliche Frage