⚛️ quantum physics

Maximal global device-independent randomness from projective measurements in every dimension

Diese Arbeit zeigt, dass projektive Messungen an bipartiten Quantensystemen mit lokaler Dimension $d$ die theoretisch maximalen $2\log(d)$ Bits an geräteunabhängiger Zufälligkeit für jedes $d \ge 2$ mittels expliziter Protokolle auf Basis von mutuell unbasierten Basen zertifizieren können, während gleichzeitig deren Robustheit gegenüber experimentellem Rauschen bewiesen wird.

Ursprüngliche Autoren: Máté Farkas, Piotr Mironowicz, Remigiusz Augusiak

Veröffentlicht 2026-06-23

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Máté Farkas, Piotr Mironowicz, Remigiusz Augusiak

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie versuchen, eine wirklich zufällige Zahl zu generieren, wie etwa einen geheimen Code, den niemand sonst erraten kann. In der Quantenwelt können wir dies durch das Messen von Teilchen tun. Aber es gibt einen Haken: Normalerweise müssen Sie darauf vertrauen, dass Ihre Messgeräte perfekt funktionieren. Wenn Ihre Maschine leicht defekt oder voreingenommen ist, könnten Ihre „zufälligen“ Zahlen tatsächlich vorhersehbar sein.

Geräteunabhängige Zufälligkeit ist der „Goldstandard“ der Sicherheit. Es ist wie ein Zaubertrick, bei dem man dem Magier und seinen Requisiten nicht vertrauen muss. Man betrachtet lediglich die Ergebnisse des Tricks. Wenn die Ergebnisse ein spezifisches, unmöglich zu fälschendes Muster zeigen (eine sogenannte „Bell-Verletzung“), wissen Sie mit Sicherheit, dass die Zahlen wirklich zufällig sind, selbst wenn die Geräte eine Blackbox sind, über die Sie nichts wissen.

Das Problem: Wie viel Zufälligkeit können wir bekommen?

Betrachten Sie ein Quantensystem als einen Würfel.

Ein Standard-Münzwurf (2 Seiten) liefert Ihnen 1 Bit Zufälligkeit.
Ein sechsseitiger Würfel liefert etwa 2,58 Bits.
Ein Würfel mit $d$ Seiten liefert $\log(d)$ Bits.

Die Arbeit befasst sich mit der großen Frage: Wenn zwei Personen (Alice und Bob) ein Paar dieser „Quanten-Würfel“ (verschränkte Teilchen) teilen, wie viel gesamte zufällige Information können sie zusammen extrahieren?

Frühere Forschungen zeigten, dass man, wenn man sehr komplexe, schwer zu bauende Messungen verwendet, das theoretische Maximum erreichen kann: $2 \log(d)$ Bits. Dies ist die absolute Grenze dessen, was mathematisch für ein System dieser Größe möglich ist. Diese komplexen Messungen sind jedoch so, als würde man versuchen, ein Haus mit einem Hammer aus Glas zu bauen – sie sind theoretisch möglich, aber in einem Labor praktisch sehr schwierig umzusetzen.

Der Durchbruch: Einfache Werkzeuge, maximale Ergebnisse

Die Autoren dieser Arbeit stellten die Frage: Können wir dieselbe maximale Menge an Zufälligkeit mit nur „projektiven Messungen“ erhalten?

In Alltagssprache sind projektive Messungen die „Standardmethode“, mit der Physiker Quantensysteme messen. Sie sind die Arbeitspferde im Labor – einfach zu bauen und sehr zuverlässig.

Die Antwort: Ja.
Die Arbeit beweist, dass Alice und Bob für jede Größe eines Quantensystems (jede Dimension $d$ ) diese einfachen, Standard-Messungen verwenden können, um die maximale Menge an Zufälligkeit ( $2 \log(d)$ Bits) zu extrahieren.

Die Analogie:
Stellen Sie sich vor, Sie haben einen Tresor (das Quantensystem).

Die alte Methode: Um die meiste Beute (Zufälligkeit) zu erhalten, benötigten Sie einen Generalschlüssel, der unglaublich zerbrechlich und schwer zu fälschen war (komplexe Messungen).
Die Methode dieser Arbeit: Die Autoren fanden einen Weg, einen einfachen, robusten Schraubendreher (projektive Messungen) zu benutzen, um den Tresor zu öffnen und exakt die gleiche Menge an Beute zu erhalten. Sie brauchten nicht den zerbrechlichen Schlüssel; das einfache Werkzeug war ausreichend, um das theoretische Limit zu erreichen.

Wie haben sie es geschafft?

Sie entwarfen ein spezifisches „Spiel“ (ein Bell-Ungleichheits-Protokoll), das Alice und Bob spielen.

Der Aufbau: Alice und Bob teilen ein Paar verschränkter Quanten-Würfel.
Das Spiel: Alice und Bob würfeln mit spezifischen Einstellungen. Alice hat zwei Arten von Würfen, Bob hat viele.
Die Prüfung: Sie vergleichen ihre Ergebnisse. Wenn die Ergebnisse einem spezifischen, hoch korrelierten Muster entsprechen (der „maximalen Verletzung“), beweist dies zwei Dinge:
- Ihre Würfel sind perfekt verschränkt (wie ein Paar magischer Zwillinge).
- Ihre Messungen sind perfekt auf das „Geheimnis“ der Würfel abgestimmt.
Das Ergebnis: Da das Spiel beweist, dass das System perfekt ist, können sie mathematisch garantieren, dass die Ergebnisse ihrer endgültigen Würfe für jeden anderen völlig unvorhersehbar sind. Sie erhalten die vollen $2 \log(d)$ Bits an Zufälligkeit.

Ist es robust? (Der „Realwelt-Test“)

In einem perfekten Labor funktioniert alles perfekt. Aber in der realen Welt gibt es Rauschen (Statik, Interferenzen, unvollkommene Maschinen).

Die Autoren führten Computersimulationen durch, um zu sehen, was passiert, wenn das Experiment nicht perfekt ist.

Die Erkenntnis: Selbst mit ein wenig Rauschen erzeugt ihre Methode immer noch eine enorme Menge an Zufälligkeit.
Der Vergleich: Sie verglichen ihre Methode (unter Verwendung größerer Würfel, $d=3$ und $d=4$ ) mit der alten Standardmethode (unter Verwendung einer Münze, $d=2$ ).
Das Ergebnis: Ihre Methode ist robuster. Selbst wenn das Rauschen hoch ist, schaffen es die größeren Systeme ( $d=3, 4$ ) immer noch, mehr als 2 Bits an Zufälligkeit zu zertifizieren, während das einfache Münzsystem ( $d=2$ ) zu versagen beginnt.

Zusammenfassung

Diese Arbeit zeigt, dass man keine exotische, unmöglich zu bauende Technologie benötigt, um das maximale Maß an Sicherheit aus der Quantenzufälligkeit zu gewinnen. Indem man diese standardmäßigen, zuverlässigen Messwerkzeuge (projektive Messungen) auf Quantensysteme jeder Größe anwendet, kann man die absolut maximale Menge an privater, unvorhersehbarer Zufälligkeit zertifizieren, die durch die Gesetze der Physik erlaubt ist. Darüber hinaus hält diese Methode auch dann stand, wenn das Experiment nicht perfekt ist, was sie zu einem sehr praktischen Schritt nach vorn für die sichere Kommunikation macht.

Technische Zusammenfassung: Maximales globales geräteunabhängiges Zufallsverhalten durch projektive Messungen in jeder Dimension

Problemstellung
Die geräteunabhängige Quanten-Zufallszahlengenerierung (DIQRNG) ermöglicht die Zertifizierung privater Zufälligkeit basierend ausschließlich auf beobachteten Messstatistiken, ohne dass das interne Innenleben der Geräte bekannt sein muss. Während theoretisch etabliert ist, dass eine einzelne Partei maximal $2 \log(d)$ Bits an Zufälligkeit in einer lokalen Dimension $d$ unter Verwendung verallgemeinerter (nicht-projektiver) Messungen zertifizieren kann, ist die praktische Implementierung solcher Messungen eine Herausforderung. Projektive Messungen sind die experimentell am einfachsten umsetzbare Option. Es blieb jedoch eine kritische offene Frage: Kann das theoretische Maximum von $2 \log(d)$ Bits an globaler Zufälligkeit (gemeinsam für beide Parteien zertifiziert) unter Verwendung ausschließlich projektiver Messungen für alle Dimensionen $d \ge 2$ erreicht werden? Vorherige Ergebnisse, die dies bestätigten, waren auf den Qubit-Fall ( $d=2$ ) beschränkt.

Methodik
Die Autoren adressieren dies durch die Konstruktion expliziter DIQRNG-Protokolle, die auf einer Familie von Bell-Ungleichungen basieren, welche ursprünglich in Ref. [15] eingeführt und angepasst wurden, um eine spezifische Messung zur Generierung von Zufälligkeit zu enthalten.

Konstruktion der Bell-Ungleichung: Das Protokoll verwendet eine durch eine ganze Zahl $d \ge 2$ parametrisierte Bell-Ungleichung $\hat{W}_d(p)$ . In diesem Szenario:
- Hat Alice zwei Einstellungen ( $x \in \{1, 2\}$ ), jeweils mit $d$ Ausgängen.
- Bob hat $d^2 + 1$ Einstellungen. Die ersten $d^2$ Einstellungen werden verwendet, um die Verletzung der Basis-Ungleichung aus Ref. [15] zu maximieren, während die letzte Einstellung, bezeichnet als 'r', spezifisch für die Generierung von Zufälligkeit entworfen wurde.
- Die Ungleichung kombiniert Terme der ursprünglichen Ref. [15] mit einem neuen Term, der Bobs 'r'-Einstellung und Alices erste Einstellung beinhaltet.
Self-Testing und Zertifizierung: Die Autoren verwenden eine Sum-of-Squares (SOS)-Zerlegung des Bell-Operators, um den maximalen Quantenwert zu bestimmen, der $\sqrt{d(d-1)} + 1$ beträgt. Durch die Analyse der Bedingungen zur Erreichung dieser maximalen Verletzung leiten sie algebraische Nebenbedingungen für den Zustand und die Messungen ab:
- Der zugrunde liegende Zustand muss lokal isometrisch zu einem maximal verschränkten Zustand $|\phi^+_d\rangle$ in Dimension $d$ sein.
- Alices Messungen müssen spezifische algebraische Beziehungen erfüllen, die charakteristisch für komplementäre Basen (Mutually Unbiased Bases, MUBs) sind.
- Entscheidend ist, dass die Nebenbedingungen erzwingen, dass Bobs 'r'-Messoperatoren projektiv sind und perfekt korreliert mit den ersten Messoperatoren von Alice sind (über die Transposition in der Rechenbasis).
Entropieberechnung: Unter Verwendung dieser Self-Testing-Nebenbedingungen berechnen die Autoren den klassisch-quantenmechanischen Zustand $\sigma_{ABE}$ , der den Ergebnissen von Alices zweiter Einstellung und Bobs 'r'-Einstellung entspricht. Sie zeigen, dass für jeden Zustand und jede Messung, die mit der maximalen Verletzung kompatibel ist, die bedingte von-Neumann-Entropie $H(A, B|E)$ — welche die geräteunabhängige Zufälligkeit quantifiziert — gleich $\log(d^2) = 2 \log(d)$ ist.
Robustheitsanalyse: In Anerkennung dessen, dass experimentelle Imperfektionen eine exakte maximale Verletzung verhindern, berechnen die Autoren numerisch untere Schranken für die zertifizierte Zufälligkeit (Min-Entropie) in verrauschten Szenarien. Sie nutzen die Navascués-Pironio-Acín (NPA)-Hierarchie auf Ebene $1+AB$, um die Vermutungswahrscheinlichkeit für die Dimensionen $d=3$ und $d=4$ zu begrenzen und vergleichen diese mit der Standard-modCHSH-Ungleichung ( $d=2$ ).

Wesentliche Beiträge und Ergebnisse

Erreichung des theoretischen Maximums: Das Paper beweist, dass es für jede Dimension $d \ge 2$ möglich ist, das theoretische Maximum von $2 \log(d)$ Bits an globaler geräteunabhängiger Zufälligkeit unter Verwendung ausschließlich projektiver Messungen zu zertifizieren. Dies löst die offene Frage bezüglich des globalen Limits für projektive Messungen und erweitert das bisherige Wissen, welches auf $d=2$ beschränkt war.
Explizite Protokolle: Die Autoren stellen explizite Protokolle auf Basis komplementärer Basen bereit, die diesen Grenzwert erreichen. Die Protokolle beruhen auf einer spezifischen Bell-Ungleichung, deren maximale Verletzung zertifiziert, dass das System sich wie ein maximal verschränkter Zustand verhält, der in komplementären Basen gemessen wird.
Rauschrobustheit: Numerische Simulationen zeigen, dass die Protokolle robust gegenüber experimentellem Rauschen sind. Für die Dimensionen $d=3$ und $d=4$ übersteigt die zertifizierte Zufälligkeit 2 Bits (das Maximum für $d=2$ ) bei Rauschniveaus von $\eta \approx 0.997$ bzw. $\eta \approx 0.998$ . Diese Rauschniveaus sind vergleichbar mit den in aktuellen Qubit-Experimenten berichteten Werten, was darauf hindeutet, dass die Vorteile höherdimensionaler Systeme mit heutiger Technologie erreichbar sind.

Bedeutung
Die Arbeit etabliert, dass das theoretische Limit der geräteunabhängigen Zufallszahlengenerierung in jeder Dimension unter Verwendung der experimentell am leichtesten zugänglichen Art von Messung (projektiv) erreichbar ist. Durch den Nachweis, dass die globale Zufälligkeit als $2 \log(d)$ skaliert, motiviert das Paper die Nutzung höherdimensionaler Quantensysteme, um die Rate der sicheren Zufallszahlengenerierung zu maximieren, ohne komplexe nicht-projektive Messungen zu benötigen. Die Autoren merken an, dass analytische Techniken für robustes Self-Testing die Protokolle weiter stärken würden, die vorliegenden numerischen Belege jedoch die praktische Durchführbarkeit dieser Schemata bestätigen. Das Paper erkennt zudem an, dass ähnliche Ergebnisse hinsichtlich der Zertifizierung globaler Zufälligkeit unabhängig in Ref. [30] entwickelt wurden.

Das Problem: Wie viel Zufälligkeit können wir bekommen?

Der Durchbruch: Einfache Werkzeuge, maximale Ergebnisse

Wie haben sie es geschafft?

Ist es robust? (Der „Realwelt-Test“)

Zusammenfassung

Mehr davon