AI 中文总结
针对量子门层面设计量子程序认知负荷高、易出错的问题，提出以量子寄存器为基础的高级量子结构化编程框架，建立相关语法与方法论原则，可用于设计量子SMT求解器。
AI 中文摘要
当前量子程序主要在作用于单个量子比特的量子门层面设计；对于大规模复杂问题，这会给程序员带来极高的认知负荷，使程序规约变得复杂且易出错。在此背景下，为量子编程提供更高级的抽象机制，将有助于让该任务更易管理且更能抵御设计错误。本工作提出了一个概念框架，遵循将整个量子计算视为由量子寄存器组成的结构的理念，每个量子寄存器代表一个不可分割的实体。因此，计算通过语义定义明确的变换推进，这些变换作用于量子寄存器或使它们纠缠，从而修改全局状态。最终，程序通过特定的组合策略达到期望状态。基于此，本工作通过代数形式主义提出了高级语法，将其与底层语义关联起来。所提出的语法基于量子算法中某些知名操作，这些操作在逻辑条件满足时应用相移或利用并行求值。仅基于这些形式化操作，就可以设计一个量子可满足性模理论（SMT）求解器。本工作的核心贡献在于确立了一些方法论原则，以实现高级量子结构化编程。
英文摘要
Current quantum programs are mainly designed at the level of quantum gates acting on individual qubits; on a large scale and for complex problems this may involve a high cognitive load on the programmer, making the program specification nontrivial and error-prone. In this context, providing quantum programming with higher abstraction mechanisms will assist in making this task more manageable and robust against design errors. In this work, a conceptual framework is addressed following the notion of the whole quantum computation as a structure composed of quantum registers representing each an undivided entity. Thus, computation progresses through semantically well-defined transformations that act on, or entangle, quantum registers, thereby modifying the global state. Ultimately, the program reaches the desired state by following a specific composition strategy. With this in mind, high-level syntax is presented through an algebraic formalism that bridges them with their low-level semantics. Proposed syntax is based on certain well-know operations used on quantum algorithms that apply phase shifts upon logical condition satisfaction or leverage on parallel evaluation. Based solely on the formalized operations, a quantum satisfiability modulo theories (SMT) solver can be designed. At its core, this work contributes to establishing some methodological principles towards realizing a high-level quantum structured programming.
Comments12 pages, 5 figures, Accepted for publication at IEEE International Conference on Quantum Computing and Engineering 2026 (QSYS track)
