Testing the equivalence to thermal states via extractable work under LOCC

Technische Samenvatting: Het testen van de equivalentie met thermische toestanden via extraheerbare arbeid onder LOCC

Probleemstelling
Een centraal probleem in de kwantumthermodynamica is het begrijpen van hoe thermisch gedrag ontstaat in geïsoleerde kwantum veel-deeltjes zuivere toestanden. Het staat vast dat typische zuivere toestanden ononderscheidbaar zijn van thermische toestanden wanneer men beperkt is tot strikt lokale operaties (LO), aangezien de extraheerbare arbeid uit dergelijke toestanden in het thermodynamische limiet verdwijnt, wat het gedrag van thermische toestanden weerspiegelt. Deze equivalentie ontstaat omdat lokale operaties geen toegang hebben tot correlaties tussen subsystemen. Daarentegen kunnen onder willekeurige globale operaties extensieve arbeid worden geëxtraheerd uit elke zuivere toestand door multipartiete correlaties volledig te benutten.

De cruciale openstaande vraag die in dit werk wordt behandeld, is of deze equivalentie met thermische toestanden standhoudt onder Local Operations and Classical Communication (LOCC). LOCC vormt een intermediair operationeel regime waarbij klassiek toegankelijke correlaties kunnen worden benut voor arbeidsextractie, terwijl genuanceerde kwantumcorrelaties ontoegankelijk blijven. Het bepalen of zuivere toestanden "thermisch" blijven (opbrengst van subextensieve arbeid) of "niet-thermisch" worden (opbrengst van extensieve arbeid) onder LOCC is niet-trivial, aangezien het vereist onderscheid te maken tussen klassieke en kwantum multipartiete correlaties.

Methodologie
De auteurs maken gebruik van een arbeidsextractiekader in het regime van oneindige temperatuur ($k_B T \gg \Delta E$), waarbij de extraheerbare arbeid uitsluitend wordt bepaald door de zuiverheid van de toestand in plaats van energieveranderingen. Het kader definieert drie regimes:

1. Globale Operaties ($W_{\text{global}}$): $W_{\text{global}}(\rho) = N \ln d - S(\rho)$. Voor zuivere toestanden is dit extensief ($\Theta(N)$).
2. Strikt Lokale Operaties ($W_{\text{local}}$): $W_{\text{local}}(\rho) = N \ln d - \sum S(\rho_n)$. Voor toestanden die lokaal ononderscheidbaar zijn van thermische toestanden, verdwijnt dit ($o(1)$).
3. LOCC ($W_{\text{LOCC}}$): Gedefinieerd als het supremum van de extraheerbare arbeid over alle eindige LOCC-protocollen. De arbeid wordt geformuleerd als $W_{\text{LOCC}}(\rho) = N \ln d - \min_{\Lambda} H_{\Lambda, \rho}(Y^L)$, waarbij de tweede term de arbeidskosten vertegenwoordigt voor het wissen van het klassieke geheugen van meetresultaten.

Om de moeilijkheid van het optimaliseren over alle LOCC-protocollen aan te pakken, leiden de auteurs een hanteerbare bovengrens af voor $W_{\text{LOCC}}$ met behulp van geometrische verstrengeling ($E_g$):
$$W_{\text{LOCC}}(|\psi\rangle) \leq N \ln d - E_g(|\psi\rangle)$$
waarbij $E_g(|\psi\rangle) \equiv -\ln (\max_{|u\rangle \in \mathcal{P}_{SN}} |\langle u|\psi\rangle|^2)$ en $\mathcal{P}_{SN}$ de verzameling producttoestanden is. Deze ongelijkheid impliceert dat als een toestand asymptotisch maximale multipartiete verstrengeling bezit ($E_g \approx N \ln d$), de extraheerbare arbeid onder LOCC subextensief moet zijn.

Voor toestanden waarbij deze bovengrens geen subextensiviteit garandeert, construeren de auteurs expliciete ondergrenzen door op maat gemaakte arbeidsextractieprotocollen (specifiek adaptieve meetstrategieën) te ontwerpen om extensieve arbeidsextractie aan te tonen.

Belangrijkste Bijdragen en Resultaten
Het artikel stelt criteria vast voor thermische equivalentie onder LOCC op basis van de schaling van de extraheerbare arbeid ($W_{\text{LOCC}}$). Een toestand wordt beschouwd als equivalent aan een thermische toestand als $W_{\text{LOCC}} = o(N)$ en inequivalent als $W_{\text{LOCC}} = \Theta(N)$.

1. Hoogverstrengelde Toestanden (Thermische Equivalentie):
   De auteurs bewijzen dat toestanden met asymptotisch maximale geometrische verstrengeling subextensieve arbeid opleveren onder LOCC. Deze klasse omvat:

   • Haar-willekeurige toestanden: Bewezen een maximale geometrische verstrengeling te hebben met hoge waarschijnlijkheid, wat leidt tot $W_{\text{LOCC}} \leq 2 \ln N = o(N)$.
   • Benaderende toestand $t$-designs: Voor ensembles met $t = \omega(\ln N)$ is de geometrische verstrengeling ook asymptotisch maximaal, resulterend in $W_{\text{LOCC}} = o(N)$.
   • Random graph states: Grafen die uniform worden gesampled uit alle $N$-vertex grafen vertonen maximale geometrische verstrengeling, wat $W_{\text{LOCC}} = o(N)$ oplevert.
     Deze resultaten bevestigen dat, hoewel deze hoogverstrengelde toestanden lokaal ononderscheidbaar zijn van thermische toestanden, zij zelfs wanneer klassieke communicatie is toegestaan, thermisch equivalent blijven.

2. Toestanden met Beperkte Verstrengeling (Thermische Inequivalentie):
   Converseel demonstreren de auteurs dat bepaalde toestanden met beperkte multipartiete verstrengelingsstructuren extensieve arbeidsextractie onder LOCC mogelijk maken, ondanks dat ze lokaal thermisch zijn:

   • Constant-degree graph states: Voor graph states waarbij elke vertex een vaste graad $r = O(1)$ heeft (bijv. hexagonaal of vierkant rooster), construeren de auteurs een protocol dat $W_{\text{LOCC}} \geq \frac{N \ln 2}{r+1} = \Theta(N)$ oplevert.
   • Subset state ensemble: Toestanden gedefinieerd als uniforme superposities over een deelverzameling $S$ van computationele basis-toestanden met een ondersteuningsgrootte $K < 2^{cN}$ (waarbij $c < 1$). Een eenvoudig een-ronde protocol levert $W_{\text{LOCC}} \geq N \ln 2 - \ln K = \Theta(N)$ op.
   • Automaton circuits: De auteurs merken op dat output-toestanden van automaton circuits (die geen coherentie genereren in de computationele basis) in deze categorie vallen, waarbij ze lokaal thermisch zijn maar LOCC inequivalent.

Significantie
Het artikel biedt een verfijnd operationeel begrip van thermische equivalentie dat verder gaat dan het traditionele lokale regime. Door LOCC te gebruiken, onderscheidt het pure toestanden die slechts lokaal thermisch zijn van toestanden die globaal thermisch zijn in aanwezigheid van klassieke communicatie.

De primaire significantie ligt in het direct koppelen van de multipartiete kwantumcorrelatiestructuur aan thermodynamisch gedrag. De resultaten tonen aan dat:

• Toestanden met asymptotisch maximale multipartiete verstrengeling (zoals Haar-willekeurige toestanden) robuust thermisch zijn, zelfs onder LOCC.
• Toestanden met beperkte multipartiete verstrengeling (zoals constant-degree graph states of lage-coherentie subset-toestanden) via LOCC van thermische toestanden kunnen worden onderscheiden, aangezien zij extensieve arbeidsextractie toestaan.

Dit werk verscherpt het begrip van thermalisatie in geïsoleerde kwantumsystemen door een operationeel criterium te bieden om pure toestanden te classificeren op basis van hun correlatiestructuren. Het benadrukt dat het "thermische" karakter van een toestand niet absoluut is, maar afhangt van de klasse van toegestane operaties, een onderscheid dat steeds relevanter wordt naarmate de experimentele mogelijkheden zich uitbreiden naar de inclusie van klassieke communicatie tussen subsystemen.