[논문 리뷰] Average/Worst-Case Gap of Quantum Query Complexities by On-Set Size

Andris Ambainis, Kazuo Iwama외 5명|arXiv (Cornell University)|2009. 08. 18.

Quantum Computing Algorithms and Architecture참고 문헌 28인용 수 8

한 줄 요약

이 논문은 on-set 크기 M인 N-변수 부울 함수의 양자 및 고전적 질의 복잡도를 분석하여, 특정 M에 대해 평균 케이스와 최악 케이스 간의 양자 질의 복잡도에 초선형 격차가 존재함을 보이고, 랜덤화 질의 복잡도는 선형 격차만 존재함을 밝힘. 평균적으로 양자 복잡도에 대해 엄밀한 경계를 도출하여 Θ(log M / (c + log N − log log M) + √N)로 표현하고, 거의 모든 F_{N,M}에 속하는 함수에 대해 랜덤화 복잡도는 Ω(N)임을 증명함.

ABSTRACT

This paper considers the query complexity of the functions in the family F_{N,M} of N-variable Boolean functions with onset size M, i.e., the number of inputs for which the function value is 1, where 1<= M <= 2^{N}/2 is assumed without loss of generality because of the symmetry of function values, 0 and 1. Our main results are as follows: (1) There is a super-linear gap between the average-case and worst-case quantum query complexities over F_{N,M} for a certain range of M. (2) There is no super-linear gap between the average-case and worst-case randomized query complexities over F_{N,M} for every M. (3) For every M bounded by a polynomial in N, any function in F_{N,M} has quantum query complexity Theta (sqrt{N}). (4) For every M=O(2^{cN}) with an arbitrary large constant c<1, any function in F_{N,M} has randomized query complexity Omega (N).

연구 동기 및 목표

• on-set 크기 M이 부울 함수의 양자 및 고전적 질의 복잡도에 미치는 영향를 이해하는 것.
• 양자 및 랜덤화 환경에서 평균 케이스와 최악 케이스 간 질의 복잡도 격차를 조사하는 것.
• F_{N,M}에 속하는 함수에 대한 질의 복잡도에 엄밀한 경계를 도출하는 것, 여기서 F_{N,M}은 M개의 입력이 1으로 매핑되는 N-변수 부울 함수의 집합임.
• on-set 크기 M이 양자 및 랜덤화 질의 복잡도에 비트란 경계로 작용하는 정도를 규명하는 것.

제안 방법

• 대칭성에 따라 1 ≤ M ≤ 2^{N}/2를 가정하며, on-set 크기 M인 N-변수 부울 함수의 집합 F_{N,M}을 분석함.
• 이항계수 추정과 엔트로피 기반 근사치를 활용하여 질의 복잡도가 제한된 함수의 수에 대한 조합적 경계를 설정함.
• 질의 복잡도의 한계를 유도하기 위해 양자 반대자 방법과 랜덤화 决定 트리 하한을 적용함.
• 대부분의 F_{N,M}에 속하는 함수가 조건부로 Ω(N)의 랜덤화 질의를 요구함을 보이기 위해 확률적 추론을 활용함. 이는 M = O(2^{cN})이며 c < 1일 때도 성립함.
• 대부분의 N에 대해 농도 경계를 통해 평균 케이스 양자 질의 복잡도를 유도하여, 큰 N에 대해 Θ(log M / (c + log N − log log M) + √N)임을 보임.
• 함수 집합의 수세기와 질의 깊이의 임계점 분석을 통해 질의 복잡도 하한을 증명함.

실험 결과

연구 질문

• RQ1 on-set 크기 M과 부울 함수의 평균 케이스 양자 질의 복잡도 사이의 관계는 무엇인가요?
• RQ2 F_{N,M}에 속하는 함수에서 평균 케이스와 최악 케이스 간의 양자 질의 복잡도에 초선형 격차가 존재할 수 있는가요?
• RQ3 F_{N,M}에 속하는 함수의 랜덤화 질의 복잡도는 평균 케이스와 최악 케이스 간에 어떻게 비교되는가요?
• RQ4 M의 어떤 범위에서 F_{N,M}에 속하는 함수의 양자 질의 복잡도가 Θ(√N)로 유계가 되는가요?
• RQ5 praticularly, 거의 모든 F_{N,M}에 속하는 함수에 대해 랜덤화 질의 복잡도의 가장 날카로운 하한은 무엇인가요?

주요 결과

• M이 특정 범위에 있을 경우, F_{N,M}에 속하는 함수에서 평균 케이스와 최악 케이스 간의 양자 질의 복잡도에 초선형 격차가 존재함.
• 어느 M에 대해서도 평균 케이스와 최악 케이스 간의 랜덤화 질의 복잡도에 초선형 격차가 존재하지 않으며, 격차는 선형 인자로 제한됨.
• M이 N에 대한 다항식으로 유계일 경우, F_{N,M}에 속하는 모든 함수가 양자 질의 복잡도 Θ(√N)를 가짐.
• 모든 M = O(2^{cN})이지만 상수 c < 1일 경우, F_{N,M}에 속하는 모든 함수가 랜덤화 질의 복잡도 Ω(N)를 가짐.
• 균일 분포로 선택된 F_{N,M}에 속하는 함수에 대한 평균 양자 질의 복잡도는 Θ(log M / (c + log N − log log M) + √N)이며, 여기서 c > 0은 상수임.
• F_{N,M}에 속하는 함수의 최소 1−1/2^N 비율이 랜덤화 질의 복잡도 Ω(N)을 가지며, 이는 M = 2^{(1−o(1))N}일 때도 성립함.