⚛️ física cuántica

QQLink: A Declarative Framework for Multi-QPU Quantum Workflow Orchestration

Este artículo presenta QQLink, un marco declarativo que orquesta flujos de trabajo cuánticos multi-QPU mediante la derivación automática de dependencias entre nodos a partir de un único programa, demostrando resultados de simulación de alta fidelidad y una ejecución exitosa en hardware IBM Heron particionado, al tiempo que destaca las limitaciones actuales en la coherencia de las QPU conectadas físicamente.

Autores originales: Vicente Leyton Ortega, Narasinga Rao Miniskar, Thomas Naughton, Travis S. Humble

Publicado 2026-10-27

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Vicente Leyton Ortega, Narasinga Rao Miniskar, Thomas Naughton, Travis S. Humble

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Las computadoras cuánticas prometen resolver problemas que son imposibles para las máquinas actuales, pero enfrentan un límite de tamaño fundamental. Los delicados bits cuánticos, o qubits, que contienen la información son difíciles de mantener estables, y el empaquetar demasiados en un solo procesador a menudo provoca que pierdan su estado. Para construir máquinas más grandes y potentes, los científicos están mirando hacia un enfoque diferente: conectar muchos procesadores cuánticos más pequeños entre sí. Imagine una red de estos pequeños dispositivos trabajando al unísono, donde una medición realizada en una máquina influye instantáneamente en un cálculo en otra. Esta es la visión de la computación cuántica distribuida. Sin embargo, hacer que esto funcione requiere un nuevo tipo de software. Los procesadores no pueden simplemente recibir la orden de ejecutar tareas separadas; deben coordinar sus acciones en tiempo real, compartiendo información y ajustando su comportamiento basándose en lo que sus compañeros descubren. Sin una forma de gestionar esta compleja conversación, la red sigue siendo simplemente una colección de partes aisladas.

Investigadores del Laboratorio Nacional Oak Ridge han desarrollado un nuevo marco de software llamado QQLink para resolver este problema de coordinación. En lugar de pedirle a un programador que escriba instrucciones separadas para cada procesador cuántico y luego determine manualmente cómo deberían hablar entre sí, QQLink permite que un solo programa describa todo el flujo de trabajo. En este sistema, un desarrollador define los pasos para diferentes partes de la red, conocidos como nodos de flujo de trabajo, y declara cómo están conectados. El software luego determina automáticamente el orden necesario de las operaciones. Asegura que si un nodo mide un qubit, los otros nodos sepan exactamente cuándo usar ese resultado para ajustar sus propios cálculos. Los investigadores probaron este sistema ejecutando siete protocolos cuánticos diferentes, incluyendo métodos para enviar información y realizar búsquedas complejas, a través de entornos simulados y en hardware cuántico real.

El logro central de QQLink es su capacidad para traducir una descripción de alto nivel de una tarea multiprocesador en un plan preciso y paso a paso que el hardware pueda seguir. Los investigadores encontraron que el software podía generar estos planes extremadamente rápido, tomando solo microsegundos para organizar incluso grandes conjuntos de instrucciones. Cuando ejecutaron el software en un simulador, los resultados fueron extremadamente precisos. Probaron cada resultado posible de las mediciones y encontraron que los estados cuánticos finales coincidían con los resultados teóricos perfectos con una infidelidad de máximo 5 × 10⁻¹², y no hubo salidas clásicas incorrectas. Esto demostró que la lógica del marco era sólida y que la coordinación automática funcionó exactamente como se pretendía.

Para ver si esto funcionaba en máquinas reales, el equipo ejecutó los programas en dos procesadores cuánticos de IBM. No utilizaron dos computadoras físicas separadas conectadas por un cable; en su lugar, trataron diferentes secciones de un solo chip como si fueran procesadores separados. Esto les permitió probar la capacidad del software para gestionar procesadores cuánticos "virtuales" que comparten el mismo espacio físico. Los resultados mostraron que el software podía dirigir con éxito a estos procesadores virtuales para que trabajaran juntos en términos de resultados clásicos. Sin embargo, las ejecuciones en el mundo real también revelaron los límites actuales del hardware. Mientras que la lógica del software era perfecta, los qubits físicos eran ruidosos. La tasa de éxito de las tareas complejas disminuyó a medida que aumentaba el número de pasos, y los resultados variaron notablemente entre diferentes ejecuciones en la misma máquina.

Los investigadores descubrieron que el hardware tenía dificultades con el tiempo y la sensibilidad requeridos por estas tareas distribuidas. En algunos casos, el estado cuántico no preservó la delicada superposición necesaria para que el cálculo funcionara, a pesar de que el software había ordenado correctamente los pasos. Específicamente, las comprobaciones sensibles a la coherencia no establecieron la operación Toffoli coherente ni la preservación de la superposición de código de repetición pretendida. Esto sugiere que, si bien el marco de software está listo para gestionar una red de computadoras cuánticas, las máquinas físicas aún no son lo suficientemente estables como para soportar completamente los algoritmos distribuidos más complejos. El estudio confirma que el software puede derivar las dependencias correctas y ejecutarlas, pero también destaca que la realización física de estas redes enfrenta desafíos significativos con el ruido y la coherencia.

Uno de los hallazgos más importantes fue que el software podía ejecutar el mismo programa en un simulador y en el hardware sin cambios en el código. Esta portabilidad es un paso crucial hacia un futuro donde las aplicaciones cuánticas puedan escribirse una vez y ejecutarse en diferentes tipos de máquinas. Los investigadores también probaron un escenario en el que las diferentes partes de la red se ejecutaban en procesos informáticos separados, comunicándose solo mediante mensajes retrasados. Incluso en esta configuración distribuida, donde las partes no compartían un controlador central, el software aseguró que las tareas se completaran correctamente. Esto demuestra que el marco puede manejar la complejidad de una verdadera red, no solo de un solo chip dividido en secciones.

A pesar de las limitaciones del hardware, el trabajo proporciona un camino claro a seguir. Los investigadores demostraron que la lógica de coordinación no necesita ser escrita a mano para cada nueva tarea; puede generarse automáticamente a partir de una descripción única. También identificaron que el hardware actual tiene dificultades con el tiempo específico de estas operaciones, un problema que podría resolverse con mejor hardware o ajustando la forma en que el software envía los comandos. El estudio no pretende haber resuelto el problema de construir una internet cuántica global, pero ha construido la capa de software esencial que sería necesaria para hacerla funcionar. Al demostrar que un solo programa puede orquestar con éxito múltiples procesadores cuánticos, QQLink acerca el campo a un futuro donde las computadoras cuánticas puedan escalar mediante el trabajo conjunto en lugar de simplemente volviéndose más grandes.

Resumen Técnico: QQLink – Un Marco Declarativo para la Orquestación de Flujos de Trabajo Multi-QPU

1. Planteamiento del Problema

La computación cuántica distribuida requiere la coordinación entre múltiples Unidades de Procesamiento Cuántico (QPU), donde los resultados de las mediciones en un nodo deben controlar las operaciones en otro (por ejemplo, teletransportación, codificación superdensa, compuertas no locales). Los kits de desarrollo de software (SDK) cuánticos actuales como Qiskit, Cirq y PennyLane admiten el flujo de control dinámico dentro de un solo circuito en un solo backend, pero carecen de una capa de orquestación reutilizable para flujos de trabajo multi-QPU. Los enfoques actuales tratan la coordinación entre nodos ya sea como paso de mensajes explícito escrito por el programador (por ejemplo, NetQASM, QNodeOS), dependen de la partición estática de circuitos que no puede expresar el feedforward en tiempo real, o utilizan el corte de circuitos (circuit cutting) que reemplaza la comunicación cuántica con procesamiento clásico post-ejecución. Existe una brecha en el software que permita a un único programa expresar dependencias multi-nodo de manera declarativa, derivar automáticamente la coordinación necesaria entre nodos y ejecutarse de forma portátil a través de simuladores y hardware particionado.

2. Metodología: El Marco QQLink

QQLink es una capa de programación y orquestación que separa el qué (lógica de la aplicación) del dónde y el cómo (ejecución). Opera en dos capas:

Capa de Aplicación: Los desarrolladores escriben WorkflowPrograms que contienen WorkflowCircuits (nodos) con nombre. El modelo utiliza:
- Referencias de Medición Diferida (MeasureRef): Un manejador tipado devuelto por una medición que puede ser referenciado en bloques condicionales (if_then) en cualquier circuito, permitiendo el feedforward entre nodos sin mensajería explícita.
- Entrelazamiento Declarativo: Los pares de Bell y los CNOT no locales se declaran mediante declare_entanglement() y request_bell_pair(), creando objetos EntanglementLink sin especificar la ubicación física.
- Semántica de Ordenamiento: Aunque el entrelazamiento y el feedforward son declarativos, el orden de las operaciones se deriva de la secuencia de autoría y las huellas de qubits (qubit footprints).
Capa de Plataforma: Un Orchestrator traduce el programa declarativo en un ExecutionPlan.
- Algoritmo de Planificación: Un algoritmo de dos pasadas construye un grafo de dependencias.
  - Pasada 1 (Segmentación): Divide los circuitos en ExecutionUnits basados en mediciones, condicionales y solicitudes entre circuitos. Deriva "bordes de huella" (dependencias) rastreando la última unidad que actúa sobre cada qubit.
  - Pasada 2 (Resolución de Referencias): Añade "bordes de referencia de medición" que conectan la unidad que produce una medición con cualquier unidad que la consuma a través de un MeasureRef.
- Garantías: El planificador produce un grafo de dependencias demostrablemente acíclico en un tiempo lineal al tamaño total de la huella de qubits ( $O(S)$ ). El resultado es determinista e independiente del orden topológico de ejecución.
- Ejecución: El plan se despacha a objetivos heterogéneos (simuladores, QPUs virtuales particionadas en hardware de IBM). El sistema soporta despacho condicional por instrucción, políticas de selección de canal para el entrelazamiento y procesos ejecutores separados donde los nodos se comunican únicamente mediante mensajes retrasados.

3. Contribuciones Clave

Modelo de Programación: Un modelo declarativo para flujos de trabajo multi-QPU utilizando nodos de flujo de trabajo, referencias de medición diferida tipadas y enlaces de entrelazamiento explícitos, eliminando la necesidad de código de paso de mensajes manual.
Algoritmo de Planificación: Un algoritmo de tiempo lineal que deriva un grafo de dependencias a partir de las huellas de qubits y las referencias de medición, garantizando la aciclicidad y el determinismo.
Mecanismos de Ejecución: Implementación del plan en objetivos heterogéneos, incluyendo particionamiento de QPU virtual, políticas de selección de canales y un camino de hardware que reduce el plan a circuitos dinámicos.
Flujos de Trabajo de Protocolos: Implementación de siete protocolos complejos (codificación superdensa, teletransportación de múltiples qubits, intercambio de entrelazamiento, búsqueda de Grover distribuida, Bernstein–Vazirani distribuido, Toffoli de tres nodos y un código de repetición distribuido) enteramente en la capa de aplicación.
Evaluación de Sistemas: Una evaluación exhaustiva que cubre corrección, costo de planificación, sobrecarga de abstracción y rendimiento del hardware.

4. Resultados

Corrección y Planificación

Determinismo: La planificación repetida del mismo programa produce planes serializados idénticos en bytes.
Corrección: La verificación exhaustiva de ramificación forzada sobre un conjunto de entrada tomográficamente completo (ruta de tiempo de ejecución del simulador) produjo infidelidades de estado de salida de máximo $5 \times 10^{-12}$ y ningún resultado clásico incorrecto.
Ejecutores Separados: Al ejecutar con un proceso controlador por nodo y mensajes retrasados (sin despachador compartido), cada ejecución con el plan completo fue correcta. La eliminación de las dependencias entre nodos causó fallos en los protocolos, confirmando la suficiencia del plan.
Costo: La planificación toma 8–17 $\mu$ s por instrucción, lineal en el tamaño del programa.

Sobrecarga de Abstracción

Costo de Circuito: Los circuitos dinámicos reducidos coincidieron con las implementaciones escritas a mano en conteos de compuertas de dos qubits y conteos de bloques condicionales. La abstracción no añade costo a nivel de circuito en comparación con la construcción manual.
Densidad de Instrucciones: Las instrucciones distribuidas (solicitudes de par de Bell, CNOT entre circuitos, condicionales) constituyen una fracción constante de las instrucciones totales (por ejemplo, 37.5% para teletransportación), escalando linealmente con el tamaño del registro.

Ejecución de Hardware (Mismo Chip)

Configuración: Las ejecuciones se realizaron en dos procesadores IBM Heron (ibm_kingston, ibm_fez), particionados en QPUs virtuales (sectores disjuntos).
Tasas de Éxito:
- Protocolos simples (codificación densa, teletransportación de 1 y 2 qubits) lograron >90% de éxito.
- Protocolos complejos construidos a partir de compuertas teletransportadas (Grover, Toffoli, código de repetición) mostraron una degradación significativa (por ejemplo, Toffoli 45–73%, código de repetición 38–67%).
Variabilidad: Las tasas de éxito variaron significamente entre sesiones (hasta 3 puntos de diferencia) y sectores físicos, incluso cuando los datos de calibración sugerían un rendimiento similar.
Verificaciones de Coherencia:
- Toffoli: Las verificaciones sensibles a la coherencia no lograron establecer una operación Toffoli coherente; las tasas de éxito estuvieron muy por debajo de las predicciones del modelo de ruido.
- Código de Repetición: La superposición lógica pretendida no se preservó; el sistema no demostró ventajas de corrección de errores sobre los qubits no codificados.
Pérdida Excesiva: Los flujos de trabajo profundos perdieron hasta 65 puntos porcentuales en comparación con las simulaciones usando el modelo de ruido reportado del dispositivo. Las sondas sugieren que esta pérdida no se debe únicamente a errores de compuerta/lectura, sino que puede provenir de la acumulación de fase de qubits ociosos, perturbaciones en la ejecución condicional o defectos de qubits no reportados.

5. Significado y Reivindicaciones

El artículo afirma que QQLink demuestra con éxito que la semántica de coordinación multi-QPU puede capturarse en una abstracción de flujo de trabajo agnóstica respecto al backend.

Portabilidad: El mismo programa se ejecuta sin cambios en simuladores y en hardware particionado.
Coordinación Automática: El planificador deriva todas las dependencias necesarias entre nodos (referencias de medición y orden de qubits) automáticamente, eliminando la carga de la sincronización manual del desarrollador.
Separación de Preocupaciones: El marco separa la lógica de la aplicación de la infraestructura de ejecución, permitiendo que el mismo flujo de trabajo se ejecute mediante un vector de estado compartido, procesos separados con paso de mensajes o un solo circuito dinámico en hardware.
Limitaciones de Hardware: El artículo concluye modestamente que, si bien las semánticas de software han sido validadas, las realizaciones de hardware actuales (específicamente las QPU virtuales en el mismo chip) exhiben una pérdida excesiva y problemas de coherencia significativos que impiden la ejecución fiable de protocolos profundos con mucho feedforward. Los resultados identifican límites del hardware actual en lugar de del marco de software.
Trabajo Futuro: El artículo establece explícitamente que la ejecución físicamente distribuida a través de redes de QPU sigue siendo un trabajo futuro. Los resultados de hardware actuales se limitan a demostraciones de mismo chip, de QPU virtual.

El trabajo posiciona a QQLink como una capa necesaria por encima de los SDK existentes para permitir la "interacción bidireccional" requerida para la computación cuántica distribuida, cerrando la brecha entre la intención de la aplicación y la ejecución de protocolos complejos de múltiples nodos.