Distributed Quantum Error Correction with Bivariate Bicycle Codes in a Modular Architecture

Resumo Técnico: Correção de Erros Quânticos Distribuída com Códigos Bicicleta Bivariada em Arquitetura Modular

Declaração do Problema
Os códigos de verificação de paridade de baixa densidade quântica (qLDPC), especificamente os códigos bicicleta bivariada (BB), oferecem limiares de tolerância a falhas competitivos e taxas de codificação mais altas em comparação com os códigos de superfície planares. No entanto, sua implementação em hardware monolítico é dificultada por estruturas de estabilizadores intrinsecamente de longo alcance que exigem interações não locais, aumentando a sobrecarga de roteamento e a profundidade do circuito. Embora arquiteturas quânticas modulares (unidades de processamento quântico interconectadas ou QPUs) ofereçam um caminho para a escalabilidade, elas introduzem ruído adicional por meio de interconexões imperfeitas e operações de portas não locais. O problema central abordado é determinar como a partição de um código BB entre múltiplas QPUs e o ruído associado das operações não locais afetam conjuntamente as taxas de erro lógico e o desempenho do pseudo-limiar do código.

Metodologia
Os autores investigam a realização distribuída do código BB [[144, 12, 12]] em uma arquitetura modular. O estudo emprega a seguinte estrutura metodológica:

• Arquitetura: Propõe-se uma topologia de rede em estrela onde múltiplas QPUs são conectadas por meio de um switch quântico central. Cada QPU possui conectividade interna total (viável em plataformas de íons aprisionados ou átomos neutros) e utiliza qubits de comunicação para gerar pares de Bell compartilhados para operações não locais.
• Particionamento do Código: O código [[144, 12, 12]], definido em um toro $12 \times 6$, é particionado em 4, 6 e 12 QPUs. A estratégia de particionamento divide as 12 colunas $x$ do toro em faixas verticais contíguas atribuídas a cada QPU.
• Modelagem de Ruído: Estabelece-se um modelo de ruído em nível de circuito onde as portas locais (dentro de uma QPU) possuem uma taxa de erro de base $p$. As portas não locais (entre QPUs), mediadas por troca de emaranhamento e medições de estado de Bell, recebem uma taxa de erro elevada $p_{NL} = \alpha p$, onde $\alpha \in \{1, 3, 5, 7\}$ representa um fator de escala para a penalidade de ruído cumulativa das operações não locais.
• Simulação e Decodificação: Simulações de Monte Carlo são realizadas sobre 12 ciclos de extração de síndrome usando BP+OSD (Propagação de Crença com Decodificação por Estatísticas Ordenadas) para decodificar erros lógicos. As simulações distinguem entre portas CNOT locais e não locais com base no mapa de particionamento.
• Extensão Analítica: Para caracterizar o comportamento do limiar sob condições de ruído variáveis, os autores estendem a ansatz padrão do código BB. Eles introduzem um modelo quadrático dependente de $\alpha$ onde os coeficientes de ajuste ($c_0, c_1, c_2$) variam como funções de $\alpha$, enquanto o expoente de lei de potência dominante (determinado pela distância do circuito) permanece fixo.

Principais Contribuições

1. Estrutura de Implementação Distribuída: O artigo descreve uma arquitetura específica de rede em estrela e um esquema de particionamento para realizar o código BB [[144, 12, 12]] em 4, 6 e 12 QPUs, definindo explicitamente o mapeamento de qubits e a classificação de portas locais versus não locais.
2. Modelagem Consciente do Ruído: Define-se um modelo de ruído em nível de circuito que escala explicitamente a taxa de erro das portas não locais por um fator $\alpha$, permitindo o estudo sistemático das imperfeições das interconexões.
3. Ansätze Modificados: Os autores propõem um ansatz modificado que estende a análise de limiar do código BB de base para o cenário distribuído. Este modelo quadrático dependente de $\alpha$ permite a extrapolação das taxas de erro lógico para taxas de erro físico mais baixas e o cálculo de pseudo-limiares através de diferentes escalas de ruído.
4. Caracterização de Desempenho: Por meio de extensas simulações de Monte Carlo, o estudo quantifica o compromisso entre o número de partições (modularidade) e a penalidade de ruído das operações não locais.

Resultados

• Degradação do Limiar: O pseudo-limiar ($p_0$) diminui monotonicamente à medida que o fator de escala de ruído não local $\alpha$ aumenta para todos os tamanhos de partição (4, 6 e 12 QPUs). Por exemplo, na configuração de 12 QPUs, o pseudo-limiar cai de aproximadamente $0,0063$ em $\alpha=1$ para $0,0017$ em $\alpha=7$.
• Sensibilidade à Partição: Embora todas as partições se degradem com $\alpha$ mais alto, o impacto é mais severo para partições mais finas. A partição de 12 QPUs (que exige a maior comunicação entre QPUs) exibe os menores pseudo-limiares para $\alpha \geq 3$. Por outro lado, a partição de 4 QPUs consistentemente produz os maiores pseudo-limiares sob condições de alto ruído não local.
• Acordo com a Base: Em $\alpha=1$ (sem penalidade não local), os pseudo-limiares simulados para todas as partições alinham-se estreitamente com os valores relatados anteriormente para o código monolítico [[144, 12, 12]] ($\approx 0,0065$), validando a estrutura de simulação.
• Precisão do Ajuste: O ansatz quadrático dependente de $\alpha$ proposto fornece um ajuste de alta fidelidade aos dados de simulação, com valores de $R^2$ consistentemente próximos da unidade em toda a faixa testada de $\alpha$ e $p$.

Significado e Alegações
O artigo alega fornecer insights arquitetônicos e considerações de projeto para a implementação de códigos qLDPC de alta taxa em ambientes de computação quântica modular. A principal descoberta é que, embora a modularidade seja necessária para a escalabilidade, ela introduz um "compromisso entre escalabilidade e limiar". Especificamente, aumentar o número de partições para acomodar mais QPUs aumenta a frequência de portas não locais, o que reduz significativamente o limiar de tolerância a falhas se o ruído das interconexões não for suficientemente suprimido.

Os autores concluem modestamente que seus resultados destacam a necessidade de melhorar as interconexões quânticas (reduzindo $\alpha$) para mitigar a penalidade de desempenho dos códigos BB distribuídos. Eles sugerem que um particionamento mais grosseiro (menos QPUs) pode ser mais favorável a curto prazo se as fidelidades das portas não locais permanecerem baixas. O trabalho não alega resolver completamente o problema da correção de erros distribuída, mas sim estabelece uma estrutura quantitativa para avaliar a viabilidade dos códigos BB em ambientes modulares, identificando os níveis específicos de ruído nos quais a modularidade se torna prejudicial ao desempenho lógico. Sugere-se trabalho futuro para explorar erros correlacionados, erros de gancho e estratégias otimizadas de posicionamento de qubits.