Opportunities and challenges in scaling quantum error detection on hardware

Resumo Técnico: Oportunidades e Desafios na Escalonamento da Detecção de Erros Quânticos em Hardware

Declaração do Problema
A detecção de erros quânticos (QED) oferece um caminho para obter valores esperados não enviesados que convergem exponencialmente para resultados livres de ruído à medida que a distância do código aumenta. Ao contrário de muitas técnicas heurísticas de mitigação de erros que produzem estimadores enviesados, a QED descarta estados finais fora do subespaço lógico de um código escolhido, produzindo teoricamente resultados não enviesados se todos os erros forem corrigíveis. No entanto, a QED permanece relativamente pouco estudada em hardware quântico devido a dois desafios principais de escalabilidade:

1. Sobrecarga de Amostragem: O número de amostras necessárias (tiros) para detectar palavras-código cresce exponencialmente com a profundidade do circuito e os níveis de ruído na maioria dos modelos de ruído.
2. Sobrecarga de Processamento Clássico: O pré e pós-processamento clássico necessário para identificar palavras-código ou avaliar os projetores necessários geralmente escala exponencialmente com o tamanho do código (especificamente $2^r$, onde $r$ é o número de geradores de estabilizador).
   Adicionalmente, a sobrecarga constante de incorporar operações lógicas em hardware físico pode degradar o desempenho se o ruído introduzido pela codificação e roteamento exceder os benefícios da detecção de erros.

Metodologia
Os autores conduziram um estudo abrangente de benchmarking em computadores quânticos reais da IBM e em ambientes simulados ruidosos para avaliar a escalabilidade da QED. O estudo utilizou dois códigos específicos:

• Código de Repetição: Um código $[[n, 1, n]]$ usado para experimentos de memória e preparação de estados de Bell lógicos. Este código é clássico (corrigindo apenas erros de inversão de bit) e permite codificação trivial na base $Z$.
• Código de Cor Triangular: Um código quântico $[[n, 1, d]]$ (especificamente o código de Steane para $d=3$ e generalizações para $d=5, 7$) capaz de corrigir tanto erros de inversão de bit quanto de fase. Este código requer circuitos de codificação unitária não triviais.

Os experimentos foram realizados em dispositivos da IBM (Kyiv, Fez, Boston, Aachen) usando até 74 qubits físicos e 3.146 portas de dois qubits físicas. Os autores prepararam estados de Bell lógicos e mediram valores esperados ($\langle \bar{Z}\bar{Z} \rangle$, $\langle \bar{X}\bar{X} \rangle$, $\langle \bar{Z} \rangle$) variando a distância do código ($n$) e a profundidade do circuito ($D$). Eles também aplicaram desacoplamento dinâmico (DD) para mitigar erros de tempo ocioso. Para analisar os limites da técnica, os autores estimaram o pseudoteto — o nível de ruído abaixo do qual a QED supera experimentos físicos — para o código de cor triangular usando simulações ruidosas com ruído de despolarização de um único qubit.

Principais Resultados

• Convergência Exponencial: No hardware, a precisão dos valores esperados obtidos via QED converge exponencialmente para o valor ideal livre de ruído à medida que o número de qubits físicos (distância do código) aumenta. Isso foi observado tanto em experimentos de memória com código de repetição quanto em preparações de estados de Bell lógicos.
• Desempenho vs. Qubits Físicos: Nos experimentos com código de repetição, os resultados codificados superaram consistentemente os resultados físicos em média. Para o código de cor triangular, os resultados codificados superaram os resultados físicos na distância $d=3$ ($n=14$) em todas as profundidades testadas. No entanto, em $d=5$ ($n=38$), ocorreu uma intersecção onde os resultados codificados tornaram-se piores que os resultados físicos além de certa profundidade de circuito ($D=30$), ilustrando a existência de um pseudoteto.
• Limites de Amostragem e Clássicos: O estudo confirmou que amostrar palavras-código torna-se exponencialmente difícil. Para o código de cor triangular de distância $d=7$ ($n=74$), nenhuma palavra-código foi amostrada no hardware após $10^6$ tiros. Simulações indicaram que para $n \ge 25$, o cálculo de palavras-código a partir de geradores de estabilizador requer horas de computação ou excede as capacidades de memória, destacando o severo gargalo clássico.
• Comportamento do Pseudoteto: O pseudoteto estimado $p^*$ para o código de cor triangular cai exponencialmente com a profundidade do circuito. Isso define uma região sub-teto onde a detecção de erros fornece desempenho superior, análoga a tetos na correção completa de erros quânticos, mas dependente de parâmetros específicos de circuito e ruído.
• Sobrecarga de Codificação: O estudo destacou que circuitos de codificação não triviais (necessários para o código de cor triangular) introduzem sobrecarga significativa de profundidade e portas de dois qubits, o que pode empurrar as taxas de erro efetivas acima do pseudoteto se não forem otimizadas.

Significância e Alegações
O artigo afirma fornecer uma visão clara das oportunidades e desafios para escalar a QED no hardware atual e de futuro próximo. A principal significância reside em demonstrar que a QED pode de fato produzir resultados não enviesados e de convergência exponencial em hardware real, validando seu potencial como uma técnica poderosa de mitigação de erros. Os autores afirmam que, embora a amostragem e o processamento clássico permaneçam obstáculos significativos, os resultados experimentais mostram "forte promessa" para escalar a QED até a escala "Megaquop" e além, desde que as taxas de ruído permaneçam abaixo do pseudoteto.

Os autores permanecem modestos quanto à praticidade imediata do método, reconhecendo que não normalizaram as melhorias pelo aumento massivo nos recursos de amostragem necessários. Eles postulam que trabalhos futuros devem focar em aliviar as sobrecargas exponenciais de amostragem e processamento clássico (citando técnicas como expansão de subespaço generalizada e tomografia de sombra lógica) para permitir experimentos de maior escala e orientados a aplicações. O trabalho serve como um benchmark para a fronteira atual da QED, mapeando onde ela tem sucesso e onde as sobrecargas atualmente impedem que ela supere experimentos físicos brutos.