发表机构
University of Edinburgh; University of Cambridge（爱丁堡大学; 剑桥大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
针对混合量子-经典程序门选择依赖运行时数据的问题，提出动态中间表示IR，支持门的动态操作，可紧凑表示程序并实现线路模型无法完成的优化，提升编译器分析变换能力。
AI 中文摘要
量子编译器通常遵循线路模型，将程序表示为固定的门序列。这种静态视图在混合量子-经典应用中失效，因为门的选择依赖于运行时数据或测量结果。我们提出一种新的中间表示（IR），将门提升为一等值，支持其动态创建、组合与控制。这种统一表示允许经典计算引导量子行为，在单一框架内涵盖随机门选择、自适应纠错、测量驱动计算等现象。在噪声建模、随机编译、纠错、基于测量的量子计算等案例研究中，我们的IR能紧凑表示这些程序，支持线路模型无法实现的优化。对混合量子-经典程序基准套件的评估表明，我们的IR可紧凑表示程序，并便于编译器分析与变换。
英文摘要
Quantum compilers typically follow the circuit model, representing programs as fixed sequences of gates. This static view breaks down in hybrid quantum-classical applications, where gate choices depend on runtime data or measurement results. We introduce a new Intermediate Representation (IR) that elevates gates to first-class values, enabling their dynamic creation, composition, and control. This unified representation allows classical computation to steer quantum behaviour, capturing phenomena including stochastic gate selection, adaptive error correction, and measurement-driven computation within a single framework. Case studies in noise modelling, randomised compilation, error correction, and measurement-based quantum computing show that our IR expresses these programs compactly and supports optimisations that were not possible in the circuit model. Evaluation on a benchmark suite of hybrid quantum-classical programs indicates that our IR represents programs compactly and facilitates compiler analysis and transformation.
Comments12 pages
