Breakeven demonstration of quantum low-density parity-check codes

Resumo Técnico: Demonstração de Breakeven de Códigos de Paridade de Baixa Densidade de Verificação Quântica

Definição do Problema
A computação quântica tolerante a falhas (FTQC) requer correção de erros quânticos (QEC) extensiva. Embora o código de superfície seja uma escolha popular devido à sua compatibilidade com arquiteturas de vizinhos próximos em 2D, ele sofre com um overhead massivo de qubits, exigindo centenas de qubits físicos por qubit lógico. Os códigos de paridade de baixa densidade de verificação quântica (qLDPC) oferecem uma alternativa promissora ao relaxar as restrições de localidade, permitindo taxas de codificação mais altas e redução de overhead. No entanto, a realização experimental de códigos qLDPC é dificultada pela necessidade de portas não locais e reconfigurações complexas de hardware. Demonstrações anteriores, como um código de bicicleta bivariate (BB) específico em qubits supercondutores, exigiram hardware sob medida com acopladores de longo alcance e alcançaram taxas de erro lógico que ainda não eram competitivas com os tempos de vida dos qubits físicos (breakeven).

Metodologia
Os autores utilizaram um computador quântico de íons aprisionados composto por uma cadeia estacionária de quarenta íons de $^{133}\text{Ba}^+$. O sistema aproveita duas vantagens arquitetônicas fundamentais:

1. Conectividade All-to-All: As portas são implementadas usando feixes Raman direcionáveis que endereçam qualquer íon ou par de íons na cadeia, eliminando a necessidade de transporte físico de íons.
2. Arquitetura Optical-Metastable-Ground (OMG): Uma implementação inovadora que permite medição de meio de circuito (MCM) endereçável e reset sem íons de resfriamento dedicados.
   • Mecanismo: Qubits ociosos são "armazenados" em um manifold metaestável ($5^2D_{5/2}$) usando um feixe global de 1762 nm. Ancilas de leitura específicas são seletivamente "desarmazenadas" de volta para o estado fundamental ($6^2S_{1/2}$) para medição.
   • Resfriamento Simpático: As ancilas medidas são usadas para resfriar simpaticamente toda a cadeia, eliminando a necessidade de íons de resfriamento separados (que tipicamente consomem até 50% da contagem de íons em sistemas baseados em transporte).
   • Tratamento de Vazamento (Leakage): O sistema detecta o vazamento para fora do manifold de qubit via verificações de fluorescência. Embora a abordagem principal envolva pós-seleção (rejeitar shots com vazamento detectado), os autores observam que isso pode ser convertido em apagamentos (erasures) com resets condicionais.

Os experimentos demonstraram nove códigos distintos de correção de erro quântico através de três famílias sem qualquer reconfiguração de hardware:

• Códigos qLDPC: Cinco códigos, incluindo três variantes de BB5 e dois códigos GB4 (estabilizadores de peso-4).
• Códigos Topológicos: Um código toric padrão ($d=3$) e uma variante rotacionada ($d=4$).
• Códigos Concatenados: O código $[[4, 2, 2]]$ concatenado consigo mesmo.

Experimentos de memória foram conduzidos preparando estados próprios lógicos ($X_L$ e $Z_L$) e repetindo ciclos de síndrome (até 6 ciclos). Os dados de síndrome foram decodificados usando um decodificador de feixe (beam decoder).

Resultados Principais

• Taxas de Erro Lógico: Usando um código BB5 codificando 4 qubits lógicos em 18 qubits físicos, os autores alcançaram taxas de erro lógico significativamente menores do que uma demonstração anterior em supercondutores de um código BB similar (codificando 4 qubits lógicos em 18 físicos usando 32 transmons). Especificamente, a taxa de erro lógico foi 4$\times$ menor para erros Z e 9$\times$ menor para erros X em comparação com o benchmark supercondutor.
• Desempenho de Breakeven: O estudo reporta a primeira demonstração de desempenho de breakeven para códigos qLDPC. Os tempos de vida dos qubits lógicos foram comparáveis a, e em alguns casos ligeiramente superiores aos, tempos de vida dos qubits físicos subjacentes.
  • A instância de código com melhor desempenho (GB4 $[[26, 2, 5]]$) exibiu um tempo de vida de qubit lógico de 3,95 $\pm$ 0,68 s, comparado a 3,3 $\pm$ 0,9 s para os qubits físicos.
  • Para o código BB5 $[[18, 4, 3]]$, o tempo de vida lógico foi comparável ao tempo de vida do qubit físico ($T_2^* \approx 1,1 \pm 0,3$ s para $X_L$ e $T_1 \approx 3,3 \pm 0,9$ s para $Z_L$).
• Flexibilidade: O mesmo hardware implementou com sucesso códigos com requisitos de conectividade vastamente diferentes (desde códigos toric locais até códigos qLDPC altamente não locais) apenas através de reconfiguração de software das sequências de portas e mapeamentos de qubits.

Significado e Alegações
O artigo afirma que este trabalho representa um marco significativo em direção a arquiteturas tolerantes a falhas eficientes em termos de qubits. Ao aproveitar a flexibilidade dos sistemas de íons aprisionados, os autores demonstram que códigos qLDPC de alta taxa podem ser implementados sem as restrições de hardware que anteriormente limitaram sua realização experimental. A demonstração bem-sucedida de desempenho de breakeven (onde qubits lógicos vivem tanto quanto ou mais do que os qubits físicos) para códigos qLDPC sugere que esses códigos são candidatos viáveis para as primeiras gerações de FTQC. A implementação da nova arquitetura OMG é destacada como um habilitador crítico, permitindo medição de meio de circuito e resfriamento escaláveis sem o overhead de transporte de íons ou espécies de resfriamento dedicadas. O trabalho enfatiza que os dispositivos de íons aprisionados são uma plataforma natural para realizar a conectividade complexa exigida por códigos qLDPC.