The Emptiness Problem for Quantum Finite Automata with Classical States

2026-08-29

AI Summary

研究了量子有限自动机与经典状态(QFAC)的表达能力和空集问题，提出了一种验证单循环QFAC非空性的方法。

Abstract

Quantum Finite Automata with Classical states (QFACs) are nondeterministic finite automata over a finite alphabet of quantum operations. We study expressiveness of this model on finite words and the corresponding emptiness problem. We show that regular languages are incomparable with those definable by Quantum Finite Automata (QFAs) and that both are strictly subsumed by QFAC-definable languages. We show that the emptiness problem for a QFAC can be reduced to the emptiness of the language intersection of a QFA and a finite automaton. This intersection is known to be decidable for strict thresholds but undecidable for non-strict cases. Furthermore, we consider the problem for flat QFACs, a restriction where the underlying automata contain no nested loops, and relate it to the higher-dimensional orbit problem, a long-standing open challenge in dynamical systems. Finally, we propose a sound and semi-complete witness searching procedure to verify the non-emptiness of one-loop QFACs, which are sufficiently expressive to represent some prominent quantum algorithms, such as Grover's search and quantum random walks.

Problem

• Quantum Finite Automata
• Classical States
• Emptiness Problem
• Expressiveness
• Higher-dimensional Orbit Problem

Innovation

• Quantum Finite Automata with Classical states
• emptiness problem
• language intersection
• one-loop QFACs
• witness searching procedure