Non-stabilizerness and violations of CHSH inequalities

Sintesi Tecnica: Non-stabilizerness e Violazioni delle Disuguaglianze CHSH

Definizione del Problema
La violazione delle disuguaglianze di Clauser-Horne-Shimony-Holt (CHSH) è un segno distintivo della non-località quantistica, tradizionalmente attribuita all'entanglement. Tuttavia, recenti sviluppi teorici indicano che l'entanglement da solo è insufficiente; sono necessari anche risorse non-stabilizer (spesso definite "magic"). Sebbene la necessità di queste risorse sia stabilita, i requisiti strutturali specifici riguardanti come l'entanglement e le risorse non-stabilizer debbano interagire per consentire una violazione CHSH rimangono quantitativamente non caratterizzati. Nello specifico, non è chiaro se le risorse non-stabilizer debbano essere locali o non-locali, simmetriche o asimmetriche, e come queste proprietà influenzino la probabilità di violazione sotto un controllo imperfetto.

Metodologia
Gli autori adottano un quadro di teoria delle risorse in cui la preparazione dello stato iniziale e la misurazione sono definite come "privi di risorse". Considerano una preparazione priva di risorse $\omega_0 = |00\rangle\langle 00|$ e un operatore CHSH privo di risorse $B_0$ composto da misurazioni di Pauli. Tutte le risorse necessarie per una violazione sono codificate in un'evoluzione unitaria $U$ tale che lo stato finale sia $\omega_U = U\omega_0 U^\dagger$.

Per quantificare le risorse non-stabilizer, il documento impiega l'Entropia Stabilizer (SE), specificamente la 2-SE ($M_2$), definita come l'entropia di Rényi 2 traslata della distribuzione di probabilità sulle stringhe di Pauli. Gli autori distinguono tra:

1. Non-stabilizerness Totale ($M_2$): la magia dello stato.
2. Non-stabilizerness Non-locale ($M_{NL}$): la quantità di magia che non può essere rimossa tramite unitarie locali, definita come il valore minimo di $M_2$ ottenibile tramite operazioni unitarie locali.
3. Non-stabilizerness Locale ($M_{LOC}$): la differenza $M_2 - M_{NL}$.

Lo studio utilizza tre strumenti analitici primari:

• Dimostrazioni Teoriche: derivazione delle condizioni necessarie e sufficienti per le violazioni CHSH utilizzando le proprietà del gruppo di Clifford e degli stati stabilizer.
• Media di Haar (Haar Averaging): calcolo della probabilità di violazione per unitarie casuali e probabilità condizionate date i valori fissi delle risorse (entropia di entanglement, $M_{NL}$, $M_{LOC}$).
• Twirling Isospettrale: una tecnica dalla teoria delle rappresentazioni per costruire ensemble di unitarie con spettri fissi (controllati da un'unitaria "core" $U_c$) ma autovettori randomizzati (mediati su un sottogruppo $G$, come il gruppo di Clifford o il gruppo Unitario completo) che modella scenari con controllo limitato sulla preparazione dello stato.

Contributi Chiave e Risultati

1. Necessità di Risorse Non-Stabilizer:
   Il documento dimostra (Teorema 1) che né gli stati stabilizer puri né quelli misti (dove $M_2=0$) possono violare le disuguaglianze CHSH, indipendentemente dalle impostazioni di misurazione. Inoltre, se l'operatore di preparazione è un operatore di Clifford, lo stato risultante rimane uno stato stabilizer e non si verifica alcuna violazione.

2. Requisiti Strutturali per la Violazione:

   • Asimmetria: Il Teorema 2 dimostra che se l'unitaria di preparazione $U$ è simmetrica rispetto allo scambio dei qubit (commutando con l'operatore di swap), nessuna violazione CHSH è possibile. Le risorse devono essere asimmetriche tra Alice e Bob.
   • Località della Magia: Controintuitivamente, il documento dimostra che la non-stabilizerness non-locale è deleteria per le violazioni CHSH. Il Teorema 3 stabilisce un limite superiore sul valore di aspettativa CHSH massimo $C(\theta)$ come funzione della magia non-locale $M_{NL}$:
     $$C(\theta) \leq 2\sqrt{2} - \frac{\ln(2)}{\sqrt{2}} M_{NL}(\theta)$$
     Di conseguenza, qualsiasi $M_{NL}$ non nullo impedisce strettamente allo stato di raggiungere il limite di Tsirelson ($2\sqrt{2}$). Per massimizzare la violazione, l'unitaria deve iniettare non-stabilizerness locale ($M_{LOC}$). Il Teorema 4 conferma che se $M_{LOC} = 0$, nessuna violazione è possibile.

3. Analisi Probabilistica tramite Misura di Haar:
   Simulazioni numeriche su $5 \times 10^7$ stati a due qubit randomizzati tramite Haar rivelano che:

   • La probabilità che un'unitaria casuale violi il CHSH è approssimativamente del 2,51%.
   • Sebbene gli stati con alta $M_{NL}$ siano più propensi a violare la disuguaglianza rispetto a quelli con bassa $M_{NL}$, l'entità della violazione è soppressa dalla presenza di $M_{NL}$.
   • La probabilità di violazione è non monotona rispetto alla magia locale ($M_{LOC}$); una $M_{LOC}$ molto elevata è spesso correlata a una $M_{NL}$ elevata negli stati random, il che ostacola la violazione.

4. Twirling Isospettrale e Costruzione di Ensemble:
   Gli autori utilizzano il twirling isospettrale per costruire sistematicamente ensemble di unitarie che massimizzano la probabilità di violazione sotto un controllo limitato.

   • Twirling Asimmetrico: la media sul gruppo di Clifford o sul gruppo Unitario completo su un solo qubit (asimmetricamente) produce probabilità di violazione significativamente più elevate rispetto al twirling simmetrico su entrambi i qubit.
   • Efficienza dei Gruppi di Clifford: Sorprendentemente, eseguire il twirling isospettrale sul gruppo di Clifford su un singolo qubit produce probabilità di violazione comparabili a quelle ottenute mediando sul gruppo Unitario completo, a condizione che l'unitaria core possieda le necessarie risorse non-stabilizer.
   • Robustezza: Si scopre che la probabilità di violazione dipende maggiormente dall'asimmetria del twirling che dall'esatta quantità di non-stabilizerness, a condizione che l'unitaria core sia non-Clifford.

Significato
Il documento fornisce una caratterizzazione quantitativa della "magia" richiesta per la non-località. Sposta la comprensione delle violazioni CHSH da una visione puramente centrata sull'entanglement a una prospettiva di teoria delle risorse dove la struttura delle risorse non-stabilizer è fondamentale. La scoperta chiave — ovvero che le risorse non-stabilizer devono essere locali e asimmetriche per facilitare le violazioni CHSH — sfida l'intuizione ingenua secondo cui la magia non-locale sia il principale motore della non-località.

Utilizzando il twirling isospettrale, il lavoro offre un metodo sistematico per progettare protocolli di controllo quantistico (ensemble di unitarie) che siano robusti contro il rumore e il controllo limitato, puntando specificamente a probabilità più elevate di osservare correlazioni non-locali. Ciò ha implicazioni per configurazioni sperimentali in cui il controllo perfetto dell'evoluzione unitaria è irraggiungibile, come nei sistemi satellitari o in sistemi con fedeltà di gate imperfetta. I risultati suggeriscono che anche con un controllo ristretto (ad esempio, usando i gruppi di Clifford), è possibile ingegnerizzare alte probabilità di violazione se l'asimmetria e la località delle risorse sono gestite correttamente.