Resumo Técnico: Códigos Quânticos a partir de Recozimento Clássico

Declaração do Problema

A correção de erros quânticos (QEC) é essencial para a computação quântica tolerante a falhas (FT) em larga escala. No entanto, as famílias de códigos conhecidas frequentemente impõem sobrecargas de recursos proibitivas. Os códigos topológicos (ex: códigos de superfície) são limitados pelo limite de Bravyi-Poulin-Terhal, o que restringe suas taxas de codificação. Códigos de paridade de baixa densidade quântica (qLDPC) oferecem parâmetros assintóticos favoráveis, mas exigem interações de longo alcance e decodificação complexa, tornando-os difíceis de implementar em hardware atual de curto prazo. Embora a concatenação de códigos ofereça um caminho para sobrecargas de espaço-tempo constantes, ela depende de códigos "semente" de alta qualidade com altas taxas de codificação e grandes distâncias.

Buscas por força bruta para tais códigos são geralmente intratáveis porque o espaço de códigos estabilizadores cresce exponencialmente com o comprimento de bloco $n$, e calcular a distância do código é um problema NP-difícil. Consequentemente, há uma necessidade de métodos numéricos eficientes para descobrir códigos estabilizadores quânticos de tamanho moderado ($n \le 50$) que alcancem altas taxas de codificação ($k/n$) e distâncias ($d$) que atendam ou excedam limites teóricos, especificamente para arquiteturas que possam suportar interações de longo alcance (ex: íons aprisionados ou átomos neutros).

Metodologia

Os autores introduzem um algoritmo de recozimento simulado adaptativo para buscar códigos quânticos ótimos dentro de duas classes específicas:

1. Códigos CSS: Códigos de Calderbank-Shor-Steane, que permitem preparação de estado e decodificação de FT relativamente simples.
2. Códigos SWEL: Uma subclasse de códigos CSS denominada "Self-Dual with Equivalent Logicals" (Autoduais com Lógicos Equivalentes). Estes códigos satisfazem condições de simetria específicas ($H_X = H_Z$ e operadores lógicos $L_X = L_Z$) que garantem implementações transversais de portas Hadamard lógica ($H^{\otimes k}$) e Fase ($S^{\otimes k}$), facilitando a construção de conjuntos de portas FT.

Espaço de Busca e Movimentos

• Inicialização: Em vez de começar de códigos triviais, o algoritmo realiza um "warm start" aplicando uma porta que preserva CSS ou SWEL aleatória a um código trivial.
  • Para códigos CSS, o espaço de busca é amostrado via o grupo linear geral $GL(n, \mathbb{F}_2)$.
  • Para códigos SWEL, o espaço de busca é amostrado via o grupo ortogonal $O(n, \mathbb{F}_2)$.
• Distribuição de Proposta (Movimentos):
  • CSS: Os movimentos são gerados aplicando portas CNOT aleatórias entre pares de qubits. O Teorema 1 estabelece que portas CNOT podem transformar qualquer código CSS em qualquer outro com os mesmos parâmetros de rank.
  • SWEL: Os movimentos são gerados aplicando "portas elementares que preservam SWEL", que atuam em quatro qubits. O Teorema 5 prova que essas portas, combinadas com permutações, podem percorrer todo o espaço de códigos SWEL.

Função de Energia

Para evitar "platôs estéreis" (barren plateaux) onde a distância do código permanece constante apesar de mudanças locais, os autores definem uma função de energia $E(C)$ que serve como um substituto para a taxa de erro lógico em um modelo de ruído de capacidade de código.
$$E(C) = \frac{\log m}{\log(1/p)} - d$$
onde $d$ é a distância do código, $m$ é o número de operadores lógicos não triviais de peso mínimo, e $p$ é a taxa de erro físico (definida como $10^{-3}$). Esta função penaliza códigos com distâncias maiores (menor energia) e, crucialmente, desempata códigos de igual distância favorecendo aqueles com menos operadores lógicos de peso mínimo ($m$).

Recozimento Adaptativo

O algoritmo emprega um cronograma de temperatura adaptativo para evitar que o sistema congele em platôs ou mínimos locais degenerados. A temperatura é ajustada em cada época com base nas diferenças de energia das propostas de movimentos, visando uma taxa de aceitação ascendente específica. Um fator de memória é usado para amortecer as flutuações de temperatura.

Pós-processamento

Após encontrar um código via recozimento, um algoritmo guloso é aplicado para reduzir os pesos dos geradores estabilizadores. Este passo minimiza a complexidade das medições de síndrome sem alterar a distância ou os operadores lógicos do código.

Principais Contribuições

1. Estrutura Algorítmica: O desenvolvimento de um algoritmo de recozimento simulado adaptativo especificamente projetado para a busca de códigos quânticos CSS e SWEL, utilizando propriedades de teoria de grupos para garantir que o espaço de busca seja totalmente coberto.
2. Caracterização SWEL: Um framework teórico rigoroso (Teoremas 3 e 4) definindo códigos SWEL e provando que o conjunto de portas que preservam SWEL (isomorfo a $O(n, \mathbb{F}_2)$) é suficiente para gerar todos os códigos SWEL a partir de uma semente trivial.
3. Substituto de Energia: A formulação de uma função de energia que combina a distância do código com a contagem de operadores lógicos de peso mínimo, resolvendo efetivamente os platôs discretos que dificultam a otimização de distância ingênua.
4. Descoberta de Códigos de Estado da Arte: A identificação de numerosos novos códigos para comprimentos de bloco até $n=50$ que superam os códigos anteriormente conhecidos indexados no qecdb.org.

Resultados

Os autores apresentam uma tabela abrangente de códigos descobertos (Apêndice F) com parâmetros $[n, k, d]$ onde $n \le 50$ e $k \ge 4$.

• Desempenho: Muitos dos códigos CSS e SWEL descobertos alcançam distâncias que atendem ou excedem o limite de Gilbert-Varshamov quântico ($d_{QGV}$) e o limite de Gilbert-Varshamov específico para CSS ($d_{CSS}$).
• Comparação: Os resultados são comparados com os melhores códigos conhecidos no qecdb.org. Em muitos casos, os novos códigos oferecem distâncias maiores para o mesmo $n$ e $k$, ou maior $k$ para o mesmo $n$ e $d$.
• Taxas de Erro Lógico: Usando simulações de Monte Carlo com amostragem de importância, os autores estimam as taxas de erro lógico para esses códigos. Os resultados validam que a função de energia identifica com sucesso códigos com menores taxas de erro lógico, particularmente para distâncias $d > 4$.
• Especificidades SWEL: Os códigos SWEL descobertos possuem a estrutura necessária para portas de Clifford lógicas transversais. Por exemplo, o código SWEL $[20, 6, 4]$ foi encontrado com pelo menos 2.304 portas de Clifford transversais SWAP.

Significância e Alegações

O artigo afirma que esses códigos otimizados numericamente servem como códigos semente favoráveis para arquiteturas tolerantes a falhas baseadas em concatenação de códigos. Ao fornecer códigos de alta taxa e alta distância para tamanhos de bloco moderados, eles podem ser usados para construir qubits lógicos de maior escala com redução de sobrecarga.

Além disso, os autores destacam o potencial desses códigos para demonstrações de hardware de curto prazo. Especificamente, eles observam que plataformas de íons aprisionados e átomos neutros, que suportam interações de longo alcance, são bem adequadas para implementar esses códigos. Os códigos SWEL são particularmente significativos porque seus conjuntos de portas transversais permitem a construção de conjuntos de portas de Clifford lógicas tolerantes a falhas sem a necessidade de destilação complexa de estados mágicos para operações de Clifford.

Os autores mantêm a modéstia quanto à escalabilidade imediata do algoritmo de busca, observando que o tempo de execução exponencial do cálculo de distância limita a busca a $n \le 50$. Eles sugerem que trabalhos futuros poderiam envolver a paralelização da avaliação da função de energia, melhoria dos cronogramas de recozimento ou incorporação de técnicas de aprendizado de máquina para escalar a busca para comprimentos de bloco maiores. Eles também propõem que a concatenação de códigos usando estas sementes (por exemplo, combinando códigos Iceberg $[8, 6, 2]$ com códigos $[38, 12, 6]$) poderia gerar arquiteturas práticas para computação quântica de escala comercial.