[论文解读] From Quantum Query Complexity to State Complexity

Shenggen Zheng, Daowen Qiu|arXiv (Cornell University)|Jul 28, 2014

Quantum Computing Algorithms and Architecture被引用 7

一句话总结

本文提出了一种新颖的框架，将量子查询复杂度与量子有限自动机（QFAs）的态复杂度联系起来，证明了高效的量子查询算法可直接转化为紧凑的QFA设计。通过利用量子查询结果——特别是针对承诺问题DJ′——作者构建了一个2态量子有限自动机，以高精度解决该问题，证明了其在态数量上相对于经典有限自动机具有指数级的简洁性优势。

ABSTRACT

State complexity of quantum finite automata is one of the interesting topics in studying the power of quantum finite automata. It is therefore of importance to develop general methods how to show state succinctness results for quantum finite automata. One such method is presented and demonstrated in this paper. In particular, we show that state succinctness results can be derived out of query complexity results.

研究动机与目标

• 开发一种从量子查询复杂度结果推导量子有限自动机（QFAs）态简洁性结果的一般方法。
• 证明低查询次数的量子查询算法可系统性地转化为紧凑的QFA实现。
• 建立一个连接量子查询复杂度、通信复杂度与有限自动机态复杂度的框架。
• 提供一种构造方法，为特定承诺问题设计出相比经典有限自动机具有指数级更少态的QFA。
• 证明承诺问题DJ′可由一个2态QFA解决，凸显经典与量子模型之间存在的超多项式态复杂度差距。

提出的方法

• 将量子查询算法作为QFA设计的构建模块，特别聚焦于使用2次查询的DJ′承诺问题的量子算法。
• 构建一个量子有限自动机（QFA），通过将查询步骤编码为酉变换以及经典控制态来模拟量子查询算法。
• 采用一种混合QFA模型，同时包含量子基态|k⟩（1 ≤ k ≤ n−2）和经典控制态Sijp，以管理复杂的态转移。
• 设计酉操作U_{p,σ}、U_{ij}和U_{ijp,σ}，根据输入符号和当前状态有条件地应用相位翻转，实现基于干涉的计算。
• 在计算的关键节点执行测量步骤，以坍塌量子态，并根据结果确定接受或拒绝。
• 利用从查询算法导出的量子通信协议的模拟，建立态复杂度的上界。

实验结果

研究问题

• RQ1 能否系统性地利用量子查询复杂度结果来推导量子有限自动机的态复杂度界？
• RQ2 求解DJ′承诺问题所需的最少量子态与经典态数量分别是多少？
• RQ3 是否存在一种通用方法，可将低查询次数的量子算法转化为具有可证明态数量节省的紧凑QFA实现？
• RQ4 对于EQ′承诺问题，经典与量子有限自动机之间的态复杂度差距是多少？
• RQ5 如何将通信复杂度作为中间步骤，用于推导QFAs的态复杂度结果？

主要发现

• 构建了一个针对承诺问题DJ′的2次查询量子查询算法，简化了先前复杂的构造。
• 明确设计了一个2态量子有限自动机来求解DJ′，证明仅需两个量子基态即足够。
• 对应EQ′问题的经典确定性有限自动机（1DFA）需要2^Ω(n)个态，证明了其态复杂度存在指数级差距。
• QFA构造采用混合模型，包含n−2个量子基态和O(n²)个经典控制态，实现了最优的态效率。
• 该框架成功将量子查询复杂度转化为态复杂度结果，提供了一种证明态简洁性的通用方法。
• 该证明确立了EQ′问题的态复杂度在经典自动机中远高于量子自动机，确认了超多项式分离。