[论文解读] An Application of Quantum Finite Automata to Interactive Proof Systems

Harumichi Nishimura, Tomoyuki Yamakami|Oct 5, 2004

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

本文引入量子有限自动机（QFA）作为交互式证明系统中的验证者，证明有界误差的2QFA验证者能够识别非正则语言（如$\{0^n1^n\}$），而1QFA验证者则仅限于识别正则语言。主要贡献在于在各种限制条件下，确立了具有QFA验证者的量子交互式证明系统（QIP）的计算能力，表明量子叠加与测量协议可实现强于经典自动机的识别能力。

ABSTRACT

Quantum finite automata have been studied intensively since their introduction in late 1990s as a natural model of a quantum computer with finite-dimensional quantum memory space. This paper seeks their direct application to interactive proof systems in which a mighty quantum prover communicates with a quantum-automaton verifier through a common communication cell. Our quantum interactive proof systems are juxtaposed to Dwork-Stockmeyer's classical interactive proof systems whose verifiers are two-way probabilistic automata. We demonstrate strengths and weaknesses of our systems and further study how various restrictions on the behaviors of quantum-automaton verifiers affect the power of quantum interactive proof systems.

研究动机与目标

• 研究验证者为量子有限自动机（QFA）的量子交互式证明系统的计算能力。
• 在有界误差下，比较1QFA与2QFA验证者识别正则语言与非正则语言的能力。
• 分析对测量、头部移动及证明者策略的限制如何影响具有QFA验证者的QIP系统的计算能力。
• 探讨先验纠缠与多证明者对具有QFA验证者的QIP系统表达能力的影响。
• 为基于QFA验证者的量子零知识证明系统奠定基础，将经典结果扩展至量子自动机环境。

提出的方法

• 构建一个量子交互式证明系统模型，其中QFA作为验证者，量子证明者通过共享通信单元进行通信。
• 采用测量多次的一维QFA（2QFA）与测量一次的一维QFA（MO-1QFA）作为验证者模型，结合单位演化与每次转移后的投影测量。
• 应用有界误差标准：若接受概率至少为$1 - \epsilon$（其中$\epsilon < 1/2$），则语言被接受，且该标准与输入长度无关。
• 通过证明2QFA验证者可利用量子叠加在最坏情况线性时间内以有界误差识别非正则语言$\{0^n1^n \mid n \geq 0\}$，分析其计算能力。
• 与Dwork和Stockmeyer提出的经典交互式证明系统对比，其验证者为双向概率自动机。
• 评估受限变体：经典通信信道、受限证明者空间、先验纠缠及多证明者，采用量子线路与测量模型进行分析。

实验结果

研究问题

• RQ1 在量子交互式证明系统中，2QFA验证者能否以有界误差识别非正则语言？
• RQ2 测量策略（测量多次 vs. 测量一次）如何影响QIP系统中QFA验证者的计算能力？
• RQ3 当证明者策略被限制在$O(\log \log n)$空间时，对具有QFA验证者的QIP系统的识别能力有何影响？
• RQ4 验证者与证明者之间的先验纠缠是否能增强具有QFA验证者的QIP系统的计算能力？
• RQ5 多个共享纠缠的证明者相较于单证明者系统，如何影响具有QFA验证者的QIP系统的表达能力？

主要发现

• 有界误差的2QFA验证者可在最坏情况线性时间内以有界误差识别非正则语言$\{0^n1^n \mid n \geq 0\}$，表明其相较1QFA验证者具有显著的计算能力提升。
• 类$\mathrm{2QFA}(\text{poly-time})$严格包含$\mathrm{REG}$，表明具有双向头部移动与有界误差的量子有限自动机可识别非正则语言。
• 1QFA验证者（包括MO-1QFA）仅能识别群语言，其为正则语言的真子集，因此无法以有界误差识别$\mathrm{Zero} = \{x0 \mid x \in \{0,1\}^*\}$。
• 当通信信道受限为经典时，系统仍保持强大，但其与量子信道情形的确切关系尚不明确。
• 验证者与证明者之间的先验纠缠不会提升具有QFA验证者的QIP系统的识别能力，此类系统仍仅能识别正则语言。
• 多证明者QIP系统中，若验证者为QFA，预期将实现更高的计算能力，类似于经典双证明者IP系统，且可能在量子环境下刻画NEXP等复杂度类。