On the distinction between distinguishability of states and witness of non-Markovianity of dynamical maps

Riepilogo Tecnico: Sulla Distinzione tra Distinguibilità degli Stati e Testimone di Non-Markovianità delle Mappe Dinamiche

Enunciato del Problema
Il lavoro affronta una lacuna concettuale nella caratterizzazione della non-Markovianità quantistica. Sebbene la non-P-divisibilità sia stabilita come la nozione più forte di non-Markovianità basata sulla divisibilità, e il criterio della Distanza Tracciata Generalizzata (GTD) sia noto come un testimone ottimale a livello di mappa per la non-P-divisibilità, gli autori mettono in discussione la validità di associare il ritorno di informazioni direttamente alla distinguibilità degli stati a livello di coppia di stati individuale. In particolare, il lavoro indaga se il criterio GTD funzioni come un indicatore "stretto" (senza falsi negativi) e "fedele" (senza falsi positivi) del flusso di informazioni per coppie specifiche di stati evoluti, o se tale associazione valga solo quando si ottimizza su tutte le possibili coppie di stati.

Metodologia
Gli autori impiegano un quadro teorico basato sulla dinamica dei qubit rappresentata come trasformazioni affini del vettore di Bloch ($\vec{r}' = T\vec{r} + \vec{c}$). Utilizzano due misure principali:

1. Misura BLP: Basata sulla distanza tracciata standard ($D = \frac{1}{2}\|\rho_1 - \rho_2\|_1$) per stati equiprobabili.
2. Misura GBLP: Basata sulla distanza tracciata generalizzata ($D = \|\Delta_p(\rho_1, \rho_2)\|_1$) che coinvolge probabilità sbilanciate ($p, q$) e la matrice di Helstrom, la quale tiene conto dei vettori di traslazione ($\vec{c}$) nelle dinamiche non unitali.

La metodologia comprende:

• Derivare la relazione tra P-divisibilità e monotonia della distanza tracciata generalizzata.
• Dimostrare teoremi riguardanti l'equivalenza delle condizioni BLP e GBLP per dinamiche unitali rispetto a quelle non unitali.
• Costruire specifici controesempi per testare la "strettezza" e la "fedeltà" del criterio GTD quando applicato a coppie fisse di stati anziché a ensemble ottimizzati.
• Analizzare il comportamento della metrica di distanza in regimi in cui la magnitudine del vettore di Bloch $|\vec{w}(t)|$ attraversa la soglia $|p-q|$.

Contributi e Risultati Chiave

1. Equivalenza nelle Dinamiche Unitali: Gli autori dimostrano (Teorema 1) che per dinamiche unitali di qubit (dove il vettore di traslazione $\vec{c} = 0$), le condizioni BLP e GBLP sono equivalenti. Di conseguenza, per le mappe unitali, la misura generalizzata non offre alcun vantaggio sulla distanza tracciata standard nel testimoniare la non-Markovianità.

2. Necessità di GBLP per Dinamiche Non Unitali: Il lavoro stabilisce (Teorema 2) che i criteri BLP e GBLP differiscono solo nel caso di dinamiche non unitali e non-P-divisibili. In questi casi, la misura BLP standard può fallire nel rilevare la non-Markovianità (indicando erroneamente Markovianità) perché è insensibile alla componente di traslazione della dinamica, whereas GBLP identifica correttamente la non-P-divisibilità.

3. Fallimento della Strettezza (Falsi Negativi): Gli autori dimostrano che il criterio GTD non è un testimone stretto per coppie individuali di stati. Forniscono esempi di dinamiche non-Markoviane (sia unitali che non unitali) in cui la distinguibilità di una specifica coppia di stati aumenta manifestamente (indicando un ritorno di informazioni), eppure il criterio GTD fallisce nel registrare tale aumento. Ciò si verifica quando l'evoluzione del vettore di Bloch pesato $\vec{w}(t)$ fa sì che la metrica di distanza si stabilizzi o si comporti in modo non monotono in un modo che maschera i cambiamenti di distinguibilità sottostanti, in particolare quando $|\vec{w}(t)| < |p-q|$.

4. Fallimento della Fedeltà (Falsi Positivi): Più criticamente, il lavoro mostra che il criterio GTD non è un testimone fedele. Gli autori costruiscono uno scenario che coinvolge la composizione di un canale di depolarizzazione e un canale di spostamento. In questo caso, due stati che diventano identici (indistinguibili) a un tempo intermedio $\tau$ vengono successivamente separati da uno spostamento. La misura GTD produce una distanza non nulla al tempo $t > \tau$ a causa dello sbilanciamento nelle probabilità di preparazione ($p \neq q$), suggerendo erroneamente un ritorno di informazioni o una distinguibilità dove fisicamente non esiste alcuna differenza tra gli stati evoluti. Ciò indica che l'aumento di GTD riflette informazioni di preparazione piuttosto che un ritorno di informazioni dinamiche.

Significato e Affermazioni
Il lavoro sostiene che, sebbene la condizione GBLP sia un testimone ottimale per la non-P-divisibilità di una mappa dinamica (quando ottimizzata su tutte le coppie di stati), non è né un indicatore stretto né fedele del ritorno di informazioni o della distinguibilità quando applicata a coppie individuali di stati.

Gli autori concludono che esiste una distinzione sottile ma cruciale tra:

• Testimonianza a livello di mappa: Associare la non-P-divisibilità all'esistenza di alcuna coppia di stati che mostra una distinguibilità aumentata (dove GBLP è ottimale).
• Testimonianza a livello di stato: Associare il flusso di informazioni di una specifica coppia di stati al criterio GTD (dove GBLP fallisce).

Il significato di questo lavoro risiede nell'avvertire contro l'interpretazione diretta degli aumenti di GTD per specifiche coppie di stati come prova definitiva di un ritorno di informazioni. Il lavoro suggerisce che l'associazione del flusso di informazioni con la divisibilità deve essere applicata con cautela a livello microscopico delle coppie di stati, poiché la misura generalizzata può produrre risultati fuorvianti (sia falsi negativi che falsi positivi) in contesti dinamici specifici, in particolare quelli che coinvolgono rumore non unitali e preparazioni di stati sbilanciate. Gli autori notano che la loro analisi è specifica per i qubit, ma suggerisce che vincoli geometrici simili possano applicarsi a sistemi di dimensioni superiori (ad esempio, qutrits con sottospazi di qubit incorporati).