[论文解读] Classical and quantum counter automata on promise problems

Masaki Nakanishi, Abuzer Yakaryılmaz|arXiv (Cornell University)|Dec 21, 2014

Quantum Computing Algorithms and Architecture参考文献 21被引用 2

一句话总结

该论文表明，零误差的单向量子一位计数器自动机在真言问题上的表现优于其经典概率对应物，确立了严格的计算优势。此外，论文进一步证明了拉斯维加斯概率一位计数器自动机优于确定性自动机，并通过构造性反例驳斥了先前的猜想，即概率盲计数器自动机确实能够识别等式语言的克林闭包。

ABSTRACT

We show that one-way quantum one-counter automaton with zero-error is more powerful than its probabilistic counterpart on promise problems. Then, we obtain a similar separation result between Las Vegas one-way probabilistic one-counter automaton and one-way deterministic one-counter automaton. Lastly, it was conjectured that one-way probabilistic one blind-counter automata cannot recognize Kleene closure of equality language [A. Yakaryilmaz: Superiority of one-way and realtime quantum machines. RAIRO - Theor. Inf. and Applic. 46(4): 615-641 (2012)]. We show that this conjecture is false, and also show several separation results for blind/non-blind counter automata.

研究动机与目标

• 研究量子与经典一位计数器自动机在真言问题上的计算能力。
• 比较零误差量子、拉斯维加斯概率和确定性一位计数器自动机的能力。
• 解决关于概率盲计数器自动机在识别等式语言克林闭包方面局限性的猜想。
• 在盲计数器与非盲计数器自动机模型之间建立新的分离结果。
• 厘清具有不同错误模型的一维计数器自动机之间的计算能力层次关系。

提出的方法

• 通过量子态演化与测量策略，分析零误差单向量子一位计数器自动机在真言问题上的行为。
• 通过概率状态转移分析，比较拉斯维加斯概率一位计数器自动机与确定性自动机的识别能力。
• 构建一种特定的量子算法，利用量子叠加与干涉，模拟等式语言克林闭包所需的计算。
• 应用自动机理论与量子计算中的已知结果，证明由计数器自动机构造的复杂性类之间的分离。
• 使用反证法，驳斥关于概率盲计数器自动机无法识别克林闭包的猜想。
• 利用计数器语言与自动机的结构特性，推导出不同模型之间严格的层次关系。

实验结果

研究问题

• RQ1 零误差的单向量子一位计数器自动机能否解决经典概率一位计数器自动机无法处理的真言问题？
• RQ2 拉斯维加斯概率一位计数器自动机与确定性一位计数器自动机之间是否存在严格的计算能力分离？
• RQ3 概率盲计数器自动机是否能够识别等式语言的克林闭包，与先前猜想相反？
• RQ4 在一维设置下，盲计数器与非盲计数器自动机的相对表达能力如何？
• RQ5 在语言识别能力方面，零误差量子、拉斯维加斯概率与确定性模型之间有何比较？

主要发现

• 零误差的单向量子一位计数器自动机能够解决某些经典概率一位计数器自动机无法处理的真言问题。
• 拉斯维加斯单向概率一位计数器自动机与其确定性对应物之间存在严格分离，证实了计算能力的层次关系。
• 先前认为概率盲计数器自动机无法识别等式语言克林闭包的猜想是错误的，已通过构造性反例证明。
• 在盲计数器与非盲计数器自动机模型之间建立了新的分离结果，揭示了其不同的计算能力。
• 在真言问题背景下，即使在零误差约束下，量子一位计数器自动机也表现出对经典模型的可证明优势。
• 研究结果细化了对具有不同错误模型和计数器可见性（盲 vs. 非盲）的一维计数器自动机之间计算层次关系的理解。