Certifying quantum code and circuit distances at scale
Este artigo introduz um método escalável utilizando funções de partição tropical e programação dinâmica para certificar exatamente distâncias de códigos e circuitos quânticos, revelando superestimativas significativas na literatura anterior ao mesmo tempo em que possibilita estimativas de recursos mais precisas e a utilização de hardware quântico defeituoso.
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 pelo autor. Para precisão técnica, consulte o artigo original. Ler aviso legal completo
Os computadores quânticos prometem resolver problemas que são impossíveis para as máquinas atuais, desde o projeto de novos materiais até a quebra de códigos complexos. Para fazer isso, eles devem realizar cálculos com extrema precisão. No entanto, as partículas físicas que armazenam informação nessas máquinas são notoriamente frágeis, propensas a erros pelo menor distúrbio. Para superar isso, cientistas utilizam uma técnica chamada correção de erro quântico. Eles espalham um único pedaço de informação por muitas partículas físicas, criando uma unidade lógica que pode sobreviver se algumas de suas partes falharem. A força dessa proteção é medida por um valor chamado distância. Uma distância maior significa que o sistema pode suportar mais erros antes que a informação seja perdida. Esse número é crítico para os engenheiros; ele dita quantos de partículas físicas são necessários para construir um computador útil e quão confiável será a máquina final. Durante anos, pesquisadores confiaram em estimativas para essa distância, frequentemente usando buscas computacionais que encontram erros, mas não conseguem provar que encontraram os menores possíveis.
Uma equipe de pesquisadores desenvolveu agora uma maneira de calcular essas distâncias exatamente, mesmo para os sistemas massivos propostos para o hardware futuro. Eles trataram o problema de encontrar o menor erro como um quebra-cabeça matemático unificado e o resolveram usando três métodos distintos e rigorosos que trabalham juntos. Em vez de adivinhar ou parar no primeiro erro encontrado, a abordagem deles prova que nenhum erro menor existe. Ao combinar esses métodos com atalhos inteligentes que reduzem o tamanho do problema, eles foram capazes de certificar as distâncias exatas para códigos quânticos envolvendo até 31.200 partículas físicas e circuitos com centenas de milhares de potenciais pontos de falha. Este nível de certeza permite que eles verifiquem os designs de grandes empresas de tecnologia e identifiquem falhas que as estimativas anteriores deixaram passar.
Os pesquisadores aplicaram seu método a uma ampla gama de propostas atuais, incluindo designs da Google e da IBM. Em muitos casos, descobriram que as estimativas publicadas eram excessivamente otimistas. Por exemplo, um circuito de memória específico da IBM, que era assumido como tendo uma distância de 18, foi provado ter uma distância de apenas 16. Essa diferença é significativa porque altera a taxa prevista de erros por um fator grande. Em outro caso envolvendo um código projetado pela Google, a equipe certificou distâncias para sistemas com mais de 31.000 qubits, confirmando valores que anteriormente eram desconhecidos. Sua auditoria de vinte e seis artigos científicos recentes revelou que dez deles continham distâncias superestimadas, com algumas discrepâncias de até oito unidades. Esses erros não foram causados por matemática errada nos artigos originais, mas sim porque os métodos de busca usados neles não podiam garantir que haviam encontrado o erro absolutamente menor.
Além de corrigir números passados, a equipe usou suas ferramentas para projetar melhores circuitos. Eles testaram milhares de diferentes cronogramas para como medir erros em um tipo específico de código quântico. Descobriram que, embora um cronograma padrão fosse ideal para alguns códigos, era longe de ser o melhor para outros. Ao rearranjar a ordem das operações, eles puderam aumentar a distância de um circuito de 16 para 18, tornando-o significativamente mais robusto. Esse tipo de otimização precisa é essencial para construir máquinas que possam executar cálculos longos sem falhar. Os pesquisadores também mostraram como seu método ajuda no mundo real da fabricação. Chips quânticos frequentemente saem da fábrica com defeitos menores, como um único sensor quebrado. Modelos anteriores sugeriam que qualquer chip com um defeito deveria ser descartado. No entanto, ao certificar a distância desses chips imperfeitos, a equipe mostrou que muitos permanecem utilizáveis. Por exemplo, em um rendimento de fabricação onde 99,98% das conexões funcionam, manter chips com alguns sensores mortos que ainda mantêm uma distância alta poderia aumentar o número de chips utilizáveis de 53% para 94%.
O trabalho baseia-se em uma estrutura unificada que trata tanto o próprio código quanto o circuito usado para medi-lo como um único problema. Os pesquisadores expressaram a busca pelo menor erro como uma "função de partição tropical", um conceito que permite o uso de algoritmos poderosos para encontrar o valor mínimo. Eles então empregaram três solvers exatos diferentes: um programa dinâmico que percorre o sistema como uma escada, uma busca que procura erros dentro de um limite de peso específico e uma busca bidirecional que se encontra no meio. Um modelo de custo decide qual solver usar para cada parte do problema para garantir eficiência. Quando um solver encontra um erro, a equipe o verifica reproduzindo a sequência de falhas em um simulador para garantir que ela realmente cause uma falha lógica sem disparar nenhum alarme. Esse processo produz um certificado: uma prova de que nenhum erro mais leve existe, acompanhada do erro específico que foi encontrado.
Os resultados têm implicações imediatas para a arquitetura de futuros computadores quânticos. Para o processador planejado pela IBM, a equipe confirmou que o cronograma padrão para um bloco de memória específico tem uma distância de 16, não 18 como assumido anteriormente. No entanto, eles também identificaram cronogramas alternativos que alcançam a distância superior de 18, embora com um ligeiro aumento no tempo necessário para cada ciclo. Essa troca entre velocidade e confiabilidade é agora uma quantidade conhecida, em vez de um palpite. Da mesma forma, para os códigos hiperbólicos modulares da Google, a equipe forneceu as primeiras distâncias exatas para sistemas dessa escala, resolvendo questões que permaneciam abertas. A capacidade de certificar esses valores significa que as estimativas de recursos para futuras máquinas podem ser baseadas em fatos concretos, em vez de limites superiores.
O estudo também abordou a questão das medições lógicas, onde blocos separados de memória quântica são unidos para realizar operações. Os pesquisadores descobriram que a distância desses sistemas fundidos depende fortemente de como os qubits "gauge" extras introduzidos durante o processo são tratados. Se esses qubits forem deixados livres, a distância pode cair significantemente, mas se forem fixados em um estado específico, a distância permanece alta. Essa distinção é crucial para projetar protocolos de medição que não enfraqueçam acidentalmente a proteção contra erros. Os cálculos exatos da equipe mostraram que estimativas anteriores haviam perdido essas nuances, levando a superestimativas de desempenho.
No fim, o artigo transforma a distância de um código quântico de uma estimativa em uma quantidade verificada. Essa mudança remove uma grande fonte de incerteza do planejamento de computadores quânticos. Engenheiros agora podem comparar diferentes designs com confiança, sabendo exatamente quantos erros cada um pode tolerar. O método escala para o tamanho das maiores propostas no horizonte, lidando com sistemas de centenas de milhares de potenciais pontos de falha. Embora instâncias extremamente grandes ou complexas ainda requeiram recursos computacionais substanciais, a equipe demonstrou que a certificação exata é possível para a vasta maioria dos designs atuais. Essa precisão permite uma avaliação mais realista do que os computadores quânticos podem alcançar e de quantos recursos físicos eles realmente precisarão.
Afogado em artigos na sua área?
Receba digests diários dos artigos mais recentes que correspondam às suas palavras-chave de pesquisa — com resumos técnicos, no seu idioma.