Resolving topological order crossovers on NISQ hardware

Resumen Técnico: Resolución de Crossovers de Orden Topológico en Hardware NISQ

Planteamiento del Problema
Si bien las fases topológicas de la materia ofrecen una vía prometedora para el procesamiento robusto de información cuántica, su realización experimental en dispositivos de escala intermedia con ruido (NISQ, por sus siglas en inglés) actuales enfrenta un desafío crítico: determinar si las firmas de los crossovers topológicos siguen siendo resolubles bajo imperfecciones realistas. Los modelos teóricos suelen asumir condiciones ideales, pero la transición entre los regímenes topológico y trivial en sistemas de tamaño finito es sensible al desorden estático, al ruido acumulado en los circuitos y a los efectos no hermitianos (pérdida). Este trabajo aborda la cuestión de si las firmas diagnósticas de tamaño finito del modelo de Wen–plaquette pueden distinguirse del comportamiento trivial en hardware cuántico real en medio de estas imperfecciones.

Metodología
Los autores emplean una estrategia de dos etapas utilizando hardware de IBM Quantum para caracterizar y escalar la simulación del modelo de Wen–plaquette:

1. Caracterización Variacional en un Sistema Pequeño:

   • Modelo: Una red abierta de $3 \times 3$ de nueve qubits que implementa el Hamiltoniano de Wen–plaquette ($H_{wen}$), extendido con un campo transversal ($g$), desorden en el sitio ($h$) y un campo imaginario efectivo no hermítico ($\gamma$).
   • Preparación de Estados: Los estados objetivo (estados fundamentales de equilibrio y estados evolucionados temporalmente bajo quenches unitarios y no unitarios) se aproximan mediante un circuito cuántico variacional eficiente de hardware ($V_n(\theta)$). Los parámetros se optimizan clásicamente para minimizar la infidelidad entre la salida del circuito y el estado objetivo exacto.
   • Diagnósticos: Se miden dos observables:
     • Estabilizador de Plaqueta Local ($F_1$): Sondea la estructura del sector del estabilizador local.
     • Bucle de Wilson No Local ($W$): Sondea la persistencia de la respuesta de bucle de tamaño finito y el orden topológico.
   • Amplificación de Ruido: Para cuantificar la robustez, se insertan capas de "identidad" (secuencias de puertas que actúan como la identidad en el límite sin ruido) en el circuito para amplificar sistemáticamente los errores acumulados de puerta y decoherencia sin alterar la evolución unitaria ideal.

2. Implementación Escalable Basada en Proyección:

   • Modelo: Una red cuadrada más grande de $5 \times 5$ en un procesador 2D de IBM (IBM Miami).
   • Preparación de Estados: En lugar de la optimización variacional, se utiliza una construcción de "qubit representativo". Este método impone coherentemente las restricciones locales de la plaqueta ($\Pi_{i,j} = (I + F_{i,j})/2$) para proyectar un estado producto directamente en el sector estabilizador $Z_2^A$ deseado. Esto evita la medición a mitad del circuito y el entrenamiento variacional.
   • Prueba de Robustez: Se aplican perturbaciones coherentes locales controladas y amplificadas (rotaciones $R_x$ aleatorias de un solo qubit) al estado preparado para probar la estabilidad de la respuesta de la plaqueta promediada en la red.

Resultos Clave

• Resiliencia de Diagnósticos al Ruido:

  • El crossover de tamaño finito entre el régimen dominado por estabilizadores y el régimen polarizado trivial se resuelve claramente incluso cuando la profundidad del circuito aumenta significativamente mediante la inserción de capas de identidad.
  • La señal del bucle de Wilson no local ($\langle W \rangle$) se preserva bajo la amplificación sistemática del ruido, demostrando que la implementación de hardware retiene la señal topológica relevante a pesar de los errores acumulados.

• Diagnósticos de Equilibrio:

  • Robustez Local vs. No Local: El estabilizador de plaqueta local ($\langle F_1 \rangle$) sigue siendo un diagnóstico robusto incluso en presencia de un fuerte desorden ($h=5$), distinguiendo claramente los sectores $Z_2^A$ y $Z_2^B$. En contraste, la respuesta del bucle de Wilson no local es fuertemente suprimida por el desorden, indicando que las firmas no locales son más frágiles a la inhomogeneidad estática que las locales.
  • Resolución del Crossover: La transición de una respuesta de bucle fuerte a un régimen trivial es observable en sistemas limpios, pero se desvanece en sistemas fuertemente desordenados.

• Estabilidad Dinámica (Quenches):

  • Quenches Unitarios: La supervivencia dinámica de la firma de la plaqueta depende de la competencia entre la fuerza del desorden y la escala de energía del estabilizador. Cerca del crossover de tamaño finito (acoplamiento débil), la respuesta de la plaqueta decae rápidamente bajo el desorden. Profundo en el régimen de acoplamiento fuerte, la respuesta es sustancialmente más robusta, decayendo lentamente y permaneciendo no nula durante tiempos largos.
  • Quenches No Hermíticos: Se observan tendencias similares bajo evolución no unitaria (campos imaginarios). Los estados profundos en el régimen del estabilizador retienen una gran respuesta de plaqueta bajo efectos no hermíticos débiles, mientras que los estados cerca del crossover se desestabilizan rápidamente. La pérdida de la respuesta de la plaqueta se correlaciona con la emergencia de autovalores complejos en el espectro.

• Implementación Escalable:

  • La preparación basada en proyección en la red de $5 \times 5$ genera con éxito un estado en el sector estabilizador objetivo.
  • La respuesta de la plaqueta promediada en la red ($\bar{F}$) exhibe solo una degradación débil bajo perturbaciones coherentes locales intencionalmente amplificadas, confirmando la estabilidad local de la estructura topológica preparada.
  • La estructura local por capas del circuito permite la ejecución en paralelo, lo que sugiere un camino favorable para escalar a sistemas más grandes sin requerir circuitos totalmente no locales.

Significancia y Reivindicaciones
El artículo afirma proporcionar una ruta práctica para preparar y sondear firmas topológicas en procesadores cuánticos de corto plazo. Su contribución principal no es la demostración del orden topológico termodinámico (que está más allá de las capacidades actuales de los dispositivos), sino una caracterización resuelta por hardware de los regímenes de parámetros y ruido donde las características topológicas de tamaño finito son distinguibles del comportamiento trivial.

Las reivindicaciones clave incluyen:

1. Factibilidad: Los diagnósticos topológicos de tamaño finito (tanto locales como no locales) pueden resolverse en hardware NISQ a pesar de las imperfecciones realistas, siempre que el sistema sea suficientemente profundo en el régimen dominado por el estabilizador.
2. Jerarquía de Robustez: Las firmas de los estabilizadores locales son significativamente más robustas contra el desorden y el ruido que las firmas de los bucles de Wilson no locales.
3. Escalabilidad: Un protocolo de preparación inspirado en la proyección y no variacional ofrece una alternativa viable al entrenamiento variacional profundo para escalar simulaciones topológicas a redes 2D más grandes en hardware con conectividad adecuada.
4. Memoria Dinámica: La dinámica fuera del equilibrio retiene una memoria clara del crossover de equilibrio subyacente, con la estabilidad dinámica sirviendo como una sonda complementaria para las transiciones de fase.

El trabajo conecta la caracterización controlada de tamaño finito con una implementación de hardware escalable, ofreciendo un marco unificado para estudiar el orden topológico bajo desorden estático, ruido acumulado y campos no hermitianos efectivos.