The Hidden Nature of Non-Markovianity

1. Il Problema

La teoria dei sistemi quantistici aperti è fondamentale per la preparazione degli stati e il controllo nei dispositivi quantistici. Tradizionalmente, le dinamiche Markoviane (descritte da equazioni master locali nel tempo di tipo GKSL) sono caratterizzate da decoerenza, decadimento delle correlazioni e convergenza all'equilibrio. Al contrario, le evoluzioni Non-Markoviane sono associate a effetti di memoria, come il flusso inverso di informazione (information backflow) e il revival dell'entanglement.

Esistono molteplici definizioni di non-Markovianità (divisibilità CP, flusso di informazione, capacità dei canali, ecc.), tutte formulate a livello di mappe dinamiche o processi multi-tempo. Tuttavia, dal punto di vista sperimentale, ciò che è direttamente osservabile sono le traiettorie singole degli stati quantistici ($\rho_t = T_t \rho_0$) partendo da uno stato iniziale fissato.
La domanda centrale del lavoro è: È possibile rilevare la non-Markovianità osservando esclusivamente una singola traiettoria (o un insieme finito di traiettorie) senza conoscere a priori la mappa dinamica sottostante?

2. Metodologia

Gli autori adottano un approccio geometrico e analitico basato sulla teoria del controllo quantistico e sulla geometria dello spazio degli stati.

• Definizione di "Lift" (Sollevamento) di Lindbladiano: Un percorso di matrici di densità $\rho_t$ è detto "sollevabile" da un Lindbladiano se esiste una famiglia di generatori locali nel tempo $L_t$ tale che $\dot{\rho}_t = L_t(\rho_t)$. Se tale $L_t$ esiste e genera un'evoluzione Markoviana, la traiettoria può essere riprodotta da un processo Markoviano.
• Analisi Geometrica: Lo spazio degli stati quantistici $D(H)$ non è uno spazio vettoriale ma possiede una struttura stratificata con un cono tangente $T^+_\rho D(H)$. Il teorema fondamentale (dai lavori precedenti degli autori) stabilisce che il cono tangente è esattamente l'insieme delle velocità cineticamente ammissibili generate da tutti i possibili generatori di Lindblad.
• Costruzione Esplicita: Gli autori costruiscono famiglie di generatori di Lindblad (spesso chiamati "replacer Lindbladians") che riproducono esattamente la derivata temporale $\dot{\rho}_t$ di una data traiettoria, anche se la traiettoria originale è stata generata da un processo non-Markoviano.
• Ipotesi di Regolarità: Per garantire l'esistenza di tali sollevamenti, vengono imposte due condizioni tecniche sulle traiettorie:
  1. Gli autospazi di $\rho_t$ dipendono continuamente da $t$.
  2. L'insieme dei tempi in cui il rango di $\rho_t$ cambia non ha punti di accumulazione.

3. Risultati Chiave

A. Teorema del Sollevamento di Lindbladiano (Theorem 1)

Il risultato principale afferma che, sotto le ipotesi di regolarità sopra menzionate, qualsiasi traiettoria differenziabile $\rho_t$ può essere realizzata come l'evoluzione di una mappa dinamica Markoviana. In altre parole, per ogni percorso $\rho_t$, esiste una famiglia di generatori $L_t$ (Markoviani) tale che $\dot{\rho}_t = L_t \rho_t$.

B. Indistinguibilità su Singola Traiettoria

Poiché ogni traiettoria "ben comportata" può essere generata da un processo Markoviano, la non-Markovianità non è una proprietà invariante di una singola traiettoria. Non è possibile distinguere se una singola traiettoria osservata provenga da un processo con memoria (Non-Markoviano) o da un processo senza memoria (Markoviano) senza informazioni aggiuntive sulla mappa globale o sulle condizioni iniziali multiple.

C. Indistinguibilità Esponenziale

Gli autori dimostrano che anche osservando un insieme di $2^n$ traiettorie (dove $n$ è il numero di qubit), generate da stati iniziali diversi o da sottosistemi, non è sufficiente per rilevare la non-Markovianità.

• Viene costruito un esempio in cui una famiglia esponenzialmente grande di traiettorie (prodotte da un processo Non-Markoviano noto, come quello di Hall et al.) può essere simultaneamente riprodotta da un'unica dinamica Markoviana.
• Questo implica che l'aggiunta di più stati iniziali non risolve il problema dell'identificabilità se non si ha accesso alla tomografia completa del processo.

D. Indistinguibilità Regionale e Campionamento Discreto

• Regioni: Anche variando leggermente lo stato iniziale (creando una regione connessa di traiettorie), un singolo generatore Markoviano può sollevare l'intera regione, rendendo indistinguibile il comportamento locale da quello globale.
• Campionamento Discreto: Poiché molte caratterizzazioni sperimentali si basano su campioni discreti nel tempo, gli autori mostrano che qualsiasi insieme finito di punti discreti può essere interpolato da un percorso affine a tratti, il quale ammette sempre un sollevamento Markoviano. Quindi, i dati discreti non sono sufficienti per rilevare la non-Markovianità.

4. Contributi Principali

1. Invisibilità della Non-Markovianità: Dimostrazione rigorosa che la non-Markovianità è una proprietà globale della mappa dinamica e non delle singole traiettorie. È "nascosta" quando si osserva solo il percorso dello stato.
2. Costruzione di Sollevamenti: Fornisce criteri costruttivi (Corollari 2 e 3) per determinare quando una traiettoria ammette un sollevamento Markoviano e fornisce formule esplicite per i generatori $L_t$ (ad esempio, utilizzando canali di sostituzione o "replacer channels").
3. Limiti delle Definizioni Operative: Sottolinea che le definizioni basate su singole traiettorie o su insiemi finiti di traiettorie sono intrinsecamente insufficienti per caratterizzare la natura Markoviana o Non-Markoviana di un sistema, a meno che non si conoscano a priori le condizioni iniziali ottimali o si esegua la tomografia completa del processo.

5. Significato e Implicazioni

• Per la Sperimentazione: Gli sperimentatori non possono concludere che un sistema è non-Markoviano basandosi solo sull'osservazione di una singola evoluzione temporale o di un numero limitato di stati iniziali. La non-Markovianità richiede la caratterizzazione della mappa dinamica completa (process tomography) o l'analisi di proprietà globali come la violazione della disuguaglianza di elaborazione dei dati su coppie specifiche di stati.
• Per la Teoria del Controllo: Sebbene la non-Markovianità non generi nuove traiettorie "impossibili" per i processi Markoviani, essa rimane una risorsa preziosa. I processi Markoviani che riproducono le stesse traiettorie potrebbero richiedere risorse ambientali molto più grandi (registri aggiuntivi) o controlli più complessi. Quindi, la non-Markovianità può essere vista come un modo efficiente per codificare memoria in un ambiente più piccolo.
• Geometria Quantistica: Il lavoro collega profondamente la dinamica quantistica alla geometria dello spazio degli stati, mostrando come la struttura del cono tangente permetta di "nascondere" la natura del generatore dietro una traiettoria osservata.

In sintesi, il paper stabilisce che la non-Markovianità è un fenomeno globale che non lascia un'impronta locale unica sulle singole traiettorie, rendendola invisibile a osservazioni limitate a percorsi singoli o insiemi finiti di essi.