양자 보행으로 형식 언어를 판별하다

초록

이 논문은 이산 시간 양자 보행이 특정 형식 언어를 확정적으로 인식할 수 있는 두 가지 설계 방식을 제시한다. 고전 입력과 양자 입력 모두를 다루며, 양자 입력의 경우 상태 구별(state discrimination) 문제와 연결된다.

상세 분석

양자 보행은 그래프 위에서 코인 연산과 이동 연산을 교대로 적용하는 유닛리 연산의 연속으로 정의된다. 기존 연구에서는 이러한 보행이 보편적인 양자 회로와 동등함을 보이며, 양자 알고리즘 구현에 적합함을 증명했다. 본 논문은 그 연산 능력을 형식 언어 이론에 접목시켜, 언어 인식이라는 관점에서 양자 보행을 재해석한다. 먼저 저자들은 두 종류의 그래프 구조를 설계한다. 첫 번째는 입력 문자열을 순차적으로 읽어 들이는 선형 체인 형태이며, 각 정점에 할당된 코인 연산은 입력 심볼에 따라 서로 다른 위상 변화를 부여한다. 이 구조는 정규 언어 L = {aⁿbⁿ | n≥0}와 같은 단순한 카운팅 언어를 확정적으로 수용한다. 두 번째 설계는 트리형 그래프를 이용해 비결정적 전이와 중첩을 동시에 구현한다. 여기서는 입력을 동시에 여러 경로로 전파시켜, 교차점에서 간섭을 일으키는 방식으로 문맥 자유 언어를 인식한다. 중요한 점은 두 설계 모두 측정 전까지 전체 시스템이 순수 양자 상태를 유지한다는 것이다. 따라서 고전 입력일 경우 최종 측정 결과가 ‘수용’ 혹은 ‘거부’로 명확히 구분되지만, 양자 입력—즉 입력 심볼이 중첩된 상태로 주어질 때—는 최종 확률 분포가 입력 상태 간의 내적에 의존한다. 저자들은 이를 이용해 양자 상태 구별 문제를 자연스럽게 구현한다. 예를 들어, 두 개의 서로 직교하지 않은 입력 상태 |ψ₁⟩와 |ψ₂⟩를 동일한 언어에 대해 테스트하면, 최종 측정 확률이 두 상태를 구별하는 최적 측정과 일치함을 보인다. 이는 양자 보행이 단순히 계산 모델을 넘어, 양자 정보 이론에서 핵심적인 작업인 상태 구별을 수행할 수 있음을 시사한다. 또한, 복잡도 측면에서 제안된 그래프는 선형 혹은 다항적인 크기를 갖으며, 물리적 구현 시 광학 파동가이드나 초전도 회로 등 기존 양자 보행 실험 플랫폼에 바로 적용 가능하다. 논문은 이러한 설계가 기존 양자 회로 기반 언어 인식보다 회로 깊이와 오류 누적 측면에서 유리할 수 있음을 논증한다. 마지막으로, 양자 입력을 활용한 경우 언어 인식 정확도가 입력 상태의 순수도와 얽힘 정도에 따라 변동함을 실험 시뮬레이션으로 확인하고, 이는 양자 오류 정정과 연계된 새로운 연구 방향을 제시한다.