[论文解读] Efficient algorithms for the Deutsch-Jozsa and Simon's problems that only use classical resources

Niklas Johansson, Jan-Åke Larsson|arXiv (Cornell University)|Aug 20, 2015

Quantum Computing Algorithms and Architecture被引用 1

一句话总结

本文提出了一种经典模拟框架，仅使用经典资源即可高效复现Deutsch-Jozsa问题和Simon问题的量子算法行为。该框架在Deutsch-Jozsa问题中仅需一次预言机查询即可获得精确解，在Simon问题中则实现线性查询，表明在这两个问题中均无需真正的量子优势，从而挑战了这些情况下存在固有量子加速的假设。

ABSTRACT

A long-standing aim of quantum information research is to understand what gives quantum computers their advantage. This requires separating problems that need genuinely quantum resources from those for which classical resources are enough. Two examples of quantum speed-up are the Deutsch-Jozsa and Simon's problem, both efficiently solvable on a quantum Turing machine, and both believed to lack efficient classical solutions. Here we present a framework that can simulate both quantum algorithms efficiently, solving the Deutsch-Jozsa problem with probability 1 using only one oracle query, and Simon's problem using linearly many oracle queries, just as expected of an ideal quantum computer. The presented simulation framework is in turn efficiently simulatable in a classical probabilistic Turing machine. This shows that the Deutsch-Jozsa and Simon's problem do not require any genuinely quantum resources, and that the quantum algorithms show no speed-up when compared with their corresponding classical simulation. Finally, this gives insight into what properties are needed in the two algorithms, and calls for further study of oracle separation between quantum and classical computation.

研究动机与目标

• 探究Deutsch-Jozsa问题与Simon问题中的量子加速是否真正依赖于量子资源，还是可在经典计算中复现。
• 开发一种经典模拟框架，以等效效率复现这些量子算法的结果。
• 挑战广泛持有的观点，即这些问题展示了量子计算相对于经典计算的根本优势。
• 明确解决这些问题所需的最小资源，并识别实现高效求解的关键结构特征。

提出的方法

• 设计一种经典概率图灵机框架，以模拟量子算法的预言机查询与逻辑结构。
• 采用确定性经典策略，模拟Deutsch-Jozsa算法中观察到的量子干涉与振幅抵消效应。
• 实现一种经典查询策略，以模仿Simon问题中量子叠加与纠缠的行为。
• 确保模拟过程保持与原始量子算法相同的查询复杂度——Deutsch-Jozsa问题为1次查询，Simon问题为线性查询。
• 验证经典框架在Deutsch-Jozsa问题中可确定性地产生与量子算法完全相同的输出，在Simon问题中则以高概率实现相同结果。
• 确立整个模拟过程可在经典概率图灵机上高效计算，从而确认其经典可行性。

实验结果

研究问题

• RQ1 Deutsch-Jozsa问题是否可仅使用经典资源且无需量子叠加而高效求解？
• RQ2 Simon问题是否真正展现出量子优势，还是可被经典模拟且具有相当的查询复杂度？
• RQ3 预言机函数的何种结构特性使得这些量子算法的经典模拟成为可能？
• RQ4 这些问题的量子算法在多大程度上依赖于非经典特性（如纠缠或干涉）？

主要发现

• Deutsch-Jozsa问题可仅使用一次经典预言机查询以确定性方式求解，性能与量子算法完全一致。
• Simon问题可使用线性数量的经典预言机查询求解，复现了量子算法的查询复杂度。
• 所提出的经典模拟框架可在概率图灵机上高效实现，确认其经典可行性。
• 结果表明，Deutsch-Jozsa问题与Simon问题均无需真正依赖量子资源，从而挑战了这些情况下存在量子加速的观念。
• 本研究揭示，高效求解的关键在于预言机函数的特定结构，而非量子相干性或纠缠。