[논문 리뷰] Quantum Lower Bounds by Polynomials

Robert Beals, Harry Buhrman외 3명|ArXiv.org|1998. 02. 18.

Quantum Computing Algorithms and Architecture참고 문헌 29인용 수 179

한 줄 요약

이 논문은 전체 부울 함수에 대해 양자 알고리즘이 고전 알고리즘보다 지수적 속도 향상을 달성할 수 없음을 입증하며, T개의 쿼리를 사용하는 임의의 양자 알고리즘에 대해 고전적 쿼리 수의 다항식 상界 O(T⁶)를 제공한다. 이는 대칭 함수에 대한 양자 쿼리 복잡도를 정밀하게 특성화하고, 다항식 방법의 양자 버전을 사용하여 정확, 0 오류, 유계 오류 모델에서 AND, OR, PARITY에 대한 정확한 경계를 도출한다.

ABSTRACT

We examine the number T of queries that a quantum network requires to compute several Boolean functions on {0,1}^N in the black-box model. We show that, in the black-box model, the exponential quantum speed-up obtained for partial functions (i.e. problems involving a promise on the input) by Deutsch and Jozsa and by Simon cannot be obtained for any total function: if a quantum algorithm computes some total Boolean function f with bounded-error using T black-box queries then there is a classical deterministic algorithm that computes f exactly with O(T^6) queries. We also give asymptotically tight characterizations of T for all symmetric f in the exact, zero-error, and bounded-error settings. Finally, we give new precise bounds for AND, OR, and PARITY. Our results are a quantum extension of the so-called polynomial method, which has been successfully applied in classical complexity theory, and also a quantum extension of results by Nisan about a polynomial relationship between randomized and deterministic decision tree complexity.

연구 동기 및 목표

• 블랙박스 모델에서 전체 부울 함수에 대한 양자 속도 향상의 한계를 규명하는 것.
• 정확, 0 오류, 유계 오류 설정에서 대칭 함수의 양자 쿼리 복잡도를 특성화하는 것.
• AND, OR, PARITY와 같은 기본 함수에 대해 다양한 오류 모델 하에서의 정밀한 경계를 설정하는 것.
• 고전적 다항식 방법을 양자 쿼리 복잡도로 확장하여 새로운 하한 기법을 가능하게 하는 것.

제안 방법

• T-쿼리 양자 알고리즘을 최대 차수 2T인 다항다항식으로 매핑하는 양자 다항식 방법의 확장 사용.
• 대칭 함수 분석을 일변수 다항식으로 줄이기 위해 대칭화 기법 적용.
• 근사 다항식의 차수 경계를 활용하여 쿼리 복잡도의 하한을 도출.
• 유계 오류 양자 쿼리 복잡도가 결정론적 쿼리 복잡도와 다항식으로 관련됨을 증명하기 위해 다항식 방법 사용.
• Nisan의 랜덤화 대비 결정론적 결정 트리 결과를 활용하여 고전-양자 복잡도 관계를 강화.
• 블록 민감도와 다항식 차수 논증을 사용하여 특정 함수에 대한 양자 알고리즘의 최적성 증명.

실험 결과

연구 질문

• RQ1 블랙박스 모델에서 양자 알고리즘이 전체 부울 함수에 대해 지수적 속도 향상을 달성할 수 있는가?
• RQ2 AND, OR, PARITY와 같은 대칭 함수의 정확한 양자 쿼리 복잡도는 무엇인가?
• RQ3 전체 함수에 대해 양자 쿼리 복잡도는 고전적 결정론적 및 랜덤화 쿼리 복잡도와 어떻게 관련되어 있는가?
• RQ4 다항식 방법을 확장하여 양자 쿼리 복잡도에 대한 정밀한 하한을 도출할 수 있는가?
• RQ5 MAJORITY 및 기타 대칭 함수의 정확, 0 오류, 유계 오류 계산에 필요한 최소 쿼리 수는 얼마인가?

주요 결과

• 어느 전체 부울 함수에 대해서도 지수적 양자 속도 향상이 불가능하다: 만약 양자 알고리즘이 T개의 쿼리를 사용해 유계 오류로 전체 함수를 계산한다면, 고전적 결정론적 알고리즘이 정확히 그것을 O(T⁶)개의 쿼리를 사용해 계산할 수 있다.
• 대칭 함수에 대해, 정확, 0 오류, 유계 오류 모델에서 양자 쿼리 복잡도는 그들이 표현하는 다항식의 차수로 정밀하게 특성화된다.
• OR의 정확 및 0 오류 양자 쿼리 복잡도는 N이며, 유계 오류 복잡도는 Θ(√N)이다. 이는 제곱근 수준의 속도 향상을 보여준다.
• PARITY의 정확 및 0 오류 양자 쿼리 복잡도는 N/2이며, 유계 오류 복잡도 역시 N/2이다. 이는 그 근사 다항식의 차수가 N임을 의미한다.
• MAJORITY의 유계 오류 양자 쿼리 복잡도는 Θ(N)이며, 상한은 N/2 + √N이며, 정확 복잡도는 최소 (N+1)/2이다.
• 다항식 방법을 통해 XOR과 그 부정은 유일하게 고전 알고리즘보다 쿼리 이점이 있는 이진 연결사임을 증명한다.