一句话：提出量子寄存器机及实现技术，以高效执行量子控制流与递归过程调用交织的量子递归程序。
论文关注量子递归程序的实现难题：量子递归编程能以紧凑、优雅的方式描述复杂量子算法，但其实现需要处理量子控制流与递归过程调用之间的复杂交互。作者提出量子寄存器机，并发展一系列技术以高效实现量子递归程序，试图解决这一基础性挑战。给出的摘要仅说明主要贡献包括这些技术，未展开具体设计、算法或实验；因此，从现有信息看，该工作的核心是为量子递归程序提供一种基于寄存器机的实现路径，并强调效率问题。
Quantum recursive programming has been recently introduced for describing sophisticated and complicated quantum algorithms in a compact and elegant way. However, implementation of quantum recursion involves intricate interplay between quantum control flow and recursive procedure calls. In this paper, we aim at resolving this fundamental challenge and develop a series of techniques to efficiently implement quantum recursive programs. Our main contributions include:
@article{paperbot3127,
title = {Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs},
author = {Zhicheng Zhang and Mingsheng Ying},
journal = {Proceedings of the ACM on Programming Languages},
volume = {9},
number = {PLDI},
year = {2025},
doi = {10.1145/3729283}
}