[논문 리뷰] On the Power of Quantum Queue Automata in Real-time

Amandeep Singh Bhatia, Ajay Kumar|arXiv (Cornell University)|2018. 10. 29.

Quantum Computing Algorithms and Architecture참고 문헌 20인용 수 4

한 줄 요약

이 논문은 유니터리 전이를 사용하는 양자 큐 자동화의 실시간 버전인 실시간 양자 큐 자동화(rtQQA)를 소개한다. rtQQA는 고전적 큐 자동화의 양자 버전이며, 양자 중첩과 간섭을 통해 실시간 처리에서 고전적 결정론적 및 비결정론적 큐 자동화로는 결정할 수 없는 언어를 인식할 수 있음을 증명한다. 이는 실시간 처리에서 양자 중첩과 간섭을 통해 엄밀한 계산적 우월성을 입증한다.

ABSTRACT

This paper proposed a quantum analogue of classical queue automata by using the definition of the quantum Turing machine and quantum finite-state automata. However, quantum automata equipped with storage medium of a stack has been considered, but the concept of quantum queue automata has not been introduced so far. The classical Turing machines can be simulated by classical queue automata. Motivated by the efficiency of the quantum Turing machine and nature of classical queue automata, we have introduced the notion of quantum queue automata using unitary criteria. Our contributions are as follows. We have also introduced a generalization of real-time deterministic queue automata, the real-time quantum queue automata which work in real-time i.e. the input head can move towards the right direction only and takes exactly one step per input symbol. We have shown that real-time quantum queue automata is more superior than its real-time classical variants by using quantum transitions. We have proved the existence of the language that can be recognized by real-time quantum queue automata and cannot be recognized by real-time deterministic (reversible) queue automata. Further, we have shown that there is a language that can be recognized by real-time quantum queue automata but not by real-time non-deterministic queue automata.

연구 동기 및 목표

• 양자 Turning 기계 원리와 유니터리 진화를 사용하여 고전적 큐 자동화의 양자 유사체를 형식화한다.
• 실시간 양자 큐 자동화(rtQQA)의 계산 능력을 고전적 실시간 변형과 비교하여 조사한다.
• 양자 전이가 실시간 결정론적 및 비결정론적 큐 자동화로는 다룰 수 없는 언어를 인식할 수 있도록 하는지를 보여준다.
• 실시간 모델에서 고전적 및 양자 큐 자동화 간의 언어 인식 능력 계층을 수립한다.

제안 방법

• 양자 상태, 큐 기호, 헤드 위치에 대한 유니터리 전이 함수를 사용하여 양자 큐 자동화를 정의한다.
• 입력 헤드가 한 번에 한 글자씩 오른쪽으로만 이동하는 실시간 양자 큐 자동화(rtQQA)를 도입하며, 각 입력 기호마다 유니터리 진화를 수행한다.
• 다양한 계산 경로를 동시에 탐색할 수 있도록 중첩을 활용하여 언어 $L_{xy} = \{w \in \{a,b,0,1,c,\$\}^* \mid w = xcyx^R\}$를 위한 양자 자동화를 구성한다.
• 양자 전이를 통해 기호(A/B는 a/b 또는 0/1에 대응)를 동시에 큐에 삽입하고, 이후 큐 연산을 통해 비교한다. 이 과정에서 양자 간섭을 활용한다.
• 확률적 수렴을 보장하기 위해 진폭 강화와 간섭을 이용하여, 유효한 입력에 대해서는 수용 확률 ≥ 2/3, 무효한 입력에 대해서는 기각 확률 ≥ 2/3를 확보한다.
• 모든 구성에 걸쳐 유니터리성을 보장하고 양자 진화의 타당성을 확보하기 위해 전이 함수의 잘 정의된 조건을 정의한다.

실험 결과

연구 질문

• RQ1 유니터리 전이를 사용하여 큐 자동화의 양자 유사체를 형식적으로 정의할 수 있으며, 고전적 큐 자동화와의 주요 차이는 무엇인가?
• RQ2 실시간 양자 큐 자동화는 실시간 결정론적 큐 자동화보다 언어 인식 능력에서 더 강력한가?
• RQ3 실시간 양자 큐 자동화는 실시간 비결정론적 큐 자동화로는 인식할 수 없는 언어를 인식할 수 있는가?
• RQ4 양자 중첩과 간섭은 실시간 처리에서 비문맥적 또는 비정규 언어를 인식하는 데 어떤 역할을 하는가?

주요 결과

• 언어 $L_{xy} = \{xcyx^R \mid x,y \in \{a,b\}^*\}$는 실시간 양자 큐 자동화를 통해 수용 확률 ≥ 2/3로 인식 가능하다.
• 동일한 언어는 어떤 실시간 결정론적 큐 자동화로도 인식할 수 없으며, 이는 rtQQA가 고전적 결정론적 변형보다 엄밀한 계산적 우월성을 지닌다는 것을 증명한다.
• 실시간 양자 큐 자동화로만 인식 가능한 언어가 존재하며, 이는 실시간 비결정론적 큐 자동화로는 다룰 수 없음을 보여주며, rtQQA가 비결정론적 고전적 대안을 초월함을 입증한다.
• 양자 자동화에서는 다수의 계산 경로를 중첩 상태로 동시에 탐색하며, 간섭을 통해 입력의 구조에 따라 높은 확률로 수용 또는 기각을 보장한다.
• 양자 상태의 정규화를 유지하고 큐 연산 전반에 걸쳐 일관된 진화를 가능하게 하는 유니터리 전이 함수를 사용한다.
• 결과적으로 실시간 모델에서의 양자 전이가 큐 자동화의 언어 인식 능력을 고전적 한계를 초월해 크게 향상시킨다.