[논문 리뷰] Classical and quantum counter automata on promise problems

Masaki Nakanishi, Abuzer Yakaryılmaz|arXiv (Cornell University)|2014. 12. 21.

Quantum Computing Algorithms and Architecture참고 문헌 21인용 수 2

한 줄 요약

이 논문은 영구 오류가 없는 단방향 양자 일개수기계가 약속 문제에서 그들의 고전적 확률적 대응체를 능가함을 보여주며, 엄격한 계산적 우위를 확립한다. 또한 라스 베가스 확률적 일개수기계가 결정론적 기계를 능가하며, 이전에 제기된 추측을 반박함으로써 확률적 눈멀개수기계가 실제로 등가 언어의 클레니 클로처를 인식할 수 있음을 보여준다.

ABSTRACT

We show that one-way quantum one-counter automaton with zero-error is more powerful than its probabilistic counterpart on promise problems. Then, we obtain a similar separation result between Las Vegas one-way probabilistic one-counter automaton and one-way deterministic one-counter automaton. Lastly, it was conjectured that one-way probabilistic one blind-counter automata cannot recognize Kleene closure of equality language [A. Yakaryilmaz: Superiority of one-way and realtime quantum machines. RAIRO - Theor. Inf. and Applic. 46(4): 615-641 (2012)]. We show that this conjecture is false, and also show several separation results for blind/non-blind counter automata.

연구 동기 및 목표

• 약속 문제에서 양자 및 고전적 일개수기계의 계산 능력을 조사하는 것.
• 영구 오류가 없는 양자, 라스 베가스 확률적, 결정론적 일개수기계의 능력을 비교하는 것.
• 등가 언어의 클레니 클로저를 인식하는 데 있어 확률적 눈멀개수기계의 제한에 관한 추측을 해결하는 것.
• 눈멀개수기계 모델과 비눈말개수기계 모델 간의 새로운 분리 결과를 확립하는 것.
• 다양한 오류 모델을 가진 일방향 개수기계 간의 계산 능력 계층을 명확히 하는 것.

제안 방법

• 양자 상태 진화와 측정 전략을 사용하여 영구 오류가 없는 단방향 양자 일개수기계가 약속 문제에서 행동하는 방식을 분석하는 것.
• 확률적 상태 전이 분석을 통해 라스 베가스 확률적 일개수기계와 결정론적 기계의 인식 능력을 비교하는 것.
• 등가 언어의 클레니 클로저를 위한 계산을 시뮬레이션하기 위해 양자 중첩과 간섭을 사용하는 특정 양자 알고리즘을 구성하는 것.
• 기존의 자동기 이론과 양자 계산 이론의 결과를 적용하여 개수기계로 정의된 복잡도 클래스 간의 분리를 증명하는 것.
• 확률적 눈멀개수기계가 클레니 클로저를 인식할 수 없다는 추측을 반박하기 위해 모순에 의한 증명을 사용하는 것.
• 개수 언어와 자동기의 구조적 성질을 활용하여 모델 간의 엄격한 계층 결과를 도출하는 것.

실험 결과

연구 질문

• RQ1 영구 오류가 없는 단방향 양자 일개수기계는 고전적 확률적 일개수기계가 다룰 수 없는 약속 문제를 해결할 수 있는가?
• RQ2 라스 베가스 확률적 일개수기계와 결정론적 일개수기계 사이에 엄격한 계산 능력의 분리가 존재하는가?
• RQ3 이전 추측과는 달리, 확률적 눈멀개수기계는 등가 언어의 클레니 클로저를 인식할 수 있는가?
• RQ4 일방향 환경에서 눈멀개수기계와 비눈말개수기계의 상대적 표현 능력은 어떠한가?
• RQ5 영구 오류가 없는 양자, 라스 베가스 확률적, 결정론적 모델 간의 언어 인식 능력은 어떻게 비교되는가?

주요 결과

• 영구 오류가 없는 단방향 양자 일개수기계는 고전적 확률적 일개수기계가 다룰 수 없는 특정 약속 문제를 해결할 수 있다.
• 라스 베가스 단방향 확률적 일개수기계와 그 결정론적 대응체 사이에 엄격한 분리가 존재하며, 계산 능력의 계층이 확인된다.
• 확률적 눈멀개수기계가 등가 언어의 클레니 클로저를 인식할 수 없다는 추측은 잘못되었으며, 구성적 반례로 이를 입증하였다.
• 눈멀개수기계 모델과 비눈말개수기계 모델 간에 새로운 분리 결과가 확립되었으며, 이는 서로 다른 계산 능력을 드러낸다.
• 영구 오류 제약 조건이 존재하는 약속 문제의 맥락에서, 양자 일개수기계는 고전적 모델보다 증명 가능한 우위를 보인다.
• 결과는 다양한 오류 모델과 개수기계의 가시성(눈멀 vs. 비눈말)을 가진 일방향 개수기계 간의 계산 계층을 더욱 정교하게 이해하는 데 기여한다.