A receita usual de correção de erro quântico assume que se pode pausar o processador, medir um síndrome e deixar um computador clássico decidir a correção. Uma equipe conjunta da Universidade de Innsbruck, da RWTH Aachen, do Forschungszentrum Jülich e da Alpine Quantum Technologies rodou um algoritmo lógico completo sem essa pausa. O algoritmo é a busca de Grover. O registrador tem três qubits lógicos, codificados em oito qubits físicos de um processador de íons aprisionados. O artigo é de Friederike Butt, Ivan Pogorelov e colegas, “Demonstration of measurement-free universal logical quantum computation,” Nature Communications 17:995 (2026), DOI 10.1038/s41467-026-68533-x. Innsbruck publicou a nota em 7 de abril de 2026. A versão publicada na Nature é 27 de janeiro de 2026.
Isso é um primeiro resultado de verdade, e continua sendo prova de conceito. O código detecta erros; não os corrige. A probabilidade experimental de sucesso fica abaixo do melhor palpite clássico. Três qubits lógicos em oito íons não é produto.
O que aconteceu
A maior parte dos protocolos tolerantes a falhas ainda precisa de medições no meio do circuito e de feed-forward clássico: parar, ler a informação de erro, decidir uma correção, retomar. Em íons aprisionados essa pausa é lenta, esquenta os átomos e deixa qubits ociosos sofrerem desfasamento. Butt e Markus Müller, na RWTH Aachen e no Institute for Theoretical Nanoelectronics (PGI-2) do Forschungszentrum Jülich, desenharam uma caixa de ferramentas que não sai do circuito quântico. A informação dos estabilizadores é copiada para qubits auxiliares; a correção entra com portas comuns. A entropia sai depois, quando esses auxiliares são resetados ou trocados por íons frescos.
A implementação experimental foi em Innsbruck. Pogorelov, Robert Freund, Alex Steiner, Marcel Meyer e Thomas Monz, no Instituto de Física Experimental, implementaram os circuitos numa cadeia de 16 íons de 40Ca+ numa armadilha de Paul linear. Monz também está na Alpine Quantum Technologies (AQT). Butt e Pogorelov dividem a primeira autoria.
A nota de Innsbruck de 7 de abril cita os líderes com mais amplitude que o artigo. Butt: o feedback coerente “happens entirely within the quantum computation itself, using only standard quantum gate operations,” e é “particularly well-suited to hardware platforms where measurements are especially costly.” Pogorelov: “For the first time, we have shown that a complete fault-tolerant quantum algorithm can be executed without mid-circuit measurements with feed-forward control.” Monz chama de “a first, important step.” O fecho do artigo é mais estreito: o primeiro conjunto universal de portas tolerante a falhas sem medições no meio do circuito, e o primeiro algoritmo lógico tolerante a falhas desse tipo, num espaço de busca de N = 8.
Como o experimento funcionou
O aparelho já consegue medir no meio do circuito. Os autores escolheram não medir. Um reset seletivo nessa armadilha leva 1,7 ms; a medição no meio do circuito atual leva ≈30 ms. Tomografia de processo nos qubits de dados dá fidelidade de reset 0,955(9) contra 0,908(12) no caminho de medição. As operações nativas são rotações de um qubit endereçadas opticamente em 729 nm, portas Z virtuais e portas de dois qubits de Mølmer–Sørensen com conectividade todos-para-todos. No modelo de ruído ajustado a esta máquina, a despolarização de um qubit é p1 = 3,6 × 10−3, a de dois qubits p2 = 2,5 × 10−2, o T2 ocioso 50 ms. As portas rodam em sequência, então o desfasamento ocioso acumula.
Dois códigos fazem o trabalho lógico.
O código [[4, 1, 2]] codifica um qubit lógico em quatro qubits físicos, distância 2: qualquer erro único é detectável. Em vez de lattice surgery com medições, a equipe mapeia operadores lógicos conjuntos num registrador auxiliar e aplica feedback coerente de CZ e CNOT, de modo que origem e destino nunca se acoplam diretamente. A tomografia de estado lógico, 40.000 disparos por estado por base, chega a até 93(2)% no teleporte e 95(3)% num Hadamard lógico — ambas abaixo de uma porta física neste hardware (≈0,996).
O algoritmo em si roda no código [[8, 3, 2]] — a menor instância de um código de cor tridimensional, três qubits lógicos em oito qubits físicos, de novo distância 2. Ele tem um não-Clifford transversal: um CCZ lógico a partir de T e T† de um qubit. CNOTs lógicos dentro do bloco são renomeações de pares de íons, não pulsos extras. A peça que faltava é um Hadamard lógico, injetado a partir de um bloco auxiliar [[4, 2, 2]] preparado em |+0⟩L, com o usual medir-e-corrigir trocado por duas CNOTs. Esse circuito usa quatro qubits auxiliares e 26 portas de dois qubits. A tomografia (7.500 disparos por estado lógico, qubit e base) dá até 81(3)% de fidelidade para HL no qubit lógico 0 depois de manter 10% das corridas, e 65(6)% a 99,89(14)% nos dois qubits lógicos ociosos. Os autores estimam que o desfasamento ocioso responde por quase dois terços do erro lógico nesse Hadamard.
Grover é compilado no conjunto tolerante a falhas {HL, CNOTL, CCZL} dentro de um bloco [[8, 3, 2]]. Três qubits lógicos buscam um banco de tamanho N = 8. Um oráculo de fase marca duas soluções, |011⟩ e |101⟩. Sem ruído, uma iteração de Grover acerta com probabilidade 1. A estratégia clássica ótima — uma consulta, depois um palpite aleatório entre o resto — acerta com probabilidade ≈0,46. O experimento, 37.500 disparos por base de medição, reporta (Figs. 3, 9 e 10):
| Grandeza | Valor |
|---|---|
| Espaço de busca N | 8 (três qubits lógicos) |
| Estados marcados | |011⟩ e |101⟩ |
| p_sucesso experimental = p011 + p101 | 0,40(4) |
| Sucesso clássico ótimo | ≈0,46 |
| O mesmo circuito em qubits físicos | 76(2)% exp. / 77(1)% sim. |
| Simulado se p2 ≈ 0,015 | ≈0,52 |
| Simulado se T2 = 100 ms | ≈0,67 |
Os dois picos marcados são visíveis. A execução lógica não supera o clássico, e não supera o mesmo circuito em qubits físicos nus. Os autores dizem isso. As simulações argumentam que uma queda de 1% no erro de dois qubits, até uma taxa que outras armadilhas de íons já mostraram, ou dobrar T2 para 100 ms, empurraria p_sucesso acima de 0,46. Isso é projeção, não um segundo experimento.
Por que computação sem medição importa
Medir o síndrome não é detalhe. Em hardware atômico, a leitura por fluorescência é ordens de magnitude mais lenta do que uma porta e em geral exige re-resfriamento. Processadores supercondutores têm o mesmo hiato de escala de tempo. Enquanto se mede, cada qubit lógico ocioso é um relógio de decoerência. Protocolos sem medição transferem esse trabalho para qubits extras e para mais portas de dois qubits. O custo é profundidade de circuito e pós-seleção, não um congelamento de 30 milissegundos.
O artigo é explícito: o esquema foi feito para íons com conectividade todos-para-todos e é candidato a átomos neutros, onde portas de longo alcance já são boas e a medição no meio do circuito com feedback em tempo real ainda é cara. É uma segunda caixa de ferramentas para plataformas que não podem, ou não devem, parar — não a afirmação de que os roteiros de surface code baseados em medição acabaram.
Limites
Mantenha o nome do código à vista. [[8, 3, 2]] é um código detector de erros. Distância 2 significa que um erro único pode ser sinalizado; não suprime erros à medida que se acrescentam qubits, do jeito que um surface code de distância 3 ou 5 deveria. As frações aceitas depois do Hadamard lógico caem até 0,1 na base Z. Concatenar os circuitos de teleporte, notam os autores, detectaria mais erros e descartaria ainda mais corridas.
O número de Grover que importa é 0,40(4), não a linha da assessoria de que o experimento “identified the correct solutions” com clareza. A identificação é real: as duas caixas de solução ficam acima das outras seis. A probabilidade integrada ainda fica aquém do clássico, e bem aquém do controle em qubits físicos a 76(2)%. O algoritmo lógico está rodando acima do ponto de equilíbrio com o gêmeo não codificado. O desfasamento ocioso, inclusive ruído global de campo magnético num |000⟩L do tipo GHZ de oito qubits, é o erro dominante que o artigo consegue nomear.
AQT é empresa. A declaração de conflito de Monz diz que ele está ligado a ela. Os demais autores não declaram conflitos. Oito íons não são produto.
O que observar a seguir
Três perguntas, todas na discussão do artigo. Primeira: o feedback coerente sobrevive num código de distância maior, em que se corrige em vez de pós-selecionar? Os autores esboçam um caminho em surface codes usando d representações disjuntas de cada operador lógico e auxiliares GHZ de d qubits, e marcam concatenação e uma construção de distância 3 sem estados GHZ grandes como abertas. Até alguém rodar isso, o objeto verificado é Grover no [[8, 3, 2]]. Segunda: os erros ociosos caem depressa o bastante para o cruzamento simulado — p2 ≈ 0,015 ou T2 = 100 ms — aparecer numa repetição deste circuito, não só em Monte Carlo? Terceira: um grupo de átomos neutros vai compilar este conjunto de portas? Um algoritmo lógico sem medição em átomos testaria se a pausa era o gargalo.
Até lá, a afirmação com fonte é pequena e específica: uma busca de Grover tolerante a falhas em três qubits lógicos, oito íons físicos de 40Ca+, sem medições no meio do circuito, p_sucesso = 0,40(4), Nature Communications 17:995 (2026).
