A superconducting surface-code processor with lattice-surgery logical operations

Resumo Técnico: Um Processador de Código de Superfície Supercondutor com Operações Lógicas de Cirurgia de Rede

Definição do Problema
A computação quântica escalável requer operações lógicas tolerantes a falhas que impeçam a propagação de erros físicos de baixo peso em falhas lógicas incorrigíveis. Embora o código de superfície seja um principal candidato para a correção de erros quânticos (QEC) devido ao seu alto limiar e compatibilidade com layouts planares, o progresso experimental tem se concentrado amplamente na demonstração de ciclos repetidos de extração de síndrome (SECs) e tempos de vida de memória lógica que excedam o ponto de break-even. O desafio crítico remanescente é implementar operações lógicas que preservem a tolerância a falhas dentro das estritas restrições de arquiteturas supercondutoras bidimensionais estáticas. Embora as operações transversais ofereçam tolerância a falhas, elas exigem conectividade não local, indisponível em sistemas planares. A cirurgia de rede, que deforma dinamicamente patches de código para realizar operações, é a solução proposta para tais plataformas, contudo, a demonstração direta entre patches de código de superfície totalmente corrigíveis de erro e a realização de portas lógicas não-Clifford permanece como um desafio experimental pendente.

Metodologia
Os autores realizaram experimentalmente operações fundamentais de cirurgia de rede em um processador supercondutor planar composto por 125 qubits transmons ajustáveis. O sistema hospeda dois qubits lógicos, $L_1$ e $L_2$, cada um codificado em um código de superfície rotacionado de distância três (9 qubits de dados e 8 qubits de síndrome por patch).

A metodologia central envolve:

1. Fusão e Divisão de Rede (Lattice Merge and Split): Para realizar operações lógicas conjuntas, os dois patches de código disjuntos são fundidos em um único código de superfície rotacionado alongado de $7 \times 3$ ($L_3$) através da reconfiguração dinâmica dos circuitos de extração de síndrome. Isso envolve a extensão dos estabilizadores de fronteira e a introdução de ancilas de dados e qubits de síndrome. Os operadores Pauli lógicos são medidos via paridade dos registros de síndrome. Os patches são subsequentemente divididos de volta em $L_1$ e $L_2$ pela medição dos qubits de dados ancila na base $Z$ e restauração dos pesos originais dos estabilizadores.
2. Preparação e Correção de Estado: Estados de Bell lógicos são gerados deterministicamente via um protocolo de divisão de rede, utilizando atualizações de frame de Pauli condicionadas a resultados de medição intermediários para corrigir erros induzidos por medição.
3. Execução Algorítmica: Um algoritmo de Deutsch-Jozsa de dois qubits é executado ao nível lógico. O oráculo quântico é implementado via cirurgia de rede, distinguindo funções booleanas constantes de balanceadas.
4. Operações Não-Clifford: O controle universal é alcançado através de injeção de estado mágico e teleportação de porta. Um estado mágico de alta fidelidade é preparado em $L_2$ e consumido para realizar rotações lógicas $R_X(\theta)$ arbitrárias em $L_1$ via uma medição conjunta $M_{XX}$ (realizada através de operações de fusão/divisão).
5. Tratamento de Erros: O estudo emprega um decodificador de correspondência de crença (belief-matching decoder) para correção de erros e utiliza pós-seleção de "erros não detectados" (descartando execuções com síndromes não triviais ou eventos de vazamento/leakage) para avaliar o desempenho superior.

Principais Contribuições

• Realização Experimental de Cirurgia de Rede: A primeira demonstração direta de operações de fusão e divisão de rede entre dois qubits lógicos de código de superfície de distância três em um processador supercondutor.
• Emaranhamento Lógico: Preparação determinística de um estado de Bell lógico ($|\Phi^+\rangle_L$) entre os dois patches de código de superfície, proporcionando proteção simultânea contra erros de inversão de bit (bit-flip) e de fase (phase-flip).
• Execução de Algoritmo Lógico: Implementação bem-sucedida do algoritmo de Deutsch-Jozsa ao nível lógico, demonstrando utilidade algorítmica dentro de um framework tolerante a falhas.
• Implementação de Porta Não-Clifford: Realização de rotações lógicas contínuas não-Clifford em torno do eixo $X$ lógico via injeção de estado mágico e teleportação de porta, um componente necessário para a computação quântica universal.

Resultos

• Desempenho de Memória Lógica: Após rejeitar eventos de vazamento (leakage), os qubits lógicos exibiram taxas de erro por ciclo de $\epsilon_{L1} = 0.0365(2)$ e $\epsilon_{L2} = 0.0282(1)$.
• Fidelidade do Estado de Bell: A fidelidade bruta do estado foi de $0.372$. Utilizando um decodificador de correspondência de crença, o limite inferior de fidelidade melhorou para $F_{dec} = 0.532$, confirmando emaranhamento bipartido genuíno. Sob pós-seleção de erros não detectados, a fidelidade atingiu $F_{pst} = 0.925$.
• Precisão de Deutsch-Jozsa: A correção de erros melhorou significativamente a precisão de classificação. Para funções constantes, a precisão subiu de $0.886$ (bruto) para $0.970$ (decodificado). Para funções balanceadas, melhorou de $0.623$ para $0.716$. A pós-seleção aumentou ainda mais esses valores para quase a unidade, embora ao custo de reter apenas $0.06\%$ dos dados para o caso balanceado.
• Fidelidade de Porta Não-Clifford: Para a porta lógica $R_X(\pi/4)$, os resultados corrigidos por erro mostraram uma melhoria modesta sobre os dados brutos. Sob pós-seleção de erros não detectados, a fidelidade da porta lógica atingiu $0.943^{+10}_{-9}$.

Significância
Os autores afirmam que estes resultados estabelecem a cirurgia de rede como um paradigma prático e versátil para computação lógica em arquiteturas de código de superfície de curto prazo. Ao demonstrar todo o conjunto de operações — desde a preservação de memória e geração de emaranhamento até a execução algorítmica e implementação de portas universais — este trabalho representa um marco crítico para a vantagem quântica tolerante a falhas escalável em circuitos supercondutores. O artigo posiciona estas descobertas como os blocos de construção essenciais necessários para a transição de memórias quânticas isoladas para processadores programáveis tolerantes a falhas.