Non-stabilizerness and violations of CHSH inequalities

Technische Samenvatting: Niet-stabilisator-eigenschappen en Schendingen van CHSH-ongelijkheden

Probleemstelling
De schending van de Clauser-Horne-Shimony-Holt (CHSH)-ongelijkheden is een kenmerk van kwantum-niet-lokaliteit, traditioneel toegeschreven aan verstrengeling. Recente theoretische ontwikkelingen wijzen er echter op dat verstrengeling alleen onvoldoende is; niet-stabilisator-bronnen (vaak "magie" genoemd) zijn ook noodzakelijk om een kwantumvoordeel te behalen en deze ongelijkheden te schenden. Hoewel de noodzaak van deze bronnen is vastgesteld, blijft de specifieke structurele vereiste met betrekking tot hoe verstrengeling en niet-stabilisator-bronnen moeten samenwerken om een CHSH-schending mogelijk te maken, kwantitatief onkarakteriseerd. Specifiek is het onduidelijk of niet-stabilisator-bronnen lokaal of niet-lokaal moeten zijn, symmetrisch of asymmetrisch, en hoe deze eigenschappen de waarschijnlijkheid van schending onder imperfecte controle beïnvloeden.

Methodologie
De auteurs hanteren een bron-theoretisch kader waarbij de initiële staatvoorbereiding en meting als "bron-vrij" worden gedefinieerd. Ze beschouwen een bron-vrije voorbereiding $\omega_0 = |00\rangle\langle 00|$ en een bron-vrije CHSH-operator $B_0$ bestaande uit Pauli-metingen. Alle bronnen die nodig zijn voor een schending zijn gecodeerd in een unitaire evolutie $U$, zodanig dat de uiteindelijke staat $\omega_U = U\omega_0 U^\dagger$ is.

Om niet-stabilisator-bronnen te kwantificeren, gebruikt het artikel Stabilisator-entropie (SE), specifiek de 2-SE ($M_2$), gedefinieerd als de verschoven 2-Rényi-entropie van de waarschijnlijkheidsverdeling over Pauli-strings. De auteurs maken onderscheid tussen:

1. Totale Niet-stabilisator-eigenschap ($M_2$): De magie van de staat.
2. Niet-lokale Niet-stabilisator-eigenschap ($M_{NL}$): De hoeveelheid magie die niet kan worden verwijderd door lokale unitaire operaties, gedefinieerd als de minimale $M_2$ die bereikbaar is via lokale unitaire operaties.
3. Lokale Niet-stabilisator-eigenschap ($M_{LOC}$): Het verschil $M_2 - M_{NL}$.

De studie maakt gebruik van drie primaire analytische instrumenten:

• Theoretische Bewijzen: Het afleiden van noodzakelijke en voldoende voorwaarden voor CHSH-schendingen met behulp van eigenschappen van de Clifford-groep en stabilisator-staten.
• Haar-middeling: Het berekenen van de waarschijnlijkheid van schending voor willekeurige unitaire operaties en conditionele waarschijnlijkheden gegeven vaste bronwaarden (verstrengelingsentropie, $M_{NL}$, $M_{LOC}$).
• Isospectrale Twirling: Een techniek uit de representatietheorie om ensembles van unitaire operaties te construeren met vaste spectra (gecontroleerd door een "kern"-unitaire $U_c$) maar gerandomiseerde eigenvectoren (gemiddeld over een subgroep $G$, zoals de Clifford-groep of de volledige Unitaire groep) — dit modelleert scenario's met beperkte controle over de staatvoorbereiding.

Belangrijkste Bijdragen en Resultaten

1. Noodzaak van Niet-Stabilisator-bronnen:
   Het artikel bewijst (Theorem 1) dat noch zuivere noch gemengde stabilisator-staten (waarbij $M_2=0$) CHSH-ongelijkheden kunnen schenden, ongeacht de meetinstellingen. Bovendien, als de voorbereidings-unitaire een Clifford-operator is, blijft de resulterende staat een stabilisator-staat, en vindt er geen schending plaats.

2. Structurele Vereisten voor Schending:

   • Asymmetrie: Theorem 2 demonstreert dat als de unitaire voorbereiding $U$ symmetrisch is met betrekking tot de swap van qubits (commuteert met de swap-operator), er geen CHSH-schending mogelijk is. De bronnen moeten asymmetrisch zijn tussen Alice en Bob.
   • Lokaliteit van Magie: Tegenintuïtief bewijst het artikel dat niet-lokale niet-stabilisator-eigenschappen nadelig zijn voor CHSH-schendingen. Theorem 3 stelt een bovengrens aan de maximale CHSH-verwachtingswaarde $C(\theta)$ als functie van niet-lokale magie $M_{NL}$:
     $$C(\theta) \leq 2\sqrt{2} - \frac{\ln(2)}{\sqrt{2}} M_{NL}(\theta)$$
     Consequent voorkomt elke niet-nul $M_{NL}$ strikt dat de staat de Tsirelson-grens ($2\sqrt{2}$) bereikt. Om de schending te maximaliseren, moet de unitaire operatie lokale niet-stabilisator-eigenschappen injecteren ($M_{LOC}$). Theorem 4 bevestigt dat als $M_{LOC} = 0$, er geen schending mogelijk is.

3. Probabilistische Analyse via de Haar-maat:
   Numerieke simulaties op $5 \times 10^7$ Haar-willekeurige twee-qubit-staten onthullen:

   • De waarschijnlijkheid dat een willekeurige unitaire operatie de CHSH-ongelijkheid schendt, is ongeveer 2,51%.
   • Hoewel staten met een hoge $M_{NL}$ waarschijnlijker de ongelijkheid schenden dan staten met een lage $M_{NL}$, wordt de omvang van de schending onderdrukt door de aanwezigheid van $M_{NL}$.
   • De waarschijnlijkheid van schending is niet-monotoon met betrekking tot lokale magie ($M_{LOC}$); zeer hoge $M_{LOC}$ correleert vaak met een hoge $M_{NL}$ in willekeurige staten, wat de schending belemmert.

4. Isospectrale Twirling en Ensemble-constructie:
   De auteurs gebruiken isospectrale twirling om systematisch ensembles van unitaire operaties te construeren die de waarschijnlijkheid van schending maximaliseren onder beperkte controle.

   • Asymmetrische Twirling: Het middelen over de Clifford-groep of de volledige Unitaire groep op slechts één qubit (asymmetrisch) levert significant hogere waarschijnlijkheden van schending op vergeleken met symmetrische twirling over beide qubits.
   • Efficiëntie van Clifford-groepen: Verrassend genoeg levert het uitvoeren van isospectrale twirling over de Clifford-groep op een enkele qubit waarschijnlijkheden van schending op die vergelijkbaar zijn met die verkregen door te middelen over de volledige Unitaire groep, mits de kern-unitaire de nodige niet-stabilisator-bronnen bezit.
   • Robuustheid: De waarschijnlijkheid van schending blijkt meer afhankelijk te zijn van de asymmetrie van de twirling dan van de exacte hoeveelheid niet-stabilisator-eigenschappen, mits de kern-unitaire niet-Clifford is.

Betekenis
Het artikel biedt een kwantitatieve karakterisering van de "magie" die vereist is voor niet-lokaliteit. Het verschuift het begrip van CHSH-schendingen van een puur verstrengelings-gecentreerd perspectief naar een bron-theoretisch perspectief waarbij de structuur van niet-stabilisator-bronnen doorslaggevend is. De belangrijkste bevinding—dat niet-stabilisator-bronnen lokaal en asymmetrisch moeten zijn om CHSH-schendingen te faciliteren—daagt de naïeve intuïtie uit dat niet-lokale magie de primaire drijfveer van niet-lokaliteit is.

Door isospectrale twirling te gebruiken, biedt het werk een systematische methode voor het ontwerpen van kwantumcontroleprotocollen (ensembles van unitaire operaties) die robuust zijn tegen ruis en beperkte controle, specifiek gericht op hogere waarschijnlijkheden van het observeren van niet-lokale correlaties. Dit heeft implicaties voor experimentele opstellingen waarbij perfecte controle over unitaire evolutie onbereikbaar is, zoals in satelliet-gebaseerde kwantumexperimenten of systemen met imperfecte gate-fideliteiten. De resultaten suggereren dat zelfs met beperkte controle (bijv. het gebruik van Clifford-groepen), men hoog-waarschijnlijke schendingen kan realiseren als de asymmetrie en lokaliteit van de bronnen correct worden beheerd.