Quantum annealers as programmable thermal machines

Resumo Técnico: Recozedores Quânticos como Máquinas Térmicas Programáveis

Definição do Problema
Embora os recozedores quânticos (especificamente sistemas D-Wave) sejam rotineiramente avaliados por qualidade de solução, capacidades de amostragem e tempo para solução, seu desempenho termodinâmico permanece amplamente não caracterizado. A literatura existente estabeleceu que esses dispositivos operam como máquinas térmicas quânticas, particularmente em ciclos de recozimento reverso onde absorvem e liberam calor. No entanto, carece-se de um framework abrangente para quantificar a troca de energia, a produção de entropia e o trabalho sem acesso total ao ambiente ou a um modelo detalhado de banho microscópico. Os autores abordam a necessidade de caracterizar o processador D-Wave não apenas como um otimizador, mas como uma máquina térmica programável cujo modo de operação (aquecedor, acelerador, motor ou refrigerador) pode ser controlado e diagnosticado através de estatísticas de energia.

Metodologia
Os autores tratam o recozedor quântico D-Wave como um ciclo termodinâmico fechado impulsionado por um protocolo de recozimento reverso. O fluxo de trabalho experimental envolve:

1. Inicialização: Preparação de um estado de Gibbs clássico do Hamiltoniano de Ising programado ($H_p$) em uma temperatura inversa controlada $\beta_1$.
2. Evolução: Execução de um ciclo de recozimento reverso onde o parâmetro de recozimento $s(t)$ aumenta de $s=1$ para um ponto de retorno $s_p$ e retorna a $s=1$. Isso garante que os Hamiltonianos inicial e final sejam idênticos ($H(0)=H(1)=H_p$).
3. Medição: Realização de uma medição de energia de dois pontos para determinar a mudança na energia do problema, $\Delta E_1 = E_p(\sigma(\tau)) - E_p(\sigma(0))$.
4. Análise:
   • Termometria Efetiva: Ajuste das configurações de spin de saída ao Hamiltoniano de Ising programado usando pseudo-verossimilhança para estimar uma temperatura inversa do ambiente efetivo, $\beta_2$ (e a temperatura correspondente $T_2$).
   • Limites Termodinâmicos: Utilização do Teorema da Flutuação de Troca e das Relações de Incerteza Termodinâmica (TURs). Como apenas $\Delta E_1$ é diretamente observável, os autores derivam limites inferiores rigorosos para a produção de entropia ($\Sigma$), troca de calor ($Q$) e trabalho ($W$) usando apenas os dois primeiros momentos de $\Delta E_1$ e o $\beta_2$ ajustado.
   • Classificação: Mapeamento do regime operacional com base nos sinais da mudança média de energia do processador ($\langle \Delta E_1 \rangle$), mudança de energia do ambiente ($\langle \Delta E_2 \rangle$) e trabalho ($\langle W \rangle$).
     Os experimentos foram conduzidos nos sistemas D-Wave Advantage (topologia Pegasus) e Advantage2 (topologia Zephyr) usando cadeias de Ising unidimensionais e instâncias Pegasus bidimensionais (Random Uniform e Corrupted Biased Ferromagnet).

Principais Contribuições

1. Classificação Termodinâmica Unificada: O artigo demonstra que, ao variar a temperatura de preparação inicial ($\beta_1$) e o ponto de retorno do recozimento reverso ($s_p$), o mesmo hardware pode ser programado para operar em distintos regimes termodinâmicos:
   • Aquecedor (Heater): Tanto o processador quanto o ambiente ganham energia; o trabalho é fornecido.
   • Acelerador (Accelerator): O processador perde energia enquanto o ambiente ganha energia; o trabalho é fornecido para auxiliar o relaxamento.
   • Refrigerador (Refrigerator): O drive força a troca de energia contra o viés térmico espontâneo.
   • Motor/Acelerador (Engine/Accelerator): Em regiões onde os limites disponíveis não separam unicamente a extração de trabalho da aceleração impulsionada, os autores atribuem um rótulo combinado de "Motor/Acelerador" para evitar a sobreinterpretação dos dados. Embora a operação compatível com motor seja teoricamente permitida, os limites experimentais não distinguem unicamente a operação de motor da operação de acelerador.
2. Limites Agnósticos ao Dispositivo: Os autores fornecem um método para estabelecer limites inferiores na produção de entropia, calor, trabalho e potência usando apenas as mudanças de energia relatadas pela Unidade de Processamento Quântico (QPU), sem exigir um modelo específico do ambiente.
3. Termometria Operacional: O estudo introduz um diagnóstico de termometria integrado onde a temperatura efetiva ajustada $T_2$ serve como um indicador sensível do estado térmico dos graus de liberdade computacionais, distinto da temperatura da placa do refrigerador criogênico.

Resultados

• Diagramas de Fase: Os autores mapearam diagramas de fase termodinâmicos no plano $(\beta_1, s_p)$. Para cadeias 1D, a fronteira entre os regimes de aquecedor e acelerador desloca-se e suaviza-se com o tempo de recozimento ($\tau$), mas a classificação fundamental permanece consistente.
• Fenomenologia Crítica: Uma característica distinta em $T_2$ e nos limites de trabalho foi observada em torno de $s_p \approx 0.6$, correspondendo à região crítica do modelo de Ising de campo transversal onde as escalas de energia do driver e do problema competem. Esta região exibe flutuações de energia e dissipação intensificadas.
• Escalonamento: Para cadeias 1D, os limites baseados em TUR para trabalho total e potência escalam como $L \log L$ (onde $L$ é o comprimento da cadeia), enquanto as quantidades por spin escalam como $\log L$. Isso reflete a dominância de infravermelho das flutuações críticas em uma dimensão.
• Dependência do Problema: A resposta termodinâmica é dependente da instância. Instâncias bidimensionais com paisagens de energia acidentadas (ex: Corrupted Biased Ferromagnet) exibem janelas ativas mais amplas e temperaturas efetivas mais altas em comparação com instâncias Random Uniform mais suaves.
• Comparação de Hardware: O procedimento de classificação transfere-se entre os processadores Advantage e Advantage2, embora as localizações específicas das fronteiras de modo e as temperaturas ajustadas variem com a geração do hardware e o embedding do problema.

Significância e Alegações
O artigo afirma fornecer um framework que conecta otimização quântica, computação probabilística e simulação de física estatística com avaliação consciente de energia. Sua significância reside em:

• Além da Qualidade da Solução: Adiciona uma camada termodinâmica à avaliação de desempenho, distinguindo entre refinamento impulsionado (acelerador), aquecimento líquido (aquecedor) e bombeamento de calor (refrigerador/motor).
• Programabilidade: Estabelece que o papel termodinâmico de um recozcedor quântico é programável; usuários podem direcionar o dispositivo entre diferentes regimes de fluxo de energia ajustando cronogramas e estados iniciais.
• Utilidade Diagnóstica: O $T_2$ efetivo e os limites de energia servem como ferramentas diagnósticas para detectar mudanças em relaxação, congelamento (freeze-out) ou calibração sem a necessidade de sensores externos.
• Eficiência Energética: Ao quantificar as consequências energéticas de diferentes cronogramas, o trabalho oferece uma rota para o co-design de algoritmos e cronogramas de hardware tanto para precisão quanto para eficiência energética.

Os autores declaram explicitamente que rótulos termodinâmicos sozinhos não determinam o desempenho computacional (ex: encontrar o ótimo global). Em vez disso, o modo termodinâmico fornece o contexto de como uma solução foi alcançada (ex: via relaxamento ou exploração impulsionada), o que deve ser avaliado juntamente com métricas padrão como probabilidade de sucesso e tempo para solução. O trabalho não pretende resolver o problema de otimização em si, mas sim caracterizar o processo físico do recozedor.