[论文解读] Macroscopic entanglement in Quantum Computation

Akihisa Ukena, Akira Shimizu|ArXiv.org|May 9, 2005

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

一句话总结

本文利用 $p$-指数研究了量子计算中的宏观纠缠，该指数用于量化宏观上不同的态的叠加。研究结果表明，当解决困难问题时，Grover 算法和 Shor 算法均使用 $p=2$ 态——表明存在宏观纠缠——支持了此类纠缠在实现量子加速中起关键作用的猜想。

ABSTRACT

We investigate macroscopic entanglement of quantum states in quantum computers, where we say a quantum state is entangled macroscopically if the state has superposition of macroscopically distinct states. The index $p$ of the macroscopic entanglement is calculated as a function of the step of the computation, for Grover's quantum search algorithm and Shor's factoring algorithm. It is found that whether macroscopically entangled states are used or not depends on the numbers and properties of the solutions to the problem to be solved. When the solutions are such that the problem becomes hard in the sense that classical algorithms take more than polynomial steps to find a solution, macroscopically entangled states are always used in Grover's algorithm and almost always used in Shor's algorithm. Since they are representative algorithms for unstructured and structured problems, respectively, our results support strongly the conjecture that quantum computers utilize macroscopically entangled states when they solve hard problems much faster than any classical algorithms.

研究动机与目标

• 调查是否存在由 $p=2$ 定义的宏观纠缠量子态，这些态在性能优于经典算法的量子算法中被使用。
• 分析代表性量子算法中宏观纠缠的作用：Grover 搜索（无结构问题）和 Shor 因子分解（结构化问题）。
• 确定在何种条件下宏观纠缠在计算过程中出现，特别是与问题难度的关系。
• 验证猜想：量子加速与量子计算中 $p=2$ 态的存在相关。

提出的方法

• 使用协方差矩阵（VCM）方法计算量子算法中量子态的 $p$-指数纠缠度。
• 将 $p$-指数应用于追踪 Grover 算法和 Shor 算法中各计算步骤的宏观纠缠演化。
• 将宏观纠缠定义为在均匀或近似均匀的多体系统中，宏观上不同的态的叠加，其量化指标为 $p=2$。
• 分析计算各阶段的量子态的解析与数值结果。
• 比较不同问题实例中 $p$-指数的行为，特别关注解的结构和问题难度。
• 采用猜想的逆否命题：若始终满足 $p \neq 2$，则应存在一个经典多项式时间算法。

实验结果

研究问题

• RQ1 在解决困难的无结构问题时，Grover 量子搜索算法中是否会出现宏观纠缠（以 $p=2$ 衡量）？
• RQ2 在 Shor 因子分解算法中，宏观纠缠在何种条件下出现，特别是与模指数运算的阶 $r$ 有何关系？
• RQ3 $p=2$ 态的使用是否与性能优于经典方法的算法中的量子加速存在相关性？
• RQ4 若一个量子算法中不存在 $p=2$ 态，是否意味着存在一种高效的经典替代方案？
• RQ5 在 Grover 和 Shor 算法的计算步骤中，$p$-指数如何演化？

主要发现

• 在 Grover 算法中，当问题困难时（即经典算法需要超过多项式时间求解），始终使用宏观纠缠态（$p=2$）。
• 在 Shor 算法中，宏观纠缠态几乎总是被使用，仅当阶 $r$ 为 2 的整数幂时，$p \neq 2$。
• $p$-指数分析证实，宏观纠缠是解决比经典方法更快的困难问题的量子算法中的稳定特征。
• 结果支持猜想：在困难问题中，量子加速源于使用 $p=2$ 的宏观纠缠态。
• Shor 算法中 $r$ 为 2 的幂的例外情况（此时 $p \neq 2$）表明可能存在经典多项式时间解法，与猜想的逆否命题一致。
• VCM 方法可高效计算两种算法中所有量子态的 $p$-指数，从而实现对纠缠演化过程的详细追踪。