Reconstructing non-Abelian braiding and fusion without anyon transport

=== BORRADOR ===
Aquí se presenta un resumen técnico detallado del artículo "Reconstructing non-Abelian braiding and fusion without anyon transport" (Reconstrucción de trenzado y fusión no abelianos sin transporte de anyones).

Planteamiento del problema

Los anyones no abelianos ofrecen una vía para la computación cuántica universal y tolerante a fallos debido a su capacidad para almacenar información lógica de forma no local, lo que los hace insensibles a las perturbaciones locales. Sin embargo, acceder experimentalmente a los datos definitorios de estos anyones —específicamente las transformaciones de trenzado ($R$) y fusión ($F$)— sigue siendo un desafío significativo. Los protocolos convencionales requieren la creación controlada, el transporte físico y la medición coherente de excitaciones anyónicas, lo que incurre en una sobrecarga sustancial de recursos en el hardware cuántico. Si bien la computación cuántica topológica basada únicamente en mediciones ("measurement-only") ha demostrado teóricamente que el trenzado puede generarse mediante mediciones de carga ordenadas temporalmente en lugar de movimiento físico, la reconstrucción directa de los datos subyacentes de $R$ y $F$ para modelos no abelianos (como el doble cuántico $D(S_3)$) en hardware cuántico digital se ha visto obstaculizada por la complejidad de las descripciones de red requeridas, que involucran qudits locales de $d=6$ y operaciones no unitarias.

Metodología

Los autores introducen y realizan experimentalmente un protocolo basado únicamente en mediciones que reconstruye las primitivas de trenzado y fusión no abelianas del modelo doble cuántico $D(S_3)$ sin transportar físicamente los anyones. El enfoque se basa en tres innovaciones metodológicas clave:

1. Reducción Densa: Los autores demuestran que los solapamientos de cuatro qudits relevantes necesarios para extraer los datos de $D(S_3)$ pueden reducirse a valores de expectativa de operadores que actúan sobre solo dos qutrits. Al explotar la estructura de grupo de $S_3 \simeq Z_3 \rtimes Z_2$, la compleja dinámica de plaquetas de cuatro qudits se mapea en un sistema reducido de dos qutrits. Crucialmente, estos valores de expectativa pueden evaluarse en un estado producto $|\xi\rangle$ en lugar del estado fundamental entrelazado de la plaqueta completa, lo que simplifica significativamente la preparación del estado.
2. Codificación de Qubits y Dilatación Asistida por Ancilla: El protocolo reducido de dos qutrits se implementa en los procesadores de iones atrapados H2 de Quantinuum. Cada qutrit lógico se codifica en el subespacio de peso-Hamming unitario de tres qubits físicos ($|1,0,0\rangle, |0,1,0\rangle, |0,0,1\rangle$). Dado que los operadores de cinta (ribbon) y de proyección de carga son no unitarios, se implementan probabilísticamente mediante dilataciones asistidas por ancillas. Las operaciones exitosas son anunciadas (heralded) por resultados de medición específicos en los qubits ancilla.
3. Protocolos de Reconstrucción:
   • Trenzado (Braiding): Las fases de trenzado al cuadrado $(R_i)^2$ se reconstruyen utilizando un test de Hadamard adaptado. Esto permite la extracción de los componentes reales e imaginarios de los solapamientos de proyección de cinta no unitarios. La fase del sector $G$ se infiere restando el resultado del sector $+$ de una medición de canal identidad.
   • Fusión: Las amplitudes de fusión al cuadrado $|F_{ij}|^2$ se reconstruyen mediante probabilidades de solapamiento y normalización post-seleccionadas. El protocolo prepara dos resoluciones de base de fusión del mismo proceso anyónico; el valor de expectativa del vacío del diagrama cerrado resultante produce la magnitud al cuadrado de los elementos de la matriz de fusión.

Contribuciones Clave

• Realización Experimental de Protocolos Basados Únicamente en Mediciones: El artículo proporciona un protocolo compacto y específico de observables que reconstruye los datos de trenzado y fusión no abelianos utilizando operaciones de cinta ordenadas temporalmente y proyecciones de carga locales, eliminando la necesidad de transporte físico de anyones. Este enfoque complementa las realizaciones previas a gran escala (por ejemplo, Ref. [24]) al comprimir las historias de plaquetas relevantes en un protocolo lógico mínimo de dos qutrits adecuado para caracterizar primitivas elementales en hardware basado en qubits.
• Implementación Compacta de Dos Qutrits: Al reducir la dinámica de la plaqueta de $D(S_3)$ a un protocolo lógico de dos qutrits, los autores demuestran una ruta modular para caracterizar primitivas no abelianas en hardware basado en qubits, evitando la necesidad de codificaciones de qudits de $d=6$ a gran escala.
• Reconstrucción de Primitivas de Alta Fidelidad: El estudio reconstruye con éxito las fases de trenzado al cuadrado y las amplitudes de fusión para el subcategoría de fusión cerrada mínima $\{A, B, G\}$ (donde $A$ es el vacío, $B$ es Abeliano y $G$ es no Abeliano) del doble cuántico $D(S_3)$.

Resultados

El experimento se llevó a cabo en los procesadores de iones atrapados H2 de Quantinuum. Los resultados demuestran una alta fidelidad entre las transformaciones reconstruidas y los valores teóricos ideales:

• Fases de Trenzado: Las fases de trenzado al cuadrado reconstruidas $(R_+)^2$ y $(R_G)^2$ se extrajeron con fidelidades de estado de salida normalizadas promedio de $F_R = 0.9988$. Los valores experimentales coincidieron con las raíces de la unidad teóricas ($\bar{\omega}$ y $\omega$) con una significación estadística que supera las cinco desviaciones estándar del límite de despolarización de amplitud cero.
• Amplitudes de Fusión: Las amplitudes de fusión al cuadrado se reconstruyeron a partir de probabilidades post-seleccionadas. La matriz de fusión resultante $F_{exp}$ alcanzó una fidelidad de estado de salida normalizada promedio de $F_F = 0.9987$ cuando se probó contra estados de entrada de Haar-aleatorios. La reconstrucción de la entrada del canal $G$ ($F_{GG}$) fue consistente con el valor teórico de cero, ya que no se observaron eventos aceptados en el canal $m_{GG}$ (0 de 11,000 disparos/shots), mientras que la incertidumbre dominante en otras entradas surgió de la baja probabilidad de aceptación del canal de normalización $G$ ($p(n_G) \approx 4.6 \times 10^{-4}$), que produjo solo 6 eventos aceptados de 13,000 disparos.
• Generación de Recursos No-Clifford: Combinando las primitivas reconstruidas, los autores generaron un estado de trenzado compuesto $B_s = F_s^\dagger R^2 F_s$. Esta operación produjo un estado de recurso no-estabilizador, cuantificado por una entropía de Rényi de estabilizador de segundo orden $M_2 \approx 0.258 \pm 0.0886$, distinto del valor ideal de $\approx 0.208$. Esto confirma la generación de un recurso no-Clifford, un componente necesario para la computación cuántica universal.

Significancia y Reivindicaciones

El artículo afirma que estos resultados establecen un bloque de construcción de hardware compacto para el procesamiento topológico no Abeliano programable. Al comprimir las historias de las plaquetas relevantes en un protocolo lógico de dos qutrits, los autores proporcionan una ruta modular para caracterizar las primitivas elementales de trenzado y fusión con alta precisión antes de ensamblar estructuras más grandes.

El trabajo respalda la viabilidad de las codificaciones de anyones basadas únicamente en mediciones como bloques de construcción para procesadores cuánticos topológicos más grandes. Demuestra que los datos subyacentes de $R$ y $F$ pueden reconstruirse directamente en hardware cuántico sin la sobrecarga de recursos de la preparación de estados topológicos extendidos o el transporte físico de anyones. Los autores señalan que, si bien el experimento actual aborda una única plaqueta codificada, la combinación de representación lógica compacta, primitivas de alta fidelidad y una arquitectura modular de solo medición ofrece una ruta prometedora para escalar el trenzado, la fusión, la preparación de estados mágicos y las puertas lógicas dentro de procesadores de anyones codificados más grandes.