4. 门集与IR抽象层级
在量子编译器中，门集（Gate Set）不是单一概念，而是贯穿整个编译流程的分层抽象。理解物理门集、基门集与虚拟门集之间的层次关系，是设计IR方言和降级路径的前提。本节将从三个层次的定义出发，分析从高层IR到低层IR的降级路径，并讨论面向超导、离子阱、中性原子三种硬件时IR方言的设计差异。
三层门集的定义与职责
虚拟门集（Virtual Gate Set）位于最高抽象层，是量子算法或电路设计者直接使用的门集合。它通常包含任意角度的单量子比特旋转门（如Rx(θ)、Ry(θ)、Rz(θ)）、任意两比特受控门（如CNOT、CZ、CRz(θ)）以及多比特门（如Toffoli、MCX）。虚拟门集的特点是连续参数化、硬件无关、数学表达简洁。例如，一个量子傅里叶变换电路可能直接使用受控相位门CRz(θ)和Hadamard门，而不关心底层硬件是否原生支持这些操作。
基门集（Basis Gate Set）位于中间层，是编译器内部IR所采用的规范化门集合。它通常由一组离散的、有限的门构成，例如Clifford+T门集、Rz+√X+CNOT门集等。基门集的作用是将虚拟门集中的连续参数门分解为有限的门序列，同时保持与硬件无关或弱相关的特性。基门集的选择直接影响后续映射和优化的复杂度。例如，选择Clifford+T门集时，任意Rz(θ)需要经过Solovay-Kitaev或Ross-Selinger算法近似分解为T门和Hadamard门的序列，近似精度ε与序列长度呈对数关系。
物理门集（Physical Gate Set）位于最低层，是目标硬件实际能够执行的原生操作集合。物理门集由硬件物理机制决定，通常包含特定的单比特门（如超导中的X、SX、Rz虚拟Z门）和两比特门（如CZ、iSWAP、√iSWAP），以及测量操作。物理门集的特点是离散、有限、带有硬件特定的时序和校准参数。例如，IBM超导硬件的物理门集通常为{X, SX, RZ, CNOT}，其中RZ是虚拟Z门（通过相位更新实现，几乎无误差），而CNOT需要校准脉冲。
从高层IR到低层IR的降级路径
降级路径（Lowering Path）描述了量子电路从虚拟门集到物理门集的转换过程。典型的降级路径包含以下阶段：
- 虚拟门集到基门集的分解：将任意角度旋转门分解为基门集中的离散门序列。例如，将Rx(θ)分解为Rz(π/2)·√X·Rz(θ)·√X·Rz(-π/2)的形式，其中√X属于基门集。
- 基门集到物理门集的映射：将基门集中的门替换为硬件原生门。例如，将CNOT映射为H·CZ·H（若硬件原生两比特门为CZ），或将√X映射为SX门。
- 路由与交换：根据硬件拓扑，插入SWAP门或使用桥接门使两比特门作用于相邻物理量子比特。
- 调度与脉冲级优化：将门序列映射到具体时序，合并可并行门，优化脉冲波形。
降级路径的设计需要权衡多个因素：分解精度、门序列长度、硬件原生门保真度、拓扑约束等。例如，在超导硬件上，RZ门是虚拟的且几乎无误差，因此编译器倾向于将尽可能多的旋转合并到RZ中；而在离子阱硬件上，单比特门和两比特门均为原生操作，但两比特门速度较慢，因此优化重点在于减少两比特门数量。
面向不同硬件的IR方言设计
IR方言（IR Dialect）是指针对特定硬件特性定制的中间表示形式。虽然量子IR的核心语义（量子态、门操作、测量）是通用的，但不同硬件在门集、拓扑、时序、噪声特性上的差异，要求IR在方言层面做出适配。
超导硬件的物理门集通常包含虚拟Z门（RZ），其执行仅需更新后续脉冲的相位参考，几乎不消耗时间且保真度接近1。因此，超导IR方言倾向于将尽可能多的旋转操作合并到RZ中，并优先使用CZ或CNOT作为两比特门。此外，超导硬件的拓扑通常是二维网格或重六边形，IR需要携带耦合图信息以支持路由。例如，IBM的Qiskit IR在方言层使用rz、sx、x、cx作为基门，并显式记录物理量子比特的耦合关系。
离子阱硬件的物理门集包含任意角度的单比特旋转R(θ,φ)和XX(θ)两比特门，且所有离子对之间均可实现两比特门（全连接）。因此，离子阱IR方言不需要路由阶段，但需要处理XX门的连续角度参数。离子阱的两比特门速度较慢（通常几十到几百微秒），因此IR优化重点在于减少两比特门数量，而非单比特门。例如，IonQ的IR方言使用gpi、gpi2、ms（Mølmer-Sørensen门）作为基门，并支持任意角度的MS门。
中性原子硬件的物理门集包含全局旋转门（作用于所有原子）和Rydberg CZ门（通过激发到Rydberg态实现，作用于特定原子对）。中性原子的拓扑通常由原子阵列的几何排布决定，且全局门可以同时作用于所有原子，这为并行化提供了独特机会。中性原子IR方言需要区分全局门和局部门，并支持Rydberg CZ的阻塞半径约束。例如，QuEra的IR方言使用global_rot、local_rot、rydberg_cz作为基门，并携带原子位置和阻塞半径信息。
降级路径中的关键决策
在实际编译器中，降级路径并非单一固定流程，而是需要根据目标硬件和优化目标做出决策。以下是一个简化的决策表，用于说明不同硬件下基门集到物理门集的映射策略：
| 硬件类型 | 基门集示例 | 物理门集 | 映射策略 | 优化重点 |
|---|---|---|---|---|
| 超导 | {Rz, √X, CNOT} | {X, SX, RZ, CZ} | CNOT → H·CZ·H；√X → SX；Rz → 虚拟RZ | 减少CZ数量、合并RZ |
| 离子阱 | {Rz, √X, CNOT} | {R(θ,φ), XX(θ)} | CNOT → XX(π/2) + 单比特旋转；√X → R(π/2, φ) | 减少XX门数量 |
| 中性原子 | {Rz, √X, CNOT} | {global_rot, local_rot, rydberg_cz} | CNOT → Rydberg CZ + 单比特旋转；√X → 全局/局部旋转 | 利用全局门并行、减少Rydberg CZ |
从表中可以看出，同一基门集在不同硬件上的映射策略差异显著。超导硬件倾向于将单比特旋转合并到虚拟RZ中，离子阱硬件需要将CNOT转换为XX门加单比特旋转，中性原子硬件则可以利用全局门实现并行单比特操作。这些差异直接反映在IR方言的设计中：超导IR需要携带耦合图和RZ虚拟化标记，离子阱IR需要携带XX门角度参数，中性原子IR需要携带原子位置和阻塞半径。
总结而言，物理门集、基门集与虚拟门集构成了量子编译器的三层门集抽象。降级路径将高层虚拟门逐步转换为低层物理门，而IR方言则根据硬件特性在每一层做出适配。理解这三层关系及其在不同硬件上的表现，是设计高效量子编译器的关键基础。