Testing the equivalence to thermal states via extractable work under LOCC

Sintesi Tecnica: Test della Equivalenza agli Stati Termici tramite il Lavoro Estrabile sotto LOCC

Enunciato del Problema
Un problema centrale nella termodinamica quantistica è comprendere come il comportamento termico emerga in stati puri di molti corpi quantistici isolati. È ben stabilito che gli stati puri tipici sono indistinguibili dagli stati termici quando limitati ad operazioni strettamente locali (LO), poiché il lavoro estraibile da tali stati svanisce nel limite termodinamico, rispecchiando il comportamento degli stati termici. Questa equivalenza sorge perché le operazioni locali non possono accedere alle correlazioni tra i sottosistemi. Al contrario, sotto operazioni globali arbitrarie, è possibile estrarre un lavoro estensivo da qualsiasi stato puro sfruttando appieno le correlazioni multipartite.

La questione aperta cruciale affrontata in questo lavoro è se questa equivalenza agli stati termici persista sotto l'insieme di Operazioni Locali e Comunicazione Classica (LOCC). LOCC rappresenta un regime operativo intermedio in cui le correlazioni classicamente accessibili possono essere sfruttate per l'estrazione di lavoro, sebbene le correlazioni quantistiche genuine rimangano inaccessibili. Determinare se gli stati puri rimangano "termici" (generando lavoro subestensivo) o diventino "non termici" (generando lavoro estensivo) sotto LOCC è non banale, poiché richiede di distinguere tra correlazioni multipartite classiche e quantistiche.

Metodologia
Gli autori utilizzano un quadro di estrazione del lavoro nel regime di temperatura infinita ($k_B T \gg \Delta E$), in cui il lavoro estraibile è determinato unicamente dalla purezza dello stato piuttosto che dai cambiamenti di energia. Il quadro definisce tre regimi:

1. Operazioni Globali ($W_{\text{global}}$): $W_{\text{global}}(\rho) = N \ln d - S(\rho)$. Per gli stati puri, questo è estensivo ($\Theta(N)$).
2. Operazioni Strettamente Locali ($W_{\text{local}}$): $W_{\text{local}}(\rho) = N \ln d - \sum S(\rho_n)$. Per stati localmente indistinguibili da stati termici, questo svanisce ($o(1)$).
3. LOCC ($W_{\text{LOCC}}$): Definito come il supremo del lavoro estraibile su tutti i protocolli LOCC a round finiti. Il lavoro è formulato come $W_{\text{LOCC}}(\rho) = N \ln d - \min_{\Lambda} H_{\Lambda, \rho}(Y^L)$, dove il secondo termine rappresenta il costo di lavoro per cancellare la memoria classica degli esiti delle misurazioni.

Per affrontare la difficoltà di ottimizzare su tutti i protocolli LOCC, gli autori derivano un limite superiore trattabile per $W_{\text{LOCC}}$ utilizzando l'entanglement geometrico ($E_g$):
$$W_{\text{LOCC}}(|\psi\rangle) \leq N \ln d - E_g(|\psi\rangle)$$
dove $E_g(|\psi\rangle) \equiv -\ln (\max_{|u\rangle \in \mathcal{P}_{SN}} |\langle u|\psi\rangle|^2)$ e $\mathcal{P}_{SN}$ è l'insieme degli stati prodotto. Questa disuguaglianza implica che se uno stato possiede un entanglement multipartite asintoticamente massimale ($E_g \approx N \ln d$), il lavoro estraibile sotto LOCC deve essere subestensivo.

Per gli stati in cui questo limite superiore non garantisce la subestensività, gli autori costruiscono dei limiti inferiori espliciti progettando protocolli di estrazione del lavoro su misura (specificamente, strategie di misurazione adattiva) per dimostrare l'estrazione di lavoro estensivo.

Contributi Chiave e Risultati
Il documento stabilisce criteri per l'equivalenza termica sotto LOCC basati sulla scalatura del lavoro estraibile ($W_{\text{LOCC}}$). Uno stato è considerato equivalente a uno stato termico se $W_{\text{LOCC}} = o(N)$ e inequivalente se $W_{\text{LOCC}} = \Theta(N)$.

1. Stati Altamente Entangled (Equivalenza Termica):
   Gli autori dimostrano che gli stati con entanglement geometrico asintoticamente massimale producono lavoro subestensivo sotto LOCC. Questa classe include:

   • Stati Haar-random: Dimostrati avere entanglement geometrico massimale con alta probabilità, portando a $W_{\text{LOCC}} \leq 2 \ln N = o(N)$.
   • Approssimazioni di $t$-design di stato: Per gli ensemble con $t = \omega(\ln N)$, l'entanglement geometrico è anch'esso asintoticamente massimale, risultando in $W_{\text{LOCC}} = o(N)$.
   • Stati a grafo random: I grafi campionati uniformemente da tutti i grafi con $N$ vertici esibiscono un entanglement geometrico massimale, producendo $W_{\text{LOCC}} = o(N)$.
     Questi risultati confermano che, nonostante siano localmente indistinguibili da stati termici, questi stati altamente entangled rimangono termicamente equivalenti anche quando la comunicazione classica è consentita.

2. Stati con Entanglement Limitato (Inequivalenza Termica):
   Al contrario, gli autori dimostrano che certi stati con strutture di entanglement multipartite ristrette permettono l'estrazione di lavoro estensivo sotto LOCC, nonostante siano localmente termici:

   • Stati a grafo a grado costante: Per gli stati a grafo dove ogni vertice ha un grado fisso $r = O(1)$ (ad esempio, reticoli esagonali o quadrati), gli autori costruiscono un protocollo che produce $W_{\text{LOCC}} \geq \frac{N \ln 2}{r+1} = \Theta(N)$.
   • Ensemble di stati di sottoinsieme: Stati definiti come sovrapposizioni uniformi su un sottoinsieme $S$ di stati della base computazionale con dimensione di supporto $K < 2^{cN}$ (con $c < 1$). Un semplice protocollo a un round produce $W_{\text{LOCC}} \geq N \ln 2 - \ln K = \Theta(N)$.
   • Circuiti ad automa: Gli autori notano che gli stati di output di circuiti ad automa (che non generano coerenza nella base computazionale) rientrano in questa categoria, esibendo termalizzazione locale ma inequivalenza LOCC.

Significato
Il documento fornisce una nozione operativa raffinata di equivalenza termica che si estende oltre il tradizionale regime locale. Utilizzando LOCC, il lavoro distingue tra stati puri che sono meramente termici localmente e quelli che sono globalmente termici in presenza di comunicazione classica.

Il significato primario risiede nel collegare direttamente la struttura delle correlazioni quantistiche multipartite al comportamento termodinamico. I risultati mostrano che:

• Gli stati con entanglement multipartite asintoticamente massimale (come gli stati Haar-random) sono robustamente termici anche sotto LOCC.
• Gli stati con entanglement multipartite limitato (come gli stati a grafo a grado costante o gli stati di sottoinsieme a bassa coerenza) possono essere distinti dagli stati termici tramite LOCC, poiché permettono l'estrazione di lavoro estensivo.

Questo lavoro affina la comprensione della termalizzazione negli sistemi quantistici isolati, offrendo un criterio operativo per classificare gli stati puri in base alle loro strutture di correlazione. Evidenzia che la natura "termica" di uno stato non è assoluta ma dipende dalla classe di operazioni consentite, una distinzione che diventa sempre più rilevante man mano che le capacità sperimentali si espandono per includere la comunicazione classica tra i sottosistemi.