비RMM 정규 언어에 대한 지수적 압축량을 가진 양자 인식

초록

본 논문은 모든 정규 언어를 인식할 수 있는 새로운 1‑way 양자 유한 자동자 모델 1QFAC를 제안한다. 1QFAC는 고전 상태와 양자 기반을 결합해 DFA와 기존 1QFA의 장점을 모두 갖추며, 언어 인식 능력은 정규 언어 전체와 동등하고, 상태 복잡도는 DFA보다 최악의 경우 지수적으로 적다. 또한, 특정 정규 언어 집합에 대해 1QFAC가 상수 개수의 고전 상태와 O(log m)개의 양자 기저만으로 DFA의 O(m) 상태를 대체함을 보이고, 1QFAC 동등성 검사와 최소화 문제의 복잡도 경계를 제시한다.

상세 분석

이 논문은 기존의 1‑way 양자 유한 자동자(1QFA) 연구에서 남아 있던 두 가지 근본적인 한계를 동시에 해결한다. 첫째, 측정 전용 1QFA(Measure‑Only)와 다중 문자 1QFA는 정규 언어의 일부만을 인식할 수 있었으며, 특히 RMM(Measure‑Many) 모델은 특정 주기적 구조를 가진 언어에만 효율적이었다. 둘째, 기존 모델들은 양자 상태 수와 고전 상태 수를 별도로 최적화할 수 없었기 때문에, 복잡도 감소 효과가 제한적이었다. 저자들은 ‘one‑way quantum finite automata together with classical states(1QFAC)’라는 새로운 하이브리드 모델을 정의한다. 1QFAC는 입력을 한 번만 읽으며, 각 입력 심볼에 대해 고전 상태 전이와 양자 연산을 순차적으로 수행한다. 고전 상태는 유한하고 결정적이며, 양자 부분은 유니터리 연산과 측정을 포함한다. 이 구조는 DFA와 기존 1QFA를 모두 포함하는 상위 클래스가 된다.

주요 정리 1은 1QFAC가 bounded‑error 조건 하에 모든 정규 언어를 인식한다는 것이다. 증명은 Myhill‑Nerode 관계를 양자‑고전 혼합 전이 시스템에 매핑함으로써, 최소 DFA의 상태 집합을 고전 상태로, 각 등급 클래스에 대한 구분 정보를 양자 기저에 인코딩한다. 이렇게 하면 DFA의 O(n)개의 상태를 고전 부분에 그대로 유지하면서, 양자 부분은 로그 규모의 차원만 필요하게 된다.

주요 정리 2는 1QFAC가 DFA보다 최악의 경우 지수적으로 더 적은 상태를 사용할 수 있음을 보인다. 구체적으로, 언어 L⁰(m) = { a^{km} | k ≥ 0 } (m은 소수)와 같은 주기성 언어에 대해, 최소 DFA는 Θ(m)개의 상태가 필요하지만, 1QFAC는 고전 상태를 2개(또는 상수 개)로 고정하고, 양자 기저 차원을 O(log m)로 제한한다. 이는 양자 위상 회전과 간단한 측정을 이용해 입력 길이의 m‑배수 여부를 효율적으로 판단하기 때문이다.

또한, 논문은 1QFAC 동등성 검사를 다항 시간 알고리즘으로 해결할 수 있음을 제시한다. 두 1QFAC의 전이 행렬을 합성하고, 그 차이가 영행렬인지 확인하는 과정은 선형대수학적 방법으로 다항 시간에 수행된다. 반면, 최소화 문제는 EXPSPACE 내에서 결정 가능함을 보이며, 이는 양자 부분의 연산이 복잡도 급증을 일으키지만, 고전 상태와 양자 기저의 조합을 제한함으로써 가능한 결과이다.

이러한 결과는 양자 자동자 연구에 두 가지 중요한 함의를 가진다. 첫째, 양자와 고전의 혼합이 정규 언어 인식에서 이론적 최적성을 달성할 수 있음을 보여준다. 둘째, 실제 구현 관점에서 양자 회로의 규모를 로그 수준으로 줄일 수 있기 때문에, 제한된 양자 메모리를 가진 현재의 양자 하드웨어에 적용 가능성이 높다.