Trapped-Ion Multiqubit Gates are Compatible with Scalable Quantum Error Correction

Resumo Técnico: Portas de Múltiplos Qubits em Íons Aprisionados são Compatíveis com Correção de Erros Quânticos Escalável

Enunciação do Problema
Computadores quânticos de íons aprisionados oferecem operações de alta fidelidade e conectividade total, permitindo operações de portas de múltiplos qubits (MQ) que podem reduzir a profundidade de circuitos e melhorar o desempenho em diversos algoritmos. No entanto, a escalabilidade desses sistemas depende da Correção de Erros Quânticos (QEC). Uma incerteza crítica permanece quanto à compatibilidade das características de ruído das portas MQ — especificamente o potencial de propagação de erros de longo alcance devido a modos de movimento coletivos e espalhamento de fótons — com os limiares de tolerância a falhas. Diferentemente de arquiteturas de portas de dois qubits, onde os canais de ruído são bem compreendidos, portas MQ envolvendo $N \gg 2$ qubits apresentam um cenário de ruído complexo, onde a interação entre o movimento coletivo e muitos qubits cria canais de erro altamente não triviais. Modelos de ruído existentes são frequentemente adaptados para portas de dois qubits e carecem do detalhe microscópico necessário para avaliar o desempenho de portas MQ para QEC.

Metodologia
Os autores constroem um modelo de ruído microscópico detalhado para portas MQ dentro da arquitetura de íons aprisionados, focando especificamente em portas Mølmer–Sørensen (MS) generalizadas que utilizam múltiplos modos fonônicos para alcançar entrelaçamento total. A metodologia prossegue em três etapas:

1. Dinâmica Hamiltoniana e Estrutura de Ruído: O sistema é modelado no regime de Lamb-Dicke usando um Hamiltoniano que acopla estados internos de qubit a modos vibracionais (fonônicos). Os autores empregam o formalismo da equação mestra de Lindblad para descrever fontes de ruído incoerente, incluindo espalhamento de fótons, aquecimento de movimento e desfazamento de movimento. Eles transformam o problema para um referencial que gira com a unitária da porta ideal para isolar a dinâmica do ruído.
2. Derivação Analítica de Canais de Erro: Ao traçar fora os graus de liberdade fonônicos, os autores derivam modelos de ruído efetivos de canal de Pauli atuando no subespaço de qubits. Eles analisam as contribuições de ordem dominante de:
   • Espalhamento de Fótons: Tratado como erros de Pauli estocásticos (depolarização e desfazamento).
   • Aquecimento de Movimento: Modelado como excitação térmica de modos fonônicos.
   • Desfazamento de Movimento: Modelado como flutuações nas frequências dos modos normais.
     A análise utiliza a expansão de Magnus para derivar expressões explícitas para trajetórias no espaço de fase ($\alpha$) e fases de entrelaçamento ($\phi$), vinculando essas trajetórias às probabilidades de erro.
3. Simulação de QEC: Os parâmetros de ruído derivados são integrados em uma simulação do código de superfície rotacionado. Os autores simulam as taxas de erro lógico em função das taxas de erro físico e da distância do código ($d$), comparando dois cenários: um onde erros de dois qubits são atribuídos uniformemente a todos os pares de qubits participantes, e outro onde são restritos apenas aos pares diretamente acoplados (com base em suas descobertas analíticas).

Principais Contribuições e Resultados

• Localização de Erros de Espalhamento de Fótons: A análise revela que eventos de espalhamento de fótons (e o desfazamento de spin associado) não propagam erros para todos os qubits indiscriminadamente. Em vez disso, os erros propagam-se exclusivamente para qubits que estão acoplados ao qubit defeituoso através da trajetória da fase de entrelaçamento da porta $\phi_{nm}(t)$. Crucialmente, se o projeto da porta garantir que $\phi_{nm}(t) \approx 0$ para pares desconectados ao longo de toda a evolução (não apenas no final), a probabilidade de erro para qubits não acoplados é suprimida em ordens de grandeza.
• Natureza dos Erros de Movimento:
  • Aquecimento: O aquecimento fonônico é capturado efetivamente por canais de erro de qubit único. Apesar da natureza global do evento de aquecimento, a probabilidade de erro escala de tal forma que se comporta como um flip de spin local único para fins de QEC.
  • Desfazamento: O desfazamento de movimento gera tanto erros de qubit único quanto de dois qubits. No entanto, a magnitude dos erros de dois qubits está fortemente correlacionada com a fase de entrelaçamento. A magnitude mediana dos erros de dois qubits entre qubits não acoplados é substancialmente menor (por uma ordem de grandeza) do que entre qubits acoplados.
• Limiares de QEC:
  • Ao assumir um modelo conservador onde erros de dois qubits existem entre todos os pares participantes, o código de superfície rotacionado exibe um limiar finito em uma taxa de erro físico de aproximadamente $p_c \approx 2 \times 10^{-2}$.
  • Ao aplicar o modelo mais fisicamente justificado onde erros de dois qubits são restritos a qubits diretamente acoplados, observa-se uma transição clara de limiar em $p_{th} \approx 1,3\%$.
  • Os autores demonstram que, mesmo com erros correlacionados, o código de superfície mantém um "ponto de cruzamento prático" para pequenas distâncias de código, desde que a contribuição total de erros de dois qubits por qubit permaneça intensiva em vez de extensiva.
• Estratégias de Mitigação: O artigo sugere que dividir a extração de síndrome em etapas sequenciais (por exemplo, medir linhas ímpares e pares separadamente) pode mitigar ainda mais o impacto dos erros de dois qubits, oferecendo ganhos de desempenho sobre medições totalmente simultâneas, particularmente em taxas de erro mais altas.

Significado e Alegações
O artigo alega preencher a lacuna entre a física em nível de dispositivo e o desempenho de QEC para portas MQ de íons aprisionados. Sua conclusão primária é que as portas MQ são compatíveis com correção de erros quânticos escalável. Os autores afirmam que a estrutura específica de ruído das portas MQ — onde a propagação de erros é localizada na conectividade definida pela operação da porta — impede a escala de erro "extensiva" que, de outra forma, destruiria a tolerância a falhas.

Ao demonstrar um limiar finito para o código de superfície rotacionado sob parâmetros de ruído realistas derivados de modelos microscópicos, o trabalho apoia a viabilidade do uso de portas de entrelaçamento totais programáveis e simultâneas em futuros computadores quânticos de íons aprisionados em grande escala. Os autores observam que, embora sua análise utilize o código de superfície padrão, a conectividade total inerente aos íons aprisionados é naturalmente adequada para códigos LDPC de alta taxa, sugerindo potencial para otimização adicional em trabalhos futuros.