[논문 리뷰] One-counter verifiers for decidable languages

Abuzer Yakaryılmaz|arXiv (Cornell University)|2012. 07. 17.

semigroups and automata theory참고 문헌 12인용 수 3

한 줄 요약

이 논문은 결정 가능 언어를 위한 효율적인 인터랙티브 증명 시스템(IPS) 검증자로 두 방향성 확률적 및 양자 일개수 자동기인 일개수 검증자를 도입한다. 이는 유한 오차를 갖는 양자 개수 자동기가 확률적 대응체를 초월해 언어를 인식할 수 있음을 보여준다. 또한 양자 개수 자동기가 공개 코인(아서-머린) 프로토콜을 가능하게 하고, 2qcca가 어떤 유한 오차 2pca로도 결정할 수 없는 언어를 인식할 수 있도록 하는 새로운 프로그래밍 기법을 제시한다.

ABSTRACT

Condon and Lipton (FOCS 1989) showed that the class of languages having a space-bounded interactive proof system (IPS) is a proper subset of decidable languages, where the verifier is a probabilistic Turing machine. In this paper, we show that if we use architecturally restricted verifiers instead of restricting the working memory, i.e. replacing the working tape(s) with a single counter, we can define some IPS's for each decidable language. Such verifiers are called two-way probabilistic one-counter automata (2pca's). Then, we show that by adding a fixed-size quantum memory to a 2pca, called a two-way one-counter automaton with quantum and classical states (2qcca), the protocol can be space efficient. As a further result, if the 2qcca can use a quantum counter instead of a classical one, then the protocol can even be public, also known as Arthur-Merlin games. We also investigate the computational power of 2pca's and 2qcca's as language recognizers. We show that bounded-error 2pca's can be more powerful than their deterministic counterparts by giving a bounded-error simulation of their nondeterministic counterparts. Then, we present a new programming technique for bounded-error 2qcca's and show that they can recognize a language which seems not to be recognized by any bounded-error 2pca. We also obtain some interesting results for bounded-error 1-pebble quantum finite automata based on this new technique. Lastly, we prove a conjecture posed by Ravikumar (FSTTCS 1992) regarding 1-pebble probabilistic finite automata, i.e. they can recognize some nonstochastic languages with bounded error.

연구 동기 및 목표

• 공간 제한된 트루링 기계 대신 아키텍처적으로 제약된 검증자를 사용하여 모든 결정 가능 언어에 대해 인터랙티브 증명 시스템(IPS)을 구축하는 것.
• 두 방향성 확률적 일개수 자동기(2pca)와 양자 및 고전 상태를 갖는 두 방향성 일개수 자동기(2qcca)의 계산 능력을 언어 인식자로서 조사하는 것.
• Ravikumar의 추측을 증명하는 것: 1개의 페블을 갖는 확률적 유한 자동기는 유한 오차로 비확률적 언어를 인식할 수 있다.
• 유한 오차 2qcca를 위한 새로운 프로그래밍 기법을 개발하여, 2pca로는 결정할 수 없는 언어를 인식할 수 있도록 하는 것.

제안 방법

• 결정 가능 언어에 대한 인터랙티브 증명 시스템에서 두 방향성 확률적 일개수 자동기(2pca)를 검증자로 사용하며, 작업 테이프 대신 단일 개수를 사용한다.
• 고정 크기의 양자 레지스터를 갖는 두 방향성 일개수 자동기(2qcca)를 도입하여 검증 효율성을 향상시킨다.
• 양자 개수(2qca)를 사용하여 비공개 코인 프로토콜을 공개 코인(아서-머린) 프로토콜로 전환함으로써 검증자의 정보를 전면적으로 증명자에게 공개한다.
• 초연산자와 진폭 인코딩 기법을 적용하여 입력 부분 문자열을 양자 상태 진폭에 인코딩하고, 유니터리 진동과 측정을 통해 비교한다.
• TWIN 언어에서 문자열 $u_1$과 $u_2$를 인코딩하고 비교하기 위해 다수의 Kraus 연산자를 갖는 초연산자를 사용하는 새로운 프로그래밍 기법을 적용한다.
• 유한 오차 시뮬레이션 기법을 적용하여 2pca가 유한 오차로 비결정적 일개수 자동기를 시뮬레이션할 수 있음을 보이며, 이는 표현 능력을 향상시킨다.

실험 결과

연구 질문

• RQ1 일개수 검증자(2pca)를 사용하여 모든 결정 가능 언어에 대해 인터랙티브 증명 시스템을 구축할 수 있는가?
• RQ2 2pca에 고정 크기의 양자 레지스터를 추가하여 2qcca를 구성하면 공간 효율적인 결정 가능 언어 검증이 가능한가?
• RQ3 고전적 개수를 양자 개수로 대체하면 비공개 코인 프로토콜이 공개 코인(아서-머린) 프로토콜로 전환되는가?
• RQ4 유한 오차 2qcca는 유한 오차 2pca로는 결정할 수 없는 언어를 인식할 수 있는가?
• RQ5 Ravikumar의 추측에 따르면, 1개의 페블을 갖는 확률적 유한 자동기는 유한 오차로 비확률적 언어를 인식할 수 있는가?

주요 결과

• 유한 오차 2pca는 두 방향성 비결정적 일개수 자동기를 시뮬레이션할 수 있으며, 이는 2pca가 2dca보다 엄격히 강력함을 증명한다.
• 2qcca 기반 프로토콜은 TWIN 언어를 유한 오차로 인식한다: $x \in \mathtt{TWIN}$ 이면 수용 확률이 1이고, $x \notin \mathtt{TWIN}$ 이면 기각 확률이 최소 $4/5$ 이다.
• 2qcca를 위한 새로운 프로그래밍 기법은 어떤 유한 오차 2pca로도 결정할 수 없는 언어를 인식할 수 있게 하여 계산 능력의 향상을 보여준다.
• 양자 개수를 사용하는 프로토콜(2qca)는 공개 코인(아서-머린) 프로토콜이 되며, 이는 증명자가 검증자의 상태를 완전히 알고 있음을 의미한다. 이는 인터랙티브 증명 이론에서 핵심적인 결과이다.
• 논문은 Ravikumar의 추측을 증명한다: 1개의 페블을 갖는 확률적 유한 자동기는 유한 오차로 비확률적 언어를 인식할 수 있다.
• 결과적으로 이는 이전에 이 분야에서 탐색되지 않았던 두 방향성 양자 일개수 자동기(2qca)에 대한 첫 번째 비트리비얼한 발견을 나타낸다.