Testing the equivalence to thermal states via extractable work under LOCC

Resumo Técnico: Testando a Equivalência a Estados Térmicos via Trabalho Extraível sob LOCC

Enunciado do Problema
Um problema central na termodinâmica quântica é compreender como o comportamento térmico emerge em estados puros de muitos corpos isolados. Está bem estabelecido que estados puros típicos são indistinguíveis de estados térmicos quando restritos a operações estritamente locais (LO), pois o trabalho extraível de tais estados desaparece no limite termodinâmico, espelhando o comportamento de estados térmicos. Essa equivalência surge porque operações locais não conseguem acessar as correlações entre subsistemas. Inversamente, sob operações globais arbitrárias, uma quantidade extensiva de trabalho pode ser extraída de qualquer estado puro ao explorar plenamente as correlações multipartites.

A questão aberta crítica abordada neste trabalho é se essa equivalência a estados térmicos persiste sob Operações Locais e Comunicação Clássica (LOCC). LOCC representa um regime operacional intermediário onde correlações classicamente acessíveis podem ser exploradas para extração de trabalho, embora correlações genuinamente quânticas permaneçam inacessíveis. Determinar se estados puros permanecem "térmicos" (rendendo trabalho subextensivo) ou tornam-se "não térmicos" (rendendo trabalho extensivo) sob LOCC é não trivial, pois requer distinguir entre correlações multipartites clássicas e quânticas.

Metodologia
Os autores empregam um arcabouço de extração de trabalho no regime de temperatura infinita ($k_B T \gg \Delta E$), onde o trabalho extraível é determinado unicamente pela pureza do estado, e não por mudanças de energia. O arcabouço define três regimes:

1. Operações Globais ($W_{\text{global}}$): $W_{\text{global}}(\rho) = N \ln d - S(\rho)$. Para estados puros, isso é extensivo ($\Theta(N)$).
2. Operações Estritamente Locais ($W_{\text{local}}$): $W_{\text{local}}(\rho) = N \ln d - \sum S(\rho_n)$. Para estados localmente indistinguíveis de estados térmicos, isso desaparece ($o(1)$).
3. LOCC ($W_{\text{LOCC}}$): Definido como o supremo do trabalho extraível sobre todos os protocolos LOCC de rodadas finitas. O trabalho é formulado como $W_{\text{LOCC}}(\rho) = N \ln d - \min_{\Lambda} H_{\Lambda, \rho}(Y^L)$, onde o segundo termo representa o custo de trabalho para apagar a memória clássica dos resultados de medição.

Para abordar a dificuldade de otimizar sobre todos os protocolos LOCC, os autores derivam um limite superior tratável para $W_{\text{LOCC}}$ usando emaranhamento geométrico ($E_g$):
$$W_{\text{LOCC}}(|\psi\rangle) \leq N \ln d - E_g(|\psi\rangle)$$
onde $E_g(|\psi\rangle) \equiv -\ln (\max_{|u\rangle \in \mathcal{P}_{SN}} |\langle u|\psi\rangle|^2)$ e $\mathcal{P}_{SN}$ é o conjunto de estados produto. Esta desigualdade implica que, se um estado possui emaranhamento multipartite assintoticamente maximal ($E_g \approx N \ln d$), o trabalho extraível sob LOCC deve ser subextensivo.

Para estados onde este limite superior não garante a subextensividade, os autores constroem limites inferiores explícitos projetando estratégias de extração de trabalho customizadas (especificamente, estratégias de medição adaptativas) para demonstrar a extração de trabalho extensiva.

Principais Contribuições e Resultados
O artigo estabelece critérios para equivalência térmica sob LOCC baseados na escalação do trabalho extraível ($W_{\text{LOCC}}$). Um estado é considerado equivalente a um estado térmico se $W_{\text{LOCC}} = o(N)$ e inequivalente se $W_{\text{LOCC}} = \Theta(N)$.

1. Estados Altamente Emaranhados (Equivalência Térmica):
   Os autores provam que estados com emaranhamento geométrico assintoticamente maximal rendem trabalho subextensivo sob LOCC. Esta classe inclui:

   • Estados de Haar-aleatórios: Provados possuir emaranhamento geométrico maximal com alta probabilidade, levando a $W_{\text{LOCC}} \leq 2 \ln N = o(N)$.
   • $t$-designs de estado aproximados: Para ensembles com $t = \omega(\ln N)$, o emaranhamento geométrico também é assintoticamente maximal, resultando em $W_{\text{LOCC}} = o(N)$.
   • Estados de grafos aleatórios: Grafos amostrados uniformemente de todos os grafos de $N$ vértices exibem emaranhamento geométrico maximal, rendendo $W_{\text{LOCC}} = o(N)$.
     Estes resultados confirmam que, apesar de serem localmente indistinguíveis de estados térmicos, esses estados altamente emaranhados permanecem termicamente equivalentes mesmo quando a comunicação clássica é permitida.

2. Estados com Emaranhamento Limitado (Inequivalência Térmica):
   Inversamente, os autores demonstram que certos estados com estruturas de emaranhamento multipartite restritas permitem a extração de trabalho extensiva sob LOCC, apesar de serem localmente térmicos:

   • Estados de grafo de grau constante: Para estados de grafo onde cada vértice possui um grau fixo $r = O(1)$ (ex: redes hexagonais ou quadradas), os autores constroem um protocolo que rende $W_{\text{LOCC}} \geq \frac{N \ln 2}{r+1} = \Theta(N)$.
   • Ensemble de estado de subconjunto: Estados definidos como sobreposições uniformes sobre um subconjunto $S$ de estados da base computacional com tamanho de suporte $K < 2^{cN}$ (onde $c < 1$). Um protocolo simples de uma rodada rende $W_{\text{LOCC}} \geq N \ln 2 - \ln K = \Theta(N)$.
   • Circuitos de autômato: Os autores observam que estados de saída de circuitos de autômatos (que não geram coerência na base computacional) caem nesta categoria, exibindo termalização local mas inequivalência LOCC.

Significância
O artigo fornece uma noção operacional refinada de equivalência térmica que se estende além do regime local tradicional. Ao utilizar LOCC, o trabalho distingue entre estados puramente térmicos localmente e aqueles que são globalmente térmicos na presença de comunicação clássica.

A principal significância reside em ligar a estrutura de correlação quântica multipartite diretamente ao comportamento termodinâmico. Os resultados mostram que:

• Estados com emaranhamento multipartite assintoticamente maximal (como estados de Haar-aleatórios) são robustamente térmicos mesmo sob LOCC.
• Estados com emaranhamento multipartite limitado (como estados de grafo de grau constante ou estados de subconjunto de baixa coerência) podem ser distinguidos de estados térmicos via LOCC, pois permitem a extração de trabalho extensivo.

Este trabalho refina a compreensão da termalização em sistemas quânticos isolados, oferecendo um critério operacional para classificar estados puros baseados em suas estruturas de correlação. Ele destaca que a natureza "térmica" de um estado não é absoluta, mas depende da classe de operações permitidas, uma distinção que se torna cada vez mais relevante à medida que as capacidades experimentais se expandem para incluir comunicação clássica entre subsistemas.