Certifying coherence in quantum devices under classical control

Sintesi Tecnica: Certificazione della Coerenza in Dispositivi Quantistici sotto Controllo Classico

Enunciato del Problema
La coerenza quantistica, fondamentalmente legata alla non-commutatività degli stati, è tipicamente definita rispetto a una specifica base. Tuttavia, una certificazione della coerenza indipendente dalla base richiede la dimostrazione che un insieme di stati non possa essere simultaneamente diagonalizzato. Un significativo limite concettuale sorge quando il dispositivo di preparazione è soggetto a un "controllo classico nascosto": parametri classici inaccessibili (variabili nascoste, $\lambda$) che influenzano stochasticamente l'operazione del dispositivo. In tali scenari, un dispositivo può generare un insieme di stati non commutativi che appaiono coerenti a un osservatore, ma che ammettono un modello classico in cui, condizionati a $\lambda$, gli stati sottostanti sono commutanti (incoerenti). I metodi esistenti per certificare la coerenza genuina in presenza di tali variabili nascoste sono limitati a casi semplici. Il problema centrale affrontato è come certificare rigorosamente che un dispositivo di preparazione quantistica sia genuinamente coerente quando può essere influenzato da parametri classici inaccessibili.

Metodologia
Gli autori sviluppano una suite di metodi basati sulla Programmazione Semidefinita (SDP) per caratterizzare l'insieme $\mathcal{C}$ di insiemi di stati che ammettono un modello incoerente (ovvero, che possono essere simulati da una miscela classica di stati commutanti).

1. Gerarchia Completa di Relaxation SDP:
   Il documento stabilisce prima una condizione necessaria e sufficiente per la coerenza costruendo una gerarchia convergente di rilassamenti SDP esterni ($\mathcal{C}_2 \supset \mathcal{C}_3 \supset \dots \supset \mathcal{C}_\infty = \mathcal{C}$).

   • Livello $m=2$: Questo comporta la definizione di operatori bipartiti $O_{xy} = \int d\lambda q(\lambda) \tau_{x,\lambda} \otimes \tau_{y,\lambda}$, dove $\tau_{x,\lambda}$ sono stati commutanti. I vincoli includono la semidefinitività positiva, la trasposta parziale positiva (PPT) e i vincoli marginali che recuperano gli stati osservati $\rho_x$.
   • Convergenza: Livelli superiori ($m > 2$) utilizzano operatori che agiscono su $m$ sistemi. La gerarchia converge all'insieme esatto $\mathcal{C}$ quando $m \to \infty$, dimostrato tramite una corrispondenza con i teoremi de Finetti per le POVM. Sebbene completa, questo approccio scala male ($N^2$ matrici di dimensione $d^2$), rendendolo impraticabile per sistemi grandi.

2. Criterio SDP Pratico (Matrici dei Momenti a Blocchi):
   Per affrontare la scalabilità, gli autori introducono un singolo, efficiente criterio SDP basato su matrici dei momenti a blocchi.

   • Formulazione: Assumendo che gli stati sottostanti $\tau_{x,\lambda}$ siano puri e commutanti, costruiscono una matrice dei momenti a blocchi $\Gamma$ contenente gli stati osservati $\rho_x$ e le variabili di ottimizzazione $M_{ij}$ che rappresentano prodotti di stati commutanti.
   • Vincoli: La matrice $\Gamma$ deve essere semidefinita positiva, con blocchi diagonali corrispondenti a $\rho_i$ e blocchi fuori diagonale $M_{ij}$ che soddisfano $\rho_i \succeq M_{ij} \succeq 0$ e l'ermiticità.
   • Efficienza: Questo metodo scala linearmente con il numero di stati $N$ e la dimensione $d$ (dimensione della matrice $d(N+1)$), rendendolo computazionalmente fattibile per $N$ grandi e $d$ elevati.
   • Witness (Testimoni): Il duale di questo SDP produce testimoni di coerenza (disuguaglianze) che sono soddisfatti da tutti gli insiemi incoerenti ma violati da quelli coerenti.

3. Metodo Specializzato per Qubit (Misurabilità Congiunta):
   Per i sistemi qubit ($d=2$), gli autori sfruttano l'equivalenza tra la certificazione della coerenza e la misurabilità congiunta di associazioni di misurazioni dicotomiche.

   • Approssimazione: Utilizzano tecniche di programmazione convessa per approssimare l'insieme di osservabili congiuntamente misurabili utilizzando approssimazioni poliedriche interne ed esterne della sfera di Bloch.
   • Scalabilità: Utilizzando un poliedro con 220 vertici (approssimando la sfera di Bloch con un fattore di contrazione $r \approx 0.9934$), ottengono una certificazione ad alta accuratezza per insiemi che superano i 1.000 stati qubit.

4. Coerenza su Canali:
   I metodi sono estesi ai canali quantistici $\Lambda$. Un canale è definito come Rottore di Coerenza (Coherence-Breaking, CB) se la sua immagine (l'insieme di tutti gli stati di uscita) ammette un modello incoerente.

   • Certificazione: Gli autori propongono un algoritmo iterativo per trovare l'insieme di stati di input che massimizza la coerenza dell'output, rendendo così più stretti i limiti sulla natura CB di un canale.
   • Canali Qubit: Per i canali qubit, viene utilizzato il metodo di approssimazione poliedrica per determinare se l'immagine del canale ammette un modello incoerente, distinguendo efficacemente tra regimi di preservazione e rottura della coerenza.

Risultati Chiave

• Caratterizzazione Teorica: Il documento dimostra che la coerenza sotto controllo classico nascosto può essere pienamente caratterizzata da una gerarchia di SDP.
• Scalabilità: Il criterio SDP pratico (Eq. 17) certifica con successo la coerenza per:
  • $N=100$ stati qubit casuali in meno di 8 minuti.
  • $N=70$ stati qutrit casuali in meno di 11 minuti.
  • Sistemi ad alta dimensione ($d=150$) con soli due stati, certificando la coerenza per una visibilità $v \gtrsim 0.9246$.
• Confronto di Accuratezza: I benchmark contro la gerarchia completa mostrano che il metodo SDP pratico non è solo significativamente più veloce, ma fornisce anche limiti più stretti (più accurati) sulla soglia critica di rumore per la certificazione della coerenza.
• Scalabilità Qubit: L'approccio della misurabilità congiunta consente una certificazione della coerenza accurata per oltre 1.000 stati qubit, un regime inaccessibile alla gerarchia SDP generale.
• Analisi dei Canali:
  • Per il canale di depolarizzazione in $d=20$, l'algoritmo iterativo converge ai limiti teorici noti sulle soglie di rottura della coerenza.
  • Per canali composti (depolarizzazione + dephasing; depolarizzazione + smorzamento di ampiezza), gli autori mappano le regioni dei parametri in cui i canali sono incoerenti (CB) rispetto a quelli che preservano la coerenza.
  • Per i canali di depolarizzazione qubit, il metodo certifica la soglia CB a $v \lesssim 0.4999$ e la soglia di preservazione a $v \gtrsim 0.5029$, avvicinandosi quasi al valore teorico esatto di $0.5$.

Significato e Rivendicazioni
Gli autori affermano di fornire una "cassetta degli attrezzi potente" per analizzare la sovrapposizione quantistica in scenari realistici in cui il controllo classico è imperfetto o nascosto.

• Impatto Fondamentale: Il lavoro risolve il limite concettuale secondo cui gli stati non commutanti potrebbero essere simulabili classicamente, fornendo criteri rigorosi per distinguere la vera coerenza quantistica dalle miscele classiche.
• Utilità Pratica: I metodi sviluppati sono progettati per "dispositivi di preparazione quantistica all'avanguardia", offrendo strumenti computazionalmente efficienti che rimangono efficaci anche per sistemi ad alta dimensione e grandi numeri di stati.
• Nuovi Concetti: L'introduzione dei canali che rompono la coerenza (Coherence-Breaking) è parallela al concetto di canali che rompono l'entanglement, offrendo un nuovo quadro per classificare i canali quantistici in base alla loro capacità di preservare o distruggere la sovrapposizione in presenza di variabili classiche nascoste.
• Benchmarking: Gli strumenti sono presentati come essenziali per testare i vantaggi di rumore e perdita della sovrapposizione ad alta dimensione in contesti sperimentali, specialmente dove le soluzioni analitiche non sono disponibili.

Il documento non propone nuovi setup sperimentali, ma fornisce il quadro teorico e computazionale necessario per interpretare i dati sperimentali in cui le assunzioni di controllo classico sono rilassate.