[论文解读] The Quantum Complexity of Set Membership

Jaikumar Radhakrishnan, Pranab Kumar Sen+1 more|ArXiv.org|Jul 7, 2000

Quantum Computing Algorithms and Architecture参考文献 14被引用 8

一句话总结

本文引入量子位元探测模型来研究静态集合成员关系问题，其中大小至多为 $ n $ 的集合 $ S $ 从一个远大于 $ n $ 的宇宙 $ m $ 中存储在经典表中，成员关系查询通过量子查询算法回答。研究发现，量子查询访问并未显著改善空间-探测权衡，因为量子下界几乎与经典上界匹配，表明经典计算中的基本限制在量子环境下依然存在，这是由于酉算子上线性代数约束所致。

ABSTRACT

We study the quantum complexity of the static set membership problem: given a subset S (|S| \leq n) of a universe of size m (m \gg n), store it as a table of bits so that queries of the form `Is x \in S?' can be answered. The goal is to use a small table and yet answer queries using few bitprobes. This problem was considered recently by Buhrman, Miltersen, Radhakrishnan and Venkatesh, where lower and upper bounds were shown for this problem in the classical deterministic and randomized models. In this paper, we formulate this problem in the "quantum bitprobe model" and show tradeoff results between space and time.In this model, the storage scheme is classical but the query scheme is quantum.We show, roughly speaking, that similar lower bounds hold in the quantum model as in the classical model, which imply that the classical upper bounds are more or less tight even in the quantum case. Our lower bounds are proved using linear algebraic techniques.

研究动机与目标

• 形式化并分析量子位元探测模型中的静态集合成员关系问题，其中表访问通过量子预言机实现。
• 研究量子查询算法是否相比经典方案能改善空间-探测权衡。
• 证明量子模型中空间使用量的下界，其几乎与已知的经典上界匹配。
• 使用线性代数方法将经典下界技术扩展至量子环境。
• 识别负单边错误量子方案及其他数据结构问题在量子位元探测模型中的开放问题。

提出的方法

• 使用酉预言机 $ O_T $ 形式化量子位元探测模型，其将 $ |y,b\rangle $ 映射为 $ |y,b \oplus T(y)\rangle $，支持叠加查询。
• 将查询算法建模为单位操作与预言机调用交替的序列，每次预言机调用计为一次探测。
• 使用线性代数技术来界定查询算法生成的酉算子空间的维数。
• 通过比较正确性所需的维数（下界）与给定空间和探测限制下可实现的维数（上界），推导出空间的下界。
• 将这些界限应用于证明存储空间 $ 2^r $ 与量子探测次数之间的权衡，表明其几乎与经典界限匹配。
• 利用经典证明中的平均化与去随机化论证，将随机误差界限扩展至量子环境中的确定性方案。

实验结果

研究问题

• RQ1 量子查询算法是否能显著减少静态集合成员关系问题所需的空间，相比经典算法？
• RQ2 经典集合成员关系问题中关于空间-探测权衡的下界是否在量子位元探测模型中依然成立？
• RQ3 在单边或双边错误模型中，集合成员关系问题是否存在量子优势？
• RQ4 线性代数方法是否能有效用于证明量子数据结构问题的下界？
• RQ5 负单边错误量子方案的上下界之间差距是多少，该差距能否被缩小？

主要发现

• 对于静态集合成员关系问题，量子查询访问并未显著改善空间-探测权衡，因为量子下界几乎与经典上界匹配。
• 对于双边错误量子方案，空间下界为 $ \Omega\left(\frac{n\log m}{\epsilon^{2/5}\log(1/\epsilon)}\right) $，与经典界限仅在对数因子内一致。
• 在有界误差情况下，使用 $ p $ 次探测时，空间下界为 $ \Omega\left(\frac{n\log m}{\delta^{2/5}\log(1/\delta)}\right) $，其中 $ \delta = \epsilon^{1/p} $，表明经典限制在量子模型中具有鲁棒性。
• 本文使用线性代数技术提供了经典下界更强且更简化的证明，这些方法在数据结构复杂性背景下是新颖的。
• 对于负单边错误量子方案，下界与双边错误情况一致，但上下界之间的差距仍未解决，表明存在进一步改进的潜力。
• 对酉算子空间维数的计数方法为证明量子数据结构问题的下界提供了新的方法论框架，其应用范围已超越以往。