Quantum tomography for non-iid sources

Titolo: Tomografia quantistica per sorgenti non i.i.d.

1. Il Problema

La tomografia dello stato quantistico (QST) e la tomografia dei processi sono fondamentali per la validazione sperimentale nel calcolo, nelle comunicazioni e nel sensing quantistico. Tuttavia, la formulazione standard di questi protocolli si basa sull'assunzione che la sorgente emetta $N$ copie indipendenti e identicamente distribuite (i.i.d.) di uno stato o canale fisso $\rho$.

In scenari reali, questa assunzione è spesso violata a causa di:

• Deriva temporale: Fluttuazioni termiche, instabilità dei laser e errori di calibrazione.
• Adattività: In esperimenti con feedback, lo stato preparato al tempo $t$ può dipendere esplicitamente dai risultati delle misurazioni precedenti.
• Comportamento avversario: In scenari di sicurezza, la preparazione potrebbe reagire strategicamente alle informazioni rivelate.

Quando l'assunzione i.i.d. viene meno, gli strumenti statistici classici (come le disuguaglianze di concentrazione di Bernstein per matrici) falliscono perché le variabili di misurazione non sono più indipendenti. Di conseguenza, non è chiaro se i metodi di tomografia esistenti mantengano la loro efficienza e ottimalità.

2. Metodologia

L'autore estende i garanzie rigorose della Tomografia a Minimi Quadrati Proiettati (PLS - Projected Least-Squares) al regime non i.i.d. La metodologia si basa sui seguenti pilastri:

• Modello Fisico Adattivo: Si considera una sequenza di stati $\rho_1, \dots, \rho_N$ dove ogni $\rho_t$ può dipendere arbitrariamente dalla storia passata $F_{t-1}$ (inclusi settings di misura e risultati). L'obiettivo non è ricostruire un singolo stato fisso, ma lo stato medio temporale $\bar{\rho}_N = \frac{1}{N}\sum_{t=1}^N \rho_t$.
• Indipendenza Condizionata: Sebbene $\rho_t$ sia adattivo, una volta fissato prima della misurazione, il risultato della misurazione è governato esclusivamente dalla regola di Born. Questo garantisce che lo stimatore "single-shot" $\hat{\rho}_t$ sia condizionatamente non distorto (unbiased): $E[\hat{\rho}_t | F_{t-1}] = \rho_t$.
• Struttura di Martingala: Definendo l'errore di stima come $X_t = \hat{\rho}_t - \rho_t$, si ottiene una sequenza di differenze di martingala ($E[X_t | F_{t-1}] = 0$). Questo permette di sostituire le classiche disuguaglianze di concentrazione per variabili i.i.d. con la Disuguaglianza di Freedman per Matrici, progettata specificamente per processi adattivi e martingale.
• Protocollo PLS:
  1. Raccolta Dati: Misurazioni IC (Informationally Complete) su singole copie.
  2. Stima Lineare: Costruzione di uno stimatore medio $\hat{L}_N$ basato su disegni proiettivi complessi (2-design) globali o locali (es. basi di Pauli).
  3. Proiezione: Proiezione di $\hat{L}_N$ sull'insieme delle matrici di densità valide (o stati di Choi per i canali) per garantire la fisicità.

3. Contributi Chiave

• Generalizzazione della Tomografia PLS: Dimostrazione che la tomografia PLS rimane statisticamente ottimale anche senza l'assunzione i.i.d., gestendo efficacemente derive, rumore adattivo e scenari avversari.
• Nuova Analisi Statistica: Applicazione della disuguaglianza di Freedman per matrici al contesto della tomografia quantistica, superando i limiti delle tecniche basate sull'indipendenza.
• Riduzione della Complessità Campionaria: Si dimostra che la complessità campionaria per ricostruire la media temporale non aumenta rispetto al caso i.i.d., a differenza di altri approcci (come i teoremi di de Finetti quantistici) che comportano un peggioramento significativo della scala.

4. Risultati Principali

Il paper stabilisce limiti non asintotici per l'errore di stima con alta probabilità ($1-\delta$).

• Tomografia di Stato (QST):

  • Per stati di rango $r$ in dimensione $d$, la complessità campionaria per raggiungere una precisione $\epsilon$ in distanza di traccia è:
    $$N = O\left(\frac{d r^2}{\epsilon^2}\right)$$
    (per misurazioni globali 2-design) o $O\left(\frac{3^n r^2}{\epsilon^2}\right)$ per $n$ qubit con basi di Pauli.
  • Questo scala ottimalmente come nel caso i.i.d., adattandosi automaticamente al rango effettivo dello stato medio.

• Tomografia di Processo (QPT):

  • Utilizzando l'isomorfismo di Choi-Jamiołkowski, il framework si estende ai canali quantistici.
  • Per ricostruire un canale medio $\bar{E}_N$ con precisione $\epsilon$ nella distanza diamante, la complessità è:
    $$N = O\left(\frac{d^6}{\epsilon^2}\right)$$
  • Anche in questo caso, la scala fondamentale non peggiora rispetto al caso i.i.d.

• Confronto con l'Approccio de Finetti:

  • L'approccio basato sui teoremi di de Finetti per rimuovere l'assunzione i.i.d. porta a una complessità di $O(d^6/\epsilon^6)$, molto superiore. Il metodo PLS proposto mantiene l'ottimalità $O(d^6/\epsilon^2)$ ricostruendo direttamente la media temporale.

5. Significato e Implicazioni

• Robustezza Pratica: I risultati forniscono una giustificazione rigorosa per l'uso di stimatori PLS standard su dati provenienti da hardware quantistico rumoroso, instabile o controllato attivamente.
• Interpretazione Fisica: Sebbene l'assunzione i.i.d. cada, l'oggetto ricostruito ($\bar{\rho}_N$ o $\bar{E}_N$) rimane fisicamente significativo: rappresenta il comportamento medio effettivo del dispositivo durante l'esperimento.
• Impatto Sperimentale: Elimina la necessità di complessi protocolli di stabilizzazione o di modelli di deriva specifici per ottenere garanzie statistiche solide, permettendo una caratterizzazione accurata anche in presenza di correlazioni temporali forti.

In sintesi, il lavoro dimostra che la perdita dell'indipendenza statistica non aumenta la complessità fondamentale della tomografia quantistica, ma richiede solo un cambio di interpretazione dell'oggetto ricostruito e l'uso di strumenti probabilistici più avanzati (martingale) per la prova di convergenza.