[논문 리뷰] Quantum and Stochastic Branching Programs of Bounded Width

Farid Ablayev, Cristopher Moore외 1명|ArXiv.org|2002. 01. 30.

Quantum Computing Algorithms and Architecture참고 문헌 14인용 수 5

한 줄 요약

이 논문은 유한폭 양자 및 확률적 분기 프로그램을 위한 문맥 구조 모델을 제안하며, 폭 2의 양자 분기 프로그램이 NC¹에 속하는 모든 언어를 정확히 인식할 수 있음을 보여준다. 이는 고전적 모델이 NC¹ = ACC가 아닐 경우 폭 5가 필요로 하는 것보다 뛰어난 성능을 보임을 의미한다. 또한, 상수 폭의 유한오차 양자 및 확률적 프로그램은 폭이 더 크지만 유한한 고전적 프로그램에 의해 시뮬레이션 가능하며, 이는 그 계산 능력이 NC¹에 속함을 의미한다.

ABSTRACT

In this paper we show that one qubit polynomial time computations are at least as powerful as $\NC^1$ circuits. More precisely, we define syntactic models for quantum and stochastic branching programs of bounded width and prove upper and lower bounds on their power. We show any $\NC^1$ language can be accepted exactly by a width-2 quantum branching program of polynomial length, in contrast to the classical case where width 5 is necessary unless $\NC^1=\ACC$. This separates width-2 quantum programs from width-2 doubly stochastic programs as we show the latter cannot compute the middle bit of multiplication. Finally, we show that bounded-width quantum and stochastic programs can be simulated by classical programs of larger but bounded width, and thus are in $\NC^1$. The change in the revised version is the addition of the syntactic condition.

연구 동기 및 목표

• 비균일 계산을 위한 유한폭 양자 및 확률적 분기 프로그램의 문맥 모델을 정의하고 분석하기.
• 폭 2의 양자 분기 프로그램의 계산 능력이 고전적 및 확률적 모델에 비해 어떻게 다른지 조사하기.
• 유한오차 양자 및 확률적 프로그램이 유한폭의 고전적 결정론적 프로그램에 의해 시뮬레이션 가능한지 여부를 규명하기.
• 유한오차 하에서 저폭의 확률적 프로그램의 표현 능력에 대한 날카로운 경계를 설정하기.
• 특히 곱셈의 중간 비트에 관해, 양자 및 고전적 확률적 모델 간의 계산 능력 차이를 명확히 하기.

제안 방법

• 모든 최종 상태—일致한 상태와 일치하지 않는 상태—가 고립된 수용 및 거부 집합으로 분할되며, 이는 유한오차 인식을 위한 거리 측정 분리 보장을 한다.
• 확률 및 진폭 공간 위에서 상태 벡터와 전이 행렬을 사용한 폭 제약 조건을 갖춘 양자 및 확률적 분기 프로그램을 정의한다.
• L₁ 및 L₂ 거리 경계를 적용하여 수용 및 거부 상태 분포 간의 분리 정도를 분석하고, 상태 수의 부피 기반 경계를 유도한다.
• k-1-단체의 L₁-지름과 2k-구 위의 L₂-부피 분석을 사용하여, 반경 2~ε 또는 ~ε인 구가 상태 공간에 얼마나 들어갈 수 있는지 경계를 설정한다.
• 유한오차 양자 및 확률적 프로그램이 상수 폭일 경우, 거리 측정 분리와 상태 공간 부피 제약 조건을 활용해 폭이 더 크지만 유한한 결정론적 프로그램에 의해 시뮬레이션 가능함을 증명한다.
• Barrington의 정리와 ACC 및 NC¹에 관한 기존 결과를 활용하여, 시뮬레이션 결과를 고전 회로 클래스와 연결한다.

실험 결과

연구 질문

• RQ1 폭 2의 양자 분기 프로그램이 다항 길이로 NC¹에 속하는 모든 언어를 정확히 인식할 수 있는가?
• RQ2 폭 2의 양자 프로그램과 폭 2의 이중 확률적 프로그램 간의 계산 능력은 어떻게 비교되는가? 특히 곱셈의 중간 비트에 관해.
• RQ3 상수 폭의 유한오차 양자 및 확률적 분기 프로그램이 유한폭의 고전적 결정론적 프로그램에 의해 시뮬레이션 가능한가?
• RQ4 유한오차 하에서 폭 5 미만의 확률적 분기 프로그램의 한계는 무엇이며, 이들은 오직 ACC에 속하는 언어만 인식하는가?
• RQ5 유한폭 계산에서 양자 모델과 고전적 확률적 모델 간에 엄격한 분리가 존재하는가?

주요 결과

• 다항 길이의 폭 2 양자 분기 프로그램은 NC¹에 속하는 임의의 언어를 정확히 인식할 수 있으며, 이는 이 모델에서 단일 큐비트만으로도 NC¹ 계산의 보편성을 달성할 수 있음을 보여준다.
• 폭 2의 이중 확률적 분기 프로그램은 곱셈의 중간 비트를 계산할 수 없으며, 이는 폭 2의 양자 프로그램과의 엄격한 분리를 증명한다.
• 상수 폭의 유한오차 양자 및 확률적 분기 프로그램은 폭이 더 크지만 유한한 결정론적 프로그램에 의해 시뮬레이션 가능하며, 이는 그 계산 능력이 NC¹에 포함됨을 의미한다.
• 2-EQBP, 2-BQBP, EQBP, BQBP, BSBP, BWBP 등의 문맥 모델 클래스는 모두 NC¹과 일치하며, 이는 이러한 모델이 NC¹로 붕괴됨을 보여준다.
• 확률적 프로그램의 경우, $\epsilon > 1/8$ (폭 2), $\epsilon > 1/3$ (폭 3), 또는 $\epsilon > 3/8$ (폭 4)일 경우, 인식된 언어는 ACC에 속한다.
• 오차 한계 $\epsilon > 1/4$를 갖는 폭 2의 확률적 프로그램은 majority 함수를 계산할 수 없으며, 이는 유한오차 하에서의 능력에 대한 경계를 확인한다.