[论文解读] A Quantum Time-Space Lower Bound for the Counting Hierarchy

Dieter van Melkebeek, Thomas Watson|arXiv (Cornell University)|Dec 15, 2007

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

一句话总结

该论文首次建立了量子算法在计数层级问题上的非平凡时空下界，具体针对 MajSAT 和 MajMajSAT。通过引入一种时间与空间高效的模拟方法，将带中间测量的量子计算模拟为无界误差概率机器，作者证明了在有界双边误差下，MajMajSAT 无法在时间 n^{1+o(1)} 和空间 n^{1−ε} 内求解，其中 ε>0 任意。

ABSTRACT

We obtain the first nontrivial time-space lower bound for quantum algorithms solving problems related to satisfiability. Our bound applies to MajSAT and MajMajSAT, which are complete problems for the first and second levels of the counting hierarchy, respectively. We prove that for every real d and every positive real epsilon there exists a real c>1 such that either: MajMajSAT does not have a quantum algorithm with bounded two-sided error that runs in time n^c, or MajSAT does not have a quantum algorithm with bounded two-sided error that runs in time n^d and space n^{1-\epsilon}. In particular, MajMajSAT cannot be solved by a quantum algorithm with bounded two-sided error running in time n^{1+o(1)} and space n^{1-\epsilon} for any epsilon>0. The key technical novelty is a time- and space-efficient simulation of quantum computations with intermediate measurements by probabilistic machines with unbounded error. We also develop a model that is particularly suitable for the study of general quantum computations with simultaneous time and space bounds. However, our arguments hold for any reasonable uniform model of quantum computation.

研究动机与目标

• 建立量子算法求解计数层级问题的首个非平凡时空权衡下界。
• 分析量子算法在 MajSAT 和 MajMajSAT 上的计算极限，这两者分别属于计数层级的第一和第二层。
• 开发一种高效模拟带中间测量的量子计算的技巧，使用无界误差概率机器。
• 形式化一个适用于研究同时具有时间与空间约束的量子计算的模型。
• 证明在有界双边误差下，量子算法无法以近线性时间与亚线性空间求解 MajMajSAT。

提出的方法

• 设计一种时间与空间高效的模拟方法，将带中间测量的量子计算用无界误差概率机器实现。
• 利用该模拟推导时空权衡，通过将量子复杂度与概率复杂度类关联。
• 采用统一的量子计算模型，确保结果广泛适用于标准的量子计算框架。
• 通过反证法应用模拟技术推导下界：若存在快速的量子算法，则意味着存在一个快速的概率算法求解一个困难的计数问题。
• 通过模拟框架将 MajMajSAT 的复杂度与 MajSAT 的复杂度关联，建立下界层级。
• 利用计数层级的结构，证明对高层级问题在时间或空间上的改进将导致对低层级问题的改进，从而在已知复杂度假设下导致矛盾。

实验结果

研究问题

• RQ1 在有界双边误差下，量子算法能否在时间 n^{1+o(1)} 和空间 n^{1−ε} 内求解 MajMajSAT，其中 ε>0 任意？
• RQ2 量子算法在计数层级问题上可实现的最小时空权衡是什么？
• RQ3 如何高效地用无界误差经典概率机器模拟带中间测量的量子计算？
• RQ4 此类模拟对建立量子时空复杂度下界有何影响？
• RQ5 即使存在中间测量，量子算法在计数层级问题上的效率是否存在根本性限制？

主要发现

• 对任意实数 d 和 ε>0，存在 c>1，使得 MajMajSAT 不存在有界误差量子算法在时间 n^c 内运行，或 MajSAT 不存在有界误差量子算法在时间 n^d 和空间 n^{1−ε} 内运行。
• 在有界误差下，MajMajSAT 无法被量子算法在时间 n^{1+o(1)} 和空间 n^{1−ε} 内求解，其中 ε>0 任意。
• 使用无界误差概率机器对带中间测量的量子计算的模拟在时间和空间上均高效，从而支持强有力的复杂性理论结论。
• 该结果适用于任何合理的统一量子计算模型，增强了下界结果的普遍性与鲁棒性。
• 该框架提供了一种新方法，通过将量子时空下界归约为经典概率复杂度界限，推导出量子算法的时空下界。
• 该工作首次为求解与可满足性相关问题的量子算法建立了非平凡的时空下界，尤其适用于计数层级中的问题。