我们为何要展开？结构化量子程序对编译的重要性
Why Are We Unrolling? The Importance of Structured Quantum Programs for Compilation
- Technical University of Munich（慕尼黑工业大学）
- University of Oxford（牛津大学）
- Quantinuum（量子尼奥）
- Xanadu（仙纳杜）
- MQSC（慕尼黑量子计算中心）
- Unitary Foundation（酉群基金会）
- The University of British Columbia（不列颠哥伦比亚大学）
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
本文强调量子编译中保留结构化程序表示的重要性，提出挑战以支持动态算法，并探讨利用经典结构提升编译效率的潜力。
AI中文摘要：
随着量子软件栈扩展以支持未来的容错量子硬件和算法，量子编译正成为该栈中日益重要的组成部分。我们如何确保软件栈能够支持动态算法，包括诸如中间电路测量前馈和重复直至成功等模式，并处理数百个逻辑量子比特和数十亿次量子操作？为此，我们必须重新思考如何在直线电路之外表示量子程序，转向包含经典结构和动态性的表示，并将这种表示作为执行量子编译时默认考虑的表示。在本工作中，我们展示了来自容错量子应用的重要模式和算法，这些模式和算法允许采用结构化表示，我们认为保留这种表示至关重要，并向社区提出挑战：在不将这些表示展开为直线量子电路的情况下编译它们。我们还探讨了量子软件中结构化程序支持的现状，并自问一个修辞性问题：当我们考虑来自经典结构的额外信息时，量子编译工具能变得多高效？
英文摘要：
As quantum software stacks scale up to support future fault-tolerant quantum hardware and algorithms, quantum compilation is becoming an increasingly important component of the stack. How do we ensure that our software stacks support dynamic algorithms, including patterns such as mid-circuit measurement feedforward and repeat-until-success, with hundreds of logical qubits and billions of quantum operations? To do so, we must re-think how we represent quantum programs beyond straight-line circuits, to representations that include classical structure and dynamism, and make this the default representation to consider when performing quantum compilation. In this work, we present important patterns and algorithms from fault-tolerant quantum applications which admit a structured representation that we argue is crucial to preserve, and set a challenge to the community to compile such representations without unrolling them into straight-line quantum circuits. We also explore the status quo of structured program support in quantum software, and ask ourselves the rhetorical question: how much more efficient can we make quantum compilation tooling when we take into account the additional information from classical structure?
