Szenario: Und sind zwei Beobachtungsgrößen. Mathematisch modellieren wir sie durch zwei hermitesche Operatoren Und auf einem separierbaren Hilbertraum. Physikalisch entsprechen sie Experimenten Und , deren Ergebnisse Werte in sind Und ; Wiederholungen erzeugen auf diesen Spektren Wertverteilungen, Erwartungswerte, Varianzen und höhere Impulse. Der mathematische Operator 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 und Ergebnis erhalten . Probieren Sie den Zustand erneut aus, experimentieren Sie und Ergebnis erhalten . Nennen Sie die Summe das Ergebnis des Paarversuchs.
Wenn Und dann hat das Paar-Experiment Spektrum . Offensichtlich muss das Paar-Experiment in beschrieben werden und mit einem völlig anderen Observable. Details sind einfach, aber wir haben kein Experiment dafür . :-(
Zweiter Versuch: Nehmen wir mal an Und sind kompatibel u Und pendeln. Dann können wir Folgendes tun: Den Zustand einmal abtasten , an diesem Abtastwert Experimente durchführen Und in beliebiger Reihenfolge reihenfolgeunabhängige Werte erhalten Und und füge sie hinzu. Rechnerisch ist alles gut. Und teilen sich eine Eigenbasis, das Spektrum von ist die Summe der Eigenwerte (die zum selben gemeinsamen Eigenraum gehören). Erwartungswerte funktionieren wie erwartet. :-)
Nun meine Frage: ist immer noch ein hermitescher Operator, selbst wenn Und pendeln nicht. Ich bin also immer noch neugierig, zu welchem Experiment dieser Operator gehört.
Hinweis: Im Falle des Produkts , der Betreiber 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 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 kann die Werte haben oder und davon ausgehen, dass beobachtbar kann die Werte haben oder dann das Beobachtbare hat die Werte nicht , , oder 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 ausgehend von einem Verständnis von Und .
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? Und Zu , was ist der physikalische Prozess oder Inhalt dieser mathematischen Operation?
Dies ist eine noch offene Frage über die Grundlage von Quantentheorien.
Üblicherweise wird dies nur für jedes Paar beschränkter Observablen angenommen (selbstadjungierte Operatoren auf einem komplexen trennbaren Hilbert-Raum) gibt es eine dritte beschränkte Observable deren Erwartungswerte die Summen der Erwartungswerte von sind Und , für jeden gegebenen Zustand .
Seit erfüllt trivialerweise diese Anforderung und die Zustände trennen die Observablen dann ist das gesuchte Observable.
Hier wird das Problem zweifach.
Von der physischen Seite ist ein natürliches Problem
Wie misst man ?
Mit anderen Worten,
Q1 Wozu dient ein Messinstrument wenn wir die kennen Und ?
Von der mathematischen Seite
Q2 Wie können wir das Projection Value Measure (PVM) von konstruieren? wenn man die kennt Und ?
Wenn Und kompatibel sind, sind die Antworten elementar. In Bezug auf das frühere Problem können wir messen Und auf dem gleichen Stand und das Ergebnis von ist die Summe der Ergebnisse von Und . (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 Und .
Wenn Und nicht kompatibel sind , gibt es insbesondere auf die erstere Frage keine eindeutige Antwort. Wie auch immer, wenn Und gehören dann auch zu einer Lie-Algebren von Erzeugern einer Symmetriegruppe des betrachteten physikalischen Systems 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 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 in Bezug auf die PVM von Und 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 , (für eine entsprechend interessante Klasse von Funktionen ) und auch von einigen anderen Operatoren, die aus konstruiert wurden Und als ihr Jordan-Produkt .
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
Im endlichdimensionalen Fall wird das Integral zu einer Summe der Eigenwerte von Und und die PVMs bestehen aus Projektoren auf den jeweiligen Eigenräumen.
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 und das elektromagnetische Wechselwirkungspotential pendeln nicht und bilden zusammen den Schrödinger-Hamiltonian.
Wenn Und dann hat das Paar-Experiment Spektrum .
Ich halte das nicht einmal formal für richtig. Nehmen Und . Berechnen Sie das Spektrum von 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 ist die Spinmessung entlang der Achse (multipliziert mit , um pedantisch zu sein)
Was Sie "naiven Ansatz" nennen, befasst sich mit zwei Partikelexperimenten (daher der espace ) und was Sie beschreiben, ist eigentlich ein Maß für als Abkürzung für den Bediener , für den Produktzustand , Wo ist die Identität von . Sein Erwartungswert ist (unter Verwendung ) unabhängig von der Vergleichbarkeit oder nicht Und . Da Sie einen Produktzustand haben, ist die Messung von auf Partikel 1 kann die Messung nicht beeinflussen auf Teilchen 2. ( Und pendeln für alle Und ).
Wenn Sie jetzt die Summe messen müssen für ein Teilchen beinhaltet die Vorhersage bedingte Wahrscheinlichkeiten wie (vorausgesetzt ist ein Ergebnis von Und das Ergebnis ist zuvor erhalten) und diese nur vereinfachen, wenn Und pendeln. Dies stellt keinen Messversuch dar aber erklären Sie, warum das erwartete Ergebnis anders ist.
Mathematisch gesehen ist die sukzessive Messung von Und hat einen Erwartungswert
Nach der Expansion ist der erste Term einfach und die zweite, mit Ist
Nichtsdestotrotz wird in diesem Schema der Ausgangszustand ein Eigenvektor von sein und nicht von ...
Wenn Und pendeln, sie teilen Eigenzustände, und diese sind auch die Eigenzustände von : Das Messen von „A+B“ ergibt das gleiche Ergebnis wie das Messen von „A“ und dann „B“ (oder „B“ dann „A“). Der Betreiber 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 Und kommutieren dann nicht die Eigenzustände von werden normalerweise nicht mit geteilt oder . Der Betreiber entspricht noch dem Beobachtbaren aber das ist nicht mehr dasselbe wie messen und dann . 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 ist der Operator für eine einzelne Messung von "A+B" überlegen, wie 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.
Emilio Pisanty
Emilio Pisanty
Kyle Kanos
glS
Niemand-weiß-dass-ich-ein-Hund bin
Garyp
JP McCarthy
Señor O