QuPort: Topology-, Port-, and Congestion-Aware Compilation for Modular Multi-QPU Quantum Systems

Este artículo presenta QuPort, un marco de compilación para sistemas modulares de múltiples QPU que emplea un modelo de tres niveles y el algoritmo TPCCAP para optimizar conjuntamente la asignación de qubits, la asignación de puertos y la congestión de interconexiones, minimizando así el tráfico entre QPU y los cuellos de botella de comunicación.

Lo esencial

Imagina que estás intentando organizar una fiesta masiva y compleja donde los invitados son "bits cuánticos" (qubits) y las salas donde se reúnen son pequeñas computadoras cuánticas separadas llamadas QPUs.

Antiguamente, todos los invitados estaban en un gran salón de baile. La tarea del "organizador de fiestas" (el compilador) era simplemente asegurarse de que los invitados que necesitaban hablar entre sí estuvieran parados uno al lado del otro. Si no lo estaban, el organizador tenía que reorganizar a la gente (un proceso llamado "enrutamiento") hasta que pudieran charlar.

Pero ahora, estamos construyendo computadoras cuánticas modulares. En lugar de un gran salón de baile, tenemos un edificio con muchas salas pequeñas y separadas (QPUs). Algunas salas están conectadas por pasillos, pero los pasillos son estrechos y costosos de usar.

Este artículo presenta un nuevo organizador de fiestas llamado QuPort. Así es como funciona, usando analogías simples:

1. Los Tres Mapas

Para planear la fiesta, QuPort examina tres mapas diferentes al mismo tiempo:

• La Lista de Invitados (Grafo Lógico): ¿Quién necesita hablar con quién y cuánto? (Algunos invitados son mejores amigos y necesitan hablar constantemente; otros solo dicen "hola" una vez).
• El Diseño de la Sala (Mapa Físico): Dentro de cada sala pequeña, ¿qué sillas están una al lado de la otra?
• El Plano del Edificio (Grafo de Interconexión): ¿Cómo están conectadas las salas? ¿Hay pasillos directos o tienes que caminar a través de otras tres salas para llegar a la siguiente?

2. El Gran Problema: El Cuello de Botella de la "Puerta"

Si pones a dos mejores amigos en salas diferentes, tienen que gritar a través del pasillo. Pero hay dos grandes problemas:

1. Demasiados gritos: Si demasiados pares de amigos están en salas diferentes, los pasillos se congestionan.
2. Pocas puertas: Cada sala tiene solo unas pocas "puertas de comunicación" (puertos). Si pones 100 invitados en una sala pero solo 5 de ellos necesitan gritar hacia el exterior, solo puedes dejar salir a 5 a la vez. El resto queda atrapado.

3. La Solución: La Estrategia TPCCAP

QuPort utiliza una estrategia especial llamada TPCCAP para decidir quién va a qué sala. Intenta equilibrar tres cosas:

• Distancia: Intenta mantener a los mejores amigos en la misma sala. Si deben estar en salas diferentes, los coloca en salas que sean vecinas cercanas (pasillos cortos).
• Presión de Puertas: Asegura que ninguna sala se vea forzada a usar más "puertas" de las que realmente tiene. No pondrá a 10 invitados gritando en una sala con solo 5 puertas.
• Tráfico de Pasillos: Distribuye los gritos para que ningún pasillo individual se atasque con demasiado tráfico.

4. Cómo QuPort Planea la Fiesta (Los Algoritmos)

QuPort no solo adivina; utiliza algunos trucos inteligentes para encontrar el mejor arreglo:

• Agrupación de Bordes Pesados: Examina primero las amistades más fuertes y mantiene esos pares juntos en la misma sala antes de preocuparse por el resto.
• Codicioso Equilibrado: Llena las salas un invitado a la vez, eligiendo siempre la sala que tiene más sentido para ese invitado sin hacer que la sala esté demasiado abarrotada.
• Recocido Simulado: Esta es como una fase de "segunda opinión". Después del plan inicial, prueba cambios aleatorios pequeños (como intercambiar a dos invitados) para ver si la fiesta transcurre mejor. Si un cambio mejora las cosas, lo mantiene. Si las empeora, podría mantenerlo por un momento para evitar quedarse atrapado en un plan "suficientemente bueno" pero no "perfecto".

5. La Lista de "Eventos Remotos"

Una vez que los invitados están asignados a las salas, QuPort crea una lista de instrucciones especial.

• Instrucciones Locales: "El invitado A y el invitado B están en la Sala 1. Pueden hablar normalmente".
• Eventos Remotos: "El invitado A está en la Sala 1 y el invitado B está en la Sala 2. Necesitan hablar".

QuPort no determina cómo hablan a través del pasillo (si usan láseres, cables o magia). Simplemente marca el punto donde esa conversación necesita ocurrir y le dice a los ingenieros de hardware: "Necesitan construir un protocolo aquí para manejar este grito específico".

6. El Cronograma

Finalmente, QuPort estima cuánto durará la fiesta. Cuenta cuántos "gritos" pueden ocurrir al mismo tiempo sin congestionar los pasillos o quedarse sin puertas. Proporciona una estimación aproximada del tiempo total (makespan) basada en estas reglas abstractas.

Lo Que QuPort NO Es

El artículo es muy claro sobre lo que esta herramienta no es:

• No es una máquina física.
• No conoce la física específica de tu computadora cuántica (como cuánto dura una batería o cuánto error produce un láser).
• No realiza realmente los "gritos" a través de las salas.

En resumen: QuPort es un controlador de tráfico inteligente para una computadora cuántica modular. Determina la mejor manera de dividir el trabajo entre diferentes computadoras pequeñas para que no queden atrapadas esperando unas a otras, al tiempo que asegura que no intenten usar más puertas o pasillos de los que realmente existen. Prepara las instrucciones para que los ingenieros de hardware reales puedan luego determinar la mejor manera de construir la tecnología de "gritos".

Resumen técnico

Resumen Técnico: QuPort - Compilación Consciente de Topología, Puertos y Congestión para Sistemas Modulares de Múltiples QPU

1. Declaración del Problema

Las arquitecturas cuánticas modulares, que conectan múltiples Unidades de Procesamiento Cuántico (QPU) mediante interconexiones, presentan un desafío de compilación único y distinto al de los dispositivos monolíticos. En la compilación de un solo dispositivo, la restricción principal es el mapa de acoplamiento local; las interacciones no locales se resuelven mediante la inserción de operaciones SWAP. Sin embargo, en sistemas modulares, las interacciones entre qubits en diferentes QPU no son meramente puertas locales "más largas", sino que dependen de recursos de comunicación escasos: la topología de la interconexión, los puertos de comunicación y la capacidad del enlace.

Los compiladores existentes a menudo tratan la comunicación entre QPU como una preocupación secundaria o la ocultan dentro del enrutamiento estándar. Este enfoque es insuficiente para sistemas modulares porque una asignación aceptable en un único grafo de acoplamiento puede fallar en un entorno modular si:

1. Genera un tráfico excesivo entre QPU.
2. Concentra el tráfico en un pequeño número de enlaces de interconexión (causando congestión).
3. Asigna demasiados qubits de frontera (qubits que interactúan con otras QPU) a una QPU con puertos de comunicación insuficientes.

El artículo aborda la necesidad de un marco de compilación que razone explícitamente sobre la conectividad local del dispositivo y la comunicación entre QPU simultáneamente, antes de la selección de un protocolo específico de puerta remota física (por ejemplo, enlaces fotónicos, generación de entrelazamiento).

2. Metodología

QuPort es un marco de compilación basado en Python construido sobre Qiskit. Introduce un modelo de sistema de tres niveles y un algoritmo de particionamiento específico para optimizar el uso de recursos.

2.1 Modelo del Sistema

El marco abstrae el problema de compilación en tres grafos distintos:

1. Grafo de Interacción Lógica ($G_L$): Un grafo no dirigido ponderado donde los nodos son qubits lógicos y los pesos de las aristas representan la frecuencia o la importancia temporal de las interacciones de dos qubits.
2. Mapa de Acoplamiento Físico: Un grafo dirigido que representa la conectividad dentro de cada QPU individual (por ejemplo, cuadrícula, anillo, clique).
3. Grafo de Interconexión de QPU ($G_Q$): Un grafo no dirigido que representa la topología que conecta las QPU (por ejemplo, malla, anillo, Clos, árbol graso). Este grafo se utiliza para calcular las distancias de salto y las cargas de los enlaces.

El sistema asume $N$ QPU, cada una con $C$ qubits de cómputo y $P$ qubits de comunicación. Una partición lógica-a-QPU ($\pi$) debe respetar la restricción de capacidad ($C+P$) por QPU.

2.2 El Objetivo TPCCAP

El núcleo de QuPort es la función objetivo TPCCAP (Particionamiento Consciente de Topología, Puertos y Congestión), $J(\pi)$, que minimiza una suma ponderada de tres términos de costo:

1. Distancia de Corte Ponderada: $\sum w_{ij} \cdot d(\pi(i), \pi(j))$. Esto penaliza las interacciones entre qubits asignados a QPU que están lejos en el grafo de interconexión, donde $d$ es la distancia del camino más corto.
2. Desbordamiento de Puertos de Comunicación: $\sum \max(0, b_q - P)^2$. Esto penaliza las QPU donde el número de qubits de frontera ($b_q$) excede los puertos de comunicación disponibles ($P$).
3. Congestión de Carga de Enlace Enrutada: $\sum L_e^2$. Esto penaliza la carga al cuadrado en las aristas de interconexión ($e$), desalentando la concentración de tráfico en enlaces específicos.

2.3 Algoritmos

QuPort implementa una canalización de heurísticas para resolver el problema de particionamiento y distribución:

• Agrupación de Aristas Pesadas: Fusiona pares lógicos de alto peso en clústeres siempre que el tamaño del clúster no exceda la capacidad de la QPU.
• Particionamiento Greedy Equilibrado: Asigna qubits lógicos uno por uno basándose en el grado ponderado, equilibrando la carga entre las QPU mientras recompensa la colocación cerca de vecinos ya asignados.
• Búsqueda Local TPCCAP: Refina la partición inicial moviendo qubits para reducir el objetivo $J(\pi)$ mientras se mantienen las restricciones de capacidad.
• TPCCAP-SA (Recocido Simulado): Añade una etapa de refinamiento estocástica para escapar de mínimos locales aceptando ocasionalmente movimientos que aumentan la función objetivo.
• Diseño Consciente de Puertos de Comunicación: Después del particionamiento, selecciona qubits lógicos específicos para ocupar los puertos de comunicación basándose en su "puntuación externa" (peso total de interacciones con otras QPU).
• Construcción de Programa Distribuido: En modo distribuido, el marco extrae las operaciones de dos qubits entre QPU como eventos remotos explícitos e inserta barreras de sincronización, mientras enruta las operaciones locales solo dentro de sus respectivos mapas de acoplamiento de QPU.

2.4 Programación y Estimación de Costos

QuPort incluye un estimador consciente de la topología que aproxima el tiempo de ejecución (makespan) utilizando parámetros de costo abstractos:

• Costos Locales: Tiempos de ejecución de puertas para operaciones de un qubit, dos qubits y SWAP.
• Costos Remotos: Un modelo que combina el costo de generación de entrelazamiento ($\tau_E$), el costo de ida y vuelta clásico ($\tau_C$) y la sobrecarga remota ($\tau_R$).
• Programación: Las operaciones remotas se empaquetan en "rondas" basadas en los puertos de comunicación disponibles y las capacidades de los enlaces, respetando la topología de la interconexión.

3. Contribuciones Clave

1. Abstracción Explícita de Tres Niveles: El artículo propone una abstracción a nivel de compilador que separa el grafo de interacción lógica, el mapa de acoplamiento físico y el grafo de interconexión de QPU. Esta separación permite la optimización de costos específicos de modularidad (distancia, puertos, congestión) que son invisibles para los compiladores monolíticos estándar.
2. El Objetivo TPCCAP: Una función objetivo novedosa que optimiza conjuntamente la distancia de la QPU, la escasez de puertos de comunicación y la congestión de enlaces, en lugar de tratarlos como preocupaciones separadas o secundarias.
3. Ruta de Compilación Distribuida: Un mecanismo que produce una representación intermedia donde los circuitos locales y los eventos remotos están explícitamente separados. Esto permite al compilador generar programaciones conscientes de la modularidad sin comprometerse con una implementación específica de hardware de puertas remotas.
4. Marco de Código Abierto: La implementación de estos algoritmos en Python/Qiskit, proporcionando un entorno reproducible para estudiar estrategias de compilación modular.

4. Resultados y Validación

El artículo se centra en la estructura algorítmica y la corrección del marco en lugar de reportar resultados de tiempo de ejecución de hardware calibrados.

• Corrección: Los autores proporcionan pruebas formales (Proposiciones 1 y 2) que demuestran que sus algoritmos de particionamiento (Aristas Pesadas, Greedy, TPCCAP, TPCCAP-SA) satisfacen estrictamente las restricciones de capacidad por QPU y que sus rutinas de enrutamiento de múltiples caminos conservan el peso del tráfico.
• Validación: El marco aplica comprobaciones de validación en las entradas de partición, la construcción del diseño y las matrices de tráfico para garantizar valores finitos, no negativos y simétricos.
• Alcance de los Resultados: El artículo no afirma superar protocolos de hardware específicos ni proporcionar tasas de error calibradas. En su lugar, demuestra que el marco genera exitosamente particiones válidas y programas distribuidos que respetan las restricciones abstractas definidas.

5. Significado y Afirmaciones

El artículo posiciona a QuPort como una abstracción a nivel de compilador en lugar de una implementación de hardware. Su significado radica en:

• Desacoplar la Compilación de los Protocolos de Hardware: Al separar el particionamiento lógico y la extracción de eventos remotos de la realización física de las puertas remotas, QuPort permite a los investigadores estudiar la estructura algorítmica de la compilación modular antes de que se finalize una tecnología de interconexión específica (por ejemplo, fotónica frente a microondas).
• Mapeo Consciente de Recursos: Destaca que la compilación modular requiere un cambio de minimizar SWAPs a minimizar la "distancia de corte", el "desbordamiento de puertos" y la "congestión de enlaces".
• Modestia en las Afirmaciones: Los autores declaran explícitamente que el marco no afirma un tiempo de ejecución de hardware calibrado, ni implementa un protocolo físico de puerta remota. Los "eventos remotos" son representaciones intermedias que indican dónde un backend debe suministrar un protocolo. El estimador de programación se describe como un "modelo greedy basado en capas", no como un programador de control de red verificado.

En resumen, QuPort proporciona un enfoque estructurado y guiado por heurísticas al complejo problema de asignación de recursos inherente a la computación cuántica modular, ofreciendo una herramienta para explorar las compensaciones entre topología, disponibilidad de puertos y congestión de manera agnóstica a la plataforma.