[논문 리뷰] Decidability of the Equivalence of Multi-Letter Quantum Finite Automata

Daowen Qiu, Xiangfu Zou외 2명|arXiv (Cornell University)|2008. 12. 05.

Quantum Computing Algorithms and Architecture참고 문헌 31인용 수 5

한 줄 요약

이 논문은 다중 문자 양자 유한 오토마타(QFAs)의 동치성의 결정 가능성을 확립한다. 두 k₁- 및 k₂-문자 QFA가 서로 동치임은 물론이고, 그들이 길이 $ 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.

연구 동기 및 목표

• 측정-한 번 QFA를 다중 이전 입력 기호를 읽을 수 있도록 확장한 모델인 다중 문자 양자 유한 오토마타(QFAs)의 동치성 문제의 결정 가능성을 해결하기 위해.
• 동치성 검사를 위해 확인해야 할 문자열 길이의 유한한 상한을 설정하여 결정 가능성을 보장하기 위해.
• 일반적인 문자열 나열 방식의 기하급수적 복잡도를 넘어서 효율적인 다항시간 알고리즘을 설계하여 동치성 검사를 수행하기 위해.
• 측정-한 번 QFA에 대해 알려진 결과를 더 일반적인 다중 문자 QFA 모델으로 확장하기 위해.
• 미래의 다중 문자 QFA에 대한 상태 최소화 및 복잡도 분석 작업의 기초를 마련하기 위해.

제안 방법

• 두 다중 문자 QFA가 특정한 유한한 문자열 길이까지 동치이면 상호 동치임을 증명함으로써, 상태 공간과 알파벳 크기를 바탕으로 유한한 길이 상한을 도출한다.
• 전이 연산자의 가시 부분공간에 집중하는 선형 대수적 프레임워크를 사용하여 양자 상태의 진화를 표현한다.
• 각 $ w \in \Sigma^{k-1} $ 에 대해 상태 진동수 벡터의 스트레칭을 나타내는 기저 $ \mathcal{B}(w) $ 를 구성하고, 초기 상태 벡터와 함께 확장한다.
• 알고리즘 (I) 을 설계하여 기저 $ \mathcal{B}(w) $ 와 $ \mathcal{B}_0 $ 를 계산함으로써 모든 도달 가능한 상태 벡터를 효율적으로 표현할 수 있도록 한다.
• 수용 투영 연산자 $ P_{\text{acc}} $ 를 사용하여 기저의 합집합에 속한 어떤 벡터도 비영인 수용 진폭을 유도하는지 확인하는 알고리즘 (II) 을 개발한다.
• 기저 벡터의 수와 각 벡터당 연산 수를 근사하여 시간 복잡도를 분석함으로써 최종적으로 다항시간 복잡도를 도출한다.

실험 결과

연구 질문

• RQ1 다중 이전 입력 기호를 읽을 수 있도록 확장된 측정-한 번 QFA를 일반화한 다중 문자 양자 유한 오토마타(QFAs)의 동치성 문제는 결정 가능한가?
• RQ2 두 다중 문자 QFA의 동치성을 보장하기 위해 확인해야 할 최소 문자열 길이는 얼마인가?
• RQ3 지정된 길이 이하의 모든 문자열을 나열하는 기하급수적 시간 복잡도의 브루트포스 방법을 다항시간 알고리즘으로 대체할 수 있는가?
• RQ4 동치성 검사의 복잡도는 상태 수와 입력 기호 수에 따라 어떻게 변화하는가?
• RQ5 동일한 언어에 대해 다중 문자 QFA의 상태 복잡도와 표준 측정-한 번 QFA의 상태 복잡도 사이의 관계는 무엇인가?

주요 결과

• 모든 다중 문자 QFA 간의 동치성은 결정 가능하며, 확인해야 할 최대 문자열 길이에 대한 유한한 상한이 존재한다: $ n^2m^{k-1} - m^{k-1} + k $, 여기서 $ m = |Σ| $, $ n = n_1 + n_2 $, $ k = \max(k_1, k_2) $ 이다.
• k = 1 인 경우 이 결과는 측정-한 번 QFA의 동치성 결정 가능성으로 축소되며, 이는 이전 연구와의 일관성을 확인한다.
• 이 상한까지의 모든 문자열을 검사하는 최악의 경우 시간 복잡도는 기하급수적이다: $ O(n^6 m^{n^2 m^{k-1} - m^{k-1} + 2k - 1}) $ 이며, 이는 큰 입력에 대해서는 실용적이지 않다.
• k 가 상수로 간주될 경우 효율적인 다항시간 알고리즘을 설계하였으며, 복잡도는 $ O(m^{2k-1}n^8 + k m^k n^6) $ 이다.
• 모든 문자열을 검사하는 대신, 유한하고 효율적으로 구성 가능한 상태 벡터 집합(기저 $ \mathcal{B}(w) $ 와 $ \mathcal{B}_0 $ 를 통해) 만을 검사한다.
• 이 방법은 단일 알파벳 케이스에 대한 이전 접근과 근본적으로 다릅니다. 상태 진동수 공간의 선형 대수적 구조에 의존합니다.