[论文解读] Quantum Computing over Finite Fields

Roshan P. James, Gerardo Ortíz+1 more|arXiv (Cornell University)|Jan 19, 2011

Computability, Logic, AI Algorithms参考文献 16被引用 6

一句话总结

本文提出了一种在有限域 𝔽₂ 上的离散量子计算的可逆关系编程模型，表明量子行为（如干涉和叠加）源于在关系逻辑中用异或并集（exclusive union）替代标准并集。关键贡献在于，当结果出现偶数次时被抵消的破坏性干涉，捕捉了该简化模型中的核心量子现象。

ABSTRACT

In recent work, Benjamin Schumacher and Michael~D. Westmoreland investigate a version of quantum mechanics which they call "modal quantum theory" but which we prefer to call "discrete quantum theory". This theory is obtained by instantiating the mathematical framework of Hilbert spaces with a finite field instead of the field of complex numbers. This instantiation collapses much the structure of actual quantum mechanics but retains several of its distinguishing characteristics including the notions of superposition, interference, and entanglement. Furthermore, discrete quantum theory excludes local hidden variable models, has a no-cloning theorem, and can express natural counterparts of quantum information protocols such as superdense coding and teleportation. Our first result is to distill a model of discrete quantum computing from this quantum theory. The model is expressed using a monadic metalanguage built on top of a universal reversible language for finite computations, and hence is directly implementable in a language like Haskell. In addition to superpositions and invertible linear maps, the model includes conventional programming constructs including pairs, sums, higher-order functions, and recursion. Our second result is to relate this programming model to relational programming, e.g., a pure version of Prolog over finite relations. Surprisingly discrete quantum computing is identical to conventional logic programming except for a small twist that is responsible for all the ``quantum-ness.'' The twist occurs when merging sets of answers computed by several alternatives: the answers are combined using an "exclusive" version of logical disjunction. In other words, the two branches of a choice junction exhibit an "interference" effect: an answer is produced from the junction if it occurs in one or the other branch but not both.

研究动机与目标

• 为有限域 𝔽₂ 上的离散量子理论形式化一种计算模型，受 Schumacher 和 Westmoreland 的模态量子理论启发。
• 通过在通用可逆语言之上引入一个单子金属语言，弥合可逆计算与关系编程之间的鸿沟。
• 表明经典关系编程（如 Prolog）与离散量子计算之间的唯一区别在于使用异或并集而非标准并集。
• 证明破坏性干涉——即出现偶数次的结果被抵消——可解释该有限模型中叠加和纠缠等量子现象。
• 使用 dagger 紧闭范畴为该模型提供形式语义，证明带有异或并集的关系模型与 𝔽₂ 上的向量空间之间存在同构。

提出的方法

• 构建一个基于通用可逆语言的单子金属语言 𝒫Π，支持在 Haskell 等函数式语言中直接实现。
• 定义一个使用异或并集（⊕）而非标准并集（∪）的集合与关系的范畴 Rel⊕，其为 dagger 紧闭范畴，且与 FDVec₂ 同构。
• 将叠加和酉变换等量子操作建模为 𝔽₂ 上有限维向量空间上的线性映射。
• 在关系计算中使用异或析取以模拟量子干涉：出现在选择分支中的结果被抵消。
• 使用范畴论形式化语言的语义，证明 Rel⊕ 与 FDVec₂（即 𝔽₂ 上有限维向量空间的范畴）同构。
• 使用带有异或并集的关系模型实现并验证量子协议（如超密集编码和量子隐形传态），结果与量子预测一致。

实验结果

研究问题

• RQ1 如何将有限域上的离散量子计算建模为一种可逆的关系编程语言？
• RQ2 在有限域量子模型中，引入类量子行为（如干涉和叠加）的精确数学机制是什么？
• RQ3 通过在关系逻辑中将标准并集替换为异或并集，是否能完整恢复量子计算的结构？
• RQ4 尽管保留了干涉和量子并行性，为何 Deutsch 算法在此离散量子模型中无法高效实现？
• RQ5 异或并集操作在多大程度上解释了有限模型中量子力学的计算能力？

主要发现

• 在 𝔽₂ 上的离散量子计算模型 DQC₂ 与使用异或并集的关系范畴 Rel⊕ 同构，而 Rel⊕ 又与 𝔽₂ 上有限维向量空间的范畴 FDVec₂ 同构。
• 在关系模型中，出现在偶数个析取分支中的结果因异或并集而被抵消，从而模拟了破坏性量子干涉。
• 超密集编码协议可在关系模型中忠实实现，使用异或并集；若从标准 Prolog 执行中移除出现偶数次的结果，即可获得正确的量子结果。
• 该模型中经典关系编程与量子计算之间的唯一区别是使用异或并集：标准 Prolog 使用并集，而 DQC₂ 使用 ⊕。
• 尽管保留了叠加、干涉和纠缠，该模型仍无法高效实现 Deutsch 算法，表明干涉本身不足以捕捉量子计算的全部优势。
• 语言 𝒫Π 的形式语义在带有异或并集的关系模型和 𝔽₂ 上的向量空间模型之间均成立，证实了其正确性与表达力。