Sintesi Tecnica: Libertà di Gauge e Algoritmi Efficienti per l'Apprendimento Lindbladiani

1. Definizione del Problema

Il documento affronta il problema inverso di apprendere un Lindbladian $\mathcal{L}$ locale per un sistema quantistico aperto a $N$ qubit partendo da dati dinamici. Il Lindbladian è espanso nella base di Pauli come:
$$\mathcal{L}[\rho] = -i \sum_{c \in I_h} h_c [P_c, \rho] + \sum_{(a,b) \in I_d} \alpha_{ab} D_{ab}[\rho]$$
dove $h_c$ sono coefficienti hamiltoniani e $\alpha_{ab}$ sono coefficienti dissipativi (elementi di una matrice di Kossakowski semidefinita positiva).

La sfida centrale è la presenza di rumore di preparazione dello stato e di misurazione (SPAM) sconosciuto. A differenza dei contesti idealizzati in cui gli stati iniziali e le misurazioni sono perfetti, gli errori SPAM sperimentali possono rendere distinti i Lindbladiani indistinguibili. Nello specifico, una trasformazione di similitudine (trasformazione di gauge) può alterare simultaneamente il Lindbladian, lo stato iniziale e l'osservabile di misurazione in modo tale che tutte le probabilità degli esiti sperimentali rimangano identiche. Il documento mira a:

1. Caratterizzare quali componenti di un Lindbladian locale sono fondamentalmente non apprendibili a causa di questa libertà di gauge.
2. Identificare quali componenti sono universalmente invarianti rispetto al gauge e possono essere apprese efficientemente.
3. Sviluppare algoritmi robusti rispetto allo SPAM utilizzando solo il controllo a singolo qubit affidabile, senza richiedere qubit ancillari o gate di entanglement.

2. Metodologia

2.1 Trasformazioni di Gauge e Indistinguibilità

Gli autori definiscono una famiglia di trasformazioni di gauge generate da mappe di depolarizzazione locale $S_\theta = e^{\Gamma_\theta}$, dove $\Gamma_\theta$ agisce sugli operatori di Pauli $P$ come $\Gamma_\theta[P] = -\theta \cdot s(P) P$. Sotto questa trasformazione, il Lindbladian si trasforma come $\mathcal{L} \to S_\theta \circ \mathcal{L} \circ S_\theta^{-1}$. Fondamentalmente, se anche i canali di rumore SPAM vengono trasformati in modo appropriato (assorbendo il gauge), le probabilità sperimentali $p(t) = \text{Tr}[M e^{t\mathcal{L}}(\rho_0)]$ rimangono invarianti.

Il documento stabilisce che per ogni schema di supporto fissato (che definisce quali qubit interagiscono), esiste una famiglia di tali trasformazioni con $N$ parametri che lascia invariati tutti i dati sperimentali. Ciò porta a una classificazione delle componenti del Lindbladian (coefficienti hamiltoniani $h_c$ e parti reali/immaginarie di $\alpha_{ab}$) in base al loro comportamento sotto queste trasformazioni.

2.2 Classificazione della Apprendibilità

Gli autori distinguono tra due categorie di componenti:

• Universalmente Invarianti rispetto al Gauge: Componenti i cui valori rimangono invariati sotto tutte le trasformazioni di gauge ammissibili per qualsiasi generatore nello spazio ambiente.
• Genericamente Dipendenti dal Gauge: Componenti i cui valori possono essere alterati da trasformazioni di gauge arbitrariamente piccole per quasi ogni Lindbladian fisico (preservando la completezza positiva e lo schema di supporto).

La classificazione si basa sulla struttura della base di Pauli:

1. Coefficienti Dissipativi Diagonali ($\alpha_{aa}$): Universalmente invarianti rispetto al gauge.
2. Coefficienti Fuori Diagonale di Tipo I ($\text{Re } \alpha_{ab}$): Invarianti se $P_a$ e $P_b$ differiscono esattamente su un qubit e entrambi sono non-identità su quel qubit.
3. Coefficienti Fuori Diagonale di Tipo II ($\text{Im } \alpha_{ab}$ e $h_c$ a singolo qubit): Invarianti se $P_a$ e $P_b$ differiscono esattamente su un qubit, con esattamente uno dei due che è l'identità su quel qubit (o se $h_c$ corrisponde a un operatore di Pauli a singolo qubit).

Tutte le altre componenti sono mostrate essere genericamente dipendenti dal gauge. Per queste componenti dipendenti, gli autori costruiscono specifici Lindbladiani dove l'incertezza è $\Omega(1)$ (indipendente dalla dimensione del sistema $N$), anche sotto vincoli di completezza positiva.

2.3 Algoritmi di Apprendimento

Il documento propone protocolli efficienti per apprendere le componenti universalmente invarianti rispetto al gauge utilizzando solo operazioni affidabili a singolo qubit. La tecnica centrale consiste nel twirling di Pauli (o partial twirling) per isolare dinamiche specifiche e cancellare i fattori SPAM.

• Componenti Diagonali e di Tipo I:

  • Metodo: Il full Pauli twirling converte la dinamica in curve di decadimento esponenziale. Il rumore SPAM entra solo come prefattori moltiplicativi ($s_Q m_Q$) nel segnale $f(t) = s_Q m_Q e^{t \ell}$. Prendendo il rapporto dei segnali a $t=0$ e $t=\tau$, i fattori SPAM sconosciuti si cancellano esattamente, permettendo l'estrazione del tasso di decadimento $\ell$.
  • Ricostruzione: I tassi di decadimento locali sono correlati ai coefficienti tramite un sistema lineare risolvibile per sottostituzione successiva sull'ordine di inclusione del supporto.
  • Complessità: $O(\epsilon^{-2} \log(N/\delta))$ esperimenti e tempo di evoluzione totale.

• Componenti di Tipo II:

  • Metodo: Poiché queste non possono essere ridotte a semplici tassi di decadimento, gli autori utilizzano il partial twirling (media su un sottogruppo $\{I, Z\}$ su un qubit specifico) per isolare la dinamica in un sottospazio invariante bidimensionale nella rappresentazione di Heisenberg.
  • Ricostruzione: La dinamica in questo sottospazio è governata da una matrice $2 \times 2$ dove il parametro target (es. $h_z$ o $\text{Im } \alpha_{xy}$) appare nell'accoppiamento antisimmetrico. Misurando gli elementi fuori diagonale della matrice evoluta nel tempo e differenziando a $t=0$, il parametro viene estratto. Il prefattore SPAM si cancella nuovamente nel rapporto delle derivate rispetto al segnale a tempo zero.
  • Differenziazione: Le derivate sono stimate utilizzando l'interpolazione dei polinomi di Chebyshev su punti temporali campionati per ottenere un'alta precisione.
  • Complessità: $O(\epsilon^{-2} \log^4(2/\epsilon) \log(N/\delta))$ esperimenti e tempo di evoluzione totale.

2.4 Invarianza di Gauge Indotta dal Confine

Il documento investiga se il requisito di completezza positiva (CPTP) restringa la libertà di gauge al "confine" dell'insieme fisico (ad esempio, quando la matrice di Kossakowski ha autovalori nulli). Derivano condizioni sufficienti sotto le quali certi coefficienti hamiltoniani diventano invarianti rispetto al gauge in specifici Lindbladiani fisici. Tuttavia, notano che l'apprendimento di questi invarianti specifici del confine rimane un problema aperto.

3. Risultati Chiave

1. Caratterizzazione Netta dell'Ostruzione: Il documento fornisce una classificazione completa delle componenti del Lindbladian locale in insiemi universalmente invarianti rispetto al gauge e genericamente dipendenti dal gauge. Dimostra che per l'insieme genericamente dipendente, esistono Lindbladiani fisici dove l'incertezza è $\Omega(1)$ indipendentemente dalla dimensione del sistema $N$, anche con dati infiniti.
2. Protocolli Efficienti e Robusti rispetto allo SPAM:
   • Teorema 2: Esistono protocolli per apprendere tutte le componenti universalmente invarianti rispetto al gauge (diagonali $\alpha_{aa}$, Tipo I $\text{Re } \alpha_{ab}$, Tipo II $\text{Im } \alpha_{ab}$, e $h_c$ a singolo qubit) con errore additivo $\epsilon$ e probabilità di fallimento $\delta$.
   • Scalabilità delle Risorse: I protocolli richiedono $O(\epsilon^{-2} \log(N/\delta))$ a $O(\epsilon^{-2} \log^4(2/\epsilon) \log(N/\delta))$ esperimenti e tempo di evoluzione totale. Il numero di gate a singolo qubit scala linearmente con $N$ (fino a fattori polilogaritmici).
   • Assunzioni: Gli algoritmi richiedono solo gate a singolo qubit affidabili, nessun ancilla e nessun controllo di entanglement. Tollerano il rumore SPAM che è arbitrariamente lontano dall'ideale globalmente, purché vi sia una visibilità locale non nulla ($r_p, r_m > 0$) per sottoinsiemi di dimensione costante.
3. Condizioni al Confine: I Teoremi 31 e 32 forniscono condizioni sufficienti affinché ulteriori coefficienti hamiltoniani siano invarianti rispetto al gauge al confine dell'insieme fisico, collegando ciò alla condizione "Hamiltoniano-non-nello-spazio-di-Lindblad".

4. Significato e Rivendicazioni

Gli autori affermano che questo lavoro offre un kit di strumenti pratico per la caratterizzazione scalabile di sistemi quantistici aperti in presenza di rumore SPAM realistico.

• Scalabilità: A differenza di metodi precedenti che richiedono la tomografia completa del processo (scaling esponenziale) o assumono uno SPAM ideale/noto, questo framework raggiunge uno scaling logaritmico nella dimensione del sistema $N$ per il numero di esperimenti e il tempo di evoluzione.
• Controllo Minimo: L'uso esclusivo di operazioni affidabili a singolo qubit rende i protocolli applicabili all'hardware attuale (es. ioni intrappolati), dove i gate di entanglement sono difficili da calibrare o gli ancilla non sono disponibili.
• Limiti Fondamentali: Caratterizzando rigorosamente le parti "non apprendibili" del Lindbladian, il documento stabilisce un limite inferiore di errore fondamentale per i compiti di apprendimento sotto SPAM sconosciuto, distinguendo tra limitazioni dovute alla scarsità di dati e quelle dovute alla fondamentale indistinguibilità.
• Framework Consapevole del Gauge: Il lavoro va oltre il semplice ignorare lo SPAM o l'assumere che sia noto; modella esplicitamente la libertà di gauge, classifica ciò che è apprendibile e fornisce algoritmi che cancellano i gradi di libertà non apprendibili.

Il documento conclude che, sebbene gli invarianti indotti dal confine offrano potenzialità per l'apprendimento di ulteriori parametri, il problema generale di apprendere tali parametri rimane aperto. Il contributo primario è la soluzione completa per il sottoinsieme universalmente invariante rispetto al gauge, che copre una parte significativa dei parametri fisicamente rilevanti nei sistemi locali aperti.