[论文解读] Conventions for Quantum Pseudocode

E. Knill|arXiv (Cornell University)|Nov 4, 2022

Quantum Computing Algorithms and Architecture被引用 8

一句话总结

本文提出了编写量子伪代码的标准化惯例，以统一描述量子算法，实现更清晰、更形式化且可逆的表示。它引入了区分量子寄存器与经典寄存器的符号表示法，定义了初始化和测量的方法，以及诸如条件应用和可逆性等元操作，所有这些均基于量子随机存取机器（QRAM）模型，以实现一致的算法规范与形式化分析。

ABSTRACT

A few conventions for thinking about and writing quantum pseudocode are proposed. The conventions can be used for presenting any quantum algorithm down to the lowest level and are consistent with a quantum random access machine (QRAM) model for quantum computing. In principle a formal version of quantum pseudocode could be used in a future extension of a conventional language.

研究动机与目标

• 建立一个一致的、人类可读的框架，用于使用伪代码描述量子算法。
• 弥合量子线路、经典算法与量子算法表述的数学描述之间的差距。
• 通过结构化符号与语义支持量子算法的形式化分析与验证。
• 实现将经典函数系统性地转换为可逆的量子实现。
• 定义诸如条件应用和可逆子程序调用等元操作，以供在量子伪代码中使用。

提出的方法

• 引入显式符号表示法，以区分量子寄存器（例如下划线）与经典寄存器，确保语义清晰。
• 定义用于初始化量子寄存器的操作，包括通过酉操作或子程序返回实现的隐式初始化。
• 提出诸如反转酉操作和基于量子比特状态条件化应用量子操作（例如受控-非门）等元操作。
• 引入“消散”量子寄存器的概念，以将其重置为经典状态，同时保持计算的可逆性。
• 提供一种通过记为 $\text{Function}^\textrm{R}$ 的元操作使经典函数可逆的方法，确保辅助量子比特被恢复到初始状态。
• 使用条件语法（例如 \texttt{if $\underline{b}$ then ...}）实现受控量子操作，其方式类似于经典 if 语句，但作用于量子态。

实验结果

研究问题

• RQ1 如何以统一的、人类可读的伪代码格式描述量子算法，以支持形式化推理？
• RQ2 需要哪些符号与结构惯例，才能清晰地区分量子寄存器及其操作与经典寄存器及其操作？
• RQ3 如何在伪代码中系统性地将不可逆的经典函数转换为可逆的量子实现？
• RQ4 哪些机制能够基于量子比特状态实现量子操作的条件应用，同时不破坏可逆性？
• RQ5 如何在保留形式化逆计算能力的前提下，安全地管理量子寄存器的重复使用？

主要发现

• 所提出的惯例使得量子伪代码可用于描述任何层次的量子算法，且与 QRAM 模型保持一致。
• 对量子寄存器的显式标注（例如通过下划线）有助于追踪叠加与纠缠，从而提升清晰度与形式化分析能力。
• 通过 $\text{Function}^\textrm{R}$ 实现经典函数可逆的方法，可确保辅助量子比特被恢复到初始状态，从而保持酉性。
• 可使用类似于经典 if 语句的语法实现条件量子操作，从而在伪代码中支持受控-非门与 Toffoli 门。
• 通过 $b \leftarrow 0$（在消散 $\underline{b}$ 之后）消散量子寄存器，可在已知寄存器处于经典状态时实现安全重用，尽管这会破坏酉可逆性。
• 该框架仅在未发生测量或消散事件时支持子程序的形式化逆操作，凸显了对状态管理的谨慎要求。