Scalable suppression of heating errors in large trapped-ion quantum processors

Resumo Técnico: Supressão Escalável de Erros de Aquecimento em Processadores Quânticos de Íons Aprisionados de Grande Escala

Definição do Problema
Sistemas de íons aprisionados são uma plataforma líder para computação quântica escalável, tendo alcançado portas de um e dois qubits de alta fidelidade e sistemas com até 56 qubits. No entanto, o aquecimento motacional permanece um obstáculo crítico para a operação tolerante a falhas, particularmente à medida que o tamanho do sistema aumenta. Diferente dos erros coerentes, o ruído de aquecimento é incoerente, originando-se de perturbações ambientais (campos elétricos flutuantes) que causam o emaranhamento indesejado entre qubit e fônon. À medida que o número de íons cresce, o número de modos motacionais e canais de dissipação aumenta, amplificando os erros de aquecimento. Estratégias de mitigação existentes, como o acionamento policromático, são frequentemente restritas a sistemas de modo único ou requerem configurações experimentais complexas, carecendo de um arcabouço geral e escalável para processadores multi-modo de grande escala. Além disso, simular diretamente os erros de aquecimento em sistemas grandes é computacionalmente proibitivo devido ao crescimento exponencial do espaço de Hilbert.

Metodologia
Os autores propõem um arcabouço de otimização flexível para suprimir erros de aquecimento em portas de Mølmer–Sørensen (MS) para números arbitrários de íons. O núcleo da abordagem envolve três componentes principais:

1. Formulação Eficiente da Função de Custo: Em vez de simular a dinâmica ruidosa completa, o arcabouço utiliza um limite superior derivado analiticamente para a contribuição de ordem principal da infidelidade induzida pelo aquecimento. Com base na aproximação de ruído de Markov, a infidelidade é estimada pelas trajetórias dos modos motacionais no espaço de fase ($\alpha^m_j(t)$). A função de custo $E$ é definida como uma soma de integrais envolvendo essas trajetórias e as taxas de aquecimento ($\Gamma^\uparrow_m, \Gamma^\downarrow_m$). Esta função é computável de forma eficiente e evita o overhead exponencial da estimativa de fidelidade total.
2. Aproximação de Extração Positiva: A otimização direta da função de custo é um problema NP-difícil devido à não linearidade (valores absolutos) e não convexidade. Os autores introduzem uma "aproximação de extração positiva" para simplificar o problema:
   • Teorema 1: Eles demonstram que os termos cruzados na função de custo de erro de aquecimento são limitados por termos diagonais, permitindo que a função objetivo seja aproximada por uma soma de termos diagonais positivos ($E_{p,p} + E_{q,q}$), eliminando assim os valores absolutos.
   • Teorema 2: Eles reformulam a restrição do ângulo de rotação para garantir que a matriz associada seja semidefinida positiva. Ao decompor as frequências de Rabi em um conjunto de base e aplicar transformações específicas de inversão de sinal aos coeficientes, o problema é convertido em um problema de Programação Quadrática com Restrições Quadráticas (QCQP) semidefinida positiva.
3. Otimização e Reconstrução: O QCQP resultante é resolvido eficientemente usando técnicas padrão (ex: multiplicadores de Lagrange). Os coeficientes otimizados são então usados para reconstruir as frequências de Rabi dependentes do tempo ($\Omega(t)$) para os íons alvo. O arcabouço é compatível com várias bases de pulsos de controle (ex: constantes por partes ou Fourier) e pode incorporar simultaneamente restrições para robustez de frequência (desacoplar os graus de liberdade de spin e fônon e garantir robustez contra flutuações de detuning).

Principais Resultados
Simulações numéricas foram realizadas em sistemas variando de pequenas cadeias a 55 qubits:

• Redução de Infidelidade: Comparado a métodos convencionais (que satisfazem as restrições de porta, mas não otimizam para o aquecimento) e métodos "min-Rabi" (que minimizam a potência do laser), o arcabouço proposto alcança uma redução de até cinco vezes na infidelidade em regimes típicos. Por exemplo, para $N=44$, o erro de aquecimento estimado foi reduzido de $2,18 \times 10^{-3}$ (convencional) para $4,56 \times 10^{-4}$.
• Escalabilidade: O método demonstra melhorias consistentes de desempenho conforme o número de íons aumenta, enquanto os métodos convencionais mostram um aumento de erro devido ao crescimento dos canais de aquecimento.
• Robustez de Detuning: Uma descoberta inesperada é que as formas de onda otimizadas reduzem simultaneamente a sensibilidade do ângulo de rotação da porta ao detuning ($\partial \Theta / \partial \mu$). Isso ocorre porque minimizar a função de custo de aquecimento (relacionada aos termos diagonais da matriz de erro) também suprime os termos off-diagonais que governam a sensibilidade ao detuning.
• Características da Forma de Onda: As formas de onda otimizadas exibem naturalmente características que lembram segmentos de sinais alternados e envelopes de variação lenta, que são conhecidos por suprimir erros de detuning e deslocamento motacional residual, mesmo que a otimização não tenha visado explicitamente esses aspectos.
• Robustez a Desajuste de Parâmetros: O método permanece eficaz mesmo quando as taxas de aquecimento ($\Gamma$) usadas na otimização diferem das taxas reais do sistema, sugerindo que estimativas aproximadas desses parâmetros são suficientes para implementação prática.

Significância e Alegações
O artigo afirma oferecer uma rota prática e escalável para a computação quântica robusta e de grande escala com íons aprisionados. Sua principal significância reside no fornecimento de um arcabouço geral que:

• Supera as limitações de escalabilidade de abordagens anteriores de laser de modo único ou policromático.
• Evita a intratabilidade computacional da estimativa de fidelidade total através do uso de um limite superior computável de forma eficiente.
• Aborda simultaneamente múltiplas fontes de erro (aquecimento e detuning) sem exigir configurações experimentais complexas, como múltiplas fontes de laser.
• É compatível com técnicas existentes de mitigação de erro e pode ser implementado com formas de onda padrão constantes por partes, tornando-o experimentalmente viável.

Os autores concluem que, embora seu método dependa de uma suposição de ruído quase-estático e de uma condição inicial de estado do produto, ele representa um passo significativo no gerenciamento do ruído de aquecimento incoerente que atualmente limita a escalabilidade dos processadores quânticos de íons aprisionados. Trabalhos futuros podem estender o arcabouço para ruído dependente do tempo (colorido) e estados iniciais mistos.