Resumen Técnico: QBX - Un compilador para la simulación de Hamiltonianos de 2 locales en qubits sobre chiplets cuánticos

Planteamiento del Problema

La simulación de Hamiltonianos de 2 locales en qubits es una tarea fundamental en la computación cuántica, esencial para aplicaciones que van desde la ciencia de materiales (modelos de Ising, XY y Heisenberg) hasta algoritmos de optimización como QAOA. Sin embargo, ejecutar estas simulaciones en dispositivos actuales de escala intermedia con ruido (NISQ) es un desafío debido a la capacidad limitada de qubits, la decoherencia y el ruido de las operaciones.

Mientras que los chips cuánticos monolíticos enfrentan obstáculos de escalabilidad como colisiones de frecuencia y reducción de rendimientos de fabricación, las arquitecturas de chiplets (Módulos Multi-Chip o MCM) han emergido como una solución de escalado viable. Estos arquitecturas conectan múltiples chiplets más pequeños, pero introducen desafíos de compilación únicos:

1. Costos de Comunicación: Los acoplamientos entre chiplets son significativamente más ruidosos y costosos que los enlaces dentro de un mismo chiplet.
2. Heterogeneidad: Los compiladores de propósito general existentes (por ejemplo, Qiskit, t|ket⟩) tratan todas las conexiones de qubits de manera uniforme, ignorando la disparidad de ruido entre los enlaces intra-chiplet y cross-chiplet, lo que conduce a una fidelidad subóptima.
3. Escalabilidad de los Compiladores de Dominio Específico: Los compiladores de dominio específico existentes para la simulación de Hamiltonianos están diseñados para arquitecturas monolíticas. No logran escalar a los tamaños de problema adecuados para sistemas de chiplets y carecen de optimizaciones para la comunicación cross-chiplet.
4. Subutilización de Características de Hardware: Los mecanismos específicos de los chiplets, como las autopistas (highways, recursos de entrelazamiento de largo alcance eficientes), no son plenamente aprovechados por los compiladores actuales para reducir la profundidad de enrutamiento o agregar operaciones.

Metodología

Los autores proponen QBX, el primer compilador cuántico de dominio específico diseñado explícitamente para la simulación de Hamiltonianos de 2 locales en qubits sobre arquitecturas de chiplets. QBX emplea un enfoque jerárquico y escalable que integra optimizaciones semánticas de alto nivel con un mapeo consciente del hardware.

Conceptos Clave

1. Conjuntos de Pauli y Bloques:

   • Conjuntos de Pauli: QBX agrega múltiples cadenas de Pauli de 2 locales del mismo tipo (por ejemplo, $ZZ$, $YY$, $XX$) que comparten un qubit de control común (raíz). Esta agregación las transforma en una unidad única apta para puertas controladas de múltiples objetivos.
   • Bloques de Pauli: Un grupo de conjuntos de Pauli con los mismos qubits de control y objetivo pero diferentes tipos de Pauli (por ejemplo, $ZZ$, $YY$, $XX$ actuando sobre el mismo par). Esta estructura permite la reutilización de la autopista (highway reuse).

2. Mecanismo de Autopista (Highway):

   • QBX utiliza "autopistas", que son estados entrelazados (estados GHZ generalizados o tipo cat) que permiten una comunicación de largo alcance de profundidad constante.
   • Reutilización de Control-Vacío (Control-Empty Reuse): Si dos puertas de autopista comparten el mismo control y objetivos y están separadas únicamente por puertas que actúan sobre los objetivos, el estado de la autopista puede reutilizarse sin reconstrucción.
   • Reutilización Cross-Y: En secuencias específicas (por ejemplo, $ZZ$ seguido de $YY$), la autopista puede reutilizarse aplicando una puerta $Y$ al control y puertas $X$ a los qubits de la autopista, evitando el costo de reconstruir el entrelazamiento.

Pipeline de Compilación

QBX procesa el Hamiltoniano a través de cinco etapas distintas:

1. Particionador de Grafos de Pauli: Construye un grafo donde los nodos son qubits y las aristas representan las interacciones de las cadenas de Pauli. Particiona este grafo en subgrafos (conjuntos) para minimizar el número de cadenas de Pauli que abarcan múltiples conjuntos. Esto se formula como un problema de optimización restringida resuelto mediante Programación Lineal Entera (ILP) o la heurística METIS para escalabilidad.
2. Orquestador de Conjuntos: Mapea los conjuntos particionados a chiplets físicos. Resuelve un Problema de Asignación Cuadrática (QAP) mediante ILP para minimizar el costo total de comunicación (ponderado por distancia e intensidad) entre chiplets.
3. Programador de Bloques de Pauli: Agrega cadenas de Pauli dentro de cada conjunto en bloques de Pauli. Programa estos bloques en capas, determinando si utilizar autopistas (para bloques cross-chiplet o de gran tamaño intra-chiplet) o enrutamiento local. Maximiza la concurrencia ejecutando bloques disjuntos en paralelo.
4. Mapeador Intra-chiplet: Mapea qubits lógicos a registros físicos dentro de cada chiplet, optimizando para la localidad de corto plazo (por ejemplo, usando el mapeador SABRE).
5. Generador de Circuitos: Sintetiza las capas de programación en un circuito final. Reordena dinámicamente las capas conmutativas para minimizar las distancias de enrutamiento e implementa la lógica de construcción, entrelazamiento y reutilización de la autopista (Control-empty y Cross-Y).

Contribuciones Clave

1. Primer Compilador de Dominio Específico para Chiplets: QBX es el primer compilador que cierra la brecha entre la semántica de alto nivel de los Hamiltonianos y las restricciones heterogéneas de las arquitecturas de chiplets.
2. Estrategia de Mapeo Jerárquico: Al desacoplar la asignación de qubit-a-chiplet del mapeo intra-chiplet, QBX minimiza eficazmente las distancias y el conteo de comunicaciones cross-chiplet, un factor crítico para la fidelidad de los chiplets.
3. Reutilización Sistemática de la Autopista: El artículo introduce y demuestra teoremas para la reutilización de la autopista Control-empty y Cross-Y, permitiendo que el compilador amortice el costo de la construcción de la autopista a través de múltiples operaciones de Pauli.
4. Agregación de Cadenas de Pauli: El método de agregar cadenas de Pauli de 2 locales en conjuntos y bloques de Pauli permite la ejecución eficiente de puertas controladas de múltiples objetivos, reduciendo significativamente la profundidad del circuito en comparación con el enrutamiento a nivel de puerta.

Resultados

Los autores evaluaron QBX frente a compiladores de propósito general (Qiskit, t|ket⟩), un compilador específico para chiplets (MECH) y compiladores de Hamiltonianos de dominio específico (2QAN, Paulihedral) utilizando 51 circuitos que involucran QAOA y varios modelos de física (Ising, XY, Heisenberg) en backends simulados con 324, 440 y 990 qubits.

• Rendimiento vs. Compiladores de Propósito General:
  • QBX-METIS redujo la profundidad del circuito en 2.57× en comparación con Qiskit y en 10.35× en comparación con t|ket⟩.
  • El conteo de CNOT efectivo (una métrica para la infidelidad) se redujo en 1.30× (vs. Qiskit) y 2.62× (vs. t|ket⟩).
• Rendimiento vs. Compiladores de Dominio Específico:
  • En comparación con 2QAN, QBX logró una profundidad comparable (1.13× menor), pero escaló a tamaños de problema significativamente mayores donde 2QAN agotó el tiempo de ejecución (timeout). La complejidad de programación de 2QAN ($O(m^4)$) limitó su escalabilidad, mientras que el programador codicioso de QBX se ejecuta en $O(N_c m n)$.
  • Paulihedral falló en todos los benchmarks debido a límites de profundidad de recursión.
• Rendimiento vs. MECH:
  • QBX superó a MECH (un compilador de chiplets de propósito general) por 1.69× en profundidad de circuito y 1.08× en conteo de CNOT efectivo, demostrando el valor de las optimizaciones semánticas de dominio específico.
• Escalabilidad:
  • QBX-METIS demostró una escalabilidad superior, manejando tamaños de problema donde los resolvedores basados en ILP (QBX-CPLEX) y otros compiladores fallaron o excedieron el tiempo permitido.
  • El análisis de sensibilidad mostró que la ventaja de rendimiento de QBX sobre Qiskit se amplía a medida que aumenta el número de chiplets.

Significancia

El artículo afirma que QBX representa un paso significativo hacia la realización de la simulación de Hamiltonianos a gran escala en hardware cuántico de la era actual. Al reconocer que la simulación de Hamiltonianos de 2 locales posee propiedades estructurales específicas (conmutatividad, homogeneidad de tipos de Pauli) que pueden explotarse en arquitecturas de chiplets, QBX evita los resultados subóptimos de los compiladores genéricos.

Este trabajo destaca que el conocimiento de dominio específico es crucial para las arquitecturas de chiplets. La simple aplicación de optimizaciones de enrutamiento general es insuficiente; los compiladores deben aprovechar la semántica de alto nivel (como la agregación de cadenas de Pauli) y las características específicas del hardware (como la reutilización de la autopista) para superar las restricciones de ruido y conectividad de los sistemas cuánticos modulares. Los autores posicionan a QBX como una evolución necesaria en la compilación cuántica para soportar el escalado de la capacidad cuántica mediante tecnologías de chiplets.