두방향 양자 유한자동기의 연산 상태 복잡도 연구

초록

본 논문은 고정된 입력 길이에 대해 연산을 수행하기 위해 필요한 최소 두방향 양자 유한자동기(2qfa)의 상태 수, 즉 연산 상태 복잡도를 조사한다. 교집합·합집합·역전·연결 연산에 대한 상한을 제시하고, 일방향 오류 확률을 갖는 선형 시간 2qfa로 비정규 언어들을 인식함으로써 제시된 상한이 일반적으로 조밀하지 않음을 보인다. 또한, 일방향 결정적 유한자동기를 두방향 가역 자동기로 시뮬레이션할 때 상태 수 상한이 항상 타이트하지 않음을 예시로 제시한다.

상세 분석

이 연구는 전통적인 상태 복잡도 개념을 양자 계산 모델, 특히 두방향 양자 유한자동기(2qfa)로 확장한 최초의 시도 중 하나이다. 기존 문헌에서는 주로 1qfa 혹은 2-way 확정적/비결정적 자동기의 상태 수를 다루었지만, 2qfa는 양자 중첩과 측정, 그리고 양방향 이동이라는 세 가지 자유도를 동시에 제공한다. 이러한 특성은 언어 인식 능력에서 기존의 정규 언어 한계를 뛰어넘게 하지만, 동시에 “얼마나 많은 상태가 필요하냐”는 질문에 대한 답을 복잡하게 만든다.

논문은 먼저 연산 상태 복잡도라는 정의를 명확히 한다. 입력 길이 n에 대해 모든 길이‑n 문자열에 대해 연산을 정확히 수행하도록 설계된 최소 2qfa의 상태 수를 f_op(n)이라 두고, 연산 op는 교집합(∩), 합집합(∪), 역전(R), 연결(·) 네 가지를 다룬다. 각 연산에 대해 기존의 결정적·비결정적 자동기에서 알려진 상한을 양자 버전으로 일반화한다. 예를 들어, 두 2qfa M₁, M₂가 각각 s₁, s₂개의 상태를 가질 때, 교집합을 구현하는 2qfa는 일반적으로 s₁·s₂개의 상태를 필요로 한다는 것이 전통적인 곱셈 상한이다. 저자들은 이 곱셈 상한을 유지하면서도 양자 얽힘을 이용해 일부 경우에 상태 수를 감소시킬 수 있음을 보인다. 특히, 역전 연산에서는 입력을 뒤에서부터 읽는 것이 자연스럽게 구현되므로, 기존의 2-way 자동기와 동일한 O(s) 상태 상한을 유지한다.

핵심적인 기여는 “비정규 언어”에 대한 2qfa 구현이다. 저자들은 일방향 오류 확률(한쪽 오류) ≤ 1/3을 만족하면서도 선형 시간 O(n) 안에 다음과 같은 언어들을 인식한다: L₁ = { aⁿbⁿ | n ≥ 1 }, L₂ = { wwᵀ | w ∈ {a,b}* }, 그리고 L₃ = { x#y | |x| = |y| }. 이러한 언어들은 전통적인 DFA나 NFA로는 인식할 수 없으며, 심지어 1qfa조차도 인식이 불가능한 경우가 많다. 저자들은 양자 위상 변환과 두방향 이동을 조합해 “양자 카운터”를 구현함으로써, 실제로는 O(1)개의 양자 비트를 사용하지만 효과적으로 n을 카운트하는 메커니즘을 설계한다. 이 과정에서 사용된 기술은 “양자 워크스페이스 재사용”과 “측정 기반 중단”이다. 결과적으로, 제시된 2qfa는 상태 수가 O(n) 이하이며, 이는 기존에 알려진 2qfa의 상한 O(n²)보다 크게 개선된 것이다.

또한, 논문은 일방향 결정적 유한자동기(DFA)를 두방향 가역 자동기(RFA)로 시뮬레이션할 때 발생하는 상태 수 상한이 일반적으로 조밀하지 않음을 보인다. 전통적인 변환은 DFA의 각 상태를 RFA의 두 배 이상으로 복제하는 방식을 사용하지만, 저자들은 특정 DFA(예: 순환 구조를 가진 DFA)의 경우, RFA가 동일한 언어를 O(1)개의 추가 상태만으로도 구현할 수 있음을 예시로 제시한다. 이는 “가역성”이라는 제약이 반드시 상태 폭발을 초래하지 않음을 시사한다.

전반적으로 이 논문은 2qfa의 연산적 측면을 체계적으로 분석하고, 기존 상한이 비타이트함을 실험적·이론적으로 입증한다. 향후 연구는 상한을 더 낮추는 정밀한 변환 기법, 오류 확률을 1/3 이하에서 임의의 ε로 감소시키는 증폭 기법, 그리고 복합 연산(예: (L₁ ∩ L₂)·L₃)의 상태 복잡도에 대한 일반적 공식화 등을 포함할 수 있다.