Resumen Técnico: QaiJi IR – Una familia de representaciones intermedias de ocho capas para la compilación híbrida cuántico-clásica

1. Planteamiento del problema

Los compiladores híbridos cuántico-clásicos deben intercambiar programas a través de múltiples capas de abstracción: circuitos, flujo de control, pulsos, dispositivos y representaciones físicas. Las representaciones intermedias (IR) existentes, como OpenQASM 3, QIR y los sistemas basados en MLIR (por ejemplo, CUDA-Q, Catalyst), realizan diferentes elecciones de frontera y carecen de un vocabulario unificado para expresar las obligaciones de preservación entre cada par de capas. En consecuencia, las propiedades que deben sobrevivir a un paso de "reducción" (transformación de una representación de alto nivel a una de bajo nivel) suelen ser impuestas por código específico de la herramienta en lugar de ser declaradas explícitamente en una IR común. Esta fragmentación dificulta la verificación de que un paso del compilador preserve correctamente la semántica, el flujo de datos o la equivalencia sin depender de scripts externos u objetos en tiempo de ejecución.

2. Metodología: El contrato semántico de cinco ejes y la arquitectura de ocho capas

El artículo propone QaiJi IR, un marco diseñado no para reemplazar los lenguajes de origen o las interfaces de hardware existentes, sino para proporcionar un contrato semántico común para la ruta de compilación.

El contrato semántico de cinco ejes

La metodología central es un "contrato semántico de cinco ejes" que define explícitamente cinco obligaciones distintas a través de la pila de compilación:

1. Datos: Define nodos tipados, condiciones y artefactos físicos que cruzan las capas.
2. Semántica: Define el significado, los niveles de equivalencia, los mecanismos de retroalimentación y los aspectos temporales de las operaciones.
3. Reducción (Lowering): Especifica reglas de legalización, selección de objetivos y la información de preservación transportada entre etapas.
4. Tiempo de ejecución (Runtime): Conecta los artefactos con la ejecución, la simulación y las trayectorias de retroalimentación.
5. Verificación: Proporciona resúmenes canónicos, invariantes y evidencia de conformidad.

La familia de IR de ocho capas

QaiJi organiza este contrato en una familia de ocho capas (Figura 2):

• Pipeline Principal (L5–L0):
  • L5 (IR de Programa): Kernels, lotes de disparos (shots) y estructura de experimentos.
  • L4 (IR Semántico): La capa central que define el contrato semántico. Registra clases de operación, niveles de equivalencia, roles de optimización y modelos de retroalimentación.
  • L3 (IR de Control Híbrido): Ramas clásicas, bucles y bordes de retroalimentación (ej. REGISTER_ALU).
  • L2 (IR de Programación Nativa): Puertas nativas, topología, temporización y vinculación de recursos.
  • L1 (IR de Pulsos): Secuencias de pulsos, marcos (frames) y puertos.
  • L0 (IR de Formas de onda): Formas de onda muestreadas y rejillas de temporización.
• Capas Laterales:
  • P (IR de Dinámica): Suministra Hamiltonianos, canales de colapso y políticas de resolución.
  • T (IR de Traza): Recolecta trazas de ejecución, decisiones de ramificación y certificados de preservación.

Decisiones de diseño clave

• L4 SemanticIR: Esta capa actúa como el ancla semántica. Mapea los tipos de morfismo a MorphismTypes (Unitario, Permutación, Medición, Fase, Identidad, Control Clásico) y asigna atributos como EquivLevel (nivel de diferencia permitido) y ConditionModel.
• Neutralidad de ISA: L4 mapea los tipos de morfismo a etiquetas de acción neutrales a la ISA (por ejemplo, "PULSE", "ALU", "JUMP") en lugar de opcodes concretos. Un adaptador de nivel inferior selecciona la instrucción específica del hardware, asegurando que la capa semántica permanezca desacoplada de las especificidades del dispositivo.
• Rechazo Explícito: El sistema rechaza explícitamente las construcciones no soportadas (por ejemplo, formas complejas de retroalimentación) con errores tipados en lugar de degradarse silenciosamente o ignorarlas.

3. Contribuciones principales

El artículo realiza tres contribuciones primarias:

1. Definición del Contrato de Cinco Ejes: Especifica formalmente el modelo de datos, la semántica de las operaciones, las obligaciones de reducción, los supuestos de tiempo de ejecución y la evidencia de verificación requeridos para la compilación híbrida, distribuyendo estas responsabilidades a través de las ocho capas.
2. Implementación de una Ruta de Compilación Vertical: El autor implementó una ruta de prototipo desde nodos de circuitos tipados y entrada OpenQASM a través de la anotación semántica L4, construcción de pulsos simbólicos, materialización de dispositivo-ISA hacia la ejecución de una Unidad de Procesamiento de Pulsos Virtual (VPPU).
3. Evaluación Funcional: La ruta fue evaluada utilizando pruebas positivas, negativas y generadas, incluyendo la ejecución de una rama de reset activo binaria en la VPPU.

4. Resultados y Evaluación

La evaluación se centra en la validación funcional de la representación y la semántica de ejecución, evitando explícitamente las afirmaciones sobre rendimiento o fidelidad física.

• Frontend y Canonicalización: El codec de circuitos parsea con éxito entradas OpenQASM 2/3, emite un punto fijo canónico de OpenQASM 3 y rechaza explícitamente puertas o estructuras de control no soportadas.
• Preservación Semántica: Para un fragmento condicionado por medición (puerta H, CNOT, RZ, medición, puerta condicional), el sistema:
  • Asigna anotaciones L4 (MorphismType, EquivLevel).
  • Crea un borde de REGISTER_ALU de medición-a-condición.
  • Pasa una verificación de consistencia agregada exacta (comparando clases de morfismo y conteos de medición antes y después de la reducción).
  • Produce una plantilla de pulso simbólico.
• Semántica de Ejecución (Caso de Reset Activo): Un escenario de reset activo de un solo qubit se materializó en registros de ALU/FPROC y una rama condicional.
  • Cuando la VPPU fue suministrada con un resultado externo de 1, la conducción condicional se ejecutó.
  • Cuando se suministró 0, la conducción se omitió.
  • Esto validó el comportamiento de la rama binaria y el vínculo causal de un resultado basado en bits hacia el flujo de control.

Limitaciones de los Resultados:
El artículo señala explícitamente que estas pruebas no establecen un bucle de retroalimentación física. El simulador aún no puede aplicar el colapso de la medición intermedia y continuar la misma trayectoria dinámica. Además, la rama de la VPPU actualmente prueba si un espacio de retroalimentación bruto es distinto de cero en lugar de consumir un resultado de comparación de ALU materializado.

5. Significación y Reivindicaciones

El artículo afirma su importancia al abordar un "problema de diseño de compilador más estrecho y específico": proporcionar un lugar común para establecer y verificar las obligaciones de preservación entre las capas del compilador.

• Alcance Modesto: El autor no pretende reemplazar las IR existentes (OpenQASM, QIR, MLML) o las interfaces de hardware. En su lugar, QaiJi IR actúa como una capa semántica superpuesta que permite que estos sistemas dispares se conecten mediante un contrato compartido.
• Separación de Preocupaciones: Al separar los tipos semánticos de los opcodes del dispositivo y mantener la capa semántica independiente de los paquetes de tiempo de ejecución, el marco busca hacer las fronteras explícitas. Esto permite que cada paso de reducción declare qué obligación verifica y qué evidencia queda fuera de su alcance.
• Trabajo Futuro: El artículo reconoce que las pruebas de preservación formal, las leyes de equivalencia por operación y la conformidad entre implementaciones siguen siendo temas abiertos. La implementación actual valida una ruta estructural y una forma de retroalimentación restringida a nivel de instrucción, pero aún no se miden la evaluación de predicados generales, la fidelidad o la latencia de retroalimentación.

En resumen, QaiJi IR propone una arquitectura estructurada de ocho capas gobernada por un contrato semántico de cinco ejes para formalizar las obligaciones de la compilación híbrida cuántico-clásica. Su prototipo demuestra una ruta funcional desde la descripción de un circuito de alto nivel hasta ramas binarias ejecutables, validando la representación de las dependencias semánticas mientras reconoce explícitamente la incapacidad actual de simular trayectorias de retroalimentación física continua.