Syndrome measurements enable deterministic fault-tolerant $T$ gates

Resumo Técnico: Medições de Síndrome Permitem Portas T Determinísticas e Tolerantes a Falhas

Problema
A computação quântica universal tolerante a falhas requer a implementação de portas não-Clifford (como a porta $T$) em qubits lógicos codificados. Embora o armazenamento de informação quântica e a execução de operações de Clifford de forma tolerante a falhas sejam bem compreendidos, o teorema de Eastin–Knill proíbe um conjunto universal de portas transversais, e resultados relacionados de impossibilidade restringem implementações locais de portas lógicas não-Clifford. Abordagens existentes, como a destilação de estados mágicos, a troca de códigos (code switching), o ajuste de gauge (gauge fixing) e a tolerância a falhas por partes (pieceable fault tolerance), protegem operações não-Clifford através de diversos mecanismos, mas frequentemente incorrem em sobrecarga significativa ou requisitos de recursos complexos. Um desafio central permanece: como gerar recursos não-Clifford garantindo que a informação codificada seja protegida durante toda a evolução, particularmente durante os estágios intermediários onde o estado pode temporariamente deixar o espaço do código.

Metodologia
Os autores propõem um mecanismo onde um grau de liberdade de síndrome media uma porta lógica não-Clifford determinística. A metodologia central envolve:

1. Liberação de uma Restrição de Estabilizador: Liberar temporariamente uma verificação de estabilizador de um código de estabilizador de distância $d \ge 2$ cria um código de estabilizador intermediário $D$ que codifica $k+1$ qubits lógicos (os $k$ originais mais um qubit auxiliar) dentro do mesmo bloco físico.
2. Duas Rotações de Pauli: A porta lógica $T$ é implementada aplicando duas rotações de Pauli físicas, $R_B(\pi/4)$ e $R_A(\pi/2)$, onde $A$ e $B$ são operadores de Pauli hermitianos que satisfazem $AB = i\bar{L}$ (com $\bar{L}$ sendo o Pauli lógico alvo). Esses fatores são escolhidos para possuírem fatores anticomutantes sobrepostos e síndromes não nulas idênticas em relação ao código original.
3. Medição de Síndrome e Feed-Forward: Após as rotações, uma medição de síndrome é realizada. Devido à síndrome compartilhada de $A$ e $B$, a medição produz apenas dois resultados possíveis (0 ou $s$). Um ajuste de Clifford dependente do resultado (ou uma sequência de medição de Pauli) é então aplicado para garantir que ambos os ramos implementem a mesma porta $T$ lógica determinística, $R_{\bar{L}}(\pi/4)$.
4. Análise do Código Intermediário: Os autores analisam rigorosamente a distância $\delta$ do código intermediário $D$ durante as rotações ideais. Eles derivam que $\delta = \min\{d, \mu(s), \nu(A)\}$, onde $\mu(s)$ é o peso mínimo de um Pauli com síndrome $s$, e $\nu(A)$ é o peso mínimo de um estabilizador que anticomuta com $A$. Para códigos puros com fatorações balanceadas, $\delta$ cresce com a distância do código original $d$, embora seja limitado superiormente pelo peso máximo dos geradores do estabilizador.
5. Verificação de Tolerância a Falhas: O artigo demonstra que a distância intermediária sozinha é insuficiente para a tolerância a falhas, pois uma única falha pode se propagar para produzir um erro lógico indetectável (por exemplo, revertendo o ângulo de rotação). Para abordar isso, duas construções específicas tolerantes a falhas são desenvolvidas:
   • Concatenação Seletiva (Porta de 22 Qubits Fixa): Uma construção usando o código de Steane onde qubits externos específicos são codificados com blocos de Reed–Muller e de repetição. Isso permite uma camada não-Clifford transversal e utiliza estados de gato (cat states) verificados para medições, admitindo supressão de erro recursiva.
   • Verificação Transportada (Código Golay): Uma construção no código Golay de 23 qubits onde a rotação não-Clifford é protegida por uma "verificação transportada" (um estabilizador conjugado) e um circuito monitor. Este método permite a recuperação do input codificado desconhecido mesmo se uma tentativa de porta for rejeitada.

Principais Contribuições e Resultados

• Porta T Lógica Determinística: O artigo estabelece um mecanismo geral para implementar uma porta $T$ lógica determinística em qualquer código de estabilizador de distância $d \ge 2$ usando duas rotações de Pauli, medição de síndrome e Clifford feed-forward.
• Caracterização do Código Intermediário: Os autores determinam exatamente a distância do código intermediário formado pela liberação de um estabilizador. Eles mostram que, para códigos puros, a distância intermediária escala com a distância do código, enquanto para códigos com verificações de peso limitado (como códigos LDPC), a distância intermediária é limitada superiormente pelo peso máximo da verificação.
• Duas Construções Tolerantes a Falhas:
  • Uma porta de código fixo de 22 qubits (baseada no código de Steane) que tolera uma falha, utiliza 15 portas físicas do tipo $T$, e suporta concatenação recursiva para taxas de erro lógico arbitrariamente baixas. Em um cronograma serial com reuso de ancila, requer no máximo 33 qubits físicos.
  • Uma porta direta do código Golay (bloco de 23 qubits) que tolera uma falha usando uma verificação transportada e um monitor. Requer no máximo 32 qubits físicos e 22 portas físicas do tipo $T$ por tentativa. Crucialmente, pode recuperar o estado codificado desconhecido após uma tentativa rejeitada, permitindo uma nova tentativa.
• Falha de Gadgets Não Protegidos: Os autores provam que um gadget de duas rotações não protegido não é tolerante a uma falha, pois uma falha única no eixo de rotação pode reverter o ângulo de rotação e produzir um erro lógico indistinguível do ramo correto pelo símbolo de síndrome final.

Significância
O artigo afirma estabelecer um mecanismo geral para portas lógicas não-Clifford que vincula a síntese de uma porta diretamente à proteção dos espaços que ela visita. Ao utilizar graus de liberdade de síndrome, a abordagem evita a necessidade de destilação de estados mágicos ou troca complexa de códigos para a própria porta, baseando-se, em vez disso, na capacidade de detecção de erros do código intermediário. O trabalho demonstra que a proteção adaptada à evolução intermediária permite portas não-Clifford em dados codificados, fornecendo um novo caminho para a computação quântica universal tolerante a falhas. As duas construções realizadas servem como implementações de prova de conceito que toleram falhas únicas sob ruído estocástico local, com a construção Golay destacando especificamente a capacidade de recuperar de uma rejeição, uma característica não presente nos protocolos de destilação padrão.