Quantum stochastic thermodynamics of macroscopic systems: an algebraic approach

Resumo Técnico: Termodinâmica Estocástica Quântica de Sistemas Macroscópicos: Uma Abordagem Algébrica

Definição do Problema
As formulações atuais da termodinâmica quântica enfrentam uma dicotomia. Por um lado, a termodinâmica macroscópica baseia-se em descrições de granularidade grossa (coarse-grained) onde se assume que os graus de liberdade internos se equilibram rapidamente, permitindo a emergência da irreversibilidade e da segunda lei sem o rastreamento do estado quântico completo. Por outro lado, as abordagens estabelecidas da termodinâmica estocástica quântica (ex: para sistemas abertos) tipicamente requerem acesso total à matriz de densidade (ou função de onda) do sistema para definir quantidades termodinâmicas como a entropia de von Neumann, calor e trabalho. Esse requisito é experimentalmente proibitivo para sistemas de muitos corpos e falha em capturar a produção de entropia "interna" associada ao equilíbrio dos graus de liberdade não observados. Além disso, as abordagens padrão frequentemente tratam a dinâmica unitária fechada como reversível, tornando difícil analisar o comportamento termodinâmico de sistemas quânticos isolados ou a transição quântico-clássica sob uma perspectiva termodinâmica. O artigo aborda a necessidade de um arcabouço que interpole entre a termodinâmica estocástica fina e a termodinâmica de equilíbrio macroscópica, capaz de lidar com sistemas onde apenas um subconjunto de observáveis (uma descrição de granularidade grossa) é acessível.

Metodologia
Os autores propõem um arcabouço baseado na especificação de uma subálgebra acessível de observáveis, $\mathcal{A} \subset \mathcal{B}(\mathcal{H})$, que define o nível de granularidade grossa.

1. Granularidade Grossa Algébrica:

   • Caso Comutativo: O arcabouço começa com a medição de um único observável de granularidade grossa (ou um conjunto comutativo), gerando uma álgebra comutativa. Isso mapeia um microestado $\rho$ para uma distribuição de macroestados clássicos $p_J$. Os autores utilizam o mapa de recuperação de Petz (ou, equivalentemente, o princípio da máxima entropia de Jaynes) para reconstruir um "estado de granularidade grossa" $\rho_{cg}$ compatível com os resultados das medições.
   • Caso Não Comutativo: O arcabouço é generalizado para subálgebras de Tipo I de von Neumann arbitrárias. Os observáveis acessíveis podem não comutar. O estado de granularidade grossa é definido como o estado que maximiza a entropia de von Neumann sujeito às restrições impostas pelos valores de expectativa de todos os operadores na subálgebra $\mathcal{A}$. Isso resulta em um operador de densidade reduzido que pode reter coerências quânticas dentro dos setores definidos pela álgebra.

2. Entropia Dependente da Álgebra:

   • Uma nova função de entropia, $S_{\mathcal{A}}(\rho)$, é definida como a máxima entropia de von Neumann compatível com a álgebra acessível.
   • Esta entropia interpola entre a entropia de von Neumann (quando $\mathcal{A}$ é a álgebra de operadores completa) e a entropia observacional (quando $\mathcal{A}$ é comutativa).
   • $S_{\mathcal{A}}$ decompõe-se em três termos: uma entropia de Shannon/Gibbs sobre os setores, uma entropia de von Neumann da parte acessível dentro dos setores, e um termo de entropia de Boltzmann que contabiliza os graus de liberdade inacessíveis (a álgebra comutante $\mathcal{A}'$).

3. Leis Termodinâmicas:

   • Medição de Dois Pontos (TPM): Os autores derivam a segunda lei considerando medições iniciais e finais definidas por álgebras acessíveis (potencialmente diferentes) $\mathcal{A}_i$ e $\mathcal{A}_f$.
   • Equilíbrio Interno: O conceito de "equilíbrio interno" é introduzido, onde os graus de liberdade inacessíveis (na comutante) são assumidos como estando em um estado microcanônico (máxima entropia) em relação às restrições acessíveis. Desvios deste estado introduzem termos de correção na segunda lei.
   • Processos Quase-Estáticos: Para definir calor e trabalho, os autores consideram um caminho contínuo de esquemas de medição (rotacionando a álgebra acessível). Isso permite a identificação de incrementos infinitesimais de calor e trabalho, estabelecendo uma ponte entre mudanças informacionais e transferências energéticas.

Principais Contribuições e Resultados

• Segunda Lei Generalizada: O artigo deriva uma segunda lei de granularidade grossa para a entropia dependente da álgebra:
  $$\Delta S_{\mathcal{A}} - \Delta \langle K \rangle \geq -I_{ext} - I_{int}$$
  onde $I_{ext}$ é a informação mútua inicial entre o sistema e o ambiente e $I_{int}$ é a entropia relativa entre o estado inicial e o estado de granularidade grossa (quantificando a falta de equilíbrio interno).

  • Na Perspectiva de Sistema Aberto, a desigualdade captura a irreversibilidade proveniente tanto da dinâmica não unitária do ambiente quanto do equilíbrio interno.
  • Na Perspectiva Autônoma (sistema bipartido isolado), a lei relaciona a produção de entropia do sistema e do ambiente à variação da informação mútua observacional.

• Teoremas de Flutuação: Os autores derivam teoremas de flutuação integrais para trajetórias médias e estocásticas. Esses teoremas restringem as flutuações das funções termodinâmicas no nível de granularidade grossa, recuperando resultados padrão no limite de resolução total e fornecendo limites para violações aparentes da segunda lei quando recursos internos são consumidos.

• Definições Emergentes de Trabalho e Calor:

  • Ao considerar variações quase-estáticas da álgebra acessível, os autores identificam contribuições de trabalho provenientes de: (i) mudanças no Hamiltoniano do sistema, (ii) mudanças no estado do ambiente (recursos não térmicos), e (iii) a manipulação da própria álgebra (mudança da base de medição/restrições).
  • O calor é identificado como a transferência de energia associada ao relaxamento do sistema em direção ao ponto fixo instantâneo da dinâmica dentro da álgebra atual.
  • Crucialmente, a contribuição de trabalho da variação da álgebra é mostrada como um custo termodinâmico genuíno, distinto do trabalho Hamiltoniano padrão, originado da "retroação" (back-action) do esquema de medição ou das restrições externas.

• Termodinâmica Estocástica com Medições de Granularidade Grossa: O arcabouço estende a termodinâmica estocástica para cenários onde o ambiente é monitorado via medições de granularidade grossa (imperfeitas). Isso permite a análise de sistemas de muitos corpos complexos onde a tomografia completa é impossível, desde que o ambiente seja monitorado em uma base específica (possivelmente de granularidade grossa).

Significância e Alegações
O artigo afirma unificar os paradigmas da termodinâmica macroscópica e estocástica dentro de um arcabouço genuinamente quântico. Sua principal significância reside em:

1. Flexibilidade Operacional: Fornece uma "caixa de ferramentas termodinâmica" onde o nível de granularidade grossa é um parâmetro ajustável. Isso permite que pesquisadores equilibrem a simplicidade da descrição (poucas variáveis) com a precisão das leis termodinâmicas, caracterizando desvios quando o equilíbrio interno não é atingido.
2. Amigabilidade Experimental: Ao basear-se na estatística de poucos observáveis de granularidade grossa em vez da matriz de densidade completa, o arcabouço é aplicável a sistemas de muitos corpos complexos e reservatórios naturais, abordando um grande gargalo da termodinâmica quântica experimental.
3. Novos Insights Físicos: O arcabouço identifica uma contribuição de trabalho específica associada à manipulação da álgebra acessível (restrições), o que é relevante para entender a retroação da medição quântica e a termodinâmica do controle quântico.
4. Unificação Teórica: Oferece uma abordagem algébrica rigorosa para a transição quântico-clássica, mostrando como as leis termodinâmicas emergem conforme a álgebra acessível torna-se suficientemente grosseira ou comutativa.

Os autores ilustram esses conceitos através de exemplos paradigmáticos, incluindo a emissão espontânea de um qubit, a termodinâmica de um qubit sob evolução não unitária sondada em uma base dependente do tempo, e um emissor quântico acoplado a um campo eletromagnético unidimensional, demonstrando como diferentes escolhas de álgebras acessíveis afetam as leis termodinâmicas aparentes.