[论文解读] A small 1-way quantum finite automaton

Arnolds Ķikusts|ArXiv.org|Oct 22, 1998

Quantum Computing Algorithms and Architecture参考文献 3被引用 8

一句话总结

本文提出了一种1-way量子有限自动机（1QFA），可识别字符串中字符'a'和'b'的计数均被n整除的语言，仅使用O(log n)个状态。与经典确定性有限自动机相比，该方法实现了二次方的存储空间优势，表明对于某些正则语言，量子自动机可显著提升空间效率，同时保持较高的接受概率。

ABSTRACT

We study 1-way quantum finite automata (QFAs) and compare them with their classical counterparts. We show that 1-way QFAs can be very space efficient. We construct a 1-way QFAs that are quadratically smaller than any equivalent deterministic finite automata and give the correct answer with a large probability by recognizing the languages in a two letter alphabet "the number of the letters a and the number of the letters b are divisible by n".

研究动机与目标

• 研究1-way量子有限自动机（1QFA）相较于经典有限自动机的存储效率。
• 构建一种1QFA，以高概率识别语言{w ∈ {a,b}* | |w|_a ≡ 0 mod n 且 |w|_b ≡ 0 mod n}。
• 证明对于特定正则语言，1QFA可比其确定性经典对应物小两个数量级。
• 探索量子有限自动机在减少形式语言识别的态复杂度方面的潜力。

提出的方法

• 自动机利用量子态的叠加，同时追踪'a'和'b'计数对n取模的余数。
• 基于输入符号应用酉变换，将模算术编码到量子振幅中。
• 通过测量最终态来判断接受与否，当两个计数均被n整除时，测量到接受态的概率很高。
• 该构造利用量子干涉和振幅放大技术，增强正确识别的概率。
• 所需状态数为O(log n)，远少于经典确定性自动机所需的n²个状态。
• 设计确保对于语言中的字符串，接受概率远离零，而对于语言外的字符串则很低。

实验结果

研究问题

• RQ1 能否使用比经典确定性自动机更少状态的1-way量子有限自动机识别'a'和'b'计数均被n整除的字符串语言？
• RQ2 此类语言识别任务所需的最少量子态数量是多少？
• RQ3 量子自动机如何在最小化误报率的同时，对语言中的字符串实现高接受概率？
• RQ4 量子干涉和叠加在多大程度上可减少有限自动机的态复杂度？
• RQ5 对于此类语言，1QFA在状态大小上是否具有可证明的二次优势？

主要发现

• 所构造的1QFA以高概率识别语言{w ∈ {a,b}* | |w|_a ≡ 0 mod n 且 |w|_b ≡ 0 mod n}。
• 该自动机仅使用O(log n)个量子态，与经典确定性自动机相比，态复杂度实现了二次方减少。
• 该构造表明，对于此问题，量子有限自动机相比经典对应物可实现二次方更优的空间效率。
• 对于语言中的字符串，接受概率远离零，确保了可靠的识别。
• 该方法依赖于量子叠加和酉演化，将模算术编码到量子振幅中。
• 该结果确立了一个具体实例，表明量子自动机在状态规模方面优于经典自动机。