[논문 리뷰] Log-space counter is useful for unary languages by help of a constant-size quantum register

Abuzer Yakaryılmaz|arXiv (Cornell University)|2013. 09. 18.

semigroups and automata theory참고 문헌 2인용 수 5

한 줄 요약

이 논문은 양자 및 고전 상태를 가진 두 방향 일개수기계(2QCCA)가 카운터에 로그 공간만을 사용하여 비정규 단항 언어를 인식할 수 있음을 보여준다. 이는 고정 크기의 양자 레지스터를 활용하여 유한 오차로 인식을 달성한다. 주요 기여는 양자 중첩과 측정이 UPOWER 및 USQUARE와 같은 언어를 인식할 수 있게 해주며, 이는 하위선형 카운터 공간을 가진 고전 기계로는 인식할 수 없는 언어임을 보여준다.

ABSTRACT

The minimum amount of resources to recognize a nonregular language is a fundamental research topic in theoretical computer science which has been examined for different kinds of resources and many different models. In this note, we focus on unary languages and space complexity on counters. Our model is two-way one-counter automaton with quantum and classical states (2QCCA), which is a two-way finite automaton with one-counter (2DCA) augmented with a fixed size quantum register or a two-way finite automaton with quantum and classical states (2QCFA) augmented with a classical counter. It is known that any 2DCA using a sublinear space on its counter can recognize only regular languages \cite{DG82B}. In this note, we show that bounded-error 2QCCAs can recognize a non-regular unary language by using logarithmic space on its counters for the members. Note that it is still an open problem whether bounded-error 2QCFA can recognize a non-regular unary language.

연구 동기 및 목표

• 고정 크기의 양자 레지스터가 단항 언어에 대해 고전적 카운터 기계의 계산 능력을 향상시킬 수 있는지 조사하기.
• 카운터에 로그 공간이 제공될 경우, 양자 상태가 추가된 상태에서 비정규 단항 언어를 유한 오차로 인식할 수 있는지 결정하기.
• 하위선형 카운터 공간을 가진 고전적 두 방향 일개수기계(2DCA)가 비정규 단항 언어를 인식하는 데 가지는 제약 조건 탐색하기.
• 2QCCA가 2QCFA 및 2PFA와 비교하여 단항 비정규 언어를 인식하는 데 가지는 능력 비교하기.
• 양자 증폭을 초월하는 초연산자를 통해 UPOWER 및 USQUARE와 같은 언어를 인식할 수 있으며, 이는 고전적 모델로는 인식할 수 없는 언어임을 입증하기.

제안 방법

• 고전적 두 방향 유한 제어와 일개수 및 고정 크기의 양자 레지스터를 결합한 2QCCA 모델 설계하기.
• 초연산자(일반화된 양자 연산)를 사용하여 양자 레지스터에서 유니터리 진화와 사영 측정을 수행하기.
• 입력에서 a의 개수가 완전한 거듭제곱인지 여부를 구분하기 위해 양자 진폭 증폭을 사용하는 서브루틴인 POWER 구현하기.
• 입력 문자열의 접두어에 걸쳐 POWER 서브루틴을 반복적으로 적용하여 UPOWER = {a^{m^n} | n ≥ 1}와 같은 언어의 소속 여부 검증하기.
• 양자 측정 결과를 활용해 확률적으로 입력를 수락하거나 기각하기. 멤버의 경우 정확히 1의 수락 확률, 비멤버의 경우 기각 확률 ≥ 2k²/(2k²+1) 확보하기.
• 네 제곱 정리와 양자 진폭 증폭을 활용하여 유한 오차로 높은 신뢰도의 결정을 달성하기.

실험 결과

연구 질문

• RQ1 고정 크기의 양자 레지스터를 가진 두 방향 일개수기계가 카운터에 로그 공간만을 사용하여 비정규 단항 언어를 인식할 수 있는가?
• RQ2 양자 레지스터의 추가로 인해 2QCCA가 하위선형 카운터 공간을 가진 고전적 2DCA 모델의 제약을 초월할 수 있는가? (특히 비정규 단항 언어만 인식 가능함)
• RQ3 양자 진폭 증폭과 초연산자 기반 측정을 사용하여 UPOWER 및 USQUARE와 같은 비정규 단항 언어를 유한 오차로 인식할 수 있는가?
• RQ4 단항 비정규 언어를 인식할 때 2QCCA와 2QCFA 사이에 본질적인 계산 능력의 차이가 존재하는가? 특히 카운터가 존재할 경우에 대해.
• RQ5 기호 수의 지수적 또는 이重지수적 증가를 따르는 언어들(예: a^{2^{2^n}})이 카운터에 로그 공간만을 사용하여 2QCCA에 의해 유한 오차로 인식될 수 있는가?

주요 결과

• 유한 오차 2QCCA는 카운터에 로그 공간만을 사용하여 비정규 단항 언어 UPOWER = {a^{m^n} | n ≥ 1} (m > 2)를 인식할 수 있다.
• USQUARE = {a^{n²} | n ≥ 1} 언어는 2QCCA에 의해 멤버의 경우 완벽한 수락 확률로, 비멤버의 경우 기각 확률 최소 2k²/(2k²+1)로 인식된다.
• 모든 입력 w = a^m에 대해 카운터 값은 log(|w|)를 초과하지 않으며, 이는 UPOWER 및 관련 언어의 멤버에 대해 로그 공간 복잡도를 확인한다.
• 2QCCA 모델은 POLY(p), POWER(m), POLY-POWER(p,m)와 같은 언어를 유한 오차로 인식한다. 여기서 p는 양의 다항식이고 m > 2이다.
• 양자 초연산자의 사용으로 비멤버에 대해 기각 확률가 수락 확률보다 최소 k²배 높아지며, k를 증가시킴으로써 오차 한계를 0에 가까이 만들 수 있다.
• 이러한 모든 언어는 2QCCA에 의해 멤버의 경우 정확한 수락, 비멤버의 경우 고확률 기각으로 인식 가능하며, 이는 고전적 모델에 비해 엄청난 계산 능력의 우월성을 보여준다.