[论文解读] Quantum Recursion and Second Quantisation

Mingsheng Ying|arXiv (Cornell University)|May 17, 2014

Quantum Computing Algorithms and Architecture参考文献 18被引用 8

一句话总结

本文提出了一种新型的量子递归概念，其中控制流由量子叠加态而非经典测量结果决定，从而实现基于量子控制的递归量子行走与量子 while 循环。通过福克空间中的二次量子化方法，作者在对称与反对称福克空间中通过不动点解建立了操作语义与指称语义的等价性，为超越经典分支的量子递归提供了严格的理论基础。

ABSTRACT

This paper introduces a new notion of quantum recursion of which the control flow of the computation is quantum rather than classical as in the notions of recursion considered in the previous studies of quantum programming. A typical example is recursive quantum walks, which are obtained by slightly modifying the construction of the ordinary quantum walks. The operational and denotational semantics of quantum recursions are defined by employing the second quantisation method, and they are proved to be equivalent.

研究动机与目标

• 开发一种新型的量子递归形式，其中控制流为量子而非经典，避免依赖于测量结果。
• 利用二次量子化技术形式化递归量子行走与量子 while 循环的语义。
• 在福克空间框架下，建立量子递归操作语义与指称语义的等价性。
• 通过在福克空间中使用产生与湮灭算符，解决量子递归中粒子数可变的挑战。
• 为具有动态量子硬币生成的量子递归程序逻辑与物理实现奠定基础。

提出的方法

• 基于外部处于叠加态的量子“硬币”定义量子递归，使用量子 case 语句与量子选择。
• 采用二次量子化方法建模具有可变数量全同粒子的系统，特别适用于递归计算中的“硬币”。
• 在自由福克空间中构造算符域，并证明带有过程标识符的程序的语义泛函的连续性。
• 通过产生泛函求解递归方程，并在福克空间中应用标准不动点定理。
• 对解进行对称化，以确保在对称（玻色子）与反对称（费米子）福克空间中的物理一致性。
• 将该框架应用于具有量子控制流的量子 while 循环，展示产生算符如何在执行过程中实现动态硬币生成。

实验结果

研究问题

• RQ1 如何定义量子递归，使得控制流由量子叠加态而非经典测量结果决定？
• RQ2 需要何种数学框架来形式化描述具有可变数量量子“硬币”的递归量子程序的语义？
• RQ3 如何形式化定义并证明量子递归的操作语义与指称语义的等价性？
• RQ4 二次量子化与福克空间在实现具有动态粒子生成的量子递归语义中起到什么作用？
• RQ5 在递归程序中引入产生算符与静态硬币态相比，如何改变其计算行为？

主要发现

• 本文成功定义了一种新型量子递归形式，其控制流为量子，基于使用叠加态“硬币”的量子 case 语句与量子选择。
• 通过二次量子化形式化定义了量子递归的操作语义与指称语义，并在福克空间中通过不动点解证明了其等价性。
• 使用福克空间可建模可变粒子数，这对于表示递归程序中动态生成的量子硬币至关重要。
• 在自由福克空间中构造递归方程的解，并通过对称化得到玻色子与费米子的物理上有意义的模型。
• 递归量子行走与标准量子行走相比表现出显著不同的动力学行为，证明了该方法的创新性。
• 该框架使具有量子控制流的量子 while 循环得以定义，本文也指出了动态硬币生成与程序逻辑进一步研究的必要性。