Evaluating the Effect of the Order of Optimization Passes in Quantum Circuit Optimization

Las computadoras cuánticas prometen resolver problemas que a las máquinas clásicas les tomaría miles de años descifrar, desde el diseño de nuevos medicamentos hasta la modelación de sistemas climáticos complejos. Sin embargo, estas máquinas son increíblemente frágiles. La más mínima perturbación del entorno puede causar que cometan errores, un fenómeno conocido como ruido. Para combatir esto, los científicos deben traducir los programas informáticos de alto nivel en instrucciones que el hardware cuántico específico pueda realmente entender. Este proceso de traducción, llamado compilación, a menudo añade pasos adicionales y hace que el circuito —el camino por el que viaja la información— sea más largo y complejo. Un circuito más largo significa más tiempo para que se filtren los errores, por lo que el objetivo es hacer que estos circuitos sean lo más cortos y simples posible antes de su ejecución. Aquí es donde entra la optimización: un conjunto de reglas diseñadas para eliminar pasos innecesarios y limpiar el circuito.

Durante años, los ingenieros han sabido que aplicar estas reglas de limpieza ayuda, pero en gran medida han asumido que el orden en el que se aplican no importa demasiado. Se pensaba que, mientras se aplicaran las reglas, el resultado sería aproximadamente el mismo. Un nuevo estudio desafía esta suposición, revelando que la secuencia de estas reglas es en realidad crítica. Así como un chef podría obtener un resultado diferente al picar las verduras antes de saltearlas frente a saltearlas primero, los investigadores descubrieron que el orden de los pasos de optimización en los circuitos cuánticos puede cambiar drásticamente la calidad final del programa.

Los investigadores, trabajando con el popular software Qiskit utilizado para programar computadoras cuánticas, se propusieron probar esta idea de manera sistemática. Seleccionaron dieciséis técnicas de optimización diferentes, cada una diseñada para corregir un tipo específico de ineficiencia. Algunas técnicas fusionan pasos pequeños en uno solo, otras cancelan pares de operaciones que se anulan entre sí, y algunas reordenan el orden de los pasos para hacerlos más eficientes. El equipo no solo observó qué tan bien funcionaba cada técnica por sí sola; probaron cada par posible de estas dieciséis técnicas. Pasaron los mismos circuitos cuánticos a través del compilador, aplicando primero la técnica A luego la B, y luego aplicando la B luego la A. Repitieron esto para todos los ciento veinte pares posibles, midiendo la longitud del circuito y el número total de pasos en cada resultado.

Los resultados fueron claros y sorprendentes. En doce de los ciento veinte pares, el orden marcó una diferencia significativa. En algunos casos, una secuencia produjo un circuito que era casi la mitad de tamaño que la otra. El estudio demostcv que ciertas técnicas crean una mejor base para que otras trabajen, por ejemplo, eliminar pasos inútiles al principio puede revelar nuevos patrones que una técnica posterior puede entonces simplificar, pero si la técnica posterior se ejecuta primero, podría perderse esos patrones por completo. Los investigadores descubrieron que el mejor orden dependía fuertemente del tipo específico de hardware cuántico al que se dirigía, ya que diferentes máquinas hablan diferentes "lenguajes" de operaciones básicas. Por ejemplo, una secuencia que funcionó mejor para un tipo de máquina podría ser ineficaz para otra.

El equipo también investigó si una mala elección de orden podía corregirse más tarde. Se preguntaron si ejecutar una técnica una segunda vez podía reparar una secuencia subóptima. En siete de los doce casos donde el orden importaba, reaplicar la primera técnica de hecho mejoró el resultado, incluso haciéndolo mejor que la secuencia originalmente mejor. Sin embargo, esto no fue una solución universal; en otros casos, repetir los pasos añadía trabajo innecesario sin mejorar el resultado. Esto sugiere que, si bien una segunda pasada puede a veces salvar un mal comienzo, es mucho mejor acertar el orden la primera vez para evitar perder tiempo y recursos.

Cuando los investigadores ampliaron sus pruebas a secuencias de tres, cuatro y cinco técnicas, descubrieron que las interacciones se volvían aún más complejas. El mejor orden para un par de técnicas no siempre se mantenía cuando se añadía una tercera técnica. A veces, una técnica que era mejor colocar al principio de un proceso de dos pasos necesitaba moverse al medio cuando se introducía un tercer paso. Esto indica que la relación entre estas reglas no es solo una simple cadena de causa y efecto, sino una red de interacciones donde la presencia de una regla cambia cómo se comportan las demás.

Basándose en sus hallazgos, los autores propusieron un nuevo orden recomendado para aplicar estas reglas de optimación. Su secuencia sugerida comienza eliminando compuertas que tienen casi ningún efecto, luego reordena los pasos restantes para permitir una mayor simplificación, seguido del reconocimiento de patrones y la cancelación de operaciones opuestas. Este orden recomendado difiere de las configuraciones predeterminadas que se utilizan actualmente en los compiladores cuánticos estándar. Cuando probaron este nuevo orden contra el estándar, encontraron que en un entorno controlado con solo pasos de optimización, la diferencia era mínima. Sin embargo, cuando se incluyó el proceso de compilación completo, el nuevo orden funcionó ligeramente mejor en muchos casos, particularmente para reducir el número total de pasos.

El estudio concluye que no existe un único orden "perfecto" que funcione para todas las situaciones. La mejor secuencia depende del circuito específico que se esté ejecutando, del tamaño de ese circuito y, lo más importante, del conjunto de compuertas nativas del hardware de destino. Los investigadores enfatizan que, si bien su trabajo proporciona una base sólida y un mejor punto de partida predeterminado, la ruta óptima para cualquier programa cuántico dado es probablemente única. Su trabajo cambia el enfoque de simplemente aplicar una lista fija de reglas hacia la comprensión de las relaciones dinámicas entre ellas, asegurando que los programas cuánticos sean lo más eficientes y resistentes a errores posible antes de que siquiera toquen el hardware.