Causal inequalities witness non-stabilizerness

Technische Zusammenfassung: Kausale Ungleichungen als Zeugen von Nicht-Stabilisierbarkeit

Problemstellung
Die Arbeit befasst sich mit einer grundlegenden Diskrepanz innerhalb der Ressourcen-Theorie von „Magie“ (Nicht-Stabilisierbarkeit), die für die Realisierung universeller Quantenberechnungen jenseits des klassisch simulierbaren Stabilizer-Fragments (Gottesman-Knill-Theorem) essenziell ist. Konkret wird die Trennung zwischen zwei Definitionen freier Operationen untersucht:

1. Stabilizer-Operationen (SO): Operationen, die aus Clifford-Gates, Stabilizer-Zustandspräparationen und adaptiven Pauli-Messungen konstruiert werden können.
2. Vollständig Stabilizer-erhaltende Operationen (CSPO): Kanäle, die das Stabilizer-Polytop auch in Gegenwart eines Ancillas bewahren.

Obwohl etabliert ist, dass $SO \subsetneq CSPO$, wurden die operationalen Implikationen dieser Trennung nicht vollständig charakterisiert. Ein zentrales Phänomen, bezeichnet als „Nicht-Stabilisierbarkeit ohne Magie“ (NSWM) in Ref. [10], wurde identifiziert: Bestimmte Ensembles von Stabilizer-Zuständen (speziell das SHIFT-Ensemble) können mittels SO nicht perfekt diskriminiert werden, obwohl sie mittels SO präparierbar und mittels CSPO perfekt diskriminierbar sind. Die vorliegende Arbeit sucht nach einem prinzipiellen Verständnis von NSWM, indem sie notwendige und hinreichende Bedingungen für dessen Existenz bestimmt und dessen Beziehung zu kausalen Strukturen untersucht.

Methodik
Die Autoren analysieren das Problem der Zustandsdiskriminierung innerhalb der Stabilizer-Subtheorie für $n$-Qudit-Systeme primer Dimension $d$. Ihr Ansatz umfasst:

1. Formalisierung von Diskriminationsprotokollen: Sie definieren adaptive Stabilizer-Diskriminationsprotokolle als Sequenzen von Pauli-Messungen und Clifford-Operationen. Sie beweisen (Lemma 1), dass die Verwendung von Ancilla-Qudits keinen Vorteil für die Diskriminierung innerhalb dieses Rahmens bietet, was es ermöglicht, die Analyse auf Ancilla-freie Protokolle zu fokussieren.
2. Ableitung eines rekursiven Kriteriums: Sie führen die Stabilizer-Untergruppe $S_B$ ein, die mit einer Stabilizer-Basis $B$ assoziiert ist, definiert als der Schnitt der Stabilizer-Gruppen aller Zustände in der Basis. Sie stellen fest, dass $S_B$ alle deterministischen Messungen enthält. Hieraus leiten sie eine rekursive Bedingung (Theorem 1) ab, um zu bestimmen, ob eine Basis perfekt diskriminierbar ist.
3. Verknüpfung mit Prozessfunktionen: Für den spezifischen Fall von Stabilizer-Produktbasen (SPBs) nutzen die Autoren die bekannte Korrespondenz zwischen unambigen Produktbasen und „Prozessfunktionen“. Eine Prozessfunktion $\omega$ ist ein klassisches Modell, das beschreibt, wie Inputs durch Outputs in einer kausalen Schleife bestimmt werden. Sie bilden die Struktur eines SPB auf eine eindeutige Prozessfunktion ab, wobei die lokalen Basen der Qudits der funktionalen Abhängigkeit des Prozesses entsprechen.
4. Kausalanalyse: Sie analysieren die kausalen Eigenschaften dieser Prozessfunktionen. Ein Prozess ist „kausal“, wenn es eine Partei gibt, die in der globalen Vergangenheit aller anderen liegt (eine konstante Input-Komponente). Wenn keine solche Partei existiert, ist der Prozess „nichtkausal“.

Wesentliche Beiträge und Ergebnisse

• Theorem 1 (Allgemeines Kriterium): Die Autoren beweisen eine notwendige und hinreichende Bedingung dafür, dass eine Stabilizer-Basis $B$ mittels SO perfekt diskriminierbar ist. Eine Basis ist perfekt diskriminierbar, wenn und nur wenn $S_B \neq \{1\}$ ist und für jeden gemeinsamen Eigenwert $\chi$ der Generatoren von $S_B$ die resultierende Sub-Basis $B_\chi$ ebenfalls perfekt diskriminierbar ist.

  • Korollar: Wenn $S_B = \{1\}$, weist die Basis NSWM auf. Dies erklärt die NSWM des SHIFT-Ensembles, da dessen assoziierte Untergruppe trivial ist.

• Theorem 2 (Produktbasen und Kausalität): Durch Spezialisierung auf Stabilizer-Produktbasen (SPBs) beweisen die Autoren, dass ein SPB genau dann mittels SO perfekt diskriminierbar ist, wenn seine assoziierte Prozessfunktion kausal ist.

  • Umgekehrt weist ein SPB genau dann NSWM auf, wenn seine assoziierte Prozessfunktion nichtkausal ist.

• Korollar 2 (Kausale Ungleichungen): Da etabliert ist, dass jede nichtkausale Prozessfunktion eine kausale Ungleichung verletzt, schlussfolgern die Autoren, dass ein SPB genau dann NSWM aufweist, wenn seine assoziierte Prozessfunktion eine kausale Ungleichung verletzt.

Bedeutung und Ansprüche
Die Arbeit beansprucht, eine neue operationale Bedeutung für die Verletzung kausaler Ungleichungen zu liefern. Sie etabliert die Verletzung kausaler Ungleichungen als Zeugen von Nicht-Stabilisierbarkeit, einer Form der computationalen Nichtklassizität.

Die Autoren rahmen dies als einen Trade-off zwischen kausaler Ordnung und Nicht-Stabilisierbarkeit: Die Unfähigkeit, eine Stabilizer-Produktbasis allein mittels Stabilizer-Operationen perfekt zu diskriminieren (NSWM), ist untrennbar mit der nichtkausalen Natur der Prozessfunktion verknüpft, die diese Basis beschreibt. Durch das Zulassen von Kommunikation über nichtkausale Prozessfunktionen (wie im Prozess-Matrix-Framework modelliert), kann man die erforderlichen separablen Messungen implementieren, um diese Basen allein durch lokale Operationen perfekt zu diskriminieren.

Die Arbeit generalisiert frühere Beobachtungen von NSWM (speziell das SHIFT-Ensemble) auf beliebige Primdimensionen und liefert eine rigorose, notwendige und hinreichende Charakterisierung des Phänomens. Die Autoren merken an, dass die Ergebnisse zwar für Produktbasen abgeleitet wurden, das rekursive Kriterium (Theorem 1) jedoch für allgemeine Stabilizer-Basen gilt, einschließlich verschränkter Zustände. Sie lassen die Frage offen, ob NSWM-Ensembles verschränkter Zustände existieren, die nicht Clifford-äquivalent zu Produktbasen sind, wobei sie darauf hinweisen, dass ein solcher Fall eine Lockerung der Annahmen logischer Konsistenz in der kausalen Interpretation erfordern würde.