HPC-vQPU: A Service-Export Architecture for Virtual QPUs on Batch-Scheduled HPC Systems

Este artículo presenta HPC-vQPU, una arquitectura de exportación de servicios que habilita la simulación virtual de QPU segura y fiel al dispositivo en sistemas HPC programados por lotes, desacoplando un plano de control orientado a la nube de un plano de ejecución residente en HPC mediante coordinación saliente y snapshots de dispositivo inmutables y conscientes de la calibración.

Lo esencial

El Gran Problema: Dos Mundos Diferentes

Imagina que tienes una cocina muy potente y de alta tecnología (una Supercomputadora) capaz de preparar comidas masivas para miles de personas a la vez. Sin embargo, esta cocina tiene reglas estrictas:

1. Sin Entradas Directas: No puedes simplemente entrar y pedir una comida. Debes llenar un formulario, hacer fila y el personal de la cocina solo comenzará a cocinar cuando tengan una estufa libre.
2. Sin Contacto Directo: Una vez que tu comida está siendo cocinada en la cocina, los chefs están aislados. No pueden llamarte por teléfono para hacerte preguntas o decirte cómo va. Solo pueden enviar una nota cuando han terminado.

Ahora, imagina que eres un Científico Cuántico. Quieres ejecutar un experimento muy específico y delicado (un "Circuito Cuántico") que requiere un conjunto específico de ingredientes y un estilo de cocina particular (calibración y topología). Esperas un servicio donde puedas decir: "Prepara este plato en la estufa 'IBM Fez'", y obtener el resultado al instante.

El Conflicto: El científico quiere una experiencia interactiva de "pedir y esperar". La Supercomputadora solo ofrece una experiencia de "llenar un formulario y hacer fila". Si intentas forzar a la cocina a hablarte directamente, rompes las reglas de seguridad de la cocina.

La Solución: HPC-VQPU

Los autores construyeron un sistema llamado HPC-VQPU para cerrar esta brecha. Piénsalo como un Camarero Inteligente que sabe exactamente cómo hablar tanto con el científico como con la cocina sin romper ninguna regla.

Así es como funciona, paso a paso:

1. El Equipo de Dos Partes

El sistema se divide en dos roles distintos, al igual que un restaurante tiene una Sala y una Cocina.

• El Plano de Control (Sala): Esta es la parte con la que habla el científico. Parece una aplicación normal y amigable. Toma tu pedido, verifica si tus ingredientes son válidos y te da un recibo. Vive fuera de la cocina segura.
• El Plano de Ejecución (Cocina): Esta es la parte dentro de la cocina segura. Es un humilde "Corredor" (un agente) que vive en el mostrador de entrada de la cocina. No puede llamar a la Sala; solo puede pedirle trabajo a la Sala.

2. La Regla de "Solo Salida" (La Puerta de Una Vía)

La cocina tiene una política de seguridad estricta: Nadie dentro puede llamar al mundo exterior para iniciar una conversación. El mundo exterior tampoco puede llamar hacia adentro.

• Cómo lo resuelve HPC-VQPU: El Corredor dentro de la cocina sigue llamando a la puerta (sondeando) y preguntando: "¿Tienen algún pedido para mí?".
• La Sala nunca llama al Corredor. Solo espera a que el Corredor pregunte. Esto mantiene la cocina segura porque no se abren ninguna "puerta trasera".

3. El Contrato de "Instantánea" (La Receta Congelada)

Esta es la parte más importante del artículo.

• El Problema: Las computadoras cuánticas son como seres vivos; su "sabor" (calibración) cambia cada día. Si pides un plato hoy, pero la cocina no empieza a cocinarlo hasta mañana, los ingredientes podrían haber cambiado y el plato no sabrá bien.
• La Vieja Forma: Si simplemente enviabas una solicitud, la cocina podría buscar la receta cuando empieza a cocinar. Pero para entonces, la receta podría haber cambiado, o la cocina podría estar demasiado ocupada para buscarla.
• La Forma HPC-VQPU: Cuando el Corredor pide un pedido, la Sala no dice simplemente "Ve a cocinar esto". Entrega una Tarjeta de Receta Congelada (una "Instantánea").
  • Esta tarjeta contiene el estado exacto de los ingredientes, la configuración de la estufa y las instrucciones de cocina en el momento exacto en que el Corredor tomó el pedido.
  • El Corredor toma esta tarjeta, entra en la cocina aislada y cocina solo usando esa tarjeta. No necesita buscar la receta nuevamente.
  • Por qué esto importa: Incluso si el libro de recetas principal de la cocina cambia una hora después, tu plato se cocina usando la "Receta Congelada" que te dieron. El resultado está garantizado para ser consistente con la "Computadora Cuántica Virtual" específica que pediste.

4. La "Reclamación" (Asumir la Propiedad)

Imagina una cocina ocupada con dos corredores.

• El Riesgo: Si ambos corredores piden el mismo pedido al mismo tiempo, podrían intentar cocinarlo ambos, desperdiciando ingredientes y obteniendo dos resultados diferentes.
• La Solución: La Sala tiene un candado especial. Cuando un Corredor pide trabajo, la Sala dice: "Bien, TÚ tienes este pedido ahora". Marca instantáneamente el pedido como "Tomado" y entrega la Tarjeta de Receta Congelada a ese Corredor específico.
• Si otro Corredor pide el mismo pedido un segundo después, la Sala dice: "Lo siento, eso ya está tomado". Esto asegura que el trabajo se haga exactamente una vez.

5. El "Latido" (Verificación)

Dado que los corredores de la cocina no pueden llamar hacia afuera, ¿cómo sabe la Sala que aún están vivos?

• El Corredor envía una pequeña señal de "Sigo aquí" (un latido) cada pocos segundos.
• Si el Corredor se bloquea o desaparece, la Sala nota que los latidos se detienen. No entra en pánico; simplemente espera a que un gerente humano diga: "Bien, vamos a darle ese pedido a un Corredor diferente". Esto evita que el sistema se quede atascado o pierda datos.

¿Qué Demostraron?

Los autores probaron este sistema en una supercomputadora real (Setonix) y demostraron:

1. Es lo suficientemente rápido: El "camarero" no ralentiza la cocina. El tiempo extra añadido es mínimo y no empeora a medida que la cocina se vuelve más difícil.
2. Es preciso: La "Receta Congelada" funciona. Cuando utilizaron datos del mundo real que cambian, el sistema cocinó el plato usando la receta actual en el momento del pedido, no una antigua.
3. Es seguro: Incluso si el Corredor se bloquea, el sistema sabe exactamente qué sucedió y puede recuperarse sin perder el pedido ni cocinarlo dos veces.
4. Es seguro: Funciona perfectamente sin romper nunca las reglas de seguridad de la supercomputadora (nadie dentro llama hacia afuera para iniciar una conversación).

Resumen

HPC-VQPU es una forma inteligente de permitir que los científicos utilicen una supercomputadora segura y superpotente como si fuera una computadora cuántica interactiva y amigable. Lo hace utilizando un "Corredor" que pide trabajo, entregando "Tarjetas de Receta Congelada" para que la cocina sea consistente, y asegurándose de que nadie rompa las reglas estrictas de seguridad de la cocina. Convierte un sistema rígido y burocrático en un servicio fluido y confiable.

Resumen técnico

Resumen Técnico: HPC-VQPU

Declaración del Problema

El artículo aborda la discrepancia fundamental entre los requisitos de la simulación cuántica consciente del dispositivo y las restricciones operativas de los sistemas de Computación de Alto Rendimiento (HPC) seguros y programados por lotes. Si bien la investigación cuántica moderna depende cada vez más de simuladores que modelan topologías específicas de dispositivos, conjuntos de puertas nativas y parámetros de ruido derivados de la calibración, la infraestructura HPC está diseñada para una ejecución mediada por planificadores en lugar de servicios interactivos orientados a dispositivos.

Tres desafíos principales impiden la exportación directa de la simulación cuántica como servicio desde entornos HPC:

1. Inversión de Conectividad: Los clústeres HPC seguros prohíben típicamente las conexiones entrantes a los nodos de cómputo. Los desarrolladores cuánticos esperan enviar circuitos a un backend con nombre y recuperar resultados de forma interactiva, pero los modelos de seguridad de HPC solo permiten comunicación saliente desde los nodos de inicio de sesión. Un modelo estándar de "empuje" donde un servicio despacha trabajos a trabajadores no está estructuralmente disponible.
2. Preservación Semántica: Un "QPU virtual" no es meramente un ejecutor de circuitos; es un punto final definido por software que expone topología, calibración y restricciones de ruido. En un sistema por lotes, una tarea puede permanecer en una cola durante horas mientras el estado de calibración del dispositivo cambia. Si la semántica de ejecución no está vinculada a un punto específico en el tiempo, el resultado puede dejar de corresponder al dispositivo virtual solicitado, invalidando científicamente la simulación para el desarrollo de compiladores o estudios de enrutamiento.
3. Complejidad Operativa: La ejecución mediada por lotes introduce un superficie de fallo más allá de los errores simples de la aplicación, incluyendo retrasos del planificador, fallos de nodos, desaparición de agentes y artefactos malformados. Un servicio viable debe conciliar la semántica de ciclo de vida interactiva (enviar, monitorear, recuperar) con la observabilidad parcial y la naturaleza asíncrona de la programación de trabajos en HPC.

Metodología y Arquitectura

Los autores proponen HPC-VQPU, una arquitectura de exportación de servicios que separa la autoridad del servicio de la ejecución gobernada por el planificador. El sistema se organiza en dos planos distintos que se comunican exclusivamente mediante mensajes iniciados por agentes salientes, preservando la frontera de seguridad de HPC.

1. Descomposición de Dos Planos

• Plano de Control (Orientado a la Nube): Alojado externamente al clúster HPC, este plano gestiona la API, el ciclo de vida de las tareas, la identidad del dispositivo y la proyección de eventos. Es autoritativo para el estado de la tarea, pero no contiene funcionalidad orientada al planificador ni conectividad entrante al clúster.
• Plano de Ejecución (Residente en HPC): Implementado por un vqpu_agent sin privilegios que se ejecuta en un nodo de inicio de sesión de HPC. Este agente inicia toda la coordinación. Consulta el plano de control en busca de trabajo, reclama tareas, envía trabajos al planificador (por ejemplo, Slurm) e informa los resultados. No posee verdad duradera del servicio y es reconstruible tras un reinicio.

2. El Contrato de Instantánea

La abstracción central es la instantánea del dispositivo ($\Delta$), una representación estructurada en grafos de un dispositivo virtual que contiene topología, puertas nativas y parámetros de calibración (tiempos de coherencia, tasas de error).

• Vinculación en el Momento de la Reclamación: Para resolver la tensión entre el retraso de la cola y la frescura de la calibración, la instantánea se vincula atómicamente en el momento de la reclamación, no en el momento del envío. Cuando un agente reclama una tarea, el plano de control transfiere la propiedad y proporciona la instantánea inmutable ($\delta_i$) como parte del contrato de ejecución.
• Ejecución Hermética: El ejecutor en el nodo de cómputo recibe una carga útil local que contiene el circuito y la instantánea vinculada. Ejecuta la simulación (por ejemplo, usando Qiskit-Aer/cuQuantum) completamente fuera de línea, derivando modelos de ruido de la instantánea sin contactar al plano de control. Esto asegura que la semántica de ejecución sea invariante a los cambios en el estado del dispositivo que ocurran después de la reclamación.

3. Ciclo de Vida de la Tarea y Protocolo

El sistema emplea un autómata de tareas de cinco estados ($\{QUEUED, RUNNING, COMPLETED, FAILED, CANCELLED\}$) gestionado por el plano de control.

• Protocolo Asimétrico: El agente inicia las operaciones CLAIM (Reclamar), HEARTBEAT (Latido) y REPORT (Informar). El plano de control nunca empuja estados hacia adentro.
• Propiedad Atómica: La operación CLAIM es el punto de linealización para la propiedad. Transiciona atómicamente una tarea de QUEUED a RUNNING y asigna un propietario único, evitando la ejecución duplicada por agentes concurrentes.
• Recuperación: Si un agente falla, la tarea permanece en RUNNING con un propietario obsoleto. La recuperación requiere una acción administrativa explícita (por ejemplo, REQUEUE), asegurando que la ambigüedad no se resuelva silenciosamente y que se preserve la línea de ejecución.

Contribuciones Clave

El artículo presenta cuatro contribuciones principales:

1. Arquitectura de Exportación de Servicios: Una descomposición de plano de control/plano de ejecución que resuelve la inversión de conectividad mediante coordinación solo saliente, permitiendo que los sistemas HPC seguros exporten simulación consciente del dispositivo sin debilitar sus posturas de seguridad.
2. Abstracción de Instantánea de Dispositivo: Un contrato de ejecución portátil y estructurado en grafos que vincula topología y semántica de calibración atómicamente en el momento de la reclamación, asegurando que los trabajos programados permanezcan fieles al estado del dispositivo virtual solicitado.
3. Ciclo de Vida Consciente del Planificador: Un autómata de tareas de cinco estados con un protocolo asimétrico de reclamación/informe/latido que concilia la semántica de servicio interactiva con la ejecución mediada por lotes y la observabilidad parcial.
4. Implementación de Referencia y Validación: Un despliegue de producción en el Centro de Investigación de Supercomputación Pawsey utilizando GPUs Setonix, Qiskit-Aer y datos de calibración IBM Fez, demostrando la viabilidad de la arquitectura.

Resultados Experimentales

Los autores validan la arquitectura mediante pruebas de regresión y experimentos de producción de extremo a extremo, obteniendo los siguientes resultados:

• Sobrecarga Acotada: La sobrecarga de exportación de servicios es aditiva y acotada. La latencia visible en la interfaz (admisión y consulta) permanece constante (~0.4s de admisión, ~22-27s de cola a reclamación) independientemente del tamaño del circuito (28–32 qubits). La escalabilidad exponencial de la simulación permanece confinada al sustrato de cómputo.
• Fidelidad de Calibración: Los experimentos que utilizan datos reales de calibración de IBM Fez frente a instantáneas ideales (nulas) demuestran que el contenido de la instantánea altera directamente las distribuciones de salida. El sistema propaga correctamente los parámetros de ruido derivados de la calibración al simulador.
• Vinculación en el Momento de la Reclamación: Cuando la calibración de un dispositivo se modifica administrativamente después del envío pero antes de la reclamación, el sistema ejecuta correctamente la tarea utilizando el estado posterior a la modificación (ideal). Esto confirma que la instantánea se vincula en el momento de la reclamación, evitando una ejecución obsoleta.
• Concurrencia e Integridad: En una prueba multiagente con 50 tareas y dos agentes concurrentes, todas las tareas se completaron exactamente una vez con una división casi pareja (24:26). No ocurrieron reclamaciones duplicadas ni propiedades ambiguas.
• Recuperación: Tras un fallo de agente, tres tareas RUNNING se recuperaron exitosamente mediante reencolado explícito, completándose sin ejecución duplicada ni reinterpretación silenciosa del estado.

Significado y Afirmaciones

El artículo afirma que HPC-VQPU demuestra que los superordenadores seguros y programados por lotes pueden exportar servicios interactivos semánticamente ricos sin dejar de operar como sistemas HPC. El significado radica en la capacidad de preservar la fidelidad del dispositivo (topología, puertas nativas, calibración) a través de la frontera del planificador.

Los autores posicionan este trabajo no como una optimización de rendimiento para los núcleos de simulación, sino como una solución de sistemas para la frontera del servicio. Al tratar la instantánea del dispositivo como un contrato de primera clase indexado en el tiempo, la arquitectura permite que los flujos de trabajo de software cuántico (evaluación de compiladores, enrutamiento, estudios de ruido) interactúen con los recursos HPC como si fueran QPUs virtuales interactivos. Las invariantes de diseño (conectividad solo saliente, reclamación atómica, ejecución hermética) se presentan como condiciones necesarias para que los resultados sean científicamente interpretables como ejecución en un dispositivo virtual específico, incluso frente a retrasos en la cola y fallos de infraestructura.

El artículo concluye con modestia, reconociendo que la evaluación se centra en un único sitio de producción y ruta de simulación, y que la arquitectura proporciona semánticas de ciclo de vida autoritativas en lugar de una prueba de ejecución "exactamente una vez" en el sentido completo de los sistemas distribuidos. Sin embargo, afirma que la separación propuesta de autoridad y realización ofrece un camino viable para integrar la simulación a escala HPC en el ecosistema interactivo de software cuántico.