[论文解读] QuanTree and QuanLin, Two Special Purpose Quantum Compilers

Robert R. Tucci|ArXiv.org|Dec 23, 2007

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

一句话总结

本文介绍了 QuanTree 和 QuanLin 两种专用的 Java 编写量子编译器，可将量子演化算符编译为近似量子线路。QuanTree 基于平衡二叉树图的哈密顿量编译算符，而 QuanLin 则基于线性图（开放弦图）的哈密顿量。两者均采用三阶 Suzuki-Trotter 近似，并在弗罗贝尼乌斯范数下提供误差界，从而实现基于量子行走算法（如 Farhi-Goldstone-Gutmann NAND 公式求值器）的高效线路合成。

ABSTRACT

This paper introduces QuanTree v1.1 and QuanLin v1.1, two Java applications available for free. (Source code included in the distribution.) Each application compiles a different type of input quantum evolution operator. The applications output a quantum circuit that is approximately equal to the input evolution operator. QuanTree compiles an input evolution operator whose Hamiltonian is proportional to the incidence matrix of a balanced, binary tree graph. QuanLin compiles an input evolution operator whose Hamiltonian is proportional to the incidence matrix of a line (open string) graph. Both applications also output an error, defined as the distance in the Frobenius norm between the input evolution operator and the output quantum circuit.

研究动机与目标

• 开发针对量子行走算法中出现的特定量子演化算符的专用量子编译器。
• 实现基于平衡二叉树和线图的关联矩阵所导出的酉算符的高效编译。
• 提供开源的 Java 工具及其源代码，以支持可重现性并集成至量子算法流水线。
• 使用输入酉算符与编译后线路之间的弗罗贝尼乌斯范数来量化编译精度。
• 支持未来集成至更大规模的量子算法中，如 Farhi-Goldstone-Gutmann NAND 公式求值。

提出的方法

• QuanTree 编译形式为 $ U = e^{iH_{\text{tree}}} $ 的演化算符，其中 $ H_{\text{tree}} $ 与具有 $ N_B $ 量子比特的平衡二叉树图的关联矩阵成正比。
• QuanLin 编译 $ U = e^{iH_{\text{line}}} $，其中 $ H_{\text{line}} $ 与线图（格雷码连接的态）的关联矩阵成正比。
• 两种编译器均对 $ N_T=1 $ 使用三阶 Suzuki-Trotter 近似，当 $ N_T > 1 $ 时，QuanTree 的误差缩放为 $ \mathcal{O}(g^4 / N_T^3) $，QuanLin 的误差缩放为 $ \mathcal{O}(g^{r+1} / N_T^r) $。
• 编译器生成三个输出文件：包含误差度量的日志文件、以符号形式描述量子线路的英文文件，以及用于可视化表示的图片文件。
• 编译器通过精确对角化计算目标酉算符 $ U = e^{iH} $，然后通过相乘基本操作序列（SEOs）并计算弗罗贝尼乌斯范数误差来验证编译后的线路。
• 控制面板允许用户设置 $ N_B $、耦合常数 $ g $ 和 Trotter 步数 $ N_T $，输出包括基本操作数量和误差。

实验结果

研究问题

• RQ1 如何高效地将源自树状图结构的量子演化算符编译为近似最优的量子线路？
• RQ2 在对树图和线图哈密顿量使用三阶 Suzuki-Trotter 分解时，量子线路近似的可实现精度如何？
• RQ3 针对结构化哈密顿量的专用编译器是否能在线路深度和门数方面优于通用量子编译器？
• RQ4 增加 Trotter 步数 $ N_T $ 如何影响编译后量子线路的误差缩放？
• RQ5 在树图表示中，dud 节点的作用是什么？它如何影响希尔伯特空间维数和线路合成？

主要发现

• QuanTree 可成功编译具有 $ N_B \in \{2,3,4,\ldots\} $ 个量子比特的平衡二叉树的演化算符 $ e^{iH_{\text{tree}}} $，当使用 $ N_T $ 个 Trotter 步时，误差为 $ \mathcal{O}(g^4 / N_T^3) $。
• QuanLin 编译线图（格雷码连接态）的 $ e^{iH_{\text{line}}} $，对阶数为 $ r $ 的 Suzuki 近似器，误差为 $ \mathcal{O}(g^{r+1} / N_T^r) $，其中 $ r=2,4,6,\ldots $。
• 精确酉算符与编译后线路之间的弗罗贝尼乌斯范数误差在日志文件中被计算并报告，提供了近似保真度的定量度量。
• 当 $ N_T = 1 $ 时，QuanTree 使用参考文献 [4] 中推导的三阶近似器，误差为 $ \mathcal{O}(g^4) $。
• 编译器生成人类可读的英文文件和图片文件，以单量子比特门和受控操作的形式描述线路，支持验证并可集成至量子软件栈。
• 源代码公开可用，使研究人员能够将编译器扩展至新图结构或更高阶近似。