Post-selection games

Sintesi Tecnica di "Post-selection games"

Problematica
Il saggio affronta i limiti dei giochi non locali tradizionali e delle prove possibilistiche di non-località, come il paradosso di Hardy. Mentre prove come GHZ-Mermin permettono la "pseudo-telepatia" (vincere con certezza), prove simili a quelle di Hardy si basano sulla non-località possibilistica — dimostrando che certi eventi sono possibili o impossibili piuttosto che fare affidamento su disuguaglianze statistiche. Tuttavia, i test sperimentali standard del paradosso di Hardy affrontano due problemi principali:

1. Impossibilità della Prova: Non è possibile provare sperimentalmente che un evento sia strettamente impossibile; osservare una frequenza pari a zero non garantisce l'impossibilità.
2. Potere Statistico Subottimale: Quando gli sperimentatori tentano di testare il paradosso di Hardy utilizzando le classiche disuguaglianze di Bell (come la disuguaglianza CH), i giochi risultanti spesso non massimizzano la violazione per le correlazioni che soddisfano le condizioni di Hardy, portando a una debole evidenza statistica contro i modelli di variabili nascoste locali (LHV).

Gli autori propongono che questi problemi derivino dall'incapacità dei giochi non locali tradizionali di formalizzare naturalmente le prove possibilistiche in cui specifici eventi vengono scartati anziché contati come vittorie o perdite.

Metodologia
Gli autori introducono i giochi di post-selezione (post-selection games), una generalizzazione dei giochi non locali definiti da tre funzioni: la distribuzione degli input $\mu(x,y)$, la funzione di vittoria $V(a,b,x,y)$ e la funzione di post-selezione $S(a,b,x,y)$.

• Meccanismo: In ogni round, il referee può dichiarare il round come una vittoria, una perdita o scartato (post-selezionato fuori). La probabilità di vincita è definita come la probabilità condizionata di vincere dato che il round non è stato scartato:
  $$\omega_G(P) = \frac{\langle V_\mu, P \rangle}{\langle S_\mu, P \rangle}$$
  dove $P$ è il comportamento (distribuzione di probabilità condizionata), e il denominatore rappresenta la probabilità di una post-selezione avvenuta con successo.
• Formalizzazione del Paradosso di Hardy: Gli autori mappano il paradosso di Hardy in un gioco di post-selezione dove la post-selezione avviene solo sugli eventi specifici coinvolti nel paradosso ($E_{Hardy}$), e la condizione di vittoria è l'evento specifico che la meccanica quantistica prevede essere non nullo mentre le teorie locali prevedono sia zero.
• Framework Computazionale:
  • Limite Locale: Gli autori dimostrano che il limite locale di un gioco di post-selezione è una funzione quasi-convessa massimizzata nei punti estremi (vertici) del politopo locale con probabilità di post-selezione non nulla. Ciò consente di calcolare il limite locale testando un insieme finito di comportamenti deterministici.
  • Limite di Tsirelson: Essi formulano il calcolo del limite quantistico (di Tsirelson) come un problema di ottimizzazione conica. Utilizzando l'omogeneità del rapporto, trasformano il problema nella massimizzazione di una funzione lineare su un cono di comportamenti quantistici non normalizzati soggetto a un vincolo di normalizzazione, risolvibile tramite la gerarchia NPA e la programmazione semidefinita.
• Analisi del Potere Statistico: Il saggio adotta un framework di test d'ipotesi (fattore di Bayes e p-value) per definire il potere statistico ($W_G$) di un gioco. Questa metrica incorpora sia la probabilità di vittoria tra i modelli quantistici e locali, sia la probabilità di post-selezione (efficienza):
  $$W_G(Q) = \gamma_G(Q) D(\omega_G(Q) \parallel \omega_\ell(G))$$
  dove $\gamma_G$ è la probabilità di post-selezione e $D$ è la divergenza di Kullback-Leibler.

Contributi Chiave e Risultati

1. Definizione e Formalizzazione: Il saggio definisce rigorosamente i giochi di post-selezione, mostrando come essi formalizzino naturalmente le prove possibilistiche come il paradosso di Hardy, trasformandoli in giochi che possono essere vinti con certezza (limite di Tsirelson = 1) tramite strategie quantistiche.
2. Algoritmi: Gli autori forniscono algoritmi per calcolare i limiti locali e di Tsirelson per questi giochi, dimostrando che il limite locale è raggiunto in vertici deterministici e formulando il limite quantistico come un problema di ottimizzazione conica.
3. Confronto del Potere Statistico (Ideale vs Rumoroso):
   • Caso Ideale: In uno scenario privo di rumore, il gioco di post-selezione di Hardy ha un potere statistico inferiore rispetto al gioco CHSH standard. Ciò accade perché la bassa probabilità di post-selezione (scartare la maggior parte dei round) prevale sul grande divario tra le probabilità di vittoria locali e quantistiche.
   • Caso Rumoroso (Bassa Efficienza di Rilevamento): Il saggio dimostra un risultato controintuitivo: man mano che l'efficienza di rilevamento ($\eta$) diminuisce, il potere statistico del gioco di post-selezione di Hardy supera quello del gioco CHSH.
   • Vantaggio Illimitato: Gli autori dimostrano analiticamente che quando l'efficienza di rilevamento si avvicina alla soglia critica di $\eta \to 2/3$, il rapporto tra il potere statistico del gioco di Hardy e quello del gioco CHSH diverge verso l'infinito. Ciò suggerisce che i giochi di post-selezione sono idealmente adatti per i test di Bell con bassa efficienza di rilevamento, dove i giochi tradizionali falliscono nel fornire prove conclusive.
4. Generalizzazioni: Il framework è esteso ai giochi di Hardy generalizzati con $s$ input e $k$ output. Gli autori mostrano che, sebbene il potere statistico vari con i parametri, esso generalmente aumenta con il numero di output ($k$).
5. Esempi Non-Possibilistici: Gli autori identificano altri giochi di post-selezione non banali non derivati da prove possibilistiche (ad esempio, il gioco $G_{\neg}$), sebbene questi abbiano mostrato un potere statistico inferiore rispetto al gioco di Hardy nei casi testati.

Significato e Rivendicazioni
Il saggio sostiene che i giochi di post-selezione offrano una "generalizzazione naturale" dei giochi non locali che colma il divario tra le prove possibilistiche e la realtà sperimentale.

• Robustezza al Rumore: A differenza delle prove possibilistiche tradizionali che sono fragili al rumore, i giochi di post-selezione tollerano naturalmente il rumore e possono comunque dimostrare la non-località anche quando le correlazioni sono vicine al limite locale.
• Superiorità nei Regimi a Bassa Efficienza: Il significato primario risiede nella scoperta che i giochi di post-selezione possiedono un vantaggio illimitato nel potere statistico rispetto ai giochi non locali tradizionali (specificamente CHSH) al diminuire dell'efficienza di rilevamento. Questo li rende teoricamente ottimali per l'analisi di test di Bell con bassa efficienza di rilevamento, potenzialmente permettendo dimostrazioni di non-località prive di loophole dove le disuguaglianze standard falliscono.
• Chiarezza Concettuale: Il framework semplifica l'analisi dei test di Bell trattando il processo di post-selezione come una parte intrinseca della definizione del gioco piuttosto che come una correzione statistica esterna, evitando così i loophole (come il loophole del campionamento equo o fair-sampling) attraverso il calcolo esplicito dei limiti che tengono conto della post-selezione.

Gli autori ipotizzano con modestia che questo vantaggio illimitato si applichi a qualsiasi gioco non locale senza post-selezione, sebbene abbiano fornito solo evidenza numerica per un sottoinsieme di giochi e una prova rigorosa contro il CHSH.