[论文解读] Decidability of the Equivalence of Multi-Letter Quantum Finite Automata

Daowen Qiu, Xiangfu Zou+2 more|arXiv (Cornell University)|Dec 5, 2008

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

一句话总结

该论文证明了多字母量子有限自动机（QFAs）等价性的可判定性，证明了两个 k₁ 和 k₂ 字母的 QFAs 当且仅当在长度不超过 $ n^2m^{k-1} - m^{k-1} + k $ 的所有字符串上一致时是等价的，其中 $ m = |Σ| $，$ n = n_1 + n_2 $，$ k = \max(k_1, k_2) $。此外，该论文提出了一种时间复杂度为 $ O(m^{2k-1}n^8 + km^k n^6) $ 的多项式时间算法，显著优于朴素的指数级暴力检查方法。

ABSTRACT

Multi-letter {\it quantum finite automata} (QFAs) were a quantum variant of classical {\it one-way multi-head finite automata} (J. Hromkovič, Acta Informatica 19 (1983) 377-384), and it has been shown that this new one-way QFAs (multi-letter QFAs) can accept with no error some regular languages $(a+b)^{*}b$ that are unacceptable by the previous one-way QFAs. In this paper, we study the decidability of the equivalence of multi-letter QFAs, and the main technical contributions are as follows: (1) We show that any two automata, a $k_{1}$-letter QFA ${\cal A}_1$ and a $k_{2}$-letter QFA ${\cal A}_2$, over the same input alphabet $Σ$ are equivalent if and only if they are $(n^2m^{k-1}-m^{k-1}+k)$-equivalent, where $m=|Σ|$ is the cardinality of $Σ$, $k=\max(k_{1},k_{2})$, and $n=n_{1}+n_{2}$, with $n_{1}$ and $n_{2}$ being the numbers of states of ${\cal A}_{1}$ and ${\cal A}_{2}$, respectively. When $k=1$, we obtain the decidability of equivalence of measure-once QFAs in the literature. It is worth mentioning that our technical method is essentially different from that for the decidability of the case of single input alphabet (i.e., $m=1$). (2) However, if we determine the equivalence of multi-letter QFAs by checking all strings of length not more than $ n^2m^{k-1}-m^{k-1}+k$, then the worst time complexity is exponential, i.e., $O(n^6m^{n^2m^{k-1}-m^{k-1}+2k-1})$. Therefore, we design a polynomial-time $O(m^{2k-1}n^{8}+km^kn^{6})$ algorithm for determining the equivalence of any two multi-letter QFAs. Here, the time complexity is concerning the number of states in the multi-letter QFAs, and $k$ is thought of as a constant.

研究动机与目标

• 解决多字母量子有限自动机（QFAs）等价性的可判定性问题，该模型通过允许自动机读取多个先前的输入符号，扩展了测量一次QFA模型。
• 建立一个有限的字符串长度上限，以确保等价性检查的可判定性。
• 设计一种高效的多项式时间算法用于等价性检查，克服朴素字符串枚举方法带来的指数级复杂度。
• 将已知的关于测量一次QFA的结果推广到更一般的多字母QFA模型。
• 为未来在多字母QFA的状态最小化和复杂度分析方面的工作奠定基础。

提出的方法

• 证明两个多字母QFAs等价当且仅当它们在特定有限长度的字符串上一致，该长度由状态空间和字母表大小推导得出。
• 使用线性代数框架表示量子态的演化，重点关注转移算子的可及子空间。
• 为每个 $ w \in \Sigma^{k-1} $ 构造一个基 $ \mathcal{B}(w) $，表示以 $ w $ 结尾的字符串对应的态演化向量的张成空间，并将其与初始态向量扩展。
• 设计算法 (I) 以计算基 $ \mathcal{B}(w) $ 和 $ \mathcal{B}_0 $，从而实现对所有可及态向量的高效表示。
• 设计算法 (II)，检查基的并集中是否存在任意向量导致非零接受振幅，使用接受投影 $ P_{\text{acc}} $。
• 通过限制基向量的数量和每个向量的操作次数来分析时间复杂度，从而得出最终的多项式时间复杂度。

实验结果

研究问题

• RQ1 多字母量子有限自动机的等价性问题是否可判定？该模型通过读取多个先前的输入符号，扩展了测量一次QFA模型。
• RQ2 为确保两个多字母QFAs等价，必须检查的字符串的最小长度是多少？
• RQ3 是否可以将检查所有长度至某一上限字符串的指数时间暴力方法，替换为多项式时间算法？
• RQ4 等价性检查的复杂度如何随状态数和输入符号数的变化而变化？
• RQ5 多字母QFAs的状态复杂度与相同语言下的标准测量一次QFAs之间存在何种关系？

主要发现

• 任意两个多字母QFAs的等价性是可判定的，且需要检查的最大字符串长度存在有限上界：$ n^2m^{k-1} - m^{k-1} + k $，其中 $ m = |Σ| $，$ n = n_1 + n_2 $，$ k = \max(k_1, k_2) $。
• 当 $ k = 1 $ 时，该结果退化为测量一次QFAs等价性的可判定性，与先前工作保持一致。
• 检查所有长度至该上界的字符串的最坏情况时间复杂度为指数级：$ O(n^6 m^{n^2 m^{k-1} - m^{k-1} + 2k - 1}) $，对大输入而言不切实际。
• 设计了一种时间复杂度为 $ O(m^{2k-1}n^8 + k m^k n^6) $ 的多项式时间算法，当 $ k $ 视为常数时效率较高。
• 该算法仅检查一个有限且可高效构造的态向量集合（通过基 $ \mathcal{B}(w) $ 和 $ \mathcal{B}_0 $ 构造），而非所有字符串。
• 该方法与以往针对单字母表情况的方法有本质不同，其核心依赖于态演化空间中的线性代数结构。