Surface Code with Imperfect Erasure Checks

Resumo Técnico: Código de Superfície com Verificações de Erasura Imperfeitas

Enunciado do Problema
Avanços recentes em correção de erros quânticos (QEC) têm se concentrado em "qubits de erasure" (erasure qubits), onde o ruído físico dominante se manifesta como estados de vazamento (leakage) que podem ser detectados e convertidos em erasures. Estudos teóricos indicam que protocolos de QEC que utilizam erros de erasure possuem distâncias de erro e taxas de limiar de erro efetivas significativamente maiores do que aqueles sujeitos ao ruído Pauli padrão. No entanto, essas vantagens teóricas frequentemente assumem verificações de erasure perfeitamente precisas realizadas após cada operação de porta. Na prática, implementar tais verificações perfeitas acarreta um overhead significativo de tempo e hardware. Por exemplo, em arquiteturas de qubits de dual-rail (DR) supercondutores, realizar uma verificação de erasure dedicada após cada porta pode dobrar o tempo de ciclo de correção de erros e introduzir novos erros durante a própria verificação. Além disso, as verificações de erasure práticas podem sofrer de imperfeições, incluindo:

1. Resolução Temporal Imperfeita: A verificação pode detectar um evento de vazamento com atraso, o que significa que um sinal levantado no tempo $t$ pode corresponder a um evento de vazamento no tempo $t$ ou $t-1$.
2. Resolução Espacial Imperfeita: A verificação pode indicar que ocorreu um vazamento dentro de uma porta de dois qubits específica, mas falhar em identificar qual dos dois qubits participantes vazou.

Este trabalho investiga as consequências dessas imperfeições no desempenho do código de superfície, questionando se as vantagens dos qubits de erasure persistem quando as verificações são imperfeitas, porém eficientes em termos de overhead.

Metodologia
Os autores analisam o código de superfície sob quatro modelos de ruído distintos, combinando dois tipos de erros Pauli induzidos por vazamento e dois tipos de imperfeições de verificação de erasure:

• Modelos Pauli de Vazamento:
  • Modelo Pauli Geral: Um qubit que vazou induz um erro Pauli ($I, X, Y, Z$) no qubit interagente com probabilidade igual.
  • Modelo Pauli Adaptado (Tailored): Motivado por qubits DR supercondutores (especificamente DRs baseados em cavidade com verificações integradas), este modelo assume que o erro induzido é restrito. Para uma porta CZ, o erro é extraído de $\{I, Z\}$; para uma porta CX, de $\{I, X\}$. Essa restrição decorre da física específica da plataforma DR.
• Imperfeições de Verificação de Erasure:
  • Resolução Espacial Perfeita: A verificação identifica o qubit exato que vazou.
  • Resolução Espacial Imperfeita: A verificação identifica a porta que contém o vazamento, mas não o qubit específico, exigindo o reset de ambos os qubits.
  • Resolução Temporal Imperfeita: Caracterizada por um parâmetro $\eta$, representando a probabilidade de um vazamento sinalizado ter ocorrido na porta atual em vez da imediatamente anterior.

Os autores empregam simulações de Monte Carlo de ruído em nível de circuito estocástico combinadas com um decodificador Union-Find (UF) ponderado. O decodificador é calibrado para considerar os erros correlacionados introduzidos pela detecção atrasada (onde um único evento de vazamento pode propagar erros para múltiplos qubits ao longo do tempo) e a incerteza na resolução espacial. Eles avaliam a taxa de erro de limiar ($p_{th}$) e a distância de erro efetiva ($d_{eff}$) para vários valores de $\eta$ e da fração de erasure $R_e$.

Principais Resultados

1. Desempenho de Limiar:

   • Sob suposições fisicamente razoáveis (ex: $\eta \approx 0,986$ e $R_e \approx 0,98$), o limiar para o código de superfície com verificações de erasure imperfeitas permanece significativamente superior ao limiar para ruído Pauli puro ($\sim 1\%$).
   • Especificamente, para o modelo Pauli adaptado com verificações imperfeitas, o limiar é de aproximadamente 4,23%, o que é mais do que o dobro do limiar Pauli e apenas ligeiramente inferior ao caso de detecção de erasure perfeita ($\sim 5,56\%$).
   • Mesmo no pior cenário, onde a resolução temporal é ruim ($\eta \to 0$), o limiar permanece bem acima do limite Pauli (variando de $\sim 2,6\%$ a $\sim 4,9\%$ dependendo do modelo).
   • A diferença de limiar entre verificações espacialmente perfeitas e espacialmente imperfeitas é negligenciável para o modelo Pauli geral, mas permanece significativa ($>1\%$) para o modelo Pauli adaptado quando $\eta \to 1$.

2. Distância de Erro Efetiva ($d_{eff}$):

   • Modelo Pauli Geral: A resolução temporal imperfeita degrada a distância efetiva. Para um código de tamanho $d$, a distância efetiva para um erro lógico $Z$ ($Z_L$) cai de $d$ para aproximadamente $(d+1)/2$ conforme $\eta$ diminui, revertendo efetivamente para a escala do ruído Pauli.
   • Modelo Pauli Adaptado: Crucialmente, a distância efetiva permanece robusta. Mesmo com resolução temporal e espacial imperfeitas, a distância efetiva para erros lógicos $Z_L$ e $X_L$ permanece em $d$. Isso ocorre porque o conjunto de erro restrito ($\{I, Z\}$ ou $\{I, X\}$) impede que um único evento de vazamento atrasado gere os erros correlacionados específicos necessários para formar um operador lógico de peso mínimo.

3. Eficiência de Hardware:

   • O estudo conecta esses modelos a arquiteturas existentes de dual-rail supercondutor. DRs baseados em cavidade com verificações de erasure integradas (que são espacialmente imperfeitas, mas temporais eficientes) requerem significativamente menos transmons (aproximadamente 29% da contagem necessária para qubits convencionais para atingir o mesmo $d_{eff}$) em comparação com esquemas de verificação explícitos.

Significância e Alegações
O artigo afirma que as vantagens substanciais dos qubits de erasure — especificamente os requisitos de sistema relaxados para tolerância a falhas — são robustas contra imperfeições realistas nas verificações de erasure.

• Redução de Overhead: Demonstra-se que é possível alcançar memórias de código de superfície de alto desempenho usando "verificações de erasure eficientes em termos de overhead" (ex: verificações integradas com resolução espacial/temporal imperfeita) sem sacrificar o limiar ou a distância efetiva, desde que o ruído induzido por vazamento siga a estrutura "adaptada" encontrada em qubits DR supercondutores.
• Viabilidade Prática: Os resultados sugerem que o requisito rigoroso de verificações de erasure perfeitas e em tempo real não é necessário. Sistemas podem tolerar detecção atrasada e ambiguidade espacial enquanto ainda mantêm uma taxa de erro de limiar mais do que o dobro do ruído Pauli padrão.
• Caracterização de Ruído: O trabalho enfatiza a importância crítica de caracterizar experimentalmente o modelo de ruído detalhado (especificamente se o vazamento induz erros Pauli gerais ou adaptados), pois isso determina se o código retém sua vantagem de distância sob verificações imperfeitas.

Os autores concluem que alcançar um bom desempenho de memórias quânticas de código de superfície com requisitos de sistema relaxados é possível, motivando o uso de estratégias de verificação de erasure simplificadas e eficientes em hardware em processadores quânticos supercondutores.