Device-independent certification of tripartite quantum networks with bilocal Bell inequalities

Sintesi Tecnica: Certificazione device-independent di reti quantistiche tripartite con disuguaglianze di Bell bilocali

Problematica
Le reti quantistiche, che estendono gli scenari di Bell standard includendo molteplici sorgenti indipendenti, offrono una struttura di correlazione più ricca ma presentano sfide significative nella costruzione di testimoni di non località. Mentre gli scenari di Bell standard si basano su disuguaglianze lineari, l'assunzione di indipendenza delle sorgenti nelle reti (specificamente lo scenario bilocale con due sorgenti e tre parti) rende il insieme delle correlazioni locali non convesso. Di conseguenza, i testimoni ottimali per la non località di rete devono essere non lineari.

La letteratura esistente si è concentrata principalmente su casi specifici e ristretti:

1. Impostazioni di Misura Limitate: La maggior parte delle costruzioni è limitata a scenari in cui le parti esterne eseguono solo due misurazioni.
2. Dimensioni Limitate: Molte proposte sono adattate specificamente a sistemi a qubit.
3. Assenza di Self-Testing: Vi è una nota assenza di disuguaglianze di Bell capaci di effettuare il self-testing (certificare in modo device-indipendente) gli stati quantistici e le misurazioni sottostanti negli scenari di rete, anche nel più semplice setup bilocale.

La sfida primaria affrontata in questo lavoro è la mancanza di un framework generale per la costruzione di disuguaglianze di Bell non lineari per reti quantistiche tripartite che accomodino un numero arbitrario di misurazioni binarie e dimensioni locali superiori, possedendo simultaneamente proprietà di self-testing e limiti quantistici determinabili analiticamente.

Metodologia
Gli autori propongono un framework generale per la costruzione di disuguaglianze di Bell non lineari adattate allo scenario bilocale (due sorgenti indipendenti, $S_1$ e $S_2$, che distribuiscono stati ad Alice, Bob e Charlie). La costruzione si basa su una specifica classe di matrici note come matrici Real Row-Orthogonal and Column-Normalized (ROCN).

1. Costruzione della Disuguaglianza:
   Per una data matrice ROCN $h$ di dimensione $m \times n$ (dove $m$ è il numero di misurazioni per Alice/Charlie e $n$ per Bob), gli autori definiscono combinazioni lineari di correlatori $I_y$:
   $$I_y := \sum_{x=1}^m \sum_{z=1}^m h_{xy} h_{zy} \langle A_x B_y C_z \rangle$$
   Questi vengono combinati in un'espressione non lineare:
   $$S_h := \sum_{y=1}^n \sqrt{|I_y|} \leq \beta_{BL}$$
   dove $\beta_{BL}$ è il limite bilocale.

2. Derivazione Analitica dei Limiti Quantistici:
   Le proprietà algebriche delle matrici ROCN permettono la determinazione analitica del valore quantistico massimo ($\beta_Q$). Gli autori utilizzano una decomposizione sum-of-squares (SOS) per dimostrare che, per ogni matrice ROCN, il valore quantistico massimo è esattamente uguale al numero delle misurazioni di Bob ($n$).

3. Strategia di Riferimento:
   Per raggiungere questo limite, gli autori definiscono una "strategia di riferimento" che coinvolge:

• Due stati massimamente entangled di dimensione locale $d=2^r$ (dove $r = \lfloor m/2 \rfloor$) emessi dalle sorgenti.
• Alice e Charlie che misurano insiemi di osservabili di Clifford a coppie anticommutanti (realizzate tramite la rappresentazione di Jordan-Wigner).
• Bob che esegue misurazioni definite come combinazioni bilineari degli operatori trasposti di Alice e Charlie.

4. Framework di Self-Testing:
   Il paper investiga se la massima violazione di queste disuguaglianze certifichi univocamente la strategia di riferimento. Ciò viene ottenuto combinando la disuguaglianza non lineare $S_h$ con una corrispondente espressione di Bell ROCN lineare $L_h = \sum I_y$. Gli autori stabiliscono che la violazione massima simultanea di entrambe le disuguaglianze porta al self-testing, a condizione che la matrice dei coefficienti $h$ soddisfi una specifica condizione algebrica riguardante il rango di una matrice ausiliaria $M$ costruita dai prodotti a coppie delle voci di $h$.

Contributi Chiave e Risultati

• Costruzione Generale: Il lavoro presenta un metodo generale per costruire disuguaglianze di Bell non lineari per reti bilocali con un numero arbitrario di misurazioni binarie ($m, n$) e dimensioni locali arbitrarie. Questo recupera la pionieristica disuguaglianza di tipo 22 Branciard–Rosset–Gisin–Pironio (BRGP) come caso specifico.
• Limiti Quantistici Analitici: Un risultato significativo è la dimostrazione che il valore quantistico massimo per ogni tale disuguaglianza è esattamente $n$ (il numero delle misurazioni di Bob). Questa determinabilità analitica è cruciale per applicazioni device-independent dove l'ottimizzazione numerica è spesso intrattabile.
• Teorema di Self-Testing: Gli autori dimostrano che la violazione massima simultanea della disuguaglianza non lineare $S_h$ e della sua controparte lineare $L_h$ permette la certificazione device-indipendente (self-testing) dell'intera rete. Ciò include:
  • Gli stati quantistici prodotti dalle sorgenti (stati massimamente entangled di dimensioni appropriate).
  • Le osservabili misurate da tutte le parti (specificamente, le osservabili di Clifford anticommutanti per le parti esterne e le specifiche combinazioni bilineari per la parte centrale).
• Condizione di Rango per la Certificazione: Il paper stabilisce una condizione necessaria e sufficiente per questa proprietà di self-testing: la matrice ausiliaria $M$, formata dai prodotti $h_{xy}h_{zy}$, deve avere rango di colonna pieno.
• Esempi e Gap Quantistico-Classico:
  • Il framework recupera la disuguaglianza BRGP ($m=n=2$) e la disuguaglianza di Bell elegante di Gisin ($m=3, n=4$).
  • Gli autori dimostrano che una famiglia di disuguaglianze derivate dalla disuguaglianza elegante di Bell, per certi parametri, produce un gap strettamente maggiore tra il limite bilocale e il limite quantistico rispetto alla standard disuguaglianza elegante, mantenendo al contempo le capacità di self-testing.

Significatività e Rivendicazioni
Gli autori affermano che questo lavoro fornisce il primo risultato generale di self-testing per reti quantistiche che si basa esclusivamente sulla massima violazione di una singola disuguaglianza di Bell non lineare (combinata con la sua controparte lineare).

• Chiarezza Concettuale: A differenza di protocolli precedenti che possono richiedere molteplici testimoni o assunzioni complesse, questo approccio si basa su una singola struttura di testimone sperimentalmente accessibile.
• Device-Independence: La capacità di determinare analiticamente il limite quantistico e certificare i componenti della rete senza fidarsi dei dispositivi rende queste disuguaglianze estremamente promettenti per applicazioni device-independent.
• Rilevanza Fondamentale e Pratica: Le osservabili coinvolte (operatori di Clifford a coppie anticommutanti) sono rilevanti non solo per la fisica fondamentale, ma anche per il calcolo quantistico topologico e le relazioni di incertezza.

Il paper conclude osservando che, sebbene esistano costruzioni esplicite che soddisfano la condizione di rango, la scalabilità del numero di colonne richieste (misurazioni di Bob) rispetto al numero delle misurazioni di Alice/Charlie non è ancora ottimale, suggerendo una direzione per futuri miglioramenti nella fattibilità pratica.