QFT Hilbert-Zwischenräume über anderen Ringen als den komplexen Zahlen CC\mathbb{C}

Ich hätte gerne Hilfe bei der Bewertung einer Physiktheorie, die kürzlich von einem Physikprofessor am College of Dupage vorgeschlagen wurde.

Ich denke, dass die Theorie aus sehr einfachen Gründen völlig falsch ist. Wenn ein Amateur das Gefühl hat, einen Physikprofessor widerlegen zu können (insbesondere wenn er einfache Logik und grundlegende Algebra verwendet und insbesondere wenn er Quantenmechanik einbezieht), ist dies normalerweise kein gutes Zeichen, um es milde auszudrücken. Ich möchte hier lernen und brauche physikalische Hilfe von euch Experten, um die Theorie zu bewerten.

Ich habe früher einige Physikkurse belegt, bin aber im Wesentlichen ein autodidaktischer Amateur, daher würde ich mich sehr über Antworten freuen, die auf dem Hauptfach Physik im Grundstudium liegen und auf ein Lehrbuch verweisen, das ich selbst weiterlesen kann.

Seien Sie bitte pedantisch, da die Probleme subtil sein können. Dies begann mit einem Kollegen (der im Gegensatz zu mir in Physik promoviert hat), der versuchte, eine vorgeschlagene Theorie der Quantengravitation (Entwurf hier) auf der Grundlage einiger sehr grundlegender Argumente abzulehnen. Der Physikprofessor, der die Theorie vorgeschlagen hat, hat öffentlich erklärt, dass mein Kollege den Kern des Vorschlags völlig ignoriert, weil er die Grundlagen von QFT und GR missversteht. Beide behaupten, der andere sei so falsch, dass sie eigentlich wieder zur Schule gehen sollten. Das ist für mich wie eine faszinierende Physikdebatte geworden. Ich weiß oft, wenn ich ein schwieriges Thema lerne, dass scheinbar offensichtliche Schlussfolgerungen aus grundlegenden Konzepten falsch sein können, und obwohl die Argumente meines Kollegen für mich sehr überzeugend sind, sind sie so grundlegenddass es einige Sorgen hervorruft, dass er den Professor nur missversteht. Ich stellte ständig Fragen, also schickte mich mein Kollege hierher, um unvoreingenommene Hilfe zu erhalten.

Das fragliche Problem ist der eigentliche Ausgangspunkt des Vorschlags, einen Hilbert-Raum über einigen anderen Skalaren als den komplexen Zahlen zu definieren. Insbesondere eine Teilmenge von 4x4-Matrizen, die geschrieben werden können als X A γ A Wo ( X A sind vier reelle Zahlen, und γ A sind die Dirac-Matrizen). Das Papier bezieht sich auf X A als Vierervektoren in der Algebra C 1 , 3 ( R ) (die Algebra der Dirac-Matrizen). Der Ausgangspunkt des Papiers ist also ein "Hilbert-Raum über dem Raum von Vierervektoren".

So wie ich es verstehe, sind zwei vereinfachte Argumente gegen diese Theorie:

Erste Argumentationslinie

Ein Hilbertraum H über einigen Skalaren S muss genügen:

  1. Für jeden Vektor X H , und Skalar A S , Dann A X H (Skalarmultiplikation ergibt einen weiteren Vektor in H )

  2. Für zwei beliebige Vektoren X , Y H , das innere Produkt X | Y S (das innere Produkt zweier Vektoren ist ein Skalar im Hilbertraum)

  3. Für zwei beliebige Vektoren X , Y H , und Skalar A S , das innere Produkt X | A Y = X | Y A (das Skalarprodukt ist linear)

Dann durch Anwenden von Nr. 1 und Nr. 2 X | A Y S . Dann wenden Sie diese Tatsache zusammen mit # 3 für einen beliebigen Skalar an A S , und jeder Skalar, der als Ergebnis eines Skalarprodukts geschrieben werden kann B = X | Y , das Ergebnis der Multiplikation dieser beiden Skalare S , sollte auch ein Skalar sein S (einfach, B A S ).

Daher ist ein Gegenbeispiel zur Existenz dieses Hilbertraums, zu zeigen, dass zwei Vierervektoren in der Algebra multipliziert werden C 1 , 3 ( R ) ist kein Vierervektor (mit anderen Worten, die Vierervektoren sind keine Unteralgebra von C 1 , 3 ( R ) ).

Dies kann in einfache Matrizenalgebra zerlegt werden ( zum Beispiel wie mein Kollege es hier getan hat ), um zu zeigen, dass die Multiplikation dieser "Skalare" in der Menge dieser Skalare nicht abgeschlossen ist, da die Multiplikation zweier Vierervektoren etwas anderes als eine Vier ergeben kann -Vektor. Ich habe dies allgemeiner ausgearbeitet, und es scheint, dass die Multiplikation von zwei beliebigen Vierervektoren kein weiterer Vierervektor ist, es sei denn, mindestens ein Vierervektor ist der Nullvektor (0,0,0,0). Ich vertraue meiner Arbeit hier jedoch nicht genug, um einen Professor abzuwerten. Reicht ein Gegenbeispiel? Oder ist es möglich, dass, wenn wir uns nur auf Skalare beschränken, die das Ergebnis von inneren Produkten sind, das Produkt irgendwie abgeschlossen ist?

In einer vom Professor empfohlenen Referenz wird das Produkt in Clifford-Algebren ziemlich klar diskutiert ( hier ). Wenn ich das richtig gelesen habe, ist das Produkt zweier Vektoren die Summe von Skalaren und Bivektoren im Multivektorraum. Daher kann KEIN Ergebnis der Multiplikation von zwei Vierer-Vektoren als ein weiterer Vierer-Vektor geschrieben werden, außer in dem Fall, dass mindestens ein Vierer-Vektor der Null-Vektor (0,0,0,0) ist. Das stimmt mit der chaotischen Matrizenalgebra überein, die ich ausgearbeitet habe, und macht mich zuversichtlicher. Aber andere Leute haben es ähnlich erklärt, und der Professor gab an, dass sie diese Quelle falsch lesen. Gibt es eine bessere Quelle? Was ist falsch an der obigen Logik?

Auch dies scheint verdächtig einfach, und wenn ein Amateur mit einem Physikprofessor nicht einverstanden ist, ist das normalerweise kein gutes Zeichen. Wenn mein Kollege nicht wäre, würde ich mir Sorgen machen, dass ich ein Spinner werde. Übersehe ich hier etwas Grundsätzliches?

Zweite Argumentationslinie

In der Quantenmechanik:

  1. Zustände eines Systems werden durch Vektoren im Hilbert-Raum dargestellt. (Obwohl nicht eindeutig, da durch eine Skalarmultiplikation verwandte Vektoren denselben physikalischen Zustand darstellen.)

  2. Observables sind selbstadjungierte Operatoren auf dem Hilbert-Raum. Das Messen einer Observablen platziert das System in einem Eigenvektor dieses Operators.

  3. Für ein System, das in einem Zustand vorbereitet ist, der durch dargestellt wird X , die Wahrscheinlichkeit, dass es sich in einem Zustand befindet, der durch dargestellt wird Y (irgendein nicht entarteter Eigenvektor der zu messenden Observablen) ist

    P R Ö B = X | Y Y | X X | X Y | Y

Um Messungen vorherzusagen, müssen wir daher auch in der Lage sein, mit diesen Skalaren zu dividieren. Und außerdem sollte das Ergebnis jeder Berechnung der obigen Form eine reelle Zahl sein, damit es als Wahrscheinlichkeit sinnvoll ist. Noch C 1 , 3 ( R ) ist keine normierte Divisionsalgebra. Und da X | X wird in der Theorie des Professors nicht einmal wirklich bewertet, ich verstehe nicht, wie die vorhergesagten Wahrscheinlichkeiten sein könnten.

Die Antwort des Professors darauf (und möglicherweise auch einige der Eigenschaften der Hilbert-Räume oben? ist mir nicht klar) ist, dass dies eine Quantenfeldtheorie ist und die Eigenschaften von Hilbert-Räumen und die Berechnung von Wahrscheinlichkeiten für Messungen in QFT anders funktionieren als in der einleitenden nichtrelativistischen Teilchen-QM.

Ich habe dies in den Büchern nachgeschlagen, die ich habe, und überraschenderweise erklärt Srednicki in "Quantum Field Theory" auf der allerersten Seite des ersten Kapitels ausdrücklich , dass er die Postulate der QFT nicht durchgehen wird, und im " Vorwort für Studenten" listet er nur einige Gleichungen auf und sagt, wenn Sie diese verstehen, haben Sie den Hintergrund, um dieses Buch zu verwenden. Er geht nur davon aus, dass wir die Postulate bereits kennen?

Ich sehe in dieser Frage zum Austausch von Physikstapeln ( Formalismus der Quantenfeldtheorie vs. Quantenmechanik ), dass dies zumindest nach Lubos 'Meinung daran liegt, dass die Postulate dieselben sind. Aber er gibt keine Referenzen an, und die vom Professor vorgeschlagene Referenz ( "Axiomatische Quantenfeldtheorie in gekrümmter Raumzeit" Hollands und Wald) diskutiert nicht einmal Messungen oder Wahrscheinlichkeiten. Bei der Suche fand ich die oft zitierten "Postulate of Quantum Field Theory"Hagg und Schorer (1962), aber selbst das behandelt keine Messungen oder Wahrscheinlichkeiten. Sie diskutieren nur, wie man einen Hilbert-Raum für Feldtheorien aufbaut. Sie scheinen einfach anzunehmen, dass wir den „Rest“ der Postulate kennen. Ich habe auch "Quantum Field Theory in a Nutshell" von Zee, ich habe den Anfang überflogen und auch er scheint nur anzunehmen, dass wir die Postulate kennen.

Wenn mein Kollege nicht gewesen wäre, würde ich an dieser Stelle einfach annehmen, dass ich falsch liege, da ich nicht einmal ein Buch finden kann, um mein Verständnis der Postulate zu bestätigen, und ich bin ein Amateur, der derzeit mit einem nicht einverstanden ist angestellter Physikprofessor.

Kann mir bitte jemand helfen, diese physikalische Theorie zu bewerten, und mir einige Lehrbuchreferenzen geben, denen ich nachgehen kann?

Ich nehme an, aber ich bin mir nicht sicher, dass er QFT über dem Feld der Quaternionen macht . Ich weiß nicht viel über das Thema, aber ich denke, Sie sollten in diese Richtung schauen. Quaternionen haben eine Matrix 4 × 4 Darstellung und sind mit Clifford-Algebren verknüpft.
Quaternionen bilden eine andere Algebra, C l 0 , 2 ( R ) . Dies hat zwar eine reelle 4x4-Matrixdarstellung, unterscheidet sich jedoch von der Algebra der Dirac-Matrizen.
@Qmechanic Vielen Dank für den Versuch, den Titel zu verbessern, aber die hier fraglichen "Zahlen" sind keine Zahlenfelder. Möglicherweise gibt es einen passenderen Begriff, aber es sollten keine Felder sein, da selbst Quaternionen (in beiden Antworten diskutiert) kein mathematisches Feld sind.
Ein Artikel zu einem verwandten Thema, der das OP interessieren könnte, Twisted de Rham-Kohomologie, homologische Definition des Integrals und "Physik über einem Ring" ...

Antworten (2)

Eigentlich alles aus den Grundlagenarbeiten von von Neumann und Birkhoff bekannt. In dieser Formulierung von QM (und in der anschließenden Entwicklung dieses Forschungsgebiets) konstruiert man die Quantentheorie ausgehend vom Gitter der elementaren „JA-NEIN“-Observablen (siehe meine Antwort zu Quantenwahrscheinlichkeiten für weitere Einzelheiten) oder „elementare Sätze“. experimentell prüfbar auf einem Quantensystem. Diese Annahmen beschreiben die gemeinsame Phänomenologie aller Quantensysteme. Dieses Gitter stellt sich heraus σ -vollständig, orthomodular, trennbar, atomar, irreduzibel und Verifizierung der sogenannten "Überdeckungseigenschaft". In der Standard-QM ist dieses Gitter das von orthogonalen Projektoren in einem komplexen Hilbert-Raum. Allerdings bemerkte bereits von Neumann, dass mindestens zwei weitere Möglichkeiten prinzipiell denkbar schienen: das Gitter orthogonaler Projektoren in einem echten Hilbert-Raum und das Gitter orthogonaler Projektoren in einem quaternionischen Hilbert-Raum. In allen Fällen sind Zustände verallgemeinerte Wahrscheinlichkeitsmaße auf dem relevanten Verband.

Diese Idee blieb bis 1995 eine lange bestehende Vermutung, als Solér (siehe z. B. diesen Eintrag der Stanford Encyclopedia of Philosophy) von Neumanns Vermutung bewies und andere Formulierungen zu verschiedenen Hilbert-Raum-ähnlichen Strukturen ausschloss (z. B. die Verwendung von Clifford-Algebren als Raum von Skalaren). ). Es schließt auch Hilbert-Räume aus, die auf der nicht-assoziativen Algebra von Oktonionen konstruiert sind, was offensichtlich im Widerspruch zu dem steht, was in dem von Ihnen erwähnten Artikel angegeben ist.

Bei Vorhandensein einer Zeitumkehroperation kann nachgewiesen werden, dass die echte Quantenmechanik der komplexen Standardversion entspricht. Stattdessen könnte die quaternionische neue Physik enthalten, zumindest ist dies die Meinung von S. Adler, der ein dickes Buch über diese Idee von einem sehr physikalischen Standpunkt aus geschrieben hat.

Einige der grundlegenden theoretischen Ergebnisse der QM überleben den Übergang zur quaternionischen QM, wie die Sätze von Wigner, Kadison, Gleason (der letzte ist grundlegend, da er beweist, dass die Zustände nichts anderes sind als Dichtematrizen und Vektorzustände, wie sie in elementareren Formulierungen der QM angenommen werden). . Varadarajans Buch über die Geometrie der QM behandelt die drei Formulierungen gleichzeitig.

Quaternionische QM beinhaltet eine interessante nichtkommutative Funktionsanalyse aus rein mathematischer Sicht (siehe zum Beispiel diesen Artikel von mir).

Aus diesen Gründen glaube ich nicht, dass der von Ihnen erwähnte Aufsatz – der davon ausgeht, sich mit einer Art Hilbert-Raum zu befassen, dessen Skalare Elemente einer Clifford-Algebra sind – eine Theorie präsentieren kann, die mit den grundlegenden Standardannahmen der in Hilbert-Räumen formulierten Quantentheorien übereinstimmt Verallgemeinerungen. Dies ist nur im Hinblick auf den Satz von Sòler. Der Aufsatz ist jedoch nicht so klar mathematisch geschrieben, wie es das Thema meiner ehrlichen Meinung nach für so mathematisch, physikalisch und philosophisch heikle Themen verdient hätte.

Um ehrlich zu sein, könnte ich auch sagen, dass die Hilbert-Raumformulierung nicht die einzig mögliche ist. Eine neuere und in gewissem Sinne leistungsfähigere ist die algebraische Formulierung, bei der die fundamentalen Objekte nicht Elemente eines Gitters und verallgemeinerte Wahrscheinlichkeitsmaße auf diesem Gitter sind, sondern Elemente einer Einheit C -Algebra (oder schwächer a -Algebra oder eine Jordan-Algebra) die hermitischen, die die Observablen des Systems darstellen. Zustände werden jetzt durch normalisierte positive Funktionale in der Algebra definiert, die Erwartungswerte darstellen. Das berühmte GNS-Rekonstruktionstheorem beweist, dass dieses algebraische Bild bei Wahl eines Referenzzustands einer Standardkonstruktion – à la von Neumann – in einem Hilbert-Raum entspricht. Es gibt jedoch viele einheitlich inäquivalente Hilbert-Raum-Realisierungen derselben algebraischen Struktur.

Das von Ihnen erwähnte Papier scheint sich jedoch nicht mit dieser abstrakteren Formulierung zu befassen.

(In Bezug auf die Arbeit von Stefan Hollands-Bob Wald kenne ich die Autoren und die in dieser Arbeit enthaltenen Ideen ziemlich gut und habe sie in der Vergangenheit mit Stefan diskutiert. Ich kann nicht gut erkennen, wie diese Ideen viel mit alternativen Formulierungen von Quantentheorien zu tun haben die Ebene der Frage, die ich beantworte. Der Punkt war dort die Neuformulierung der Quantenfeldtheorie unter Vermeidung des Standard-Störungsansatzes. Soweit ich mich erinnere, spielt die Grundstruktur des Hilbert-Raums keine grundlegende Rolle.)

Vielen Dank für die Erläuterungen! Seltsamerweise erwähnt der Professor sogar Solers Ergebnis und verwirft es: „Quantenmechanische Theorien müssen eine Algebra von Skalaren verwenden, die isomorph zu einem dieser vier R,C,H,O ist. (1) Die Quantenfeldtheorie schließt jedoch Größen ein, die sind vier Vektoren im Minkowski-Raum, was zu besonderen Betrachtungen führt." Da Sie tatsächlich in diesem Bereich arbeiten, würden Sie das Papier bei TheWinnower kommentieren? Es könnte für den Autor und andere nützlich sein (die neueste Diskussion ist hier: thewinnower.com/papers/fundamentals-of-relativization )
Ich sehe, es ist ein anderer Standpunkt, der sich ausdrücklich auf QFT und nicht auf QM bezieht. Eigentlich kenne ich das Papier, auf das Sie hinweisen, nicht, ich werde es mir später ansehen. Vielen Dank.
Abgesehen von diesem beiläufigen Kommentar diskutiert die Zeitung niemals Solers Ergebnis und wie sie hofft, diesem zu entkommen. Da das Papier immer noch versucht, einen Hilbert-Raum zur Formulierung von QFT zu verwenden, kann man das Soler-Ergebnis einfach als No-Go-Theorem verwenden, um zu sagen, dass der Ausgangspunkt dieser Idee nicht fruchtbar sein kann? Gibt es Schlupflöcher, die Sie kennen?
Meine Frage bezog sich auf Hilfe bei der Bewertung der Arbeit des Professors. Ich bin mir also nicht sicher, wie ich Ihren letzten Kommentar interpretieren soll. In der Antwort scheinen Sie diese Art von Theorie auszuschließen, aber dann sagen Sie im letzten Kommentar, dass das Papier "ein anderer Standpunkt" ist? Aber Ihre Antwort scheint direkt zu gelten, wie ist dieser "andere Standpunkt"? Als Ausgangspunkt versucht der Professor, einen Hilbert-Raum über vier Vektoren zu definieren, und wie ich glaube, oben gezeigt zu haben, ist dies nicht einmal mathematisch gut definiert. Die Idee des Professors scheint kein "anderer Standpunkt" zu sein, sie scheint nur falsch zu sein. NEIN? Was vermisse ich?
Übrigens, die Arbeit des Professors ist hier: thewinnower.com/papers/… Der Link, den ich im letzten Kommentar gegeben habe, war nur die Antwort des Professors auf einige Gutachter der Arbeit.
Vielen Dank für die Nachrichten und das Antwortupdate. Dies mit einem No-Go-Theorem auszuschließen, ist viel informativer und viel sauberer als die Art und Weise, wie ich versucht habe, mich dem Material zu nähern.

Ok, um meinen Kommentar zu einer Antwort zu erweitern:

Es gibt nur zwei endlichdimensionale Teilungsringe (die eine Teilung zulassen), die die reellen Zahlen als endlichen Teilring enthalten: die komplexen Zahlen und die Quaternionen (Anwendung des Satzes von Frobenius). Außerdem wird ein Vektorraum (und Hilbert-Räume sind Vektorräume) normalerweise über einem Körper definiert, dh einem kommutativen Ring ungleich Null. Über einem Ring haben Sie das Modul, das eine Verallgemeinerung eines Vektorraums auf nicht kommutative Ringe ist (wie die Quaternionen und die angenommene Dirac-Matrix-Algebra).

Angenommen, Sie können einen Hilbert-Raum als Modul über einen Ring mit einem Skalarprodukt verallgemeinern (ich bin mir nicht sicher, ob dies möglich ist); Die einzige Möglichkeit, eine Division zuzulassen und geeignete Skalarprodukte als reelle Wahrscheinlichkeit zu interpretieren, besteht darin, entweder reelle Zahlen, komplexe (übliche Hilbert-Räume), Quaternionen oder unendlich dimensionale Divisionsringe zu verwenden. Da dies hier nicht der Fall zu sein scheint, nehme ich an: Entweder bezieht er sich in gewissem Sinne auf Quaternionen, oder er irrt sich, oder er muss den Begriff der Wahrscheinlichkeiten, des Hilbert-Raums usw. von Grund auf neu definieren ...

Guter Punkt, dass dies technisch ein Modul mit einem inneren Produkt bespricht. Aber weil Multiplikation in C 1 , 3 ( R ) ist nicht geschlossen für Vierervektoren, der Professor hat nicht einmal einen Ring, um ein Modul darüber zu definieren, richtig? Ich denke, mein Punkt in der „ersten Argumentationslinie“ ist letztendlich, dass man nicht einfach eine Teilmenge einer Algebra nehmen und annehmen kann, dass Sie immer noch eine geschlossene Algebra haben. Übertreibe ich hier? Dieses Papier scheint mir einfach so falsch zu sein.
Wie Valter Moretti oben erwähnen Sie auch reelle Zahlen, komplexe Zahlen und Quaternionen. Das Soler-Ergebnis, das er erwähnt, scheint ein No-Go-Theorem für alles andere zu sein, aber Sie erwähnen auch "unendliche Dimensionsteilungsringe", also gibt es eine Lücke im Soler-Ergebnis? Kann das Soler-Ergebnis direkter als No-Go-Theorem verwendet werden, um zu zeigen, dass der Ausgangspunkt dieser Arbeit nicht fruchtbar sein kann?
mathoverflow.net/q/45653 kommt zu dem Schluss, dass es keine unendlichdimensionalen normierten Divisionsalgebren gibt.
Ja, er scheint keinen Ring zu haben, mit dem er beginnen kann, wenn die Algebra nicht geschlossen ist. Ich stimme zu, es ist nicht klar, ob sein System von Anfang an sinnvoll ist, aber Valter ist sicherlich Experte auf dem Gebiet als ich ;-)