3. 量子中间表示与互操作标准
在多量子 SDK 互操作与迁移的语境下，中间表示（IR）不是“某家 SDK 的私有文件格式”，而是承载量子程序语义、约束硬件映射、决定能否跨平台转换的公共契约。理解 OpenQASM 2/3、Quil、QIR、OpenPulse 的语义差异与能力边界，是判断“一段程序能否迁移、迁移后语义是否等价、哪些信息会在转换中丢失”的前提。
四类格式的定位：从门级描述到脉冲级控制
这四种格式并不处在同一抽象层。OpenQASM 2 是面向门级电路的文本描述语言，语法接近汇编，核心语义是“在量子寄存器上按顺序施加门与测量”，它天然假设存在一个理想化的门集合，不描述门的物理实现。OpenQASM 3 在其基础上扩展了类型系统、经典控制流（if/for/while）、时序（delay、box）、脉冲级调用与自定义门定义，使同一份程序可以同时表达电路层与部分控制层语义。Quil 由 Rigetti 提出，采用“量子指令 + 经典指令”混合模型，其 DEFCIRCUIT、DECLARE 与 PRAGMA 机制强调对硬件指令的直接映射，并原生支持参数化门与波形播放。QIR 是 LLVM 的量子扩展，把量子操作编译为 LLVM IR 中的函数调用与基本块，天然继承 LLVM 的优化、链接与跨语言能力，适合作为编译器后端与运行时之间的中间层。OpenPulse 则下沉到脉冲层，用帧（frame）、波形（waveform）与通道（channel）描述模拟信号，直接对应硬件 DAC 输出。
因此，从 OpenQASM 2 到 OpenPulse，抽象层级依次降低、硬件信息依次增多、可移植性依次减弱。迁移时若从高抽象层向低抽象层转换，通常需要补充目标硬件的拓扑、门集与校准数据；反向转换则会丢失脉冲级细节。
语义与能力边界对照
| 格式 | 抽象层 | 核心语义 | 能力边界 |
|---|---|---|---|
| OpenQASM 2 | 门级电路 | 寄存器、门、测量、屏障 | 无经典控制流、无脉冲、无类型系统 |
| OpenQASM 3 | 电路 + 控制 + 时序 | 类型、控制流、时序、脉冲调用 | 脉冲语义依赖后端实现，跨平台一致性弱 |
| Quil | 指令级混合 | 量子指令、经典指令、波形播放 | 生态相对封闭，跨 SDK 工具链较少 |
| QIR | 编译器中间层 | LLVM 函数、基本块、量子运行时调用 | 需配套运行时，文本可读性差 |
| OpenPulse | 脉冲级 | 帧、波形、通道、采样 | 强绑定硬件校准，几乎不可跨设备迁移 |
一个关键判断是：语义等价不等于文本等价。例如 OpenQASM 2 中的 u3(θ,φ,λ) 与 Quil 中的 RX+RZ 组合可能表示同一酉操作，但门分解方式不同，转换后电路深度与噪声敏感度会变化。迁移评估必须同时检查“逻辑等价”和“物理代价”。
转换关系与典型路径
实际迁移中常见的转换路径有三类。第一类是同层转换，如 OpenQASM 2 与 Quil 之间的门级互译，通常借助 Qiskit、pyQuil 或 Cirq 的解析器完成，转换后需重新做拓扑映射。第二类是降层转换，如 OpenQASM 3 编译到 QIR，再由 QIR 运行时下发到具体后端；这一路径保留了经典控制流，但要求目标运行时支持 QIR 调用约定。第三类是升层转换，如从 OpenPulse 反推门级描述，只能恢复出校准所对应的等效门，无法还原原始电路意图。
转换中的语义保真与丢失
以一段含参数化门与测量的 OpenQASM 2 程序迁移到 Quil 为例，转换器需要完成三件事：把 qreg 映射为 Quil 的 DECLARE 比特声明；把 u3、cx 分解为目标设备支持的门集；把 measure 映射为 MEASURE 指令并绑定经典寄存器。若目标设备不支持某个门，转换器会插入等效分解，此时电路深度增加，保真度下降。若原程序使用了 OpenQASM 3 的 for 循环，而目标 Quil 后端不支持经典控制流，则循环会被展开为固定次数序列，程序体积膨胀且失去参数化能力。
QIR 路径的保真特点不同：由于 QIR 保留 LLVM 基本块与控制流，经典逻辑通常能完整保留，但量子门仍需在运行时映射到目标后端，因此“逻辑保真高、物理保真取决于后端”。OpenPulse 路径则相反，物理细节最丰富，但一旦目标设备通道配置或校准数据不同，波形无法直接复用。
迁移前的格式能力核查清单
在真正执行迁移前，建议按以下顺序核查源程序与目标格式的能力交集，避免转换后才发现语义缺失：
- 门集核查：源程序使用的门是否都在目标格式与目标后端支持的门集中；不支持的门是否有标准分解。
- 控制流核查：源程序是否含经典条件、循环或递归；目标格式是否支持，若不支持需展开或改写。
- 时序核查：是否使用
delay、barrier或显式时序；目标格式是否保留时序语义。 - 测量与经典寄存器核查：测量结果如何绑定经典寄存器，目标格式的寄存器模型是否兼容。
- 脉冲与校准核查：是否依赖 OpenPulse 级波形或自定义校准；若依赖，跨设备迁移基本不可行。
- 参数化核查：参数化门在转换后是否仍可参数化，还是被展开为固定数值。
转换关系的本质：语义契约而非文件格式
把 OpenQASM 2/3、Quil、QIR、OpenPulse 理解为一条从“逻辑意图”到“物理信号”的语义链，比把它们当作互不相干的文件格式更有助于迁移决策。链的上游关注“算什么”，下游关注“怎么实现”。转换器的工作是在链上移动程序，而移动过程中每一步都可能引入近似、展开或信息丢失。多量子 SDK 互操作的核心能力，正是识别这些丢失点，并在迁移前用目标格式的能力边界去校验源程序的语义需求。
因此，实际迁移流程应当先做格式能力匹配，再做转换，最后用等价性检查（如状态向量对比、测量统计对比或酉矩阵对比）验证转换结果。只有逻辑等价与物理代价都在可接受范围内，迁移才算真正完成。