Resumen Técnico: Diseño de Circuitos Informado para Algoritmos Cuánticos Variacionales Adaptativos

Planteamiento del Problema

En la era de la Computación Cuántica de Escala Intermedia con Ruido (NISQ), la ejecución fiable de algoritmos cuánticos se ve severamente limitada por la decoherencia, los errores de puerta y la conectividad restringida de los cúbits. Los Algoritmos Cuánticos Variacionales (VQA) han surgido como un enfoque híbrido prominente para resolver problemas en química cuántica, dinámica de fluidos y optimización. Sin embargo, los VQA estándar suelen sufrir de profundidades de circuito elevadas y altas sobrecargas de medición.

Específicamente, los VQA adaptativos (como ADAPT-VQE) construyen ansätze variacionales seleccionando iterativamente puertas de un conjunto de candidatos predefinido. Un cuello de botella crítico en estos métodos es la sobrecarga de medición requerida para evaluar la función de costo o su gradiente para cada puerta candidata en el conjunto en cada iteración. A medida que el tamaño del sistema crece, el tamaño de este conjunto de candidatos típicamente escala de forma lineal o cuadrática, haciendo que el proceso de evaluación sea intensivo en recursos y, a menudo, inviable en el hardware actual. Además, los ansätze de capas fijas carecen de la expresividad necesaria para representar estados fundamentales complejos sin una profundidad excesiva.

Metodología

Los autores proponen un Marco Variacional Adaptativo Informado por el Diseño de Circuitos que integra las restricciones del hardware con principios específicos de diseño de circuitos para reducir el tamaño del conjunto de puertas candidatas y, consecuentemente, la sobrecarga de medición.

1. Arquitectura Restringida por la Prueba de Hadamard (HT)

El marco se basa en el diseño de circuito de la prueba de Hadamard (HT). Los autores aprovechan las restricciones estructurales inherentes a los circuitos HT:

• Correlación Ancilla-Registro: Una única puerta $X$ controlada por ancilla establece correlaciones entre la ancilla y el registro.
• Control Intra-Registro: Las capas subsecuentes consisten únicamente en rotaciones controladas intra-registro.
• Restricción de Cúbit de Control: Una restricción definitoria es que un cúbit de control para una nueva puerta debe haber servido previamente como objetivo en el circuito. Esto impone una estructura de circuito específica, compatible con HT, que facilita construcciones de baja profundidad.

2. Conjunto de Puertas Restringido ($O_{pool}$)

El conjunto de puertas candidatas se poda dinámicamente basándose en tres restricciones específicas:

• Conectividad del Hardware: Se excluyen las puertas que actúan sobre cúbits no adyacentes según la conectividad física del dispositivo (por ejemplo, vecino más cercano en una topología de anillo).
• Compatibilidad con HT: Solo se admiten operaciones controladas si su cúbit de control ya ha sido objeto de puertas de un solo cúbit o de dos cúbits en las iteraciones precedentes. Esto evita la inclusión de puertas que violarían los requisitos estructurales de HT.
• No Redundancia: Las puertas que inducirían aplicaciones repetidas inmediatas de la misma operación primitiva sobre los mismos cúbits se eliminan temporalmente del conjunto. Solo se reintegran después de que una operación intermedia actúe sobre los cúbits relevantes.

3. Algoritmo Adaptativo

El algoritmo (Algoritmo 1) construye el ansatz de forma iterativa:

• Criterio de Selección: En cada iteración $k$, el algoritmo evalúa los candidatos en el $O_{pool}$ restringido utilizando ya sea un criterio de costo mínimo (seleccionando puertas que minimizan la función de costo) o un criterio de gradiente máximo (seleccionando puertas con el gradiente de la función de costo más grande en el parámetro cero).
• Estrategia de Crecimiento: En lugar de añadir una sola puerta, el algoritmo añade temporalmente $m$ de las mejores puertas. Evalúa el nuevo costo $C'_k$. Si el costo disminuye (o cumple con un criterio de aceptación relajado para el método de costo mínimo), las puertas se retienen y todos los parámetros se re-optimizan. Si no es así, los parámetros se re-optimizan sin añadir puertas, evitando el crecimiento innecesario del circuito.

Contribuciones Clave

1. Reducción Sistemática de la Sobrecarga de Medición: El artículo demuestra que la incorporación de restricciones de diseño de circuitos (específicamente la compatibilidad con HT) altera fundamentalmente la escala del tamaño del conjunto de puertas candidatas.
   • En la primera iteración, la escala del tamaño del conjunto se reduce de lineal (o cuadrática) en métodos no restringidos a constante (o lineal) en el método restringido, dependiendo de la conectividad.
   • En iteraciones sucesivas, el tamaño del conjunto crece gradualmente y permanece por debajo del 75% de su valor máximo posible.
2. Eficiencia de Recursos: Los autores cuantifican una reducción en los recursos de medición que oscila entre al menos un 25% y hasta un 50%–55% en comparación con los métodos adaptativos no restringidos.
3. Ansätze de Baja Profundidad y Expresivos: El marco genera secuencias de puertas no estructuradas y específicas del problema que son más expresivas que los ansätze de capas fijas de HT, logrando una alta fidelidad con menos puertas.

Resultados

El marco propuesto fue probado en el problema del estado fundamental de la ecuación de Schrödinger no lineal (NLSE) con diversas fuerzas de no linealidad ($g$) y tamaños de sistema ($n=3, 4, 5$ cúbits).

• Limitaciones de las Capas Fijas: Se encontró que los ansätze de HT de capas predefinidas (Configuraciones A y B) eran insuficientemente expresivos, logrando solo un 50%–93% de fidelidad dependiendo del tamaño del sistema y la no linealidad, independientemente del número de capas añadidas.
• Desempeño del Marco Adaptativo:
  • Fidelidad: El algoritmo adaptativo restringido construyó exitosamente ansates con una fidelidad >95% para $g=250$ y >99% de fidelidad para $g=750$ en todos los tamaños de sistema probados.
  • Eficiencia de Puertas: El enfoque adaptativo logró estas altas fidelidades con significativamente menos puertas en comparación con el enfoque por capas. Los circuitos resultantes fueron poco profundos y compactos.
  • Estabilidad: El algoritmo demostró estabilidad al evitar el crecimiento innecesario del ansatz; la re-optimización de los parámetros existentes a menudo reducía la infidelidad sin añadir puertas, una característica gestionada por la rutina de aceptación relajada.
• Escala del Conjunto: El análisis de la evolución del tamaño del conjunto confirmó que las restricciones efectivamente limitan el tamaño del conjunto a aproximadamente el 75% de su máximo teórico, validando la afirmación de una reducción en la sobrecarga de medición.

Significado y Reivindicaciones

El artículo sostiene que los marcos algorítmicos deben integrar sistemáticamente las restricciones de diseño de circuitos junto con la conciencia del hardware y las estructuras específicas del problema para mejorar la viabilidad práctica de los dispositivos cuánticos en la era NISQ.

Los autores enfatizan que:

• Las restricciones de diseño de circuitos no son meras preferencias estructurales, sino que son cruciales para una computación eficiente en recursos.
• Al centrarse en la arquitectura de la prueba de Hadamard, se puede reducir sistemáticamente la sobrecarga de medición asociada con las evaluaciones repetidas requeridas en los algoritmos adaptativos.
• El método propuesto proporciona una estrategia "amigable con los recursos" que equilibra la expresividad, la entrenabilidad y la implementabilidad, ofreciendo un camino viable para resolver problemas complejos como la NLSE en el hardware cuántico actual y cercano.

El trabajo concluye que, si bien los métodos no restringidos podrían generar teóricamente ansates similares, el costo de medición para cribar el conjunto de candidatos ampliado en esos métodos es prohibitivamente alto. El enfoque restringido ofrece una ruta sistemática para lograr soluciones de alta fidelidad con demandas de recursos significativamente menores.