Problem
Research questions and friction points this paper is trying to address.
Quantum Compilers
Hybrid Quantum-Classical Programs
Intermediate Representation
Dynamic Gates
Runtime Data
A Dynamic Intermediate Representation for Hybrid Quantum-Classical Programs
🤖 AI Summary
本文提出了一种新的中间表示法，用于处理混合量子-经典程序中依赖于运行时数据或测量结果的门选择问题，通过将门提升为一级值来实现动态创建、组合和控制。
📝 Abstract
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.
Innovation
Methods, ideas, or system contributions that make the work stand out.
Dynamic Intermediate Representation
Hybrid Quantum-Classical Programs
Adaptive Error Correction
Stochastic Gate Selection
Measurement-Driven Computation
🔎 Similar Papers
2024-04-22Journal of SupercomputingCitations: 2
