[论文解读] Five Quantum Algorithms Using Quipper

Safat Siddiqui, Mohammed Jahirul Islam+1 more|arXiv (Cornell University)|Jun 17, 2014

Quantum Computing Algorithms and Architecture参考文献 6被引用 4

一句话总结

本文首次使用函数式量子编程语言 Quipper 实现了五种基础量子算法——Deutsch、Deutsch-Jozsa、Simon、Grover 和 Shor 的算法。该工作展示了 Quipper 在量子算法开发中的可用性与可扩展性，包括为 Shor 算法实现自定义的 8×8 和 16×16 量子门矩阵构造器及预言机（oracles），并通过 Quipper 模拟器进行测试以验证正确性。

ABSTRACT

Quipper is a recently released quantum programming language. In this report, we explore Quipper's programming framework by implementing the Deutsch's, Deutsch-Jozsa's, Simon's, Grover's, and Shor's factoring algorithms. It will help new quantum programmers in an instructive manner. We choose Quipper especially for its usability and scalability though it's an ongoing development project. We have also provided introductory concepts of Quipper and prerequisite backgrounds of the algorithms for readers' convenience. We also have written codes for oracles (black boxes or functions) for individual algorithms and tested some of them using the Quipper simulator to prove correctness and introduce the readers with the functionality. As Quipper 0.5 does not include more than \ensuremath{4 imes 4} matrix constructors for Unitary operators, we have also implemented \ensuremath{8 imes 8} and \ensuremath{16 imes 16} matrix constructors.

研究动机与目标

• 展示 Quipper 在实现主流量子算法方面的实际可用性与可扩展性。
• 通过逐步实现核心量子算法，为新量子程序员提供教学框架。
• 通过实现 8×8 和 16×16 的酉矩阵构造器，扩展 Quipper 的功能，因为 Quipper 0.5 版本不支持超过 4×4 的矩阵构造。
• 使用 Quipper 模拟器对 Shor 算法的自定义预言机（黑箱）进行开发与测试，以验证其正确性。
• 通过生成可执行、可测试的 Quipper 代码，弥合量子算法理论与未来物理实现之间的差距。

提出的方法

• 使用 Quipper 的函数式量子编程框架实现每个算法，利用 Haskell 的类型系统和高阶函数特性。
• 通过 qft_big_endian 函数调用 QuipperLib.QFT 模块，在 Shor 算法中应用逆量子傅里叶变换（QFT†）。
• 在 Quipper 中使用 Oracle 数据类型将预言机定义为一等公民，其参数包括输入与输出量子比特数量，以及将量子比特对映射到量子电路的函数。
• 为 Shor 算法创建专用预言机，采用模幂运算逻辑，如 mod15_base7_oracle（a=7, N=15）和 mod21_base20_oracle（a=20, N=21），并使用受控-非门（controlled-NOT）与受控-受控-非门（controlled-controlled-NOT）实现。
• 通过 Quipper 模拟器进行仿真，以验证预言机的正确性，其中测量与电路执行阶段在经典硬件上被模拟。
• 通过实现自定义的 8×8 和 16×16 酉矩阵构造器，扩展 Quipper 的能力，以支持更大规模的量子电路。

实验结果

研究问题

• RQ1 Quipper 是否能够以可扩展且可重用的方式有效表达并模拟如 Shor 因子分解与 Grover 搜索等主流量子算法？
• RQ2 在 Quipper 中如何使用受控量子门正确实现 Shor 算法的预言机，并确保模算术逻辑的正确性？
• RQ3 Quipper 当前在矩阵构造器尺寸上的限制（Quipper 0.5 中最大为 4×4）在多大程度上阻碍了更大规模量子电路的实现？
• RQ4 是否能够成功在 Quipper 中实现自定义的 8×8 和 16×16 酉矩阵构造器，以克服其原生限制？
• RQ5 Quipper 模拟器在物理执行前验证量子电路实现正确性的有效性如何？

主要发现

• 本文成功使用 Quipper 实现了全部五种主流量子算法——Deutsch、Deutsch-Jozsa、Simon、Grover 和 Shor 算法，证明了其在量子算法原型设计中的可行性。
• 通过实现自定义的 8×8 和 16×16 酉矩阵构造器，扩展了 Quipper 的能力，突破了其原生 4×4 的限制，支持更大规模电路的构建。
• 为 Shor 算法正确实现了两个案例的预言机：f_{(7,15)} 和 f_{(20,21)}，通过受控-NOT 与多受控-NOT 操作编码模幂运算逻辑。
• Quipper 模拟器成功通过经典仿真测量结果与电路行为，验证了预言机实现的正确性。
• 在 Quipper 中实现的 Shor 算法完整包含了 Hadamard 门、预言机应用、QFT† 和测量操作，形成一个完整、可测试的量子子程序。
• 本工作建立了一条从基础量子电路到复杂算法的教育性实现路径，使新学习者能够以结构化方式从理论过渡到可执行代码。