[论文解读] How to Compile Some NAND Formula Evaluators

Robert R. Tucci|ArXiv.org|Jun 4, 2007

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

一句话总结

本文提出了一种基于SEO（基本操作序列）的显式量子线路实现方法，用于离散查询量子算法中评估平衡二叉NAND公式的预言机与非预言机演化算符。通过余弦-正弦分解（CSD），将这些酉算符编译为CNOT门与单量子比特门的序列，从而实现FGG07启发的算法的物理实现，其查询复杂度为O(√Nlvs)。

ABSTRACT

We say a unitary operator acting on a set of qubits has been compiled if it has been expressed as a SEO (sequence of elementary operations, like CNOTs and single-qubit operations). SEO's are often represented as quantum circuits. arXiv:quant-ph/0702144 by Farhi-Goldstone-Gutmann has inspired a recent flurry of papers, that propose quantum algorithms for evaluating NAND formulas via quantum walks over tree graphs. These algorithms use two types of unitary evolution: oracle and non-oracle. Non-oracle evolutions are independent of the NAND formula input, whereas oracle evolutions depend on this input. In this paper we compile (i.e., give explicit SEOs and their associated quantum circuits for) the oracle and non-oracle evolution operators used in some of these NAND formula evaluators. We consider here only the case of balanced binary NAND trees. Our compilation methods are based on the CSD (Cosine Sine Decomposition), a matrix decomposition from Linear Algebra. The CS decomposition has been used very successfully in the past to compile unstructured unitary matrices exactly.

研究动机与目标

• 通过为NAND公式求值算法中使用的预言机与非预言机演化算符提供显式的量子线路分解，弥合实际实现中的差距。
• 实现用于评估平衡二叉NAND树的离散查询量子算法的物理实现。
• 将余弦-正弦分解（CSD）技术应用于基于量子行走的NAND公式求值器中出现的结构化酉算符的编译。
• 为这些算符提供SEO（基本操作序列）表示，包括相关量子线路，而这些在Cle07、Chi07和Amb07等先前工作中是缺失的。

提出的方法

• 使用线性代数中的余弦-正弦分解（CSD）将酉演化算符分解为基本量子门的序列。
• 将CSD应用于平衡二叉NAND树的预言机与非预言机演化算符的编译。
• 为预言机演化构建基于MCNOT的线路，其CNOT门数量为O(Λ²)，其中Λ为树的深度。
• 通过量子比特置换和σX门优化线路，以减少分解中的带层数，从而缩短SEO。
• 借鉴Grover算法编译技术进行比较与验证，特别是针对非预言机演化算符。
• 使用标准门集（包括CNOT门和单量子比特旋转门）将所有编译后的算符表示为量子线路。

实验结果

研究问题

• RQ1 如何将离散查询NAND公式求值算法中的预言机与非预言机演化算符编译为显式的量子线路？
• RQ2 使用CSD对平衡二叉NAND树编译这些算符时，其线路复杂度是多少？
• RQ3 基于CSD的编译能否实现基于量子行走的NAND求值中出现的结构化酉算符的精确合成？
• RQ4 与Grover算法中使用的SEO相比，所得SEO在深度和门数上表现如何？
• RQ5 哪些优化手段（如量子比特置换、泡利-X门）可减少带层数，从而缩短线路长度？

主要发现

• 本文成功地使用CSD将平衡二叉NAND树的预言机与非预言机演化算符编译为显式的SEO。
• 预言机演化算符被编译为CNOT门数量为O(Λ²)的线路，其中Λ为NAND树中的层数。
• 非预言机演化算符通过均匀态投影算符的特征值分解进行编译，利用了Hadamard变换和受控-Z类操作。
• 该编译方法可推广至多带结构，并可通过量子比特置换和泡利-X门实现优化，以减少线路长度。
• 所得线路具有物理可实现性，填补了FGG07启发式量子算法实现中的关键空白。
• 该方法为基于量子行走的算法中结构化酉算符的编译提供了一个系统性框架，其应用范围超越了Grover算法。