Deriving the Generalised Born Rule from First Principles

Diese Arbeit zeigt, dass die verallgemeinerte Born-Regel und die strenge Identifizierung von Skalaren mit Wahrscheinlichkeiten aus grundlegenden Prinzipien abgeleitet werden können, indem sie nachweisen, dass jede Prozess-Theorie mit kompatiblen Axiomen einer solchen Regel äquivalent ist und die Einführung von Rauschen diese Identifizierung von bloßen Monoid-Homomorphismen zu Semiring-Isomorphismen verstärkt.

Das Wesentliche

Stellen Sie sich vor, Sie sind ein Architekt, der versucht, die Baupläne des Universums zu verstehen. In der modernen Physik, besonders in der Quantenmechanik, gibt es eine sehr wichtige Regel, die „Born-Regel". Sie sagt uns: „Wenn du einen bestimmten Zustand (wie einen Elektronenzustand) und eine bestimmte Messung (wie einen Detektor) hast, dann kannst du die Wahrscheinlichkeit berechnen, dass das Messergebnis eintrifft, indem du diese beiden Dinge einfach ‚zusammenfügst'."

Das Problem ist: Bisher haben Physiker diese Regel einfach als gegeben hingenommen. Sie haben gesagt: „Das ist einfach so, das ist eine Grundannahme."

Dieses Papier von Gaurang Agrawal und Matt Wilson fragt sich: Muss das wirklich eine Grundannahme sein? Oder können wir beweisen, dass diese Regel logisch aus den ganz einfachen Bausteinen der Physik folgt?

Die Antwort der Autoren ist ein klares „Ja". Sie zeigen, dass die Born-Regel nicht willkürlich ist, sondern eine unvermeidliche Konsequenz, wenn man Physik als eine Art „Verknüpfungs-Spiel" betrachtet.

Hier ist die Erklärung in einfachen Bildern und Metaphern:

1. Das Spiel mit den Lego-Steinen (Prozess-Theorien)

Stellen Sie sich die physikalische Welt als ein riesiges Set aus Lego-Steinen vor.

• Zustände sind die Steine, die Sie halten (z. B. ein roter Stein).
• Effekte sind die Löcher oder Empfänger, in die Sie stecken wollen (z. B. ein rotes Loch).
• Prozesse sind die Verbindungen, die Sie zwischen den Steinen bauen (z. B. ein grauer Verbinder).

In der Quantenphysik gibt es eine seltsame Regel: Wenn Sie einen roten Stein in ein rotes Loch stecken, erhalten Sie eine Zahl (eine Wahrscheinlichkeit). Die Frage ist: Warum ist diese Zahl genau das Ergebnis des „Zusammensteckens"?

Die Autoren sagen: Wenn Sie nur sehr wenige, ganz logische Regeln für dieses Spiel aufstellen (z. B. „Reihenfolge ist egal", „Unabhängige Spiele multiplizieren sich"), dann muss die Wahrscheinlichkeit genau aus dem Zusammenspiel dieser Steine entstehen. Es gibt keinen anderen Weg, das Spiel fair zu gestalten.

2. Der erste Schritt: Das „Quoten"-Verfahren (Das Entfernen des Rauschens)

Stellen Sie sich vor, Sie haben zwei verschiedene Lego-Anleitungen, die eigentlich das gleiche Ergebnis liefern, aber auf unterschiedliche Weise beschrieben sind. Vielleicht ist in einer Anleitung ein Schritt doppelt geschrieben oder ein Stein ist nur um 180 Grad gedreht (in der Quantenphysik nennt man das „globale Phase").

Für das Ergebnis des Experiments ist das egal. Ein roter Stein ist ein roter Stein, egal ob er leicht gedreht ist.

Die Autoren zeigen, dass man alle diese „unterschiedlichen Beschreibungen, die das Gleiche tun", zusammenfassen kann. Man wirft sie in einen Topf und sagt: „Ab jetzt sind das alle dasselbe Ding."

• Das Ergebnis: Wenn man diese „unnötigen Unterschiede" entfernt (mathematisch nennt man das Quotientieren), entsteht eine neue, sauberere Theorie. In dieser neuen Theorie gilt die Born-Regel automatisch und perfekt. Die Wahrscheinlichkeit ist jetzt exakt das Ergebnis des Zusammensetzens.

3. Der zweite Schritt: Das Hinzufügen von „Rauschen" (Die Summen-Theorie)

Bisher war die Theorie noch etwas zu „rein". In der echten Welt gibt es immer Unschärfen, Fehler oder zufällige Ereignisse. Man nennt das „Rauschen".

Stellen Sie sich vor, Sie spielen nicht nur mit einem einzigen Lego-Stein, sondern mit einem Haufen davon, wobei jeder Stein eine gewisse Wahrscheinlichkeit hat, ausgewählt zu werden.

• Statt nur „Stein A" zu haben, haben Sie „50% Stein A und 50% Stein B".
• Das ist wie das Hinzufügen von klassischem Rauschen zur Quantenwelt.

Die Autoren zeigen, dass wenn man dieses Rauschen systematisch in die Theorie einbaut (man nennt das Summieren), sich die Struktur der Wahrscheinlichkeiten noch weiter verbessert.

4. Das große Wunder: Von „Multiplikation" zu „Addition und Multiplikation"

Hier wird es spannend.

• Ohne Rauschen war die Verbindung zwischen der physikalischen Struktur und der Wahrscheinlichkeit wie eine einfache Multiplikation. Es gab viele Möglichkeiten, wie das funktionieren könnte (z. B. man könnte die Zahl quadrieren oder hoch 3 nehmen).
• Mit Rauschen wird die Struktur viel strenger. Durch das Hinzufügen von „Summen" (Rauschen) wird die Verbindung zwischen Physik und Wahrscheinlichkeit zu einem Semiring-Isomorphismus.

Was bedeutet das in Alltagssprache?
Es bedeutet, dass die Wahrscheinlichkeit nicht nur multiplikativ mit der Physik verknüpft ist, sondern auch additiv.

• Wenn Sie zwei Möglichkeiten haben, passiert das eine oder das andere, dann addieren sich die Wahrscheinlichkeiten.
• Die Autoren beweisen, dass wenn man diese beiden Regeln (Addition und Multiplikation) gleichzeitig verlangt, es nur noch eine einzige Möglichkeit gibt, die Zahlen zu verbinden: Die Identität.

Das ist der Grund, warum wir in der Quantenmechanik genau die Born-Regel haben ($P = |\langle \psi | \phi \rangle|^2$) und nicht eine seltsame Regel wie $P = |\langle \psi | \phi \rangle|^3$. Die Struktur der „verrauschten" Welt erlaubt nur eine einzige, perfekte Übereinstimmung.

5. Das Ergebnis: Die „Vollkommenen" Karten (Komplett positive Abbildungen)

Am Ende ihres Weges zeigen die Autoren, dass wenn man von den „sauberen" Quanten-Steinen (reine Zustände und Unitäres) ausgeht, sie durch Quotientieren zu „Kraus-Operatoren" (eine Art unvollkommene Karten) werden.
Wenn man dann noch das Rauschen hinzufügt, landen sie genau bei dem, was wir als komplett positive Abbildungen (CP) kennen. Das ist die Sprache, in der moderne Quanteninformationstheorie (wie Quantencomputer) geschrieben wird.

Das Besondere: Bisher brauchte man für diese Konstruktion oft komplizierte mathematische Tricks (wie das „Adjungieren" von Matrizen). Die Autoren zeigen hier einen Weg, der ohne diese Tricks auskommt. Sie bauen das Haus einfach aus den Grundsteinen der Wahrscheinlichkeit und des Rauschens auf.

Zusammenfassung in einem Satz

Die Autoren beweisen, dass die Born-Regel keine willkürliche Annahme ist, sondern der einzige logische Schluss, der übrig bleibt, wenn man eine physikalische Theorie so aufbaut, dass sie sowohl logische Verknüpfungen als auch realistische Zufälligkeiten (Rauschen) erlaubt.

Die Metapher:
Stellen Sie sich vor, Sie versuchen, die Sprache eines fremden Volkes zu lernen. Zuerst hören Sie nur einzelne Wörter (reine Quantenphysik) und können die Grammatik nur erraten. Aber wenn Sie beginnen, ganze Sätze zu hören, die auch Fehler und Wiederholungen enthalten (Rauschen), wird die Grammatik so klar und eindeutig, dass Sie plötzlich genau wissen, wie die Sprache aufgebaut sein muss. Die Born-Regel ist diese klare Grammatik.

Technische Zusammenfassung

1. Problemstellung und Motivation

Das zentrale Problem, das in diesem Paper adressiert wird, ist der fundamentale Status der verallgemeinerten Born-Regel in modernen kompositionellen Ansätzen zur Beschreibung physikalischer Theorien (z. B. in Operational Probabilistic Theories oder Prozess-Theorien).

In diesen Theorien, die oft auf symmetrischen monoidalen Kategorien (SMCs) basieren, wird die Born-Regel typischerweise als Postulat eingeführt. Sie besagt, dass die Wahrscheinlichkeit eines Messergebnisses $\sigma$ bei einem Zustand $\rho$ durch die Komposition von Zustand und Effekt gegeben ist, überführt durch einen Homomorphismus $\lambda$:
$$P(\rho, \sigma) = \lambda(\sigma \circ \rho)$$

Die Autoren hinterfragen, ob diese Regel ein willkürliches Postulat ist oder ob sie aus grundlegenden Prinzipien abgeleitet werden kann. Wenn sie ableitbar ist, würde dies die axiatische Rekonstruktion der Quantenmechanik auf ein solideres Fundament stellen und die Trennung zwischen kompositioneller Struktur und probabilistischer Interpretation überflüssig machen. Zudem soll geklärt werden, wie stark die Identifikation zwischen Skalaren der Theorie und Wahrscheinlichkeiten ist (z. B. ob sie nur ein Monoid-Homomorphismus oder ein stärkerer Semiring-Isomorphismus ist).

2. Methodik

Die Autoren entwickeln eine schrittweise konstruktive Methode, um aus beliebigen „probabilistischen Prozess-Theorien" (PPTs) Theorien zu gewinnen, die eine verallgemeinerte Born-Regel erfüllen. Der Ansatz basiert auf zwei Hauptoperationen: Quotientierung (Quotienting) und Hinzufügen von Rauschen (Adding Noise).

A. Definition probabilistischer Prozess-Theorien (PPT)

Zunächst definieren sie eine PPT als ein Tupel $(D \subseteq C, \{S_A\}, \{E_A\}, \{P_A\})$, bestehend aus:

• Einer Kategorie $C$ (kompositionelle Struktur).
• Einer Unterkategorie $D$ (physikalische Prozesse).
• Mengen physikalischer Zustände $S_A$ und Effekte $E_A$.
• Wahrscheinlichkeitsfunktionen $P_A$, die drei Axiome erfüllen:
  1. Assoziativität: Die Wahrscheinlichkeit ist unabhängig davon, ob eine Transformation als Teil der Zustandspräparation oder der Messung betrachtet wird.
  2. Produkt: Die gemeinsame Wahrscheinlichkeit unabhängiger Ereignisse ist das Produkt der Einzelwahrscheinlichkeiten.
  3. Nicht-Trivialität: Es existieren Fälle mit Wahrscheinlichkeiten ungleich 0 und ungleich 1.

B. Schritt 1: Quotientierung (Für vereinfachte PPTs)

Für vereinfachte probabilistische Prozess-Theorien (SPPTs), in denen Zustände und Effekte direkt Morphismen der Kategorie sind, führen die Autoren eine Quotientierung durch.

• Äquivalenzrelation: Zwei Morphismen werden als probabilistisch äquivalent ($\sim$) definiert, wenn sie für alle Zustände und Effekte dieselben Wahrscheinlichkeiten liefern.
• Konstruktion: Man bildet die Kategorie $Q(C)$, deren Morphismen Äquivalenzklassen sind.
• Ergebnis: In dieser quotierten Theorie wird die Wahrscheinlichkeitsfunktion durch einen injektiven Monoid-Homomorphismus $\lambda$ von den Skalaren der Kategorie zu den positiven reellen Zahlen ($\mathbb{R}_{\ge 0}$) dargestellt. Dies etabliert die verallgemeinerte Born-Regel bis auf diesen Homomorphismus.

C. Schritt 2: Hinzufügen von Rauschen (Summierte und verrauschte Theorien)

Um die Beziehung zwischen Skalaren und Wahrscheinlichkeiten zu stärken, führen die Autoren das Konzept des „Rauschens" ein.

• Summierte Kategorie $S(C)$: Morphismen werden als endliche gewichtete Mengen von Morphismen der ursprünglichen Theorie definiert. Dies entspricht der Einführung klassischer Wahrscheinlichkeiten (Noise) in die Prozesse.
• Struktur: Die Skalaren in $S(C)$ bilden nun einen Halbring (Semiring), da sie Addition (durch Vereinigung gewichteter Mengen) und Multiplikation zulassen.
• Verrauschte Kategorie $N(C)$: Durch eine erneute Quotientierung von $S(C)$ (unter Berücksichtigung der probabilistischen Äquivalenz) erhält man die verrauschte Theorie.
• Ergebnis: In $N(C)$ wird der Homomorphismus $\lambda$ zu einem injektiven Semiring-Homomorphismus. Da der einzige injektive Endomorphismus der positiven reellen Zahlen, der sowohl Addition als auch Multiplikation erhält, die Identitätsfunktion ist, wird die Identität zwischen Skalar und Wahrscheinlichkeit extrem stark.

3. Wichtige Beiträge und Ergebnisse

1. Ableitung der verallgemeinerten Born-Regel:
   Das Paper beweist, dass jede vernünftige probabilistische Prozess-Theorie operational äquivalent zu einer Theorie ist, in der die verallgemeinerte Born-Regel gilt. Dies bedeutet, dass die Regel kein willkürliches Postulat, sondern eine strukturelle Konsequenz der Komposition und Wahrscheinlichkeit ist.

2. Stufenweise Stärkung der Identifikation:

   • Im quotientierten Fall (ohne Rauschen) ist die Beziehung ein Monoid-Isomorphismus. Dies erlaubt Transformationen wie $P = |\langle \psi | \phi \rangle|^k$ (z. B. $k=2$ für Quantenmechanik, aber theoretisch auch andere Potenzen).
   • Im verrauschten Fall (mit Rauschen) wird die Beziehung zu einem Semiring-Isomorphismus. Dies erzwingt die Erhaltung von Summen. Für die positiven reellen Zahlen ist der einzige solche Isomorphismus die Identität ($P = \text{Skalar}$).

3. Konstruktion der Kategorie der vollständig positiven Abbildungen (CP):
   Ein bedeutendes Ergebnis ist die Ableitung der Theorie der vollständig positiven (CP) Abbildungen aus reinen Quantenmechanik-Prinzipien (unitäre Transformationen und reine Zustände) ohne Verwendung von Adjungierten (Adjoints) oder Discard-Operationen.

   • Anwendung auf reine Quantenmechanik ($FHilb$)$\xrightarrow{\text{Quotient}}$ Theorie der Kraus-Operatoren (Rank-1 CPTNI).
   • Anwendung auf Kraus-Operatoren $\xrightarrow{\text{Rauschen}}$ Theorie der vollständig positiven Abbildungen ($CP$).
   • Dies bietet eine alternative, adjungierten-freie Konstruktion zu etablierten Methoden wie der CPM-Konstruktion von Selinger.

4. Rigidität der Born-Regel:
   Das Paper zeigt, dass in verrauschten Theorien, die $CP$ als zugrundeliegende Struktur haben, die Born-Regel zwingend die Form $P(\rho, \sigma) = \text{Tr}[\rho \sigma]$ annehmen muss. Alternative Born-Regeln (z. B. andere Potenzen) würden die Additivität der Wahrscheinlichkeiten in der verrauschten Theorie verletzen und sind somit strukturell ausgeschlossen.

4. Signifikanz und Implikationen

• Fundamentale Begründung: Die Arbeit liefert eine starke Begründung dafür, warum die Born-Regel in der Quantenmechanik so aussieht, wie sie aussieht. Sie ist nicht nur eine empirische Beobachtung, sondern eine notwendige Konsequenz, wenn man eine Theorie mit Rauschen (klassischer Unsicherheit) betrachtet und die Struktur der Wahrscheinlichkeiten (Additivität) respektiert.
• Neue Konstruktion von CP: Die adjungierten-freie Konstruktion von $CP$-Abbildungen ist ein wichtiger theoretischer Fortschritt, da sie zeigt, dass die Struktur der Quanteninformationstheorie (inklusive gemischter Zustände und Rauschen) aus reinen, unitären Prinzipien und probabilistischen Axiomen hervorgehen kann.
• Rekonstruktion der Quantenmechanik: Die Ergebnisse bieten einen neuen Weg, um alternative Born-Regeln zu testen. Wenn eine alternative Regel zu pathologischen Eigenschaften in der daraus abgeleiteten Operational Probabilistic Theory (OPT) führt, kann sie ausgeschlossen werden.
• Kategorientheoretische Verallgemeinerung: Die Autoren deuten an, dass ihre Konstruktion als eine Art „Strictification"-Theorem für probabilistische Theorien verstanden werden kann, ähnlich wie Mac Lanes Strictification-Theorem für monoidale Kategorien.

Zusammenfassend demonstriert das Paper, dass die verallgemeinerte Born-Regel und die spezifische Form der Quanten-Born-Regel ($Tr[\rho \sigma]$) aus den grundlegendsten Prinzipien der Komposition und Wahrscheinlichkeit ableitbar sind, sobald man die Möglichkeit von Rauschen und die Additivität von Wahrscheinlichkeiten in die Theorie integriert.