Surface-Code Thresholds and Qubit Footprints in Shuttling-Based Spin-Qubit Railways

Resumo Técnico: Limiares de Código de Superfície e Pegadas de Qubits em Ferrovias de Qubits de Spin Baseadas em Transporte

Declaração do Problema
A realização de computação quântica tolerante a falhas em plataformas de qubits de spin de silício enfrenta um gargalo crítico de engenharia: o problema da "divergência de fiação". Embora os códigos de superfície 2D sejam o principal candidato para correção de erros a curto prazo devido aos seus altos limiares e requisitos de vizinhos mais próximos, a fabricação de matrizes 2D densas com as linhas de controle necessárias para qubits internos é formidável. Em pontos quânticos de silício, onde os passos das portas são de 50–100 nm, topologias 2D padrão sobrecarregam as linhas de controle, forçando um compromisso entre densidade de qubits e fidelidade de controle. Para abordar isso, arquiteturas que utilizam transporte coerente de elétrons (por exemplo, processadores "SpinBus" ou "Pipeline") foram propostas para relaxar a exigência de conectividade 2D estática. No entanto, análises existentes frequentemente modelam o ruído de transporte como um canal de desfaseamento simples e simétrico, ignorando as realidades físicas complexas do transporte através de gradientes de micromagnetos e acoplamento spin-órbita (SOC). Além disso, o mapeamento ótimo de códigos de superfície para essas geometrias dinâmicas de "ferrovia" e o impacto específico do viés de ruído no desempenho do código nesse contexto permanecem pouco explorados.

Metodologia
Os autores propõem um mapeamento tolerante a falhas de códigos de superfície rotacionados (tanto variantes CSS padrão quanto não-CSS XZZX) em uma arquitetura de "ferrovia" $2 \times N$ usando qubits de spin de silício. Nessa geometria, qubits de dados e qubits de verificação residem em trilhos lineares paralelos separados. A conectividade para extração de síndrome é alcançada dinamicamente via transporte coerente de elétrons.

Componentes metodológicos-chave incluem:

1. Modelagem de Ruído Físico: Os autores derivam um canal de Pauli assimétrico e abrangente para eventos de transporte. Ao contrário de modelos anteriores, isso leva em conta desvios de trajetória através de gradientes de micromagnetos e acoplamento spin-órbita anisotrópico (termos de Rashba e Dresselhaus). Eles decompõem a evolução em componentes determinísticos (coerentes) e estocásticos (incoerentes), mostrando que flutuações de trajetória e deriva de gradientes de campo induzem naturalmente um canal de ruído enviesado (especificamente favorecendo erros de fase, ou viés Z, sob certas condições geométricas).
2. Protocolo de Transporte: Um protocolo "Cronograma de Trem" é desenvolvido para realizar a extração de síndrome. Este protocolo unidirecional minimiza ociosidade e sobrecarga de transporte, enquanto satisfaz estritamente as restrições de comutação de estabilizadores. Crucialmente, o protocolo é projetado para prevenir "erros de gancho" (onde uma única falha em um qubit de verificação se propaga para múltiplos qubits de dados de uma maneira que se alinha com operadores lógicos), o que de outra forma degradaria a distância efetiva do código.
3. Modos Operacionais: O estudo compara duas estratégias operacionais distintas: (a) transportar qubits de dados enquanto mantém qubits de verificação estáticos, e (b) transportar qubits de verificação ao redor de qubits de dados estáticos.
4. Simulação: Simulações de ruído em nível de circuito foram realizadas usando o pacote de software STIM com um decodificador de correspondência perfeita de peso mínimo (pymatching). As simulações avaliaram o desempenho dos limiares através de vários vieses de ruído (ociosidade, porta e transporte) para distâncias de código $d=3$ a $17$.

Principais Contribuições

• Derivação do Modelo de Ruído: O artigo fornece uma derivação de primeiros princípios do canal de ruído incoerente para transporte, vinculando explicitamente parâmetros físicos (gradientes de micromagnetos, forças de SOC, flutuações de trajetória) ao viés de erro de Pauli resultante ($\eta$).
• Mapeamento Otimizado: Um mapeamento específico em "ordem de serpente" é proposto para a arquitetura $2 \times N$ que permite extração de síndrome eficiente sem violar restrições de comutação ou introduzir erros de gancho não corrigíveis.
• Vantagem do Transporte de Qubits de Verificação: O estudo demonstra que transportar qubits de verificação em vez de qubits de dados melhora fundamentalmente os limiares do sistema. Essa estratégia preserva o viés de ruído dos qubits de dados estáticos, o que é vantajoso para códigos de ruído enviesado.
• Seleção de Código: O trabalho compara códigos de superfície CSS padrão com o código de superfície não-CSS XZZX. Estabelece que o código XZZX, quando adaptado ao viés de ruído Z específico inerente ao processo de transporte, supera significativamente as variantes CSS padrão.

Resultados

• Limiares: Sob ruído simétrico, a configuração de transporte de verificação CSS produz um limiar de $\approx 2,65 \times 10^{-3}$. No entanto, sob ruído altamente enviesado (especificamente viés Z com $\eta = 100$), o código XZZX com transporte de verificação alcança um limiar de até $4,0 \times 10^{-3}$. Em contraste, o código CSS sob condições enviesadas semelhantes é limitado por seu menor limiar de memória X ($\approx 2,45 \times 10^{-3}$).
• Redução de Pegada: Os autores quantificam a sobrecarga de qubits físicos necessária para atingir os regimes "Megaquop" ($10^6$ operações lógicas) e "Gigaquop" ($10^9$ operações lógicas).
  • Para uma taxa de erro físico de $p = 0,003$, o ajuste completo de viés (viés de ociosidade e transporte $\eta=100$) reduz a pegada de qubits necessária em aproximadamente 72% em comparação com uma linha de base de ruído simétrico.
  • Para $p = 0,001$, a redução é de aproximadamente 51%.
• Viabilidade Megaquop: Um resultado crítico é que um código XZZX de distância 7 ($d=7$), exigindo apenas 97 qubits físicos (49 de dados, 48 de verificação), é suficiente para atingir o regime Megaquop em $p=0,001$ com alto viés. Isso sugere que processadores tolerantes a falhas iniciais poderiam ser realizados com uma pegada de hardware moderada.

Significado
O artigo argumenta que a interação entre geometrias lineares restritivas (ferrovias) e o viés de ruído físico subjacente de qubits semicondutores é um fator crítico para a tolerância a falhas. Ao adaptar a escolha do código topológico (XZZX) e a estratégia de transporte (movendo qubits de verificação) aos mecanismos de erro dominantes (viés Z do transporte), os autores demonstram um caminho para reduções substanciais de hardware. O trabalho sugere que, para plataformas de qubits de spin de silício onde operações de preservação de viés são nativas, a pegada "Megaquop" é alcançável com significativamente menos recursos do que o estimado anteriormente para modelos de ruído simétrico, tornando implementações tolerantes a falhas iniciais mais viáveis. Os autores observam que, embora seu protocolo seja otimizado para códigos de superfície rotacionados, os princípios de mapeamento e exploração de viés poderiam se estender a outros códigos estabilizadores.