Formalisierung (und Bedeutung) des Heisenberg-Schnitts

In Diskussionen um eine aktuelle Stack-Antwort , die axiomatische Quantenmechanik, Bells Theorem und Zufallsfelder (in Bezug auf axiomatische QFT) behandelte, wurde der Ausdruck "Heisenberg-Schnitt" verwendet. Die grundlegende Frage ist, was bedeutet das?

Nachdem ich diese Diskussion durchgesehen habe, kann ich einige Hintergrundinformationen liefern, um einen Kontext für die Frage festzulegen. In (Von Neumann) QM wird unterschieden zwischen: BEOBACHTER [Schnitt] QUANTENOBJEKT

Diese vereinfachende Unterscheidung wurde später in diesem Artikel und an anderer Stelle so kritisiert, dass der Begriff "Heisenberg-Schnitt" in Vergessenheit geraten ist. Wenn man in einem QM-Experiment Unterscheidungen treffen möchte, dann hier ein größerer Vorschlag:

UMWELT [Cut1] QUANTENOBJEKT [Cut2] KLASSISCHES INSTRUMENT [Cut3] BEOBACHTER [Cut4] OO

hier ist OO jeder hypothetische Beobachter-Beobachter, wie er im Konzept von "Wigner's Friend" diskutiert wird.

Wurde also das Konzept des „Heisenberg-Schnitts“ in die moderne axiomatische QM/QFT wieder eingeführt, und wenn ja, wie ist seine Formalisierung (dh wie kann man daraus experimentelle oder dem Bell-Theorem ähnliche Schlussfolgerungen ziehen?)

Antworten (3)

Der Begriff "Heisenberg-Schnitt" wurde nur in den philosophischen Diskussionen über den Charakter der Quantenmechanik verwendet. Es ist die klassische Quantengrenze, die irgendwo zwischen den beobachteten Quantenobjekten und den Wahrnehmungen des Beobachters platziert werden sollte.

Es ist nie ein Fehler, den Schnitt näher am Betrachter zu platzieren – um eine größere Menge von Phänomenen mit der Maschinerie der Quantenmechanik zu behandeln, denn am Ende gilt die Quantenmechanik überall. Andererseits könnte es ein Fehler sein, manche Systeme oder deren Eigenschaften klassisch zu behandeln.

Die "minimale" Position des Heisenberg-Schnitts - einer, der einen maximalen Bruchteil der Welt klassisch behandelt - kann durch Dekohärenz berechnet werden. In der modernen Quantenmechanik ist Dekohärenz das, was die klassische Quantengrenze definiert – aber der Begriff „Heisenberg-Schnitt“ wird in der modernen Physik für diese Grenze selten verwendet.

Ich mag die Kürze und Schärfe dieser Antwort. Der letzte Absatz sagt uns jedoch, dass seine (minimale) Position berechnet werden kann, pro Experiment, nehme ich an. Der Begriff taucht also (vielleicht unter einem anderen Namen) in Berechnungen auf. Dies deutet auch darauf hin, dass es irgendwo formalisiert wurde und vielleicht mathematische Eigenschaften hat, über die wir ergänzende Theoreme beweisen könnten ...
Ja, Roy, wie gesagt, die Berechnung wurde unter dem Begriff Dekohärenz formalisiert , siehe z. B. Zureks wichtiges Papier darüber arxiv.org/abs/quant-ph/0306072 – genau der Schnitt wird als klassische Quantengrenze oder bezeichnet etwas anderes, überprüfen Sie ein paar Papiere ...
Was ist die maximale Lage des Heisenberg-Schnitts?

Als Herzstück des Heisenberg-Schnitts sehe ich die Art und Weise, wie wir im QM Wahrscheinlichkeiten und Erwartungswerte berechnen. Für elementares QM, für einige Messungen, die von einem Bediener beschrieben werden M ^ , den Erwartungswert in einem durch eine Dichtematrix beschriebenen Zustand ρ ^ ist durch die Spur gegeben M = T R ( M ^ ρ ^ ) . Was wir in die gesteckt haben ρ ^ ist, was in unserem Modelluniversum ist. Der Messoperator beschreibt unsere Messapparatur, die sich nicht im Modelluniversum befindet, sondern beschreibt, wie unsere Messapparatur Informationen aus dem Modelluniversum gewinnt. Es gibt eine fast-Symmetrie zwischen den Wegen M ^ Und ρ ^ erscheinen; es ist fast so, als gäbe es neben dem Modelluniversum auch ein Messgeräteuniversum. Verschiedene Messgeräte können sich im Messgeräteuniversum gegenseitig beeinflussen, ohne das Modelluniversum zu ändern, was als Messinkompatibilität bezeichnet wird (habe ich gerade eine Interpretation von QM erstellt? Kenne ich diese? Ich denke, es ist leider zu oberflächlich.)

Bearbeiten: Wir können die Mathematik auf viele verschiedene Arten erweitern, aber eine verdient Erwähnung, weil sie von großem praktischem Wert ist. Wir können Transformationen einführen T ^ ich die zwischen dem Präparationsgerät und dem Messgerät arbeiten, in diesem Fall haben wir M = T R ( M ^ T ^ N T ^ 2 T ^ 1 ρ ^ ) . Das können wir jederzeit sagen M ^ T ^ N T ^ 5 , sagen wir, oder irgendein anderer Teil dieser Liste (ohne die Reihenfolge zu ändern), ist unser Maß.

Wie dem auch sei , bis zu einem gewissen Grad können wir Dinge aus dem Modelluniversum in das Universum der Messgeräte verschieben und umgekehrt, obwohl wir uns möglicherweise mit technischen Dingen wie POVMs befassen müssen, um dies zu tun. Sobald wir uns der Quantenfeldtheorie zuwenden, gibt es eine enge Beziehung zwischen dem Universum der Messgeräte und dem Modelluniversum, weil wir die gleichen Lego-Blöcke verwenden, um Messungen und Zustände aufzubauen.

Die Trennung in Zustände und Messungen ist im QM absolut grundlegend. So funktioniert die Beziehung zwischen Hilbert-Räumen und experimentellen Ergebnissen, was Probleme verursacht, wenn Leute Kosmologie betreiben wollen, mit allem im Modelluniversum. Obwohl ich vorher nicht ans Rechnen gedacht hatteWo man die Trennung platzieren sollte, kann ich sehen, dass, wenn man eine bestimmte Genauigkeit wählt, die man mit seinem Modell eines experimentellen Apparats relativ zu seinem realen Apparat erreichen möchte, dies eine Grenze dafür setzen könnte, wo man den Heisenberg-Schnitt setzen kann. Ich bin mir jedoch nicht sicher, ob man die Komplexität seiner Beschreibung einer Messung nicht immer verbessern kann, insbesondere wenn man bereit ist, zu POVMs zu gehen. Ich nehme jedoch an, dass das Einbringen von Menschen in Ihr Modelluniversum immer im Bereich von Spielzeugmodellen liegen wird. Die Trennung in Zustände und Messung wird bekanntermaßen in Bells Artikel „Gegen „Messung““ unter die Lupe genommen.

Übrigens, wie ich sehe, sind Sie zu Willem de Muynck gegangen, der vielleicht ein wenig eigenwillig ist, aber ich habe ihn oft als einen guten Kontrapunkt gefunden.

Danke für diese Antwort +1. Ich denke, diese Seite funktioniert am besten mit Fragen, dann mit Antworten und nicht mit Diskussionskommentaren. Bemerkungen: Rechnen ist der Begriff der Dekohärenz; es gibt jedoch "Grade der Klassizität" in diesen POVMs, die ich weiter verstehen muss; Es gab so viele Universen in dieser Antwort, dass ich herausfinden muss, welches Universum wir tatsächlich bewohnen.

Zusätzlich zu dem, was Lubos über QM gesagt hat, besteht die Philosophie der axiomatischen QFT darin, QFTs ohne Bezugnahme auf Konzepte der klassischen Physik zu konstruieren/beschreiben. Soweit ich weiß, gibt es in der axiomatischen QFT nicht einmal ein Konzept für eine "klassische Grenze". Besonders "makroskopische klassische" Geräte wie Detektoren werden in AQFT über eine Observable modelliert, das ist ein selbstadjungierter Operator, und das ist ein reines Quantenkonzept. Daher glaube ich nicht, dass Sie in der axiomatischen QFT eine Formalisierung von so etwas wie dem "Heisenberg-Schnitt" finden werden.

Was die Interpretation des Messvorgangs etc. betrifft, wird dies normalerweise der philosophischen Interpretation von QM überlassen, aus rein philosophischer Sicht gibt es keinen konzeptionellen Unterschied zwischen der Interpretation von QM und der von QFT, weshalb die meisten Wer sich mit diesem Thema beschäftigt, konzentriert sich auf das technisch viel einfachere QM.

Würden Sie sagen, dass dieses Konzept in einer anderen Variante von QM eine Formalisierung hat? Schließlich behauptet Lubos, dass es berechnet werden kann: Eine Formel oder ein Satz von Axiomen ist es, was diese Frage positiv beantwortet; es wird negativ beantwortet, indem man so etwas sagt wie "QM hat keine solche Formalisierung und hier ist der Beweis, dass es keine geben kann ..."
Ich nehme an, "ohne Bezugnahme auf Konzepte der klassischen Physik" ist etwas zu stark, da AQFT ein Konzept von Zuständen und Messungen hat, das klassisch vor QM existierte, allerdings ohne das Problem der Messinkompatibilität.
@Roy: Ich würde die Grenze ziehen und sagen, dass alles, was Physiker in QM mit einem formalisierten, mathematischen Rahmen berechnen, keine Verbindung zu irgendeinem Konzept wie dem Heisenberg-Schnitt hat. Dieses Konzept wird jedoch von Leuten angesprochen, die an der philosophischen Interpretation von QM arbeiten, wie Omnes.
@Peter Morgan: Der "Zustand" in AQFT ist ein geeigneter Zustand eines Netzes von Operatoralgebren, es ist kein Zustand im Sinne der Pre-QM-Physik. Der Messvorgang selbst ist in AQFT nicht formalisiert, AQFT endet mit der Aussage "der Erwartungswert einer Observablen x in einem Zustand y ist...", was ein rein quantenmechanischer Begriff ist. Natürlich existierten die Konzepte von Zuständen und Messungen in der Prä-QM-Physik, aber AQFT ist keine "quantisierte" klassische Theorie wie zB die Lagrange-QFT. Es gibt keine a priori gegebene klassische Theorie.
@Tim van Beek Einverstanden, dass ein Zustand in AQFT mathematisch etwas anderes ist als in der klassischen deterministischen Mechanik. Ich nehme jedoch an, dass "der Erwartungswert einer Observablen x in einem Zustand y ist ..." für Boltzmann oder Maxwell einen vernünftigen Sinn ergeben würde. Für AQFT, jedoch nicht für QG, gibt es auch die gemeinsamen konzeptionellen Ausgangspunkte des Minkowski-Raums oder der gekrümmten Raumzeit. Ich denke, ich sehe das alles als ständige Weiterentwicklung von Konzepten, nicht als saubere Brüche, die uns von früheren Physikern trennen. Entschuldige meine genervte Herangehensweise an deine Formulierungen.
@Tim van Beek: Soweit ich weiß, ist traditionelles AQFT so, wie Sie es beschreiben. Meine Frage, basierend auf früheren (und jetzt späteren) Beiträgen von Peter, war, ob die QM-Formalisierung von dort aus weitergegangen war. Für mich deutet Peters Verweis unten auf POVMs allein darauf hin, dass dies der Fall ist.