[논문 리뷰] Quantum function computation using sublogarithmic space (abstract & poster)

A. C. Cem Say, Abuzer Yakaryılmaz|arXiv (Cornell University)|2010. 09. 16.

Computability, Logic, AI Algorithms인용 수 6

한 줄 요약

이 논문은 양자 유한 상태 변환기(QFST)가 f1(x) = w (x = wcw 이며 w ∈ {a,b}*)이면 w를 계산하고, 그렇지 않으면 정의되지 않음을, 하위로그 시간 공간에서 유한 오차로 계산할 수 있음을 보여준다. 주요 기여는 하위로그 시간 공간 이하에서 함수 계산에 대해 양자 Turning 기계(QTM)가 확률적 Turning 기계(PTM)보다 엄격히 강력하다는 것을 입증하는 것으로, 이는 한 방향의 양자 유한 자동기에서 간섭 기반 상태 진화를 통해 이루어진다.

ABSTRACT

We prove that quantum Turing machines are strictly superior to probabilistic Turing machines in function computation for any space bound $ o(\log(n)) $.

연구 동기 및 목표

• 하위로그 시간 작업공간을 가진 양자 Turning 기계(QTM)의 함수 계산에 대한 계산 능력을 조사하는 것.
• 부분 함수 계산에서 양자 및 확률적 Turning 기계(PTM)의 공간 효율성을 비교하는 것.
• 양자 유한 상태 변환기(QFST)가 상수 공간만으로도 비정규 언어를 유한 오차로 인식할 수 있음을 보여주는 것.
• 함수 계산에서 하위로그 시간 공간 영역에서 양자 계산과 고전적 계산 간의 엄격한 분리를 확립하는 것.
• 양자 간섭을 활용하여 비트리비얼 함수를 상수 공간에서 유한 오차로 계산하는 새로운 양자 알고리즘을 제시하는 것.

제안 방법

• QFST는 세 개의 계산 경로의 중첩 상태로 시작하며, 각 경로의 진폭은 1/√3이다.
• 경로 3은 즉시 거부한다. 경로 1과 2는 입력 문자열을 처리하여 중심의 'c' 기호 앞뒤의 접두어를 추출한다.
• 입력이 w1cw2 형태가 아니면, 경로 1과 2는 높은 확률로 거부한다.
• 유효한 입력 w1cw2에 대해, 경로 1과 2는 각각의 상태에 대해 양자 푸리에 변환(QFT)을 적용하여 중첩 상태를 생성한다: |q, Accept, w1⟩/√2 ± |q, Reject, w2⟩/√2.
• 경로 1(양의 위상)과 경로 2(음의 위상) 간의 간섭으로, w1 = w2일 경우 강화 간섭이 발생하여 수용 확률이 2/3이 된다.
• 최종 측정 결과는 레지스터 상태에 따라 수용 또는 거부를 결정하며, 출력 문자열은 1.5방향 쓰기 전용 테이프에 기록된다.

실험 결과

연구 질문

• RQ1 양자 유한 상태 변환기는 고전적 확률적 기계가 하위로그 시간 공간에서 수행할 수 없는 함수를 계산할 수 있는가?
• RQ2 QFST가 상수 공간에서 계산할 수 있는 함수 중에서, o(log n) 공간을 사용하는 어떤 PTM도 계산할 수 없는 함수가 존재하는가?
• RQ3 한 방향의 양자 유한 자동기는 비정규 언어를 유한 오차로 인식할 수 있는가?
• RQ4 양자 간섭은 공간 제한된 함수 계산에서 고전적 확률적 계산보다 엄격한 이점을 제공하는가?
• RQ5 {wcw | w ∈ {a,b}*} 언어는 고전적 기계에서 o(log n) 공간을 사용하여 유한 오차로 인식할 수 있는가?

주요 결과

• 양자 유한 상태 변환기(QFST)는 f1(x) = w (x = wcw 이며 w ∈ {a,b}*)이면 w를 계산하고, 그렇지 않으면 정의되지 않음을, 상수 공간에서 유한 오차로 계산한다.
• QFST는 정확한 함수 출력에 대해 최소 2/3의 성공 확률을 달성하며, 정의되지 않은 입력에 대해서는 거부한다.
• 어떤 고전적 확률적 Turning 기계(PTM)도 o(log n) 공간을 사용하여 f1을 유한 오차로 계산할 수 없으며, 이는 비정규 언어 {wcw | w ∈ {a,b}*}를 o(log n) 공간에서 인식할 수 있음을 암시한다.
• QFST는 한 방향 입력 헤드를 가진 비정규 언어를 유한 오차로 인식하는 첫 번째 양자 유한 상태 기계의 예이다.
• 양자 Turning 기계(QTM)는 양자 간섭과 중첩 덕분에 모든 공간 범위 s = o(log n)에서 함수 계산에서 고전적 확률적 Turning 기계(PTM)보다 엄격히 우수하다.
• 이 결과는 함수 계산에서 하위로그 시간 공간 영역에서 양자 계산과 고전적 계산 간의 증명 가능한 분리를 확립한다.