Anti-distinguishability of quantum channels

In der Welt der Quantenphysik betrachten Wissenschaftler das Verhalten eines Systems oft wie ein Rätsel, das gelöst werden muss. Sie haben eine Liste möglicher Erklärungen dafür, wie eine Maschine funktioniert – vielleicht läuft sie nach einer von mehreren verschiedenen internen Regeln oder „Dynamiken“. Das Standardziel besteht darin, genau die Regel zu identifizieren, die gerade angewendet wird. Um dies zu erreichen, senden Forscher eine Sonde, einen spezifischen Quantenzustand, durch das Gerät und messen das Ergebnis. Wenn das Ergebnis einzigartig für eine bestimmte Regel ist, können sie die Antwort präzise bestimmen. In vielen realen Situationen ist es jedoch zu schwierig, die exakte Antwort zu finden, oder es erfordert Ressourcen, die schlichtweg nicht existieren. Manchmal ist das Nützlichste, was ein Wissenschaftler tun kann, nicht zu sagen, was passiert, sondern mit absoluter Gewissheit zu sagen, was nicht passiert. Dies ist die Kunst des Ausschlussverfahrens: Möglichkeiten nacheinander auszuschließen, bis die verbleibenden Optionen klar sind, selbst wenn der endgültige Gewinner noch nicht identifiziert wurde.

Dieser Ansatz, bekannt als Anti-Ununterscheidbarkeit, wurde lange Zeit für statische Quantenzustände untersucht, doch eine neue Studie von Ardra Ajitha Vijayan und Nidhin Sudarsanan Ragini bringt dieses Konzept in die dynamische Welt der Quantenkanäle. Ein Quantenkanal ist die mathematische Beschreibung dessen, wie sich ein System über die Zeit verändert, ähnlich einem Tor, das einen Input in einen Output transformiert. Die Forscher stellten eine fundamentale Frage: Wenn man eine Sammlung mehrerer möglicher Kanäle besitzt, kann man ein einzelnes Experiment entwerfen, das garantiert, dass jedes mögliche Ergebnis mindestens einen Kandidaten ausschließt? Sie fanden heraus, dass die Antwort stark von der Struktur der Kanäle und der Art der Sonde abhängt. Ihre Arbeit zeigt, dass es oft einfach ist, eine einzelne Option auszuschließen, aber das Ausschließen aller Optionen mit einem einzigen Durchgang ein viel strengeres Spiel ist, das von starren geometrischen Regeln bestimmt wird, die durch das bloße Vorhandensein von Rauschen gebrochen werden können.

Das Team konzentrierte sich auf zwei Ebenen dieser Ausschlussaufgabe. Die erste, die sie als „schwachen“ Ausschluss bezeichnen, erfordert, dass für jedes mögliche Messergebnis, das man erhalten könnte, mindestens ein Kanal in der Liste vorhanden ist, der dieses nicht hätte erzeugen können. Der zweite, der „starke“ Ausschluss, ist ein wesentlich härterer Standard: Er erfordert, dass für jeden Kanal in der Liste ein Messergebnis existiert, das nur eintreten könnte, wenn dieser spezifische Kanal nicht derjenige wäre, der gerade aktiv ist. Mit anderen Worten: Beim starken Ausschluss muss jeder einzelne Kandidat in der Lage sein, durch ein bestimmtes Ergebnis ausgeschlossen zu werden. Die Forscher bewiesen, dass diese beiden Ideen für ein Paar von Kanälen dasselbe sind wie das perfekte Unterscheiden der beiden. Doch sobald man drei oder mehr Kanäle hat, ändern sich die Regeln. Es wird möglich, Kandidaten auszuschließen, ohne den Gewinner identifizieren zu können, und es wird möglich, einige Kandidaten auszuschließen, aber nicht alle.

Eine bedeutende Entdeckung der Arbeit ist, dass die physikalische Natur der Kanäle selbst als Gatekeeper fungiert. Wenn ein Kanal „Vollrang“ besitzt – das heißt, er bewahrt alle Informationen des Inputs auf eine Weise, die seinen Output wie einen vollkommen gemischten, verrauschten Zustand aussehen lässt –, kann er nicht ausgeschlossen werden. Wenn auch nur ein einziger Kandidat in einer Gruppe dieser Art eines robusten, verrauschten Kanals ist, kann man niemals ein Experiment entwerfen, das ihn mit Gewissheit ausschließt. Dies liegt daran, dass ein solcher Kanal einen Output produziert, der mit allem anderen überlappt. Die Forscher zeigten, dass zur Erreichung des starken Ausschlusses jeder einzelne Kandidat „rangdefizient“ sein muss, was bedeutet, dass sie alle einen Teil ihres Output-Raums leer oder ungenutzt hinterlassen müssen. Wenn auch nur ein einziger Kandidat den gesamten Raum ausfüllt, scheitert die Ausschlussaufgabe.

Die Studie untersuchte auch, wie die Wahl der Sonde – der in den Kanal gesendete Input-Zustand – von Bedeutung ist. In vielen Quantenaufgaben bietet die Verwendung eines speziellen verschränkten Zustands, bei dem die Sonde mit einem Hilfssystem gekoppelt ist, einen enormen Vorteil. Hier waren die Ergebnisse überraschender. Für bestimmte Familien von Kanälen, wie etwa jene, die den Input einfach durch einen festen Zustand ersetzen (Replacer-Kanäle), hängt die Fähigkeit zum Ausschluss vollständig von den ersetzten Zuständen ab, nicht von der Sonde. Wenn die ersetzten Zustände ausgeschlossen werden können, können auch die Kanäle ausgeschlossen werden, und dies kann mit einer einfachen, unverschränkten Sonde erfolgen. Für andere Familien hingegen, wie etwa Mess-und-Bereite-Kanäle (Measure-and-Prepare), ist die Wahl der Sonde entscheidend. Die Forscher fanden Fälle, in denen eine einfache, unverschränkte Sonde den perfekten Ausschluss ermöglichte, während die leistungsfähigsten, verschränkten Sonden völlig versagten. Dies geschieht, weil die verschränkte Sonde das Experiment dazu zwingt, den Kanal auf eine Weise zu betrachten, die die Unterschiede, die für den Ausschluss nötig wären, verschwimmen lässt.

Einer der bemerkenswertesten Anwendungen ihrer Erkenntnisse betrifft „unbeschriftete“ Messungen. Stellen Sie sich ein Gerät vor, das ein Quantensystem misst und ein Ergebnis liefert, aber die Beschriftungen der Ergebnisse sind vertauscht. Sie wissen, dass das Gerät drei mögliche Ausgaben hat, aber Sie wissen nicht, welcher physikalische Effekt dem jeweiligen Label entspricht. Die Forscher zeigten, dass man jede mögliche Zuweisung der Labels ausschließen kann, wenn und nur wenn mindestens einer der Messeffekte „rangdefizient“ ist. Wenn jeder Effekt robust und vollständig ist, kann keine noch so kluge Sondierung die Labels entwirren. Aber wenn ein Effekt schwach oder unvollständig ist, kann eine spezifische Sonde gewählt werden, um diesen Effekt unmöglich zu machen, wodurch sofort alle Label-Zuweisungen ausgeschlossen werden, die diesen Effekt erfordert hätten.

Das Paper befasste sich auch mit dem Problem des „gemeinsamen Rauschens“. Wenn jeder Kanal in einer Liste mit ein wenig desselben zufälligen Rauschens vermischt wird, verschwindet die Fähigkeit, sie auszuschließen. Selbst wenn das Rauschen sehr gering ist, solange es in jedem einzelnen Kandidaten vorhanden ist, kann kein Experiment sie mit Gewissheit ausschließen. Dies deutet darauf hin, dass in der realen Welt, in der Rauschen unvermeidlich ist, perfekter Ausschluss für viele Ensembles unmöglich sein könnte, sofern das Rauschen nicht sorgfältig kontrolliert oder eliminiert wird.

Schließlich betrachteten die Forscher eine spezifische Klasse von Quantengattern, die sogenannten Phasen-Gates, welche die Phase eines Quantenzustands verschieben. Sie fanden heraus, dass bei diesen Gates die Fähigkeit, Kandidaten auszuschließen, von der geometrischen Anordnung ihrer Phasen auf einem Kreis abhängt. Wenn die Phasen so angeordnet sind, dass ihr Durchschnittspunkt auf das Zentrum des Kreises zeigt, ist ein Ausschluss möglich. Wenn sie jedoch geclustert sind, ist dies nicht der Fall. Bemerkenswerterweise bewiesen die Forscher für diese spezifische Familie, dass man niemals eine verschränkte Sonde benötigt; ein einfacher, unverschränkter Input reicht immer aus, um den bestmöglichen Ausschluss zu erreichen.

Zusammenfassend zeichnet diese Arbeit die Grenzen dessen nach, was möglich ist, wenn man versucht, Quantendynamiken auszuschließen. Sie stellt fest, dass Ausschluss nicht nur eine schwächere Version der Identifizierung ist, sondern eine eigenständige Aufgabe mit ihren eigenen strengen Anforderungen. Die Fähigkeit, einen Kanal auszuschließen, hängt davon ab, ob der Kanal einen Teil der Quantenwelt unberührt lässt, ob die Gruppe der Kanäle eine gemeinsame Rauschquelle teilt und ob die Sonde passend zur spezifischen Geometrie des Problems gewählt wurde. Diese Ergebnisse liefern eine klare Anleitung für Experimentalisten: Wenn Sie zertifizieren wollen, dass sich ein System auf eine bestimmte Weise nicht verhält, müssen Sie zuerst prüfen, ob das System selbst einen solchen Nachweis zulässt, und falls ja, müssen Sie Ihre Sonde mit chirurgischer Präzision wählen.