Double-bracket quantum algorithms for quantum imaginary-time evolution

Resumo Técnico: Algoritmos de Evolução Quântica no Tempo Imaginário de Duplo Colchete

Definição do Problema
A preparação dos estados fundamentais de Hamiltonianos fortemente correlacionados e de grande escala é um desafio fundamental na computação quântica, com aplicações que variam da ciência dos materiais à otimização. Enquanto a natureza resfria sistemas naturalmente para seus estados fundamentais, replicar esse processo em hardware quântico é difícil. A evolução no tempo imaginário (ITE) oferece uma abordagem termodinamicamente inspirada para a preparação do estado fundamental, definida pelo propagador não unitário $e^{-\tau \hat{H}}$. No entanto, sintetizar circuitos quânticos eficientes para implementar a ITE não é trivial. As abordagens existentes geralmente dependem de métodos variacionais heurísticos (que sofrem de platôs de barren e problemas de escalonamento) ou técnicas de codificação de bloco profundas (que exigem um overhead significativo e são inadequadas para experimentos de curto prazo/near-term). O problema central abordado é a falta de um método sistemático e não heurístico para implementar etapas de ITE em um computador quântico que garanta a redução de energia e a convergência para o estado fundamental sem recorrer a loops de otimização clássica ou codificações de bloco profundas.

Metodologia
Os autores propõem o algoritmo Double-Bracket Quantum Imaginary-Time Evolution (DB-QITE). A metodologia baseia-se na observação de que a ITE é uma solução para o fluxo de duplo colchete de Brockett (DBF), uma equação diferencial bem estudada conhecida por implementar fluxos de gradiente em variedades unitárias.

1. Fundamentação Teórica: O artigo estabelece que a dinâmica contínua da ITE pode ser reescrita como uma equação de fluxo de duplo colchete: $\partial_\tau \Psi(\tau) = [[\Psi(\tau), \hat{H}], \Psi(\tau)]$, onde $\Psi(\tau)$ é a matriz de densidade. Este fluxo é provado ser um método de descida íngreme para a minimização de energia.
2. Síntese de Circuito: Para implementar este fluxo de forma coerente em um computador quântico, os autores utilizam iterações de comutador de grupo. Em vez de simular diretamente o operador não unitário, eles constroem uma sequência recursiva de unitários $U_k$. A atualização do estado na etapa $k$ é definida como:
   $$|\omega_{k+1}\rangle = e^{i\sqrt{s_k}\hat{H}} e^{i\sqrt{s_k}|\omega_k\rangle\langle\omega_k|} e^{-i\sqrt{s_k}\hat{H}} |\omega_k\rangle$$
   Esta recursão é compilada em um circuito quântico utilizando simulação de Hamiltoniano e portas de reflexão (especificamente, reflexões em torno do estado atual).
3. Estrutura Recursiva: O algoritmo opera recursivamente. Se $U_0$ prepara um estado inicial $|\omega_0\rangle$, as etapas subsequentes $U_{k+1}$ são construídas pela composição de $U_k$ com as operações de comutador de grupo. Isso permite que o algoritmo seja usado como um método independente ou como um "warm-start" para outros algoritmos.

Principais Contribuições e Garantias Teóricas
O artigo fornece provas rigorosas de que o DB-QITE herda as propriedades desejáveis da ITE contínua:

• Relação Flutuação-Refrigeração: Os autores provam que a redução de energia em cada etapa é proporcional à variância da energia (flutuação) do estado atual. Especificamente, $E_{k+1} - E_k \leq -2s_k V_k + O(s_k^2)$, onde $V_k$ é a variância da energia. Isso implica que estados com maiores flutuações de energia resfriam mais rapidamente.
• Aumento de Fidelidade do Estado Fundamental: O Teorema 2 garante que, se o estado inicial tiver uma sobreposição não nula com o estado fundamental, o DB-QITE aumenta sistematicamente a fidelidade com o estado fundamental. A fidelidade converge exponencialmente rápido com o número de iterações $k$, desde que o tamanho do passo $s_k$ seja escolhido apropriadamente em relação ao gap espectral $\Delta$ e à norma do Hamiltoniano $\|\hat{H}\|$.
• Evitação de Estados Excitados: Diferente de alguns fluxos de gradiente que podem convergir para pontos de sela, a estrutura específica do DBF garante a convergência para o estado fundamental (o ponto fixo único com a menor energia) em vez de autoestados excitados.

Resultados Numéricos
Os autores realizaram simulações numéricas usando a linguagem de programação Qrisp para o modelo Heisenberg 1D com até $L=20$ qubits.

• Desempenho vs. Estimativa de Fase Quântica (QPE): No regime de curto prazo (limite de contagem de portas, especificamente $N_{CZ} \lesssim 10^3$), o DB-QITE supera significativamente a QPE padrão. Por exemplo, com $L=20$ qubits, o DB-QITE alcança fidelidades $>90\%$ com aproximadamente $3 \times 10^3$ portas CZ, enquanto a QPE oferece uma melhoria negligenciável sobre a inicialização dentro desse orçamento de portas.
• Robustez à Incerteza de Parâmetros: Os autores destacam que o desempenho da QPE degrada significativamente se a norma do Hamiltoniano $\|\hat{H}\|$ for superestimada (um problema comum na prática), exigindo mais qubits auxiliares e circuitos mais profundos. O DB-QICE é independente de tais suposições de reescalonamento.
• Capacidade de Warm-Start: As simulações demonstram que usar o DB-QITE como uma etapa de pré-processamento (warm-start) para a QPE melhora a fidelidade final e a probabilidade de sucesso da QPE, particularmente quando o número de qubits de precisão na QPE é limitado.
• Contagem de Portas: Para $L=20$ e $k=2$ etapas, o DB-QITE requer cerca de $3 \times 10^3$ portas CZ e $4,8 \times 10^3$ portas de um único qubit para atingir $F \approx 90\%$, o que está ao alcance das capacidades do hardware atual.

Significância e Alegações
O artigo afirma que o DB-QITE fornece um caminho sistemático e não heurístico para a preparação do estado fundamental usando circuitos rasos. Sua significância reside em:

1. Garantias Rigorosas: Ao contrário dos algoritmos quânticos variacionais (VQAs), que carecem de garantias de convergência, o DB-QITE oferece redução de energia e aumento de fidelidade comprováveis.
2. Viabilidade de Curto Prazo (Near-Term): Ao evitar codificações de bloco profundas e loops de otimização clássica, o algoritmo é adequado para dispositivos quânticos de curto prazo e de tolerância a falhas iniciais.
3. Utilidade Híbrida: Os autores sugerem que o DB-QITE pode servir como um método independente ou como uma poderosa ferramenta de inicialização para aumentar o desempenho de algoritmos estabelecidos como a QPE, efetivamente unindo a abordagem heurística e a de tolerância a falhas.

Os autores mantêm a modéstia quanto ao escalonamento da profundidade do circuito, reconhecendo que a natureza recursiva leva ao crescimento exponencial da profundidade com o número de etapas. No entanto, argumentam que a otimização dos tamanhos de passo e o aproveitamento da relação "flutuação-refrigeração" permitem resultados de alta fidelidade com um número gerenciável de etapas, tornando a abordagem competitiva com métodos de ponta para tamanhos de problemas específicos.