QaiJi IR：用于混合量子-经典编译的八层中间表示族
QaiJi IR: An Eight-Layer Intermediate Representation Family for Hybrid Quantum-Classical Compilation
浏览论文内容
中文总结 AI 辅助
QaiJi IR提出八层中间表示族，通过五轴语义契约统一混合量子-经典编译，实现电路到脉冲的降级与验证。
中文摘要 AI 辅助
混合量子-经典编译器在电路、控制流、脉冲、器件和物理表示之间交换程序。现有格式做出不同的抽象选择，因此必须在降级步骤中保留的属性通常由工具特定代码强制执行，而不是在通用中间表示（IR）中声明。我们提出QaiJi IR，一个由用于数据、语义、降级、运行时和验证的\emph{五轴语义契约}组织的八层家族。其L4 SemanticIR将操作类别、声明的等价级别、优化角色和经典反馈模型记录为属性，并将操作类别映射到ISA中立的硬件操作。原型提供类型化的量子与经典电路节点、OpenQASM~2兼容输入、规范的OpenQASM~3输出、对不支持构造的显式拒绝以及可执行的门约定检查。一个代表性的测量条件程序达到规范的QASM不动点，获取测量到条件边，通过精确的聚合一致性检查，并产生符号脉冲模板。对于一位主动重置案例，器件降级物化ALU/FPROC记录和条件分支。运行所得虚拟脉冲处理单元（VPPU）程序，分别使用外部提供的结果0和1跳过和执行条件驱动。这些测试验证了所代表的编译器路径和二进制分支行为。它们不建立物理反馈回路，因为模拟器尚不能应用中电路测量坍缩并继续相同的动力学轨迹。
英文摘要
Hybrid quantum-classical compilers exchange programs among circuit, control-flow, pulse, device, and physical representations. Existing formats make different abstraction choices, so the properties that must survive a lowering step are often enforced by tool-specific code rather than stated in a common intermediate representation (IR). We present QaiJi IR, an eight-layer family organized by a \emph{five-axis semantic contract} for data, semantics, lowering, runtime, and verification. Its L4 SemanticIR records the operation class, declared equivalence level, optimization role, and classical-feedback model as attributes, and maps operation classes to ISA-neutral hardware actions. The prototype provides typed quantum and classical circuit nodes, OpenQASM~2 compatibility input, canonical OpenQASM~3 output, explicit rejection of unsupported constructs, and executable gate-convention checks. A representative measurement-conditioned program reaches a canonical QASM fixed point, acquires a measurement-to-condition edge, passes an exact aggregate consistency check, and produces a symbolic pulse template. For a one-bit active-reset case, device lowering materializes ALU/FPROC records and a conditional branch. Running the resulting virtual pulse processing unit (VPPU) program with externally supplied outcomes 0 and 1 respectively skips and executes the conditional drive. These tests validate the represented compiler path and binary branch behavior. They do not establish a physical feedback loop, because the simulator cannot yet apply mid-circuit measurement collapse and continue the same dynamical trajectory.
发表机构
- CETC International Cornerstone Quantum Industry (Suzhou) Co., Ltd.（中国电科国际基石量子产业（苏州）有限公司）
机构由 AI 辅助整理，请以论文原文为准。
