🔬 física

Individually Addressed Logical Pauli Measurements by QLDPC Surgery on a Trapped Ion Quantum Computer

Este artigo apresenta a primeira validação de hardware de cirurgia QLDPC no processador de íons aprisionados H2-2 da Quantinuum, demonstrando medições de Pauli lógicas individualmente endereçáveis e de alta fidelidade em um código [[10,2,3]] que preserva qubits espectadores e suprime erros por meio de decodificação de síndrome, confirmando, assim, a viabilidade de operações tolerantes a falhas eficientes para arquiteturas QLDPC.

Autores originais: Surabhi Luthra, Alex Owens

Publicado 2026-10-30

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Surabhi Luthra, Alex Owens

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

A busca para construir um computador quântico útil enfrenta um obstáculo fundamental: a fragilidade da informação que ele contém. Os bits quânticos, ou qubits, são facilmente perturbados pelo seu ambiente, causando erros que podem arruinar um cálculo. Para superar isso, os cientistas utilizam códigos de correção de erros, que espalham uma única peça de informação lógica através de muitos qubits físicos. Se um qubit físico falhar, os outros podem preservar a verdade. No entanto, os códigos mais comuns e confiáveis exigem centenas ou até milhares de qubits físicos para proteger apenas um qubit lógico, um overhead massivo que faz com que as máquinas práticas pareçam distantes. Uma classe mais recente de códigos, conhecidos como códigos de verificação de paridade de baixa densidade quântica (QLDPC), promete reduzir esse requisito dramaticamente ao compactar múltiplos qubits lógicos em um único bloco de hardware físico. Mas para usar esses códigos eficientes, os pesquisadores devem resolver um problema difícil: como medir e manipular qubits lógicos individuais dentro desse bloco sem destruir a informação armazenada nos outros ou quebrar a delicada estrutura de correção de erros.

Uma equipe de pesquisadores demonstrou agora uma solução para este problema em um computador quântico real. Usando um processador de íons aprisionados, eles realizaram com sucesso uma técnica chamada "cirurgia QLDPC" para medir um qubit lógico enquanto deixavam um segundo qubit lógico vizinho intocado. Esta conquista valida um componente crítico para a próxima geração da computação quântica, provando que é possível endereçar seletivamente informações específicas dentro de um código denso e eficiente sem colapsar todo o sistema. O trabalho confirma que esses códigos avançados podem ser operados de uma forma que preserve sua integridade, um passo necessário para construir máquinas que possam resolver problemas científicos complexos.

Os pesquisadores trabalharam com um arranjo específico de dez qubits físicos que codificavam dois qubits lógicos. Para medir o primeiro qubit lógico, eles introduziram um sistema auxiliar temporário, conhecido como "gadget", consistindo em sete qubits adicionais. Pense neste gadget como uma sonda especializada que se conecta brevemente ao bloco principal de dados. A equipe emaranhou essa sonda com os dez qubits de dados em um padrão preciso, permitindo-lhes ler o estado do primeiro qubit lógico sem tocar no segundo. Este processo é não destrutivo; ao contrário das medições tradicionais que colapsariam o estado quântico e apagariam a informação, esta cirurgia extrai a resposta enquanto mantém o sistema intacto e pronto para operações subsequentes.

Em seu primeiro conjunto de experimentos, a equipe realizou esta medição em uma única rodada. Eles prepararam os qubits lógicos em estados conhecidos e mediram o primeiro usando o gadget. Os resultados mostraram que o gadget identificou corretamente o estado do qubit alvo com uma taxa de erro inferior a um por cento. Crucialmente, quando mediram imediatamente o segundo qubit, não alvo, diretamente, ele permaneceu em seu estado original, provando que a cirurgia não perturbou o qubit "espectador". O gadget agiu como uma ferramenta cirúrgica precisa, operando em uma parte do sistema enquanto deixava o resto undisturbed. Os pesquisadores também verificaram que o sistema retornou ao seu estado correto de correção de erros após a remoção do gadget, confirmando que a delicada estrutura do código foi preservada.

Para tornar o processo mais robusto contra erros, a equipe repetiu o processo de medição três vezes sucessivamente, uma técnica que permite ao sistema detectar e corrigir equívocos que possam ocorrer durante o processo de leitura. Ao decodificar os resultados dessas três rodadas, eles suprimiram a taxa de erro significativamente, levando-a abaixo de 0,26 por cento. Isso demonstrou que o método é tolerante a falhas, o que significa que pode lidar com o ruído inevitável de uma máquina real sem falhar. Além disso, eles mostraram que os mesmos sete qubits auxiliares poderiam ser reutilizados imediatamente após a primeira medição para realizar uma segunda cirurgia no segundo qubit lógico. Eles mediram o primeiro qubit, depois usaram o mesmo hardware para medir o segundo, recuperando com sucesso a informação de ambos sem a necessidade de resetar toda a máquina ou adicionar novos componentes.

O estudo fornece evidências concretas de que as vantagens teóricas desses códigos eficientes podem ser realizadas em hardware. Os pesquisadores descobriram que as taxas de erro observadas em seus experimentos coincidiam com as previsões baseadas no desempenho conhecido do processador quântico, dando-lhes alta confiança nos resultados. Eles também identificaram que a principal fonte de erro na medição de rodada única veio do ato de ler os próprios qubits auxiliares, um problema que foi efetivamente resolvido pela repetição de três rodadas. A capacidade de medir um qubit lógico, preservar o outro e, em seguida, reutilizar o mesmo hardware para uma segunda medição é um requisito fundamental para um modelo de computação conhecido como computação baseada em Pauli, que depende de uma sequência de tais medições para realizar cálculos complexos.

Este trabalho representa um passo significativo à frente na aplicação prática da correção de erros quânticos. Ao demonstrar que esses códigos complexos podem ser manipulados com alta precisão e baixo overhead em um dispositivo real, os pesquisadores removeram uma grande barreira teórica. O sucesso do protocolo de cirurgia sugere que futuros computadores quânticos podem ser construídos com muito menos recursos físicos do que anteriormente se pensava necessário, aproximando a era da computação quântica tolerante a falhas da realidade. A capacidade de endereçar seletivamente e preservar a informação dentro de um bloco de código denso não é mais apenas uma possibilidade matemática; foi provado que funciona em laboratório.

Resumo Técnico: Medições de Pauli Lógicas Endereçadas Individualmente por Cirurgia QLDPC em um Computador Quântico de Íons Aprisionados

Definição do Problema
A computação quântica tolerante a falhas (FTQC) baseada em códigos de superfície normalmente requer centenas a milhares de qubits físicos por qubit lógico, criando um overhead significativo para aplicações de curto prazo. Os códigos de Verificação de Paridade de Baixa Densidade Quântica (QLDPC) oferecem um caminho para reduzir esse overhead ao codificar múltiplos qubits lógicos dentro de um único bloco de código, mantendo verificações de paridade de peso limitado. No entanto, realizar o potencial dos códigos QLDPC requer um método para endereçar seletivamente qubits lógicos individuais dentro desses blocos de múltiplos qubits sem destruir o estado codificado ou o espaço de código. Embora a "cirurgia de rede" (lattice surgery) tenha sido demonstrada para blocos de qubit único, estender isso para o endereçamento de qubits lógicos individuais em blocos QLDPC de múltiplos qubits via "cirurgia QLDPC" não havia sido realizado em hardware antes deste trabalho.

Metodologia
Os autores implementaram cirurgia QLDPC no processador de íons aprisionados Quantinuum H2-2, que apresenta conectividade todos-para-todos e medição no meio do circuito. O experimento utilizou um código Bicicleta Generalizada (GB) $[[10,2,3]]$ , que codifica dois qubits lógicos em dez qubits de dados físicos.

A metodologia central envolveu a construção de um "gadget" de medição não destrutiva para um operador de Pauli lógico específico (por exemplo, $\bar{X}_1$ ). Seguindo a construção na Ref. [19], o gadget consiste em:

Qubits do Gadget ( $\kappa$ ): Qubits ancilares anexados aos estabilizadores do código que sobrepõem o suporte do operador lógico alvo.
Verificações do Tipo-X do Gadget ( $\chi$ ): Verificações suportadas nos qubits de dados do operador lógico e seus qubits de gadget associados. O produto dessas verificações resulta no operador lógico.
Verificações de Gauge do Tipo-Z ( $\gamma$ ): Verificações nos qubits do gadget para fixar os graus de liberdade e manter a distância do código.

O protocolo experimental envolveu três configurações de circuito distintas:

XR1: Uma única rodada de extração de síndrome para o sistema fundido código-gadget para medir $\bar{X}_1$ .
XR3: Três rodadas de extração de síndrome para a mesma medição de $\bar{X}_1$ para demonstrar tolerância a falhas contra erros de medição.
SEQ: Uma medição sequencial de $\bar{X}_1$ seguida por $\bar{Z}_2$ usando os mesmos qubits físicos do gadget (reinicializados) para demonstrar composibilidade e preservação do qubit lógico "espectador".

Os experimentos incluíram etapas de verificação (verificações de síndrome triviais) e decodificação offline usando o decodificador Tesseract atuando sobre modelos de erro de detector gerados pelo Stim.

Principais Contribuições

Primeira Demonstração em Hardware: Este trabalho apresenta a primeira realização em hardware de medições de Pauli lógicas endereçadas individualmente em um bloco de código QLDPC de múltiplos qubits usando cirurgia.
Construção e Validação de Gadget: Os autores construíram e validaram explicitamente um gadget de 7 qubits (3 qubits de gadget, 4 qubits de verificação) para o código $[[10,2,3]]$ , demonstrando que o produto das verificações do gadget extrai corretamente o autovalor lógico.
Tolerância a Falhas via Repetição: O estudo demonstrou que a repetição da extração de síndrome do gadget ao longo de $R=3$ rodadas suprime erros de medição, aumentando efetivamente a distância do circuito da medição lógica de $d_c=1$ para $d_c=3$ .
Preservação do Espaço de Código: Os autores verificaram que o processo de cirurgia é não destrutivo, retornando o sistema ao espaço de código original e preservando o qubit lógico "espectador" não endereçado.
Composibilidade: O trabalho demonstrou a composição sequencial de gadgets de base conjugada ( $\bar{X}_1$ seguido de $\bar{Z}_2$ ) usando os mesmos recursos físicos, um requisito para computação baseada em Pauli.

Resultados

Desempenho de Rodada Única: Uma medição de rodada única de $\bar{X}_1$ alcançou uma taxa de erro de 0,72% [0,32, 1,41]% em relação à preparação lógica pretendida e 1,03% [0,60, 1,65]% em relação a uma medição transversal destrutiva subsequente. A análise do orçamento de erro identificou erros de reset e de medição como os principais contribuintes.
Desempenho Tolerante a Falhas: Ao decodificar sobre três rodadas de extração de síndrome (XR3), a taxa de erro lógico foi suprimida. Para a preparação $|++\rangle_L$ , zero erros foram observados em 957 disparos verificados, limitando a taxa de erro abaixo de 0,26% (intervalo de credibilidade de 95%). Isso confirmou que o protocolo mitiga com sucesso falhas de medição únicas.
Preservação do Espectador: O qubit lógico não endereçado ( $\bar{X}_2$ ) foi preservado com uma taxa de erro de 0,21% [0,04, 0,67]% durante a medição de três rodadas.
Medição Sequencial: No circuito sequencial (SEQ), a segunda medição de gadget de $\bar{Z}_2$ (após $\bar{X}_1$ ) resultou em uma taxa de erro de 1,12% [0,60, 1,94]%. Os resultados confirmaram que a informação da base conjugada ( $\bar{Z}_2$ ) permaneceu endereçável enquanto a base medida ( $\bar{X}_1$ ) colapsou, validando a natureza não destrutiva da cirurgia.
Retorno ao Espaço de Código: A análise das taxas de detector em estabilizadores deformados mostrou que, com correções de fusão, o sistema retornou ao espaço de código, com as taxas de detector permanecendo baixas (<2,66%) em comparação com a randomização de ~50% observada sem a correção de fusão.

Significância e Alegações
O artigo afirma fornecer uma validação de hardware do primitivo de cirurgia generalizada subjacente à computação baseada em Pauli para arquiteturas QLDPC. Os autores afirmam que estes resultados constituem um passo fundamental para arquiteturas QLDC escaláveis ao demonstrar:

A capacidade de endereçar seletivamente qubits lógicos individuais dentro de um bloco de múltiplos qubits.
A natureza não destrutiva da medição, preservando o espaço de código e os qubits espectadores.
A viabilidade de compor estas operações sequencialmente.

Os autores observam que, embora a demonstração atual utilize um código de distância mínima ( $d=3$ ) e decodificação offline, ela estabelece os primitivos necessários para implementações futuras envolvendo decodificação em tempo real, códigos de maior distância e medições de produtos de Pauli mais complexas. O trabalho não afirma ter resolvido todos os problemas de overhead ou alcançado o break-even de correção de erro para algoritmos de grande escala, mas sim valida o mecanismo específico necessário para permitir tal escalabilidade em sistemas QLDPC.

Mais como este