Dario Pighin, investigador de Irontec, publica Towards a Control interpretation of Quantum Advantage, un conjunto de notas matemáticamente rigurosas que proponen la Teoría de Control como método sistemático para decidir, problema por problema, si un ordenador cuántico puede realmente superar a uno clásico.
Del recuento de operaciones al control de dinámicas
En la informática clásica, la teoría de la complejidad computacional nos proporcionó el lenguaje para estimar el coste de ejecutar un algoritmo y, sobre todo, cómo ese coste escala conforme crece el tamaño del problema. Ordenación, búsqueda, factorización, optimización discreta: cada uno tiene una clase de complejidad que indica cómo crece el número de operaciones elementales con el tamaño de la entrada.
Cuando esta teoría se extendió a la computación cuántica, condujo a afirmaciones concretas sobre la ventaja cuántica: situaciones en las que un dispositivo cuántico resuelve un problema fuera del alcance factible de cualquier ordenador clásico en un tiempo razonable. Los ejemplos más conocidos son la Transformada de Fourier Cuántica (Quantum Fourier Transform, QFT), el algoritmo de Shor para la factorización de enteros y el algoritmo HHL para resolver sistemas lineales de ecuaciones.
Es una teoría elegante y exitosa. Sin embargo, encuentra límites reales en el ámbito de la optimización discreta cuántica, en problemas como el Maximum Independent Set (MIS), que son NP-duros en el contexto clásico y que el hardware de átomos neutros modela de manera muy natural. En esta familia de problemas, el enfoque tradicional basado en el recuento de puertas no permite determinar con claridad cuándo ni en qué hardware existe una ventaja real.
Las notas del trabajo publicado por Dario plantean una cuestión fundamental: para un problema dado, ¿existe una ventaja cuántica demostrable al resolverlo en un ordenador cuántico? La propuesta es emplear herramientas de la Teoría de Control para responder a esta pregunta. En lugar de limitarse a contar puertas discretas, se analizan las dinámicas en tiempo continuo que ejecuta cualquier hardware cuántico.
El hilo conductor: una ecuación de Schrödinger controlada
Toda computación cuántica, independientemente de la plataforma, es en última instancia una trayectoria de la ecuación de Schrödinger guiada externamente. En un chip superconductor, los qubits se controlan mediante pulsos microondas modulados; en un procesador de átomos neutros, el conjunto de átomos se gobierna mediante campos láser con frecuencia de Rabi y detuning programables.
La definición central de trabajo de investigación reformula la ventaja cuántica como una estimación del tiempo necesario para conducir la ecuación de Schrödinger desde la inicialización del cálculo hasta el resultado deseado.
Dos casos representativos, dos paradigmas
El marco se aplica a dos problemas estructuralmente distintos que cubren las dos grandes familias de problemas que suelen resolverse en hardware cuántico.
QFT en ordenadores superconductores (digitales), como IBM ibm_brisbane
Se modela el procesador ibm_brisbane de 127 qubits, así como el procesador de 156 qubits ibm_BasqueCountry instalado en Donostia, como una ecuación de Schrödinger controlada. Combinando un resultado de controlabilidad con un argumento de concatenación, se demuestra mediante Teoría de Control la conocida ventaja cuántica de la QFT.
Maximum Independent Set (MIS) en ordenadores de átomos neutros (analógicos), como los de Pasqal
El problema MIS se codifica de manera nativa en hardware de átomos neutros a través del mecanismo de bloqueo de Rydberg: cuando dos átomos están suficientemente próximos, el estado doblemente excitado se vuelve energéticamente inaccesible, de modo que la restricción de independencia del grafo es impuesta por la física, no por software.
Las notas analizan el Hamiltoniano de bloqueo de Rydberg como un sistema de control bilineal y reinterpretan el Quantum Approximate Optimization Algorithm (QAOA) como un problema de control óptimo en tiempo continuo. Se demuestra primero la viabilidad del algoritmo mediante controlabilidad aproximada, y después se define la ventaja cuántica en términos del tiempo mínimo necesario para alcanzar la solución del MIS.
De la demostración a la industria: MultiQuantum y la visión de Irontec
Más allá de los dos estudios de caso, las notas extraen un problema sustituto de control óptimo que sirve como condición necesaria, práctica y verificable, para la ventaja cuántica, formulado como una estimación de tipo estabilización-turnpike. Es decir, no solo un resultado teórico, sino un criterio que se puede comprobar antes de decidir si tiene sentido ejecutar un problema en hardware cuántico.
Eso conecta directamente con una de las preguntas que guían el trabajo técnico de Irontec: no qué puede hacer la computación cuántica en abstracto, sino cuándo y para qué problema concreto merece la pena usarla. La misma pregunta que subyace a MultiQuantum, nuestra plataforma de optimización híbrida cuántico-clásica para la industria, y que también ha guiado trabajos anteriores como nuestra aproximación a la ciberseguridad post-cuántica y a los retos de la nueva infraestructura digital.
Las bases matemáticas desarrolladas en este trabajo proporcionan a MultiQuantum un marco concreto para combinar de forma inteligente algoritmos clásicos, cuánticos e híbridos, eligiendo en cada caso el enfoque con ventaja real demostrable, no por tendencia sino por criterio.
Las notas completas, con todas las definiciones, demostraciones y problemas abiertos, están disponibles en arXiv:
Towards a Control interpretation of Quantum Advantage — Dario Pighin, Irontec (Bilbao).
El autor agradece al profesor Enrique Zuazua sus valiosas sugerencias durante la preparación de estas notas.
