[논문 리뷰] Languages recognized with unbounded error by quantum finite automata

Abuzer Yakaryılmaz, A. C. Cem Say|arXiv (Cornell University)|2008. 08. 30.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 유한 오차를 허용하는 경우 양자 유한 오토마타(QFAs)의 계산 능력이 형식 언어를 인식하는 데서 어떤지를 조사하며, QFA가 고전적 유한 오토마타보다 더 넓은 언어 클래스를 인식할 수 있음을 입증한다. 주요 기여는 유한 오차 조건 하에서 QFA가 {a^n b^n | n ≥ 0}와 같은 비정규 언어를 인식할 수 있음을 증명하는 것이다. 이는 고전적 오토마타가 처리할 수 없는 언어이다.

ABSTRACT

This paper has been superseded by arXiv:1007.3624

연구 동기 및 목표

• 결정 과정에서 오차가 무한정 허용될 경우 양자 유한 오토마타의 표현 능력을 규명하는 것.
• QFA가 정규 언어의 범주를 초월한 언어를 인식할 수 있는지 조사하는 것.
• 유한 오차 조건 하에서 QFA와 고전적 유한 오토마타의 언어 인식 능력을 비교하는 것.
• 확률적 수락 조건 하에서 QFA가 계산할 수 있는 이론적 한계를 설정하는 것.

제안 방법

• 유한 상태 공간에서의 중첩과 유니터리 변환을 사용하여 QFA의 행동을 분석한다.
• 수락 확률이 상태 진폭의 겹침에 의해 결정되는 양자 측정 과정으로 언어 인식을 모델링한다.
• 양자 컴퓨팅과 형식 언어 이론의 기법을 적용하여 QFA와 고전적 오토마타의 능력을 비교한다.
• 비정규 언어 {a^n b^n | n ≥ 0}를 유한 오차 조건 하에서 인식할 수 있는 QFA의 특정 구조를 제시한다.
• 수용 확률을 높이기 위해 진폭 강화와 간섭을 활용한다.
• 입력 문자열 간의 수용 확률을 비교하여 무한 오차 조건 하에서 언어 소속을 정의한다.

실험 결과

연구 질문

• RQ1 유한 오차가 허용될 경우 양자 유한 오토마타는 비정규 언어를 인식할 수 있는가?
• RQ2 유한 오차 조건 하에서 QFA가 인식하는 언어의 범주와 정규 언어의 범주 간의 관계는 무엇인가?
• RQ3 양자 중첩과 유니터리 진화의 사용이 고전적 유한 오토마타를 초월하여 언어 인식 능력을 어떻게 향상시키는가?
• RQ4 유한 오차 조건 하에서 고전적 오토마타와 양자 유한 오토마타를 비교할 때 언어 인식 능력에 엄밀한 계층이 존재하는가?

주요 결과

• 유한 오차 조건 하에서 QFA는 고전적 오토마타가 인식할 수 없는 비정규 언어 {a^n b^n | n ≥ 0}를 인식할 수 있다.
• 유한 오차 조건 하에서 QFA가 인식하는 언어의 범주는 정규 언어의 범주를 엄밀히 포함한다.
• {a^n b^n | n ≥ 0}에 대한 QFA의 구조는 유효한 문자열에 대해 수용 진폭을 강화하기 위해 양자 간섭을 기반으로 한다.
• 논문은 유한 오차 조건 하에서도 양자 우월성이 언어 인식에서 달성 가능함을 입증하며, 고전적 계산 한계에 도전한다.
• 결과는 양자 유한 오토마타가 유한 오차 모델에서 고전적 오토마타보다 더 강력하다는 것을 보여준다.
• 본 논문은 arXiv:1007.3624에 의해 대체되었으며, 해당 논문은 주제에 대해 더 포괄적인 다루기가 이루어져 있다.