[论文解读] Models of Quantum Algorithms in Sets and Relations

William J. Zeng|arXiv (Cornell University)|Mar 19, 2015

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

一句话总结

本文提出了 QCRel，一种使用集合与关系而非希尔伯特空间与线性映射的量子计算关系模型。该模型构建了关键量子算法（Deutsch-Jozsa、单次 Grover、GroupHomID）的忠实关系模型，证明其查询复杂度与抽象结构得以保留。其主要贡献在于提出了一套新颖的框架，通过非物理但结构忠实的关系模型来分析量子加速机制。

ABSTRACT

We construct abstract models of blackbox quantum algorithms using a model of quantum computation in sets and relations, a setting that is usually considered for nondeterministic classical computation. This alternative model of quantum computation (QCRel), though unphysical, nevertheless faithfully models its computational structure. Our main results are models of the Deutsch-Jozsa, single-shot Grovers, and GroupHomID algorithms in QCRel. These results provide new tools to analyze the semantics of quantum computation and improve our understanding of the relationship between computational speedups and the structure of physical theories. They also exemplify a method of extending physical/computational intuition into new mathematical settings.

研究动机与目标

• 开发一种非物理但结构忠实的量子计算模型，使用集合与关系，称为 QCRel。
• 通过在关系设定下建模量子算法，分析计算加速与物理理论基础结构之间的关系。
• 通过在传统用于非确定性经典计算的设定中形式化量子算法，将物理与计算直觉拓展至新的数学领域。
• 通过脱离希尔伯特空间、聚焦于关系复合与对偶性，为量子算法的语义与验证提供新工具。
• 证明关系模型能够捕捉量子算法的本质结构，包括其查询复杂度与酉变换。

提出的方法

• 将量子力学公理由集合与关系重新表述，以集合替代希尔伯特空间，以关系替代线性映射。
• 将酉关系定义为满足 R ∘ R⁻¹ = id 且 R⁻¹ ∘ R = id 的双射，作为酉算子的关系类比。
• 将量子态建模为集合 H 的子集，通过关系逆（效应）操作实现态制备与后选择。
• 将关系型预言机建模为编码黑箱函数的关系，保留量子算法中酉变换的结构。
• 使用基于弦图的图形演算来表示与推理关系过程，实现可视化与代数验证。
• 将 QCRel 框架应用于建模三种典型量子算法：Deutsch-Jozsa、单次 Grover 与群同态识别（GroupHomID），使用关系复合与后选择。

实验结果

研究问题

• RQ1 是否可以在不依赖希尔伯特空间的前提下，于关系设定中忠实建模量子算法？
• RQ2 关系模型在多大程度上保留了量子算法的查询复杂度与结构特征？
• RQ3 量子计算的关系模型如何揭示计算加速与底层物理结构之间关系的洞见？
• RQ4 对偶性与酉性在关系模型中的作用是什么？与它们在量子理论中的对应物相比有何异同？
• RQ5 非酉或非量子关系是否仍能在量子算法建模的语境下产生有意义且非平凡的结果？

主要发现

• 在 QCRel 中，Deutsch-Jozsa 算法仅用一次查询即可正确识别常数函数，保留了其相对于经典确定性算法的指数加速。
• 在 QCRel 中，单次 Grover 算法在预言机为双射时成功概率为 1，与理想条件下量子情形的行为完全一致。
• 在 QCRel 中，GroupHomID 算法在输入关系 f 为群胚同构时返回所有可能的经典态，确认了在关系设定下的正确性。
• QCRel 中的后选择对应于检查两个态的交集是否非空，为量子测量结果提供了确定性解释。
• QCRel 中的酉关系恰好是双射，且该关系模型对系统演化施加了严格的基数约束，与量子力学保持一致。
• 关系模型成功捕捉了量子算法的抽象结构，包括叠加、干涉与纠缠的使用，通过关系复合与对偶性实现。