[논문 리뷰] An Application of Quantum Finite Automata to Interactive Proof Systems

Harumichi Nishimura, Tomoyuki Yamakami|2004. 10. 05.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 상호작용 증명 체계에서 검증자로 양자 유한 오토마타(QFA)를 도입하며, 오차가 제한된 2QFA 검증자가 ${0^n1^n}과 같은 비정규 언어를 인식할 수 있음을 보여주고, 1QFA 검증자는 정규 언어에 국한됨을 밝힌다. 주요 기여는 다양한 제약 조건 하에서 QFA 검증자를 갖는 QIP 체계의 계산 능력을 규명하여, 양자 중첩과 측정 프로토콜이 고전적 오토마타보다 더 강력한 인식 능력을 가능하게 함을 보여준다.

ABSTRACT

Quantum finite automata have been studied intensively since their introduction in late 1990s as a natural model of a quantum computer with finite-dimensional quantum memory space. This paper seeks their direct application to interactive proof systems in which a mighty quantum prover communicates with a quantum-automaton verifier through a common communication cell. Our quantum interactive proof systems are juxtaposed to Dwork-Stockmeyer's classical interactive proof systems whose verifiers are two-way probabilistic automata. We demonstrate strengths and weaknesses of our systems and further study how various restrictions on the behaviors of quantum-automaton verifiers affect the power of quantum interactive proof systems.

연구 동기 및 목표

• 양자 상호작용 증명 체계에서 검증자가 양자 유한 오토마타(QFA)인 경우의 계산 능력을 조사하는 것.
• 오차가 제한된 조건에서 1QFA와 2QFA 검증자가 정규 언어와 비정규 언어를 인식하는 능력을 비교하는 것.
• 측정, 헤드 이동, 증명자 전략에 대한 제약 조건이 QFA 검증자를 갖는 QIP 체계의 능력에 미치는 영향을 분석하는 것.
• 사전 얽힘과 다수의 증명자가 QFA 검증자를 갖는 QIP 체계의 표현 능력에 미치는 영향을 탐구하는 것.
• QFA 검증자를 사용하는 양자 제로 지식 증명 체계의 기초를 마련하여, 고전적 결과를 양자 오토마타 환경으로 확장하는 것.

제안 방법

• 공유된 통신 셀을 통해 양자 증명자가 소통하는 QFA가 검증자로 작동하는 양자 상호작용 증명 체계를 모델링한다.
• 측정다수 1방향 QFA(2QFA)와 측정일회 1방향 QFA(MO-1QFA)를 검증자 모델로 사용하며, 각 전이 후 유니터리 진화와 사영 측정을 적용한다.
• 오차가 제한된 기준을 적용: 언어가 수락되는 경우, 입력 길이에 관계없이 수용 확률이 $1 - \epsilon$ 이상이어야 하며, $\epsilon < 1/2$여야 한다.
• 2QFA 검증자의 능력을 분석하기 위해, 양자 중첩을 사용하여 선형 시간 내에 비정규 언어 $\{0^n1^n \mid n \geq 0\}$를 오차 제한으로 인식할 수 있음을 보여준다.
• 검증자가 양자적 두 방향 확률 오토마타인 Dwork와 Stockmeyer의 고전적 상호작용 증명 체계와 비교한다.
• 제한된 변형을 평가: 고전적 통신 채널, 제한된 증명자 공간, 사전 얽힘, 다수의 증명자 등을 고려하며, 양자 회로 및 측정 모델을 사용한다.

실험 결과

연구 질문

• RQ1 2QFA 검증자가 양자 상호작용 증명 체계에서 오차가 제한된 조건으로 비정규 언어를 인식할 수 있는가?
• RQ2 측정 전략(측정다수 대비 측정일회)이 QIP 체계에서 QFA 검증자의 계산 능력에 어떤 영향을 미치는가?
• RQ3 증명자의 전략이 $O(\log \log n)$ 공간으로 제한될 경우, QFA 검증자를 갖는 QIP 체계의 인식 능력에 어떤 영향을 미치는가?
• RQ4 증명자와 검증자 간의 사전 얽힘이 QFA 검증자를 갖는 QIP 체계의 계산 능력을 향상시키는가?
• RQ5 서로 얽힌 다수의 증명자가 QFA 검증자를 갖는 QIP 체계에 미치는 영향은 단일 증명자 체계와 비교해 어떤가?

주요 결과

• 오차가 제한된 2QFA 검증자는 최악의 경우 선형 시간 내에 비정규 언어 $\{0^n1^n \mid n \geq 0\}$를 오차 제한으로 인식할 수 있으며, 이는 1QFA 검증자보다 엄격한 능력 향상을 보여준다.
• $\mathrm{2QFA}(\text{poly-time})$ 클래스는 $\mathrm{REG}$를 엄격히 포함하며, 이는 양자 유한 오토마타가 양방향 헤드 이동과 오차 제한을 갖는 경우 비정규 언어를 인식할 수 있음을 의미한다.
• 1QFA 검증자(모든 MO-1QFA 포함)는 오직 군 언어만을 인식할 수 있으며, 이는 정규 언어의 진부분집합이므로 $\mathrm{Zero} = \{x0 \mid x \in \{0,1\}^*\}$를 오차 제한으로 인식할 수 없다.
• 통신 채널이 고전적일 경우 시스템은 여전히 강력하지만, 양자 채널 사례와의 정확한 관계는 명확하지 않다.
• 검증자와 증명자 간의 사전 얽힘은 QFA 검증자를 갖는 QIP 체계의 인식 능력을 향상시키지 못하며, 이러한 체계는 여전히 오직 정규 언어만을 인식한다.
• 다수의 증명자를 갖는 QIP 체계는 QFA 검증자를 사용할 경우 더 높은 계산 능력을 달성할 것으로 예상되며, 고전적 2증명자 IP 체계와 유사하게, 양자 환경에서 NEXP와 같은 복잡도 클래스를 특징지울 수 있다.