[论文解读] The Power of Discrete Quantum Theories

Andrew J. Hanson, Gerardo Ortíz+2 more|arXiv (Cornell University)|Apr 8, 2011

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

一句话总结

本文研究有限域上的量子计算，表明当域的阶为 $p^2$（其中 $p = 4r+3$）时，离散量子理论可保持幺正演化及纠缠等量子特性。令人惊讶的是，对于某些域大小，这些理论可实现超快数据库搜索——超越传统量子计算的渐近界限——这是由于循环算术所致，尽管此类加速随域大小增加而减弱。

ABSTRACT

We explore the implications of restricting the framework of quantum theory and quantum computation to finite fields. The simplest proposed theory is defined over arbitrary finite fields and loses the notion of unitaries. This makes such theories unnaturally strong, permitting the search of unstructured databases faster than asymptotically possible in conventional quantum computing. The next most general approach chooses finite fields with no solution to x^2+1=0, and thus permits an elegant complex-like representation of the extended field by adjoining i=sqrt(-1). Quantum theories over these fields retain the notion of unitaries and --- for particular problem sizes --- allow the same algorithms as conventional quantum theory. These theories, however, still support unnaturally strong computations for certain problem sizes, but the possibility of such phenomena decreases as the size of the field increases.

研究动机与目标

• 研究是否能使用有限域而非复数来一致地表述量子计算。
• 确定此类离散量子理论是否保持叠加、幺正性和纠缠等核心量子特性。
• 分析离散量子理论的计算能力，特别是特定域条件下异常强大算法的出现。
• 探讨有限域量子理论作为现实模型的物理合理性，尤其考虑到其可计算性和离散结构。
• 检验经典量子力学是否可作为这些离散理论在大域极限下的结果被恢复。

提出的方法

• 在有限域 $\mathbb{F}_{p^2}$ 上形式化量子理论，特别针对满足 $p \equiv 3 \pmod{4}$ 的素数，通过 $i = \sqrt{-1}$ 实现类复数结构。
• 将量子态定义为 $\mathbb{F}_{p^2}$ 上有限维向量空间中的向量，通过基于振幅的单位分解实现归一化。
• 将幺正变换定义为保持内积的可逆线性映射，类似于经典量子演化。
• 通过有限域上的 Hadamard 类门和受控操作构建量子线路（例如，用于 UNIQUE-SAT）。
• 通过利用有限域的循环算术来抵消振幅，分析计算加速现象，从而在特定可除性条件下实现超越传统量子计算的搜索速度。
• 将结果与经典量子计算及更小域（如 $\mathbb{F}_2$）上的模态量子理论进行比较，突出其在允许操作和计算能力上的差异。

实验结果

研究问题

• RQ1 能否在有限域上构建一致的量子理论，同时保持幺正性和纠缠等关键特性？
• RQ2 在何种条件下，离散量子理论会展现出超越经典量子计算界限的计算能力？
• RQ3 有限域的大小如何影响异常强大计算现象的出现概率与强度？
• RQ4 有限域的结构能否解释量子计算加速的起源，特别是在无结构搜索中的表现？
• RQ5 离散量子理论的大域极限是否能恢复经典量子力学的预测？

主要发现

• 对于满足 $p \equiv 3 \pmod{4}$ 的 $\mathbb{F}_{p^2}$ 上的离散量子理论，可通过 $i = \sqrt{-1}$ 实现自然的类复数结构，从而支持幺正演化和标准量子特性。
• 当域特征 $p$ 整除 $2^N - 1$ 时，特定问题规模下，离散量子算法可在少于经典或传统量子计算可能的查询次数内解决无结构搜索问题。
• 这些异常强大的计算现象源于有限域中的循环算术，使得破坏性干涉的工程化比连续理论更有效。
• 随着域大小增加，此类加速的概率下降，表明大有限域近似于经典量子力学。
• 该理论支持量子隐形传态和超密集编码等协议，表明核心量子信息概念在离散设定中依然成立。
• 结果表明，经典量子力学可能并非基本理论，而一种离散、可计算的量子理论或在更深层次上描述物理现实。