Sintesi Tecnica: Certificazione di Proprietà Quantistiche con Misurazioni Imperfette

Definizione del Problema

La caratterizzazione precisa dei sistemi quantistici è un prerequisito fondamentale per l'avanzamento delle tecnologie quantistiche. Un compito critico in questo dominio è la certificazione dei valori di funzioni convesse di stati quantistici, che includono quantità essenziali quali i valori di aspettazione degli Hamiltoniani, le fidelities quantistiche, le entropie e l'informazione di Fisher quantistica.

I metodi esistenti per stimare queste quantità si affidano tipicamente alla tomografia dello stato quantistico seguita dall'applicazione della funzione allo stato ricostruito. Tuttavia, questi approcci standard spesso non riescono a fornire una certificazione rigorosa perché trascurano le imperfezioni realistiche, specificamente il rumore di sparo (shot noise, derivante dalla statistica finita) e gli errori di misurazione (deviazioni sistematiche nell'apparato di misurazione). Ignorare tali effetti può portare a grandi incertezze, compromettendo la robustezza dei calcoli quantistici o portando a conclusioni errate sugli esiti sperimentali. Sebbene lavori recenti abbiano affrontato il rumore di sparo definendo regioni di confidenza per gli stati quantistici, essi generalmente assumono che i dispositivi di misurazione siano perfettamente caratterizzati, fallendo così nel rendere conto degli errori di calibrazione o delle imperfezioni nel processo di misurazione.

Metodologia

Gli autori propongono un metodo di certificazione che tiene conto congiuntamente sia del rumore di sparo che delle imperfezioni di misurazione. Il framework estende l'approccio delle regioni di confidenza introdotto nel Riferimento [11] a scenari in cui gli sperimentatori hanno un controllo imperfetto sulle misurazioni.

Framework Centrale

Il metodo definisce una regione di confidenza per lo stato quantistico sperimentale $\omega$ limitando la distanza tra le probabilità ideali e le controparti sperimentali stimate. Ciò viene ottenuto attraverso due componenti primarie:

1. Errore Statistico (Rumore di Sparo): La deviazione tra la stima empirica $\hat{f}$ e il vero vettore di probabilità $\vec{p}$ è limitata utilizzando la disuguaglianza di Bretagnolle–Huber–Carol. Per $N$ copie dello stato e $m$ esiti di misurazione, la distanza $l_1$ è limitata da $\epsilon_1 = \sqrt{\frac{2}{N} \ln \frac{2m}{\delta}}$ con probabilità $1-\delta$.

2. Errore Sistematico (Imperfezioni di Misurazione): La discrepanza tra la POVM (Positive-Operator Valued Measure) target $\{E_k\}$ e la POVM effettivamente implementata $\{F_k\}$ è quantificata utilizzando la distanza operativa $d_{op}(E, F)$. Questa distanza operativa è definita come la massima distanza $l_1$ tra le distribuzioni di probabilità generate dalle due POVM su tutti i possibili stati. Gli autori limitano questa distanza tramite $\epsilon_2$, tale che $d_{op}(E, F) \leq \epsilon_2/2$.

Il Protocollo di Certificazione

I limiti certificati per una funzione convessa $F(\omega)$ si ottengono risolvendo un problema di ottimizzazione convessa. L'obiettivo è trovare il minimo (o il massimo) di $F(\rho)$ su un insieme di matrici di densità $\rho$ che soddisfino i seguenti vincoli con probabilità almeno $1-\delta$:

• $\text{tr}(\rho) = 1$ e $\rho \geq 0$.
• $\sum_{k=1}^m |\text{tr}(E_k \rho) - \hat{f}_k| \leq \epsilon_1 + \epsilon_2$.

Qui, $\hat{f}_k$ rappresenta la frequenza sperimentale ottenuta misurando la POVM imperfetta $\{F_k\}$. La somma del vincolo $\epsilon_1 + \epsilon_2$ è derivata dalla disuguaglianza triangolare, combinando l'errore statistico e la distanza operativa tra le misurazioni ideali e quelle reali.

Determinazione del Limite della Distanza Operativa ($\epsilon_2$)

Il documento fornisce diverse prescrizioni esplicite per stimare $\epsilon_2$ a seconda delle conoscenze disponibili sulla configurazione sperimentale:

• Simulazione Numerica: Se le fonti di rumore sono ben caratterizzate, $\epsilon_2$ può essere stimata tramite simulazioni numeriche utilizzando la definizione di distanza operativa o i suoi limiti superiori.
• Decomposizione Prodotto Tensoriale: Per sistemi a $n$-qubit dove le POVM si decompongono in prodotti tensoriali locali, la distanza operativa globale può essere limitata dalla somma delle distanze operative locali, semplificando i calcoli.
• Tomografia della Misurazione Quantistica: La POVM effettiva può essere ricostruita partendo dalle statistiche sperimentali per limitare la distanza.
• Stima Diretta: Utilizzando relazioni che coinvolgono i 2-design o assumendo proiettori di rango uno per la POVM ideale, $\epsilon_2$ può essere limitata stimando sperimentalmente specifiche quantità simili alla fidelity.

Una caratteristica chiave di questo metodo è che non richiede che le misurazioni siano informazionalmente complete (IC). Ciò riduce significativamente l'overhead sperimentale, poiché le POVM IC richiedono tipicamente un numero esponenzialmente grande di impostazioni.

Risultati Chiave e Applicazioni

Gli autori validano il metodo attraverso tre esempi numerici, dimostrando la sua necessità per evitare conclusioni errate:

1. Fidelity di Preparazione Minima: Il metodo è stato applicato per certificare la fidelity di 100 stati a due qubit estratti da una distribuzione Haar-random sotto vari modelli di rumore (smorzamento di ampiezza, smorzamento di fase, depolarizzazione e shift di rotazione). I risultati mostrano che il metodo fornisce limiti inferiori non banali per la fidelity, con la precisione dei limiti che dipende dall'intensità del rumore e dal numero di campioni (shots).

2. Magnetizzazione in Sistemi di Spin: In uno studio su un sistema ferromagnetico, gli autori hanno dimostrato che trascurare le imperfezioni di misurazione (specificamente una rotazione della base di misurazione) porta alla conclusione errata che il sistema non sia completamente magnetizzato. Mentre il metodo che tiene conto del rumore ha identificato correttamente la magnetizzazione come 1, il metodo che ignora gli errori sistematici suggeriva che la magnetizzazione fosse significativamente inferiore o addirittura negativa, a seconda dell'angolo di rotazione e del numero di campioni.

3. Witness di Entanglement: Il protocollo è stato testato su un witness di entanglement a due qubit. I risultati hanno dimostrato che ignorare gli errori sistematici può portare alla falsa certificazione di entanglement per stati separabili. Al contrario, il metodo proposto ha identificato correttamente lo stato come separabile, pur riuscendo comunque a certificare l'entanglement per stati massimamente entangled. Inoltre, gli autori hanno notato che i metodi che ignorano le imperfezioni spesso diventano impraticabili (non esiste soluzione) quando il rumore o il rumore di sparo sono elevati, mentre il loro metodo rimane valido e fornisce limiti certificati in tutti i regimi.

Significato e Rivendicazioni

Il documento sostiene di fornire un framework di certificazione versatile e robusto per esperimenti quantistici che integra sia gli errori statistici che quelli sistematici. La sua importanza risiede in alcuni contributi specifici:

• Generalizzazione delle Regioni di Confidenza: Estende i framework esistenti delle regioni di confidenza per includere situazioni in cui il controllo delle misurazioni è imperfetto, uno scenario comune negli esperimenti quantistici del periodo NISQ (Near-term Intermediate-Scale Quantum).
• Robustezza contro Conclusioni Errate: Modellando esplicitamente le imperfezioni di misurazione, il metodo previene le conclusioni errate (ad esempio, falso entanglement o valori di magnetizzazione errati) che derivano dal trascurare gli errori sistematici.
• Efficienza Sperimentale: Il metodo non richiede misurazioni informazionalmente complete, permettendo agli sperimentatori di scegliere set di misurazione più semplici basati sui vincoli specifici del proprio setup.
• Trattabilità Computazionale: Per funzioni convesse o convesse, il problema di ottimizzazione risultante è convesso e può essere risolto efficientemente utilizzando metodi a punto interno.
• Applicabilità: Sebbene dimostrato su fidelities, magnetizzazione ed entanglement, il framework è applicabile a una vasta classe di quantità convesse, incluse energie, entropie e l'informazione di Fisher quantistica.

Gli autori concludono che questo approccio offre una via pratica per ottenere garanzie rigorose in contesti realistici dove i dispositivi sono rumorosi e la calibrazione è limitata, il che è essenziale per lo sviluppo affidabile delle tecnologie quantistiche.