Towards the Characterization of Logical Errors in Distributed Lattice Surgery

Resumo Técnico: Caracterização de Erros Lógicos em Cirurgia de Rede Distribuída

Definição do Problema
A computação quântica distribuída (DQC) oferece uma alternativa escalável aos processadores quânticos monolíticos ao interconectar módulos menores por meio de pares emaranhados compartilhados. No entanto, um desafio central nesta arquitetura é que as operações quânticas entre módulos são inerentemente mais ruidosas do que as portas locais intra-módulo. Embora o código de superfície planar seja um forte candidato para a computação quântica tolerante a falhas distribuída (FT-DQC) devido ao seu alto limiar e localidade geométrica, as análises existentes frequentemente dependem de modelos de ruído uniformes ou assumem links de emaranhamento sem ruído. Há uma falta de compreensão sobre como o ruído específico introduzido por operações não locais — especificamente pares de Bell imperfeitos — afeta as taxas de erro lógico e os limiares de tolerância a falhas de operações fundamentais de cirurgia de rede, como o merge (fusão), sob condições de ruído em nível de circuito.

Metodologia
Os autores analisam os erros lógicos em uma operação de merge $XX$ entre dois patches de código de superfície rotacionados hospedados em unidades de processamento quântico (QPUs) distintas. O estudo emprega a seguinte estrutura metodológica:

• Modelagem de Ruído: Os autores derivam um modelo de ruído fenomenológico efetivo que distingue entre qubits "bulk" (dentro de uma única QPU) e qubits "seam" (na interface entre as QPUs). Este modelo incorpora contribuições de portas CNOT locais, pares de Bell ruidosos, erros de ociosidade (idle) e erros de leitura (readway).
  • Eles definem uma taxa de erro físico uniforme $\varepsilon$ para operações locais (portas, medição, ociosidade) e um fator de escala $k$ para erros de pares de Bell ($\varepsilon_B = k\varepsilon$).
  • Expressões analíticas são derivadas para taxas de erro de dados ($p$) e de medição ($q$) efetivas tanto para as regiões bulk quanto para as regiões seam, mostrando que os erros de seam dependem linearmente de $k$.
• Representação Espaço-Temporal: A operação de merge é visualizada como um diagrama espaço-temporal em forma de H. O protocolo envolve a extração de síndrome pré-merge, uma fase de ponte onde estabilizadores conjuntos são medidos ao longo de $d$ rodadas, e a extração pós-merge.
• Decodificação e Simulação: Os erros lógicos $Z$ são decodificados usando um decodificador de Emparelhamento Perfeito de Peso Mínimo (MWPM). Os autores constroem um grafo de síndrome espaço-temporal 3D onde arestas espaciais representam erros de dados e arestas temporais representam erros de medição.
• Parâmetros de Simulação: Simulações de Monte Carlo são realizadas com $200.000$ shots por ponto de dado. O estudo varia a distância do código $d \in \{5, 7, 9, 11, 13\}$ e o fator de escala de ruído do par de Bell $k \in \{1, 3, 5, 7, 9, 11\}$.

Principais Contribuições

1. Modelo de Ruído Heterogêneo: O artigo apresenta um modelo de ruído fenomenológico especificamente adaptado para a cirurgia de rede distribuída, derivando explicitamente as probabilidades de erro efetivas para qubits bulk e seam com base em fontes de ruído em nível de circuito (portas locais, pares de Bell, ociosidade e leitura).
2. Caracterização de Erro Lógico: Os autores caracterizam os erros lógicos $Z$ na operação de merge $XX$ usando a geometria espaço-temporal em forma de H e a decodificação MWPM, fornecendo uma análise detalhada de como as taxas de erro lógico variam com as taxas de erro físico sob ruído heterogêneo.
3. Análise de Limiar sob Ruído de Emaranhamento: O estudo quantifica o impacto do ruído do par de Bell aumentando sistematicamente o fator de escala $k$. Ele demonstra que o limiar de tolerância a falhas da operação de merge permanece robusto mesmo quando o ruído na seam (interface) é significamente maior do que o ruído bulk.

Resultos

• Estabilidade do Limiar: O limiar de tolerância a falhas ($\varepsilon_c$) para a operação de merge diminui apenas modestamente conforme o ruído do par de Bell aumenta. Para $k=1$ (ruído uniforme), o limiar é de $\approx 0,8683\%$. Mesmo em $k=11$ (onde o ruído do par de Bell é 11 vezes maior que o ruído da porta local), o limiar cai apenas para $\approx 0,8339\%$, uma redução absoluta de aproximadamente $0,034\%$.
• Dominância do Bulk: Os resultados confirmam que o limiar assintótico é dominado pelo ruído bulk em vez do ruído da seam. Isso é atribuído à escala do número de qubits: o bulk contém $O(d^2)$ qubits por rodada de extração de síndrome, enquanto a seam contém apenas $O(d)$ qubits. Consequentemente, conforme $d \to \infty$, a contribuição da seam para o volume total de erro espaço-temporal desaparece.
• Comparação com Sistemas Monolíticos: Os limiares observados ($\approx 0,86\%$) alinham-se com a faixa relatada para experimentos de memória de código de superfície rotacionado padrão ($0,5\% - 1,0\%$), sugerindo que a estrutura espaço-temporal complexa da operação de merge não degrada drasticamente o desempenho em comparação com experimentos de memória, mesmo com interconexões ruidosas.

Significância e Alegações
O artigo afirma que suas descobertas fornecem insights práticos para o design de arquiteturas quânticas distribuídas. Especificamente:

• Robustez a Links Imperfeitos: A cirurgia de rede de código de superfície distribuída pode tolerar links de emaranhamento imperfeitos sem uma perda catastrófica nos limiares de tolerância a falhas.
• Compromisso entre Taxa e Fidelidade de Emaranhamento: A robustez da operação de merge sugere um compromisso favorável entre a taxa de geração de emaranhamento e a fidelidade. Os sistemas podem alcançar taxas de geração de emaranhamento significativamente mais altas utilizando pares de menor fidelidade e minimizando a necessidade de destilação de emaranhamento extensiva, que é probabilística e consome muitos recursos.
• Viabilidade de Arquiteturas Modulares: Os resultados apoiam a viabilidade de arquiteturas de código de superfície modulares para computação quântica tolerante a falhas, indicando que os requisitos rigorosos para a fidelidade do emaranhamento podem ser relaxados em relação às capacidades das portas locais.

Os autores concluem que, embora seu estudo foque na operação elementar de merge, os argumentos de escala sobre a tolerância ao ruído de borda provavelmente se estendem a operações lógicas maiores construídas a partir de primitivas de merge e split. Eles identificam direções de trabalhos futuros, incluindo o estudo de decodificadores adaptados para perfis de erro espacialmente variáveis e a extensão desta análise para CNOTs, destilação de estados mágicos e teletransporte sob restrições de hardware realistas.