Simple logical quantum computation with concatenated symplectic double codes

Resumo Técnico: Computação Quântica Lógica Simples com Códigos Duplos Simpléticos Concatenados

Definição do Problema
Avanços recentes na correção de erros quânticos (QEC) produziram códigos robustos para memória quântica, como códigos topológicos (ex: códigos de superfície) e códigos de verificação de paridade de baixa densidade quântica (qLDPC). No entanto, realizar portas lógicas tolerantes a falhas nesses códigos continua sendo um desafio significativo. Códigos topológicos oferecem portas transversais simples, mas sofrem com taxas de codificação baixas e sobrecargas (overheads) elevadas em escala. Por outro lado, códigos qLDDC e códigos concatenados oferecem melhores taxas, mas frequentemente exigem protocolos complexos para operações lógicas, envolvendo sobrecargas significativas de espaço-tempo para destilação, injeção de estados e extração de síndrome. Há uma necessidade de uma arquitetura de código que equilibre altas taxas de codificação com um conjunto de portas lógicas simples e implementáveis, particularmente para plataformas de hardware como átomos neutros e armadilhas de íons, onde o movimento de qubits (SWAPs) tem baixo custo.

Metodologia
Os autores propõem e analisam códigos duplos simpléticos concatenados (CSD). Esta construção envolve dois níveis de concatenação:

1. Código Externo: Um código duplo simplético, $D(C)$, construído a partir de um código semente não-CSS $C$. A construção dupla simplética cria um código CSS com parâmetros $[[2n, 2k, \ge d]]$ a partir de um código base $[[n, k, d]]$. Crucialmente, esta construção introduz uma dualidade ZX ($\tau$), uma permutação que troca os setores X e Z, emparelhando os qubits físicos $i$ e $i+n$.
2. Código Interno: Um código estabilizador específico $[[n', 2, d']]$ $Q$ é concatenado com $D(C)$. Os autores focam no código C4 ($[[4, 2, 2]]$) como o código interno.
3. Esquema de Concatenação: Os qubits lógicos dos blocos de código C4 internos são mapeados para os qubits físicos do código $D(C)$ externo de acordo com a dualidade ZX-$\tau$. Especificamente, o par de qubits físicos $\{i, i+n\}$ em $D(C)$ (que são relacionados por $\tau$) são codificados nos dois qubits lógicos de um único bloco de código C4.

O artigo investiga os resultantes códigos C4-CSD ($C4 \otimes_\tau D(C)$), analisando seus parâmetros, conjuntos de portas lógicas e propriedades de tolerância a falhas.

Principais Contribuições

• Portas Lógicas Transversais-SWAP: A principal contribuição é a demonstração de que a estrutura de concatenação eleva a tolerância a falhas das portas lógicas. Portas lógicas no código duplo simplético externo que são "transversais de dobra" (atuando em órbitas $\tau$) tornam-se transversais-SWAP no código concatenado C4-CSD. Isso significa que estas portas podem ser implementadas usando apenas portas unitárias físicas de um único qubit e o reetiquetamento de qubits (SWAPs), que podem ser rastreados via software.
• Geração do Grupo de Clifford Completo:
  • O conjunto de portas herdadas do código semente e da estrutura dupla simplética ($G_\tau$) inclui automorfismos levantados, uma porta do tipo Hadamard ($H_\tau$) e uma porta do tipo CZ ($S_\tau$).
  • Para alcançar o grupo de Clifford completo, os autores introduzem portas de fase transversais de dobra ($U_P(\pi)$) derivadas do grupo de automorfismo do código clássico subjacente, que são implementadas via injeção de estado usando estados de recurso preparados no estado $U_P(\pi)|+\rangle$.
  • Para instâncias específicas de códigos (como aqueles com marcas de verificação verdes na Tabela 1), a combinação de $G_\tau$ e as portas injetadas $U_P(\pi)$ gera o grupo simplético completo $Sp_{4k}(\mathbb{F}_2)$ nos qubits lógicos de um único bloco de código.
• Conectividade Entre Blocos: Os autores mostram que o grupo de Clifford completo entre múltiplos blocos de código é alcançável usando portas CNOT transversais entre blocos combinadas com as portas de Clifford de bloco único.
• Simplificação de Circuito: Uma característica única dos códigos C4-CSD é que qualquer circuito de Clifford lógico em um único bloco de código pode ser compilado em um circuito físico funcionalmente simples: uma sequência alternada de portas $U_P(\pi)$ injetadas e uma única camada de portas de Clifford de um único qubit físico. Os SWAPs necessários para o reetiquetamento podem ser "desemaranhados", deixando um circuito onde as únicas operações ativas são portas de um único qubit e correção de erro facilitada por teleportação.

Resultados

• Parâmetros de Código: O artigo fornece uma tabela de códigos C4-CSD específicos derivados de vários códigos semente não-CSS (ex: $[[4, 2, 2]]$, $[[6, 4, 2]]$, $[[5, 1, 3]]$). Por exemplo, o código C4-CSD $[[16, 4, 4]]$ é mostrado como sendo isomorfo ao código de muitos hipercubos (MHC) $L=2$ C4.
• Conjuntos de Portas: Os autores calculam o tamanho dos conjuntos de portas $G_\tau$ e $\langle U_P(\pi) \rangle$ para várias instâncias. Eles identificam quais códigos podem gerar o grupo de Clifford completo sem adaptadores adicionais e quais requerem injeções de estado parciais ou adaptadores universais.
• Simulações Numéricas: Simulações de nível de circuito de preparação de estado e correção de erro quântico (QEC) foram realizadas. Os resultados indicam que os códigos C4-CSD exibem um desempenho promissor em taxas de erro físico próximas ao estado da arte, funcionando efetivamente como memórias quânticas.
• Decodificação: O artigo discute decodificadores para estes códigos, observando que a estrutura permite a extração e correção de síndrome de forma eficiente.

Significância e Alegações

Os autores argumentam que os códigos duplos simpléticos concatenados são fortes candidatos para serem o código computacional subjacente em computadores quânticos de médio a grande porte. Sua significância reside em:

1. Simplicidade: O grupo de Clifford lógico é implementado através de um "circuito funcionalmente simples" que depende fortemente de portas de um único qubit e reetiquetamento de qubits, minimizando a necessidade de interações físicas complexas de múltiplos qubits durante a execução da porta.
2. Compatibilidade de Hardware: A dependência de reetiquetamento de qubits (SWAPs) torna estes códigos particularmente adequados para arquiteturas como átomos neutros e armadilhas de íons, onde o movimento de qubits é uma operação nativa e de baixo custo.
3. Desempenho: Os códigos oferecem desempenho competitivo em nível de circuito e altas taxas de codificação, abordando os problemas de sobrecarga dos códigos topológicos enquanto evitam os protocolos de porta complexos frequentemente exigidos por outros códigos de alta taxa.

O artigo conclui levantando questões abertas sobre a otimização de códigos semente e a escalabilidade destas construções, mas mantém uma afirmação focada de que os códigos C4-CSD fornecem um caminho viável para a computação tolerante a falhas com redução da complexidade operacional.