为某些NAND公式求值器输出量子线路的Java应用程序

如何编译一些NAND公式求值器

How to Compile Some NAND Formula Evaluators

我们说一个作用于一组量子位的幺正算子已经被编译，如果它被表示为SEO（基本操作的序列，如hocTs和单量子位操作）。搜索引擎优化的经常被表示为量子线路。Farhi-Goldstone-Gutmann的arXiv：quant-ph/0702144激发了最近一系列论文的灵感，这些论文提出了通过量子遍历树图来评估NAND公式的量子算法。这些算法使用两种类型的酉进化：预言机和非预言机。非Oracle演化独立于NAND公式输入，而Oracle演化依赖于此输入。在本文中，我们编译（即，给出了显式的SEO和它们相关的量子线路，用于其中一些NAND公式求值器中的oracle和非oracle演化算子。我们在这里只考虑平衡二元NAND树的情况。我们的编译方法是基于CSD（余弦正弦分解），线性代数的矩阵分解。CS分解在过去已经非常成功地用于精确地编译非结构化酉矩阵。