[论文解读] Quantum finite automata: A modern introduction

A. C. Cem Say, Abuzer Yakaryılmaz|arXiv (Cornell University)|Jun 16, 2014

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

一句话总结

本文提出了一种基于超算符的现代量子有限自动机（QFA）模型，该模型统一并模拟了所有已知的经典与量子有限自动机变体。它展示了五个具体实例，表明QFA在这些场景中优于经典自动机，为量子计算教育与研究建立了稳健的框架。

ABSTRACT

We present five examples where quantum finite automata (QFAs) outperform their classical counterparts. This may be useful as a relatively simple technique to introduce quantum computation concepts to computer scientists. We also describe a modern QFA model involving superoperators that is able to simulate all known QFA and classical finite automaton variants.

研究动机与目标

• 解决早期量子有限自动机（QFA）模型未能充分利用量子力学原理、有时甚至表现不如经典对应物的局限性。
• 为计算机科学家提供一种教学有效且简洁的框架，用于引入量子计算概念。
• 开发一种通用的QFA模型，能够模拟所有已知的经典与量子有限自动机变体。
• 通过在特定、明确的问题中使用QFA，具体展示量子计算相对于经典计算的优势。
• 形式化一种基于超算符的QFA模型，该模型推广了现有的QFA与概率有限自动机模型。

提出的方法

• 提出一种由五元组定义的通用QFA模型：{Q, Σ, {ℰσ | σ ∈ Σ}, q₁, Qₐ}，其中ℰσ为作用于密度矩阵的超算符。
• 使用超算符 ℰσ = ∑ⱼ Eσ,j ρ Eσ,j†，通过操作元 Eσ,j 建模量子跃迁，推广了幺正演化与测量过程。
• 将初始状态表示为纯密度矩阵 ρ₀ = |q₁⟩⟨q₁|，在每个输入符号后通过 ρₜ = ℰwₜ(ρₜ₋₁) 进行演化。
• 通过 fₘ(w) = ∑qⱼ∈Qₐ ρ(j,j) 计算接受概率，该值由最终密度矩阵的对角线元素导出。
• 构建了对概率有限自动机中任意随机矩阵 A 的超算符模拟，证明了 rtQFAs 可以模拟 rtPFAs。
• 证明了超算符张量积可实现对多个自动机的并行模拟，从而增强模型的表达能力。

实验结果

研究问题

• RQ1 量子有限自动机是否能在特定计算任务中明确优于经典有限自动机？
• RQ2 能够模拟所有已知经典与量子自动机变体的最通用且统一的量子有限自动机模型是什么？
• RQ3 如何利用超算符建模量子演化与测量，以推广幺正演化与概率性跃迁？
• RQ4 在模拟能力方面，概率有限自动机与量子有限自动机之间存在何种正式关系？
• RQ5 一个单一的QFA模型能否捕捉到经典与量子有限自动机模型中观察到的全部行为特征？

主要发现

• 所提出的基于超算符的QFA模型能够模拟所有已知的经典与量子有限自动机变体，包括实时确定性、概率性与量子自动机。
• 提出了五个具体实例，表明量子有限自动机在这些场景中优于其经典对应物，清晰展示了有限状态计算中的量子优势。
• 任何实时概率有限自动机（rtPFA）均可通过具有相同状态数的实时量子有限自动机（rtQFA）利用超算符构造进行模拟。
• 超算符框架可通过超算符的张量积实现并行计算的模拟，从而增强模型的计算表达力。
• 该模型在单一框架下正式统一了量子与经典有限自动机，其中密度矩阵表示混合态，超算符建模演化过程。
• 输入字符串 w 的接受概率通过最终密度矩阵中对应接受状态的对角线元素之和计算得出，提供了一致的基于测量的接受准则。