LUCI on IBM Hardware: Error Suppression with Almost Half Syndrome Density

Resumo Técnico: LUCI em Hardware IBM

Declaração do Problema
A computação quântica tolerante a falhas e escalável requer qubits lógicos que possam preservar seu estado durante tempos de execução estendidos. Embora o código de superfície seja o protocolo de Correção de Erros Quânticos (QEC) mais prático para processadores com restrições locais devido ao seu alto limiar, as implementações tradicionais dependem de circuitos de extração de síndrome estáticos. Esses circuitos rígidos impõem restrições severas de conectividade e são vulneráveis a defeitos de hardware (ex: qubits ou acopladores não funcionais). Estruturas teóricas recentes, como o LUCI (Logical Unitary Circuit Implementation), propõem sub-rotinas dinâmicas que podem navegar em torno de componentes defeituosos ao alterar os cronogramas de medição. No entanto, essa flexibilidade vem ao custo de uma distância temporal reduzida, exigindo múltiplas rodadas para extrair uma síndrome completa. Crucialmente, essas abordagens dinâmicas não haviam sido demonstradas experimentalmente em hardware físico, nem seu desempenho havia sido comparado com códigos estáticos padrão na ausência de defeitos físicos, particularmente em relação ao trade-off da "densidade de síndrome" (a razão entre os bits de síndrome medidos e o total de bits possíveis por ciclo).

Metodologia
Os autores testaram experimentalmente a estrutura LUCI contra o código de superfície rotacionado padrão no processador quântico supercondutor ibm_miami da IBM. O estudo utilizou um cenário "livre de reset" (reset-free), onde as operações de reset de qubits físicos foram omitidas para evitar tempo ocioso e vazamento (leakage), baseando-se, em vez disso, em pós-processamento clássico para definir detectores.

As principais etapas metodológicas incluíram:

• Agendamento Dinâmico: A estrutura LUCI foi implementada usando estados de meio de ciclo, onde o circuito alterna entre duas rodadas distintas (uma de linha de base e uma variante) para extrair a síndrome completa. Isso contrasta com o código de superfície padrão, que extrai a síndrome completa em uma única rodada.
• Escalonamento Assimétrico: Para visar erros lógicos específicos, os pesquisadores escalaram os patches de QEC assimetricamente. Eles testaram patches de distância-3 ($d=3$) e os estenderam para patches retangulares com dimensões $(d_x=5, d_z=3)$ para suprimir erros lógicos X, ou $(d_x=3, d_z=5)$ para suprimir erros lógicos Z.
• Análise de Densidade de Síndrome: O estudo quantificou a "densidade de síndrome" ($\rho$). Enquanto o código de superfície padrão mantém uma densidade de 1, a estrutura LUCI, que requer duas rodadas para a extração completa, alcançou uma densidade de aproximadamente 0,6 para patches $d=3$ e 0,588 para os patches expandidos.
• Restrições de Hardware: Os experimentos foram conduzidos em uma região livre de defeitos do processador. No entanto, o mapeamento para o código de superfície padrão na base X foi forçado a utilizar um acoplador altamente ruidoso (taxa de erro $\sim15\%$) devido aos requisitos rígidos de conectividade, enquanto o agendamento flexível do LUCI permitiu evitar esse componente ruidoso específico.
• Decodificação: As taxas de erro lógico foram decodificadas usando um decodificador Minimum Weight Perfect Matching (MWPM) correlacionado (PyMatching), ponderado por dados de calibração de portas e medições.

Resultos Principais
Os autores compararam as razões de supressão de erro ($\Lambda_{5/3} = \epsilon^r_{d=3} / \epsilon^r_{d=5}$) entre o código de superfície padrão e a estrutura LUCI:

• Erros Lógicos X: A estrutura LUCI demonstrou uma supressão de erro superior com uma razão de 1,75(10), comparada aos 1,58(13) do código de superfície padrão. Essa melhoria é atribuída à capacidade do LUCI de evitar o acoplador altamente ruidoso que o código padrão foi forçado a usar.
• Erros Lógicos Z: O código de superfície padrão mostrou maior supressão para erros Z (2,44(7)) em comparação ao LUCI (1,93(12)).
• Desempenho Geral: Apesar de a estrutura LUCI operar com quase metade da densidade de síndrome no tempo (exigindo duas rodadas para a extração total da síndrome), ela permaneceu competitiva com o código de superfície rotacionado padrão.
• Inhomogeneidade de Ruído: Os resultados destacaram que os circuitos de extração de síndrome padrão nem sempre são otimizados, mesmo em regiões livres de defeitos, quando o ruído do hardware é inhomogêneo. O agendamento dinâmico do LUCI contornou com sucesso um componente específico ruidoso, gerando melhores taxas de erro lógico geral para erros alvo enquanto preservava as fronteiras lógicas.

Significância e Alegações
O artigo afirma preencher a lacuna entre códigos dinâmicos teóricos e implementação em hardware prático. Suas principais contribuições são:

1. Verificação Experimental: Fornece a primeira demonstração experimental da estrutura LUCI em hardware quântico físico, verificando sua viabilidade sem defeitos físicos.
2. Desempenho sob Distância Temporal Reduzida: Desafia a dependência convencional de arquiteturas de falha estáticas ao mostrar que códigos dinâmicos podem superar métodos padrão mesmo operando com densidade de síndrome temporal reduzida (densidade reduzida pela metade).
3. Compatibilidade de Hardware: O trabalho demonstra que códigos dinâmicos podem evitar ativamente componentes altamente ruidosos em ambientes de hardware inhomogêneos, oferecendo uma alternativa viável para maximizar o desempenho em processadores de geração atual.
4. Implementação Livre de Reset: Implementou com sucesso um detector livre de reset dentro da estrutura LUCI, provando que a QEC de alto desempenho é possível sem depender de operações de reset físico.

Os autores concluem que essas descobertas pavimentam o caminho para designs de códigos híbridos e compatíveis com o hardware, sugerindo que a extração dinâmica de síndrome é uma abordagem prática para a preservação de qubits lógicos na presença de inhomogeneidade de ruído de hardware.