The contact temperature of arbitrary quantum states

Resumo Técnico: A Temperatura de Contato de Estados Quânticos Arbitrários

Enunciado do Problema
O artigo aborda o desafio de atribuir uma temperatura a um estado quântico arbitrário e fora do equilíbrio $\rho$ de um sistema de dimensão finita. Enquanto estados em equilíbrio são bem definidos pela matriz de densidade de Gibbs $\gamma_\beta = e^{-\beta H}/\text{Tr}(e^{-\beta H})$, estender o conceito de temperatura para estados gerais permanece um problema em aberto. Abordagens existentes incluem a "temperatura efetiva" $\beta^*$, definida como a temperatura de Gibbs que produz a mesma energia média, ou o minimizador da entropia relativa. No entanto, essas definições são frequentemente abstratas ou carecem de uma interpretação física operacional. Os autores visam definir uma "temperatura de contato" $\beta_c$ através de um esquema operacional: acoplar o sistema a um termômetro universal e determinar a temperatura do termômetro na qual o fluxo líquido de calor se anula.

Metodologia
Os autores propõem um modelo específico de um "termômetro universal" (Sistema B) acoplado ao sistema de interesse (Sistema A).

1. Sistema A: Um sistema quântico de $d$ níveis com um Hamiltoniano não degenerado $H_A$ e energias $\varepsilon_1 < \dots < \varepsilon_d$.
2. Sistema B (Termômetro): Um sistema quântico de dimensão infinita com um Hamiltoniano $H_B$ possuindo autovalores igualmente espaçados $\eta_k = k/N$ (onde $N$ é grande). O termômetro é preparado em um estado de Gibbs $\tau_\beta = e^{-\beta H_B}/\text{Tr}(e^{-\beta H_B})$ na temperatura inversa $\beta$.
3. Interação: Os sistemas interagem via um operador unitário $U$ atuando no espaço de Hilbert composto, satisfazendo a condição de conservação de energia $[U, H_A + H_B] = 0$.
4. Suposição de Genericidade: Para garantir um "bom" contato térmico, os autores impõem duas condições:
   • Ressonância: As diferenças de energia (frequências de Bohr) do Sistema A devem ser múltiplos do espaçamento de nível $1/N$ do termômetro.
   • Equiprobabilidade: As probabilidades de transição entre quaisquer dois autoestados do Hamiltoniano desacoplado $H_A + H_B$ com a mesma energia total devem ser iguais. Isso é modelado matematicamente assumindo que $U$ atua como uma unitária aleatória (medida de Haar) dentro de cada subespaço de energia.
     A grandeza central é o fluxo de calor $Q_A(\beta)$, definido como a mudança na energia esperada do Sistema A após a interação:
     $$Q_A(\beta) = \text{Tr}_{AB}(U(\rho \otimes \tau_\beta)U^* H_A) - \text{Tr}_A(\rho H_A)$$
     A temperatura de contato $\beta_c$ é definida como o valor único de $\beta$ para o qual $Q_A(\beta) = 0$.

Principais Resultados e Contribuições

1. Expressão Explícita para o Fluxo de Calor:
   Os autores derivam uma fórmula explícita para o fluxo de calor $Q_A(\beta)$ para $\beta > 0$. O fluxo depende apenas do espectro de energia de $H_A$ e das populações $p_j$ do estado $\rho$ na base de autovetores de energia, sendo independente dos detalhes específicos da degenerescência do termômetro ou do tamanho do gap $N$ (no limite $N \to \infty$).
   $$Q_A(\beta) = \sum_{1 \le j < k \le d} \frac{e^{-\beta(\varepsilon_k - \varepsilon_j)}}{k(k-1)} p_j \sum_{l=1}^{k-1} (\varepsilon_k - \varepsilon_l) - \sum_{k=2}^d \frac{p_k}{k} \sum_{l=1}^{k-1} (\varepsilon_k - \varepsilon_l)$$

2. Existência e Unicidade da Temperatura de Contato:

   • Caso $Q_A(0) \ge 0$: Se o fluxo de calor na temperatura infinente for não-negativo, existe uma única raiz não-negativa $\beta_c \ge 0$. A função $\beta \mapsto Q_A(\beta)$ é estritamente decrescente e contínua.
   • Caso $Q_A(0) < 0$: Para estados onde o sistema transfere calor mesmo para um reservatório infinitamente quente (violando a intuição da segunda lei do equilíbrio), a fórmula padrão para $\beta > 0$ não produz uma raiz. Os autores abordam isso considerando um termômetro de nível finito (com $K$ níveis) definido para todo $\beta \in \mathbb{R}$, e então tomando o limite $K \to \infty$. Isso resulta em uma função de fluxo de calor estendida $\bar{Q}_A(\beta)$ definida para todo $\beta \in \mathbb{R}$.
   • Resultado: Para qualquer estado $\rho$ (excluindo o estado fundamental e o estado mais excitado), existe uma única raiz real única $\beta_c \in \mathbb{R}$ tal que $\bar{Q}_A(\beta_c) = 0$.
     • Se $\rho$ é o estado fundamental, $\beta_c = +\infty$.
     • Se $\rho$ é o estado mais excitado, $\beta_c = -\infty$.
     • Para todos os outros estados, $\beta_c$ é finito. O sinal de $\beta_c$ coincide com o sinal de $Q_A(0)$.

3. Análise Estrutural via Matrizes Estocásticas:
   O artigo analisa a interação através da lente de canais quânticos térmicos reduzidos $\Phi_\beta$. O fluxo de calor está relacionado a uma matriz estocástica $G(\beta)$ que descreve as probabilidades de transição entre os níveis de energia.

   • Mostra-se que a matriz $G(\beta)$ é estritamente positiva e satisfaz o detalhamento de equilíbrio (detailed balance).
   • O espectro do canal $\Phi_\beta$ é analisado: possui um autovalor simples 1 (correspondente ao estado de Gibbs) e todos os outros autovalores possuem módulo estritamente menor que 1.
   • Este gap espectral garante que interações repetidas com um novo termômetro na temperatura $\beta$ levem o sistema exponencialmente rápido ao estado de Gibbs $\gamma_\beta$. Consequentemente, a temperatura de contato do estado do sistema converge para $\beta$ sob interações repetidas de termalização.

4. Comparação com a Temperatura Efetiva:
   Os autores demonstram que a temperatura de contato $\beta_c$ é geralmente distinta da temperatura efetiva $\beta^*$ (definida via correspondência de energia ou minimização de entropia relativa). Em exemplos específicos (por exemplo, um sistema de 3 níveis), $\beta_c$ e $\beta^*$ podem diferir significativamente, e sua relação depende das populações específicas do estado.

Significância e Alegações
O artigo afirma fornecer uma definição universal e operacional de temperatura para estados quânticos arbitrários de dimensão finita.

• Universalidade: O modelo do termômetro produz uma temperatura de contato única, independentemente da natureza física específica do sistema, desde que o sistema seja de dimensão finita.
• Definição Operacional: Diferente de definições abstratas baseadas na maximização da entropia, $\beta_c$ é definida por um processo físico: o desaparecimento do fluxo de calor ao acoplar-se a um tipo específico de reservatório térmico.
• Lidando com o Não-Equilíbrio: O arcabouço atribui com sucesso uma temperatura (potencialmente negativa) a estados que estão "longe do equilíbrio" e que, de outra forma, violariam as intuições termodinâmicas padrão (por exemplo, transferindo calor para um banho infinitamente quente).
• Rigor Matemático: O trabalho estabelece a existência e unicidade desta temperatura através da análise rigorosa da função de fluxo de calor e das propriedades espectrais dos canais quânticos associados.

Os autores não propõem implementações experimentais ou aplicações específicas para máquinas quânticas além de notar a conexão com "temperaturas virtuais" em máquinas térmicas. O trabalho permanece uma construção teórica que define uma nova grandeza termodinâmica para estados quânticos.