⚛️ quantum physics

Sequential Semi-Device-Independent Quantum Randomness Certification

Dieses Paper präsentiert ein allgemeines Framework und numerische Methoden, einschließlich eines semidefiniten Programmieransatzes für Min-Tradeoff-Funktionen, um Zufälligkeit in sequenziellen semi-geräteunabhängigen Szenarien unter Verwendung von Maximum-Confidence-Messungen zu zertifizieren und damit deren Fähigkeit aufzuzeigen, Zufälligkeit gegen adaptive Angriffe zu verteilen und zu zertifizieren.

Ursprüngliche Autoren: Carles Roch I Carceller, Hanwool Lee, Jonatan Bohr Brask, Kieran Flatt, Joonwoo Bae

Veröffentlicht 2026-09-07

📖 6 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Carles Roch I Carceller, Hanwool Lee, Jonatan Bohr Brask, Kieran Flatt, Joonwoo Bae

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

In der Welt der Physik ist die zuverlässigste Quelle echter Zufälligkeit die Quantenwelt. Im Gegensatz zu einem Münzwurf, der nur deshalb unvorhersehbar ist, weil wir den Wind oder die Kraft des Daumens nicht perfekt messen können, ist ein Quantenereignis grundlegend unvorhersehbar. Diese inhärente Unsicherheit ist kein Fehler unserer Werkzeuge, sondern ein Merkament der Natur selbst. Jahrzehntelang haben Wissenschaftler versucht, diese Unvorhersehbarkeit zu nutzen, um unknackbare Codes und sichere Kommunikation zu erschaffen. Es ist jedoch schwierig, zu verifizieren, dass ein Gerät tatsächlich diese Art von Zufälligkeit erzeugt. Wenn wir dem Gerät vollkommen vertrauen, könnten wir von einem geschickten Trickser getäuscht werden, der die Maschine so vorprogrammiert hat, dass sie zufällig erscheint, während sie in Wirklichkeit einem geheimen Skript folgt. Wenn wir jedoch einen Beweis dafür fordern, dass sich das Gerät auf eine Weise verhält, die jeder klassischen Logik trotzt, werden die experimentellen Anforderungen so streng, dass sie in einem echten Labor nahezu unmöglich zu erfüllen sind. Dies lässt Forscher nach einem Mittelweg suchen: einem Weg, die Zufälligkeit mit weniger Annahmen über die internen Vorgänge der Maschinen zu zertifizieren, um den Prozess für die alltägliche Technologie praktikabel zu machen.

Ein Team von Physikern hat nun eine neue Methode entwickelt, um dieses Problem zu lösen, indem es untersucht, wie Quanteninformationen durch eine Kette von Beobachtern fließen. Stellen Sie sich vor, ein einzelnes Quantenteilchen wird von einer Person zur nächsten weitergereicht, wobei jede Person es misst und dann den verbleibenden Zustand des Teilchens an die nächste Person weitergibt. In diesem neuen Rahmen zeigten die Forscher, dass es möglich ist, zu zertifizieren, dass jede Person in der Kette ihre eigene, einzigartige, zertifizierte Zufälligkeit erzeugt, selbst wenn die von ihnen verwendeten Geräte nicht voll vertrauenswürdig sind. Der Schlüssel zu dieser Entdeckung liegt in einer speziellen Art von Messung, der sogenannten „Maximum Confidence“-Messung (Messung mit maximaler Zuversicht). Dies ist eine Strategie, bei der ein Beobachter versucht, einen Quantenzustand mit der höchstmöglichen Gewissheit zu identifizieren, wobei er akzeptiert, dass er manchmal zugeben muss, dass er nicht zwischen zwei Optionen unterscheiden kann. Die Forscher fanden heraus, dass durch die Anwendung dieses Ansatzes die in der Unfähigkeit begründete „Zufälligkeit“, zwischen Quantenzuständen perfekt zu unterscheiden, über mehrere Personen in einer Sequenz geteilt und verifiziert werden kann, anstatt durch die erste Person, die danach sieht, konsumiert zu werden.

Die Forscher entwickelten einen allgemeinen mathematischen Rahmen, um diese Idee zu testen, wobei sie sich auf ein Szenario konzentrierten, in dem ein Sender einen Quantenzustand vorbereitet und ihn an einen ersten Empfänger sendet, der ihn misst und das Ergebnis an einen zweiten Empfänger weitergibt. Sie betrachteten zwei Ebenen des Vertrauens. Im ersten, idealisierteren Szenario gingen sie davon aus, dass die Zustände der Teilchen nach der ersten Messung bekannt und fixiert waren. In diesem Fall konnten sie beweisen, dass beide Empfänger zertifizierte Zufälligkeit generieren können. Um die Methode jedoch für den realen Gebrauch robust zu machen, wechselten sie zu einem zweiten, anspruchsvolleren Szenario, in dem sie nichts darüber annahmen, was mit dem Teilchen nach der ersten Messung geschah. Sie vertrauten lediglich auf die ursprüngliche Präparation der Teilchen. Selbst mit diesen wesentlich geringeren Informationen bewiesen sie, dass Zufälligkeit dennoch zertifiziert werden konnte. Sie erreichten dies, indem sie die gesamte Kette der Operationen als einen einzigen, komplexen Prozess behandelten und fortschrittliche Computeralgorithmen verwendeten, um die Grenzen zu berechnen, innerhalb derer ein Lauscher (Eavesdropper) die Ergebnisse möglichst gut erraten könnte.

Einer der bedeutendsten Funde der Studie ist die Existenz eines empfindlichen Gleichgewichts, das für das Funktionieren dieses Teilens von Zufälligkeit erforderlich ist. Die Forscher entdeckten, dass die Kette unterbrochen wird, wenn die ursprünglichen Quantenzustände zu ähnlich sind oder wenn der erste Empfänger zu aggressiv versucht, Informationen zu extrahieren. Insbesondere fanden sie heraus, dass es einen kritischen Schwellenwert dafür gibt, wie oft ein Empfänger sagen muss: „Ich weiß es nicht“. Wenn der erste Empfänger versucht, den Zustand zu oft zu erraten, ohne die Unsicherheit zuzugeben, konsumiert er die gesamte verfügbare Zufälligkeit und lässt nichts für die nächste Person übrig. Das Team berechnete präzise Grenzen für dieses Verhalten und zeigte, dass für eine Kette von Messungen, die gleichzeitig zertifizierte Zufälligkeit produzieren sollen, die ursprünglichen Zustände unterscheidbar genug sein müssen und die Rate der „unentschiedenen“ Ergebnisse innerhalb eines bestimmten Bereichs liegen muss. Wenn diese Bedingungen erfüllt sind, ist die Zufälligkeit keine endliche Ressource, die nach dem ersten Gebrauch aufgebraucht ist, sondern eine Eigenschaft, die über die gesamte Kette verteilt und verifiziert werden kann.

Die Studie befasste sich auch mit der Bedrohung durch adaptive Angriffe, bei denen ein böswilliger Beobachter versuchen könnte, aus vorangegangenen Runden zu lernen, um seine Vermutungen in zukünftigen Runden zu verbessern. Durch den Einsatz einer Technik, die die Sequenz der Messungen als eine Einheit betrachtet, zeigten die Forscher, dass ihre Methode selbst gegen solch raffinierte Strategien sicher bleibt. Sie demonstrierten, dass die Menge der zertifizierten Zufälligkeit, die über viele Runden hinweg akkumuliert werden kann, durch eine spezifische mathematische Funktion begrenzt ist, was die Sicherheit gewährleistet, selbst wenn die Kette länger wird. Ihre Simulationen ergaben, dass es zwar möglich ist, die Zufälligkeit für wenige Personen in einer Sequenz zu zertifizieren, die Anforderungen jedoch mit zunehmender Anzahl der Personen immer strenger werden. Schließlich werden die Bedingungen so anspruchsvoll, dass es praktisch unmöglich wird, die Zufälligkeit für eine sehr lange Kette von Beobachtern zu zertifizieren, was darauf hindeutet, dass es eine natürliche Grenze für die Ausdehnung dieser spezifischen Art der Verteilung gibt.

Diese Arbeit stellt einen bedeutenden Schritt dar, um die Zertifizierung von Quantenzufälligkeit praktikabel zu machen. Indem sie sich von der Notwendigkeit der perfekten Kenntnis jedes Geräts abwandten und stattdessen auf die fundamentalen Grenzen der Unterscheidbarkeit von Quantenzuständen vertrauten, haben die Forscher ein Toolkit bereitgestellt, das auf reale Systeme angewendet werden kann. Die von ihnen entwickelten Methoden, die auf der Lösung komplexer Optimierungsprobleme auf einem Computer basieren, sind darauf ausgelegt, das Rauschen und die Unvollkommenheiten realer Experimente zu handhaben. Dies bedeutet, dass zukünftige Geräte, vielleicht gebaut auf integrierten photonischen Chips oder optischen Systemen, diese Techniken nutzen könnten, um sichere Zufallszahlen zu generieren und zu verifizieren, ohne jedem Bestandteil ihrer Hardware vertrauen zu müssen. Die Ergebnisse bestätigen, dass die Unvorhersehbarkeit der Quantenwelt eine geteilte Ressource ist, die unter mehreren Parteien verteilt und verifiziert werden kann, sofern der Informationsfluss mit dem richtigen Gleichgewicht zwischen Gewissheit und Unsicherheit gesteuert wird.

Technische Zusammenfassung: Sequenzielle semi-geräteunabhängige Quantenzufallszertifizierung

Problemstellung
Quantensysteme sind natürliche Quellen von Zufälligkeit aufgrund der inhärenten Unvorhersehbarkeit von Quantenmessungen. Während geräteunabhängige Protokolle, die auf der Bellschen Nichtlokalität basieren, starke Sicherheitsgarantien bieten, stellen sie strenge experimentelle Anforderungen. Im Gegensatz dazu senken semi-geräteunabhängige (SDI) Prepare-and-Measure-Szenarien diese Anforderungen, indem sie Annahmen über die interne Funktionsweise der Geräte treffen, doch sie haben oft Schwierigkeiten, die Zufälligkeit unter realistischen Bedingungen zu zertifizieren, in denen Messungen unvollständige oder nicht detektierte Ereignisse liefern können.

Eine spezifische Herausforderung ergibt sich in sequenziellen Szenarien, in denen ein Quantenzustand durch einen ersten Beobachter (Bob) gemessen wird, der dann den Post-Mess-Zustand an einen zweiten Beobachter (Charlie) und potenziell weitere Parteien weitergibt. In solchen Ketten begrenzen Quanteneigenschaften wie die Monogamie nichtlokaler Korrelationen und das No-Cloning-Theorem die Ausdehnung von Zufälligkeit auf mehrere Parteien. Darüber hinaus hat die bestehende Literatur zur sequenziellen Zustandsdiskriminierung (z. B. unambiguous oder maximum-confidence discrimination) noch nicht vollständig adressiert, wie die Zertifizierung von Zufälligkeit behandelt werden kann, wenn Messungen unvollkommen sind, unvollständige Ereignisse auftreten und die internen Funktionsweisen der Geräte uncharakterisiert sind. Das Kernproblem besteht darin, einen Rahmen zu etablieren, der die Menge der extrahierbaren Zufälligkeit für mehrere sequenzielle Beobachter unter realistischen semi-geräteunabhängigen Annahmen begrenzen und zertifizieren kann.

Methodik
Die Autoren entwickeln einen allgemeinen Rahmen und numerische Werkzeuge, um die zertifizierbare Zufälligkeit in sequenziellen Prepare-and-Measure-Szenarien mittels Maximum Confidence Measurements (MCM) zu begrenzen. Die Arbeit geht in zwei unterschiedliche Ansätze über:

Vertrauenswürdige Zustandsvorbereitungen (Messgeräteunabhängig):
- Annahmen: Alle Zustandsvorbereitungen, einschließlich der Post-Mess-Zustände, die von Bob an Charlie weitergegeben werden, sind vollständig bekannt und vertrauenswürdig. Die Messungen sind völlig uncharakterisiert.
- Technik: Die Autoren formulieren das Problem der Begrenzung der Guessing-Wahrscheinlichkeit von Eve ( $p_g$ ) als semidefinites Programm (SDP). Durch die Nutzung der SDP-Dualität leiten sie analytische Schranken für die Min-Entropie ( $H_{min} = -\log_2 p_g$ ) ab. Diese duale Formulierung ist entscheidend für die experimentelle Robustheit, da sie sicherstellt, dass eine Lösung existiert, selbst wenn die beobachteten Häufigkeiten nicht einer perfekten physikalischen Realisierung entsprechen.
Nicht vertrauenswürdige Zustandsvorbereitungen (Semi-Geräteunabhängig):
- Annahmen: Post-Mess-Zustände und Zwischenoperationen sind völlig uncharakterisiert. Die einzige Annahme ist, dass Alices initiale reine Zustandsvorbereitungen eine beschränkte paarweise Überlappung aufweisen ( $|\langle \psi_x | \psi_{x'} \rangle| \ge \delta$ ).
- Technik: Um den Mangel an Wissen über die Zwischenzustände zu handhaben, definieren die Autoren einen kompakten Operator $G_{b,c} = K_b N_c K_b^\dagger$ , der alle sequenziellen Operationen (Bobs Messung und Zustandsaktualisierung, gefolgt von Charlies Messung) in ein einziges effektives POVM kapselt.
- Entropie-Akkumulation: Diese kompakte Darstellung ermöglicht es dem Rahmenwerk, nicht-identisch und nicht-unabhängig verteilte (non-i.i.d.) Angriffe zu adressieren. Die Autoren leiten Min-Tradeoff-Funktionen via SDP-Dualität ab, um die Shannon-Entropie zu begrenzen. Dies ermöglicht die Anwendung des Entropy Accumulation Theorems (EAT), welches notwendig für Sicherheitsbeweise gegen adaptive Angriffsstrategien ist, bei denen Eve Informationen aus vorangegangenen Runden sammelt, um zukünftige Vermutungen zu verbessern.

Wesentliche Beiträge und Ergebnisse

Allgemeiner Rahmen für sequenzielle Zufälligkeit: Die Arbeit etabliert eine rigorose Methode zur Zertifizierung von Zufälligkeit, die über eine Kette sequenzieller Messungen verteilt ist. Sie zeigt, dass Zufälligkeit, die aus der Ununterscheidbarkeit nicht-orthogonaler Zustände resultiert, unter mehreren Parteien geteilt werden kann.
Duale SDP-Formulierungen: Die Autoren stellen vielseitige numerische Methoden bereit, um Schranken sowohl für die Min-Entropie (für Single-Shot-Zufälligkeit) als als auch für die Shannon-Entropie (für Non-i.i.d.-Szenarien) zu berechnen. Die Verwendung dualer SDPs stellt sicher, dass das Rahmenwerk auf reale experimentelle Daten anwendbar ist, bei denen die Constraints möglicherweise nicht perfekt erfüllt sind.
Zertifizierungsbedingungen für zwei Parteien: In einem Zwei-Parteien-Szenario (Bob und Charlie) analysieren die Autoren den Tradeoff zwischen der Rate der unvollständigen Ereignisse ( $Q$ $Q$ ) und der zertifizierbaren Zufälligkeit. Sie identifizieren kritische Schwellenwerte:
- Wenn die Rate der unvollständigen Ereignisse zu hoch ist, können die beobachteten Statistiken durch deterministische Strategien reproduziert werden, was eine zertifizierbare Zufälligkeit von Null ergibt.
- Es existiert ein spezifischer Bereich für die Raten unvollständiger Ereignisse, in dem Zufälligkeit gleichzeitig für Bob und Charlie zertifiziert werden kann.
Erweiterung auf $N$ sequenzielle Messungen: Die Autoren verallgemeinern die Zwei-Parteien-Analyse auf eine beliebige Anzahl $N$ $N$ sequenzieller Messungen. Sie leiten eine hinreichende Bedingung (Gl. 26) ab, um Zufälligkeit in allen $N$ $N$ Geräten gleichzeitig zu zertifizieren.
- Numerische Schranken: Durch numerische Suche bestimmen sie eine Schranke für das Produkt aus der Reinheit ( $r$ ) und der Überlappung ( $\delta$ ) der initialen Zustände, bezeichnet als $r\delta \le \Delta$ . Wenn $N$ steigt, sinkt $\Delta$ rapide, was darauf hindeutet, dass die Zertifizierung von Zufälligkeit in langen sequenziellen Ketten praktisch unmöglich wird, sofern die initialen Zustände nicht hochgradig unterscheidbar sind.
Resilienz gegenüber adaptiven Angriffen: Durch die Berechnung von Min-Tradeoff-Funktionen kann das Rahmenwerk erfolgreich die Zufälligkeit gegen adaptive Eavesdropping-Strategien begrenzen, was einen signifikanten Fortschritt gegenüber bisherigen, nur auf i.i.d. basierenden sequenziellen Modellen darstellt.

Bedeutung und Behauptungen
Das Paper behauptet, ein hinreichendes Kriterium zu liefern, das zeigt, dass Maximum Confidence Measurements die Verteilung und Zertifizierung von Zufälligkeit über eine sequenzielle Messungskette ermöglichen. Die Bedeutung der Arbeit liegt in:

Abschwächung der Annahmen: Es schließt die Lücke zwischen voll geräteunabhängigen und voll vertrauenswürdigen Modellen und bietet ein praktisches SDI-Rahmenwerk, bei dem nur minimale Annahmen (beschränkte Überlappung der initialen Zustände) erforderlich sind.
Umgang mit Realismus: Das Rahmenwerk berücksichtigt explizit unvollständige Ereignisse und experimentelle Imperfektionen, wodurch es für reale Implementierungen geeignet ist, in denen eine perfekte Zustandsdiskriminierung unmöglich ist.
Fundamentale Erkenntnis: Es klärt die Verbindung zwischen sequenzieller Zustandsdiskriminierung und Zufallsverteilung und zeigt, dass Quantenunvorhersehbarkeit keine isolierte Eigenschaft einer einzelnen Messung ist, sondern sequenziell geteilt werden kann.
Praktische Anwendbarkeit: Die Autoren merken an, dass sequenzielle Prepare-and-Measure-Szenarien mit moderaten experimentellen Ressourcen (z. B. integrierten photonischen Plattformen) realisiert werden können und dass ihre Methoden unmittelbar auf Szenarien mit Energiebeschränkungen oder andere semi-geräteunabhängige Rahmenwerke anwendbar sind.

Die Autoren kommen zu dem Schluss, dass zwar die Fähigkeit zur Zertifizierung von Zufälligkeit abnimmt, wenn die Anzahl der sequenziellen Parteien steigt, ihr Rahmenwerk jedoch die notwendigen Werkzeuge bereitstellt, um diese verteilte Unvorhersehbarkeit zu quantifizieren und zu zertifizieren, was potenziell den Weg für Anwendungen in der semi-geräteunabhängigen Quantenschlüsselverteilung und Multi-Party-Kryptographie ebnet.

Mehr davon