[논문 리뷰] One-way quantum finite automata together with classical states

Daowen Qiu, Paulo Mateus외 2명|arXiv (Cornell University)|2009. 09. 08.

Quantum Computing Algorithms and Architecture참고 문헌 47인용 수 4

한 줄 요약

이 논문은 고전적 상태를 갖는 한 방향 양자 유한 오토마타(1QFAC)를 소개한다. 이는 양자 중첩과 고전적 제어를 융합한 하이브리드 모델로, 모든 정규 언어를 인식할 수 있다. 이 모델은 결정적 유한 오토마타(DFA)에 비해 지수적으로 더 작게 표현할 수 있으며, 모든 정규 언어를 유한 오차로 인식할 수 있고, EXPSPACE 내에서 효율적인 등가성 검증 및 상태 최소화 알고리즘을 제공한다.

ABSTRACT

We show that there are quantum devices that accept all regular languages and that are exponentially more concise than deterministic finite automata (DFA). For this purpose, we introduce a new computing model of {\it one-way quantum finite automata} (1QFA), namely, {\it one-way quantum finite automata together with classical states} (1QFAC), which extends naturally both measure-only 1QFA and DFA and whose state complexity is upper-bounded by both. The original contributions of the paper are the following. First, we show that the set of languages accepted by 1QFAC with bounded error consists precisely of all regular languages. Second, we prove that 1QFAC are at most exponentially more concise than DFA. Third, we show that the previous bound is tight for families of regular languages that are not recognized by measure-once (RMO), measure-many (RMM) and multi-letter 1QFA. % More concretely we exhibit regular languages $L^0(m)$ for $m$ prime such that: (i) $L^0(m)$ cannot be recognized by measure-once, measure-many and multi-letter 1QFA; (ii) the minimal DFA that accepts $L^0(m)$ has $O(m)$ states; (iii) there is a 1QFAC with constant classical states and $O(\log(m))$ quantum basis that accepts $L^0(m)$. Fourth, we give a polynomial-time algorithm for determining whether any two 1QFAC are equivalent. Finally, we show that state minimization of 1QFAC is decidable within EXPSPACE. We conclude the paper by posing some open problems.

연구 동기 및 목표

• 측정 전용 한 방향 양자 유한 오토마타(1QFA)와 결정적 유한 오토마타(DFA)를 통합하는 새로운 양자 오토마타 모델을 개발하는 것.
• 1QFAC가 유한 오차로 모든 정규 언어를 인식할 수 있음을 보여주어 기존 1QFA 모델의 표현 능력을 확장하는 것.
• 일부 정규 언어에 대해 고전적 DFA에 비해 1QFAC가 지수적으로 더 작은 상태 수를 갖는다는 것을 입증하는 것.
• 1QFAC의 등가성 검증 및 상태 최소화를 위한 효율적인 알고리즘을 제공하고, 복잡도 한계를 규명하는 것.

제안 방법

• 양자 기저 상태와 고전적 제어 상태를 조합한 1QFAC 모델을 도입하며, 양자 진화는 유니터리이고 측정은 프로젝티브임을 정의한다.
• 전이 메커니즘을 정의: 고전적 상태가 유니터리 연산을 통해 양자 상태의 진화를 제어하고, 측정 결과에 따라 고전적 상태가 갱신된다.
• 언어에 특화된 성질을 표현하기 위해 크기가 O(log m)인 양자 기저 상태를 사용하여 복잡한 정규 언어의 압축된 표현을 가능하게 한다.
• 소수 m에 대해 언어 L⁰(m)에 대한 명시적 1QFAC를 구성하며, 이는 상수 개의 고전적 상태와 O(log m)의 양자 기저 상태만을 필요로 함을 보여준다.
• 두 1QFAC 간의 등가성을 비교함으로써 전이 및 수용 구조를 분석하는 다항 시간 알고리즘을 설계한다.
• 대수적 및 오토마타 이론적 기법을 사용하여 1QFAC의 상태 최소화 문제가 EXPSPACE 내에서 결정 가능하다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 고전적 제어를 갖는 양자 오토마타 모델이 유한 오차로 모든 정규 언어를 인식할 수 있는가?
• RQ2 정규 언어에 대해 1QFAC의 상태 복잡도는 고전적 DFA에 비해 어떻게 비교되는가?
• RQ3 측정 한 번, 다중 측정, 또는 다중 문자 1QFA로는 인식할 수 없지만 1QFAC로는 인식할 수 있는 정규 언어가 존재하는가?
• RQ4 두 1QFAC 간의 등가성은 효율적으로 결정할 수 있는가? 그리고 1QFAC의 최소화 문제의 계산 복잡도는 무엇인가?
• RQ5 1QFAC의 상태 최소화 문제는 결정 가능하며, 그 복잡도는 무엇인가?

주요 결과

• 유한 오차로 1QFAC가 인식할 수 있는 언어의 집합은 정확히 모든 정규 언어의 집합이다.
• 1QFAC는 DFA보다 지수적으로 더 작게 표현될 수 있다: 소수 m에 대해 언어 L⁰(m)의 경우 최소 DFA는 O(m)개의 상태를 필요로 하지만, 1QFAC는 오직 O(log m)개의 양자 기저 상태와 상수 개의 고전적 상태만을 사용한다.
• 측정 한 번, 다중 측정, 또는 다중 문자 1QFA로는 인식할 수 없지만 1QFAC로는 인식할 수 있는 정규 언어가 존재한다. 이는 1QFAC의 엄밀한 표현 능력 향상을 보여준다.
• 두 1QFAC 간의 등가성을 판단하는 다항 시간 알고리즘이 존재한다.
• 1QFAC의 상태 최소화 문제는 결정 가능하며, EXPSPACE 복잡도 클래스에 속한다.
• L⁰(m) 계열 언어를 통해 1QFAC가 DFA에 비해 상태 압축의 상한이 정확히 달성됨을 입증하였다.