Reconstructing non-Abelian braiding and fusion without anyon transport

PROBLEMA

Anyons não-abelianos oferecem um caminho para a computação quântica universal e tolerante a falhas devido à sua capacidade de armazenar informação lógica de forma não-local, tornando-a insensível a perturbações locais. No entanto, acessar experimentalmente os dados definidores desses anyons — especificamente as transformações de trançamento ($R$) e fusão ($F$) — continua sendo um desafio significativo. Protocolos convencionais exigem a criação controlada, o transporte físico e a medição coerente de excitações anyônicas, o que acarreta uma sobrecarga substancial de recursos no hardware quântico. Embora a computação quântica topológica baseada apenas em medição ("measurement-only") tenha demonstrado teoricamente que o trançamento pode ser gerado via medições de carga ordenadas temporalmente em vez de movimento físico, a reconstrução direta dos dados subjacentes de $R$ e $F$ para modelos não-abelianos (como o dobro quântico $D(S_3)$) em hardware quântico digital tem sido dificultada pela complexidade das descrições de rede necessárias, que envolvem qudits locais de $d=6$ e operações não-unitárias.

METODOLOGIA

Os autores introduzem e realizam experimentalmente um protocolo baseado apenas em medição que reconstrói os primitivos de trançamento e fusão não-abelianos do modelo dobro quântico $D(S_3)$ sem transportar fisicamente os anyons. A abordagem baseia-se em três inovações metodológicas principais:

1. Redução Densa: Os autores demonstram que os sobreposições de quatro qudits relevantes para extrair os dados de $D(S_3)$ podem ser reduzidas a valores esperados de operadores atuando em apenas dois qutrits. Ao explorar a estrutura de grupo de $S_3 \simeq Z_3 \rtimes Z_2$, a complexa dinâmica de plaqueta de quatro qudits é mapeada em um sistema reduzido de dois qutrits. Crucialmente, esses valores esperados podem ser avaliados em um estado de produto simples $|\xi\rangle$ em vez do estado fundamental emaranhado da plaqueta completa, simplificando significativamente a preparação do estado.
2. Codificação de Qubits e Dilatação Assistida por Ancila: O protocolo reduzido de dois qutrits é implementado nos processadores de íons aprisionados H2 da Quantinuum. Cada qutrit lógico é codificado no subespaço de peso de Hamming unitário de três qubits físicos ($|1,0,0\rangle, |0,1,0\rangle, |0,0,1\rangle$). Como os operadores de fita (ribbon) e de projeção de carga são não-unitários, eles são implementados probabilisticamente usando dilatações assistidas por ancilas. Operações bem-sucedidas são sinalizadas por resultados de medição específicos nos qubits ancila.
3. Protocolos de Reconstrução:
   • Trançamento (Braiding): As fases de trançamento ao quadrado $(R_i)^2$ são reconstruídas usando um teste de Hadamard adaptado. Isso permite a extração de componentes reais e imaginários das sobreposições de projeção de fita não-unitárias. A fase do setor $G$ é inferida subtraindo o resultado do setor $+$ de uma medição de canal identidade.
   • Fusão: As amplitudes de fusão ao quadrado $|F_{ij}|^2$ são reconstruídas via probabilidades de sobreposição pós-selecionadas e normalização. O protocolo prepara duas resoluções de base de fusão do mesmo processo anyônico; o valor esperado do vácuo do diagrama fechado resultante fornece a magnitude ao quadrado dos elementos da matriz de fusão.

PRINCIPAIS CONTRIBUIÇÕES

• Realização Experimental de Protocolos Baseados Apenas em Medição: O artigo fornece um protocolo compacto e específico para observáveis que reconstrói dados de trançamento e fusão não-abelianos usando operações de fita ordenadas temporalmente e projeções de carga locais, eliminando a necessidade de transporte físico de anyons. Esta abordagem complementa realizações anteriores de grande escala (ex: Ref. [24]) ao comprimir as histórias de plaqueta relevantes em um protocolo lógico mínimo de dois qutrits adequado para caracterizar primitivos elementares em hardware baseado em qubits.
• Implementação Compacta de Dois Qutrits: Ao reduzir a dinâmica de plaqueta de $D(S_3)$ para um protocolo lógico de dois qutrits, os autores demonstram uma rota modular para caracterizar primitivos não-abelianos em hardware baseado em qubits, evitando a necessidade de codificações de qudits $d=6$ de grande escala.
• Alta Fidelidade na Reconstrução de Primitivos: O estudo reconstrói com sucesso as fases de trançamento ao quadrado e as amplitudes de fusão para o subcatego de fusão fechada mínima $D(S_3)$, focando na subcategoria de fusão fechada $\{A, B, G\}$ (onde $A$ é o vácuo, $B$ é Abeliano e $G$ é não-Abeliano).

RESULTADOS

O experimento foi conduzido nos processadores de íons aprisionados H2 da Quantinuum. Os resultados demonstram alta fidelidade entre as transformações reconstruídas e os valores teóricos ideais:

• Fases de Trançamento: As fases de trançamento ao quadrado reconstruídas $(R_+)^2$ e $(R_G)^2$ foram extraídas com fidelidades médias de estado de saída normalizadas de $F_R = 0,9988$. Os valores experimentais concordaram com as raízes da unidade teóricas ($\bar{\omega}$ e $\omega$) com significância estatística superior a cinco desvios padrão do limite de despolarização de amplitude zero.
• Amplitudes de Fusão: As amplitudes de fusão ao quadrado foram reconstruídas a partir de probabilidades pós-selecionadas. A matriz de fusão experimental $F_{exp}$ alcançou uma fidelidade média de estado de saída normalizada de $F_F = 0,9987$ quando testada contra estados de entrada aleatórios de Haar. A reconstrução da entrada do canal $G$ ($F_{GG}$) foi consistente com o valor teórico de zero, pois nenhum evento aceito foi observado no canal $m_{GG}$ (0 de 11.000 disparos/shots), enquanto a incerteza dominante em outras entradas surgiu da baixa probabilidade de aceitação do canal de normalização $G$ ($p(n_G) \approx 4,6 \times 10^{-4}$), que rendeu apenas 6 eventos aceitos de 13.000 disparos.
• Geração de Recurso Não-Clifford: Combinando os primitivos reconstruídos, os autores geraram um trançamento composto $B_s = F_s^\dagger R^2 F_s$. Esta operação produziu um estado de recurso não-estabilizador, quantificado por uma entropia de Rényi de estabilizador de segunda ordem $M_2 \approx 0,258 \pm 0,0886$, distinta do valor ideal de $\approx 0,208$. Isso confirma a geração de um recurso não-Clifford, um componente necessário para a computação quântica universal.

SIGNIFICÂNCIA E ALEGAÇÕES

O artigo afirma que estes resultados estabelecem um bloco de construção de hardware compacto para o processamento topológico não-abeliano programável. Ao comprimir as histórias de plaqueta relevantes em um protocolo lógico de dois qutrits, os autores fornecem uma rota modular para caracterizar primitivos elementares de trançamento e fusão com alta precisão antes de montar estruturas maiores.

O trabalho apoia a viabilidade de codificações anyônicas baseadas apenas em medição como blocos de construção para processadores quânticos topológicos maiores. Demonstra que os dados subjacentes de $R$ e $F$ podem ser diretamente reconstruídos em hardware quântico sem a sobrecarga de recursos de preparação de estado topológico estendido ou transporte físico de anyons. Os autores observam que, embora o experimento atual trate de uma única plaqueta codificada, a combinação de representação lógica compacta, alta fidelidade de primitivos e uma arquitetura de medição apenas modular oferece uma rota promissora para escalar o trançamento, a fusão, a preparação de estados mágicos e portões lógicos dentro de processadores anyônicos codificados maiores.