[논문 리뷰] A Super-Grover Separation Between Randomized and Quantum Query Complexities

Shalev Ben-David|arXiv (Cornell University)|2015. 06. 26.

Quantum Computing Algorithms and Architecture참고 문헌 3인용 수 6

한 줄 요약

이 논문은 총괄 부울 함수 $f$를 구성하여 초거시적 양자 속도 향상(super-Grover quantum speedup)을 나타내며, $R(f) = \tilde{\Omega}(Q(f)^{5/2})$를 달성하여 오랫동안 유지되어 온 추측, 즉 모든 총괄 함수에 대해 $R(f) = O(Q(f)^2)$임을 반박한다. Aaronson와 Ambainis의 추가 추측 하에, 분리 정도는 $R(f) = \tilde{\Omega}(Q(f)^3)$로 향상되며, Forrelation과 Or-And 함수의 새로운 조합과 도용 시트 메커니즘을 사용하여 고르의 제곱 속도 한계를 초월한 양자 우위를 극대화한다.

ABSTRACT

We construct a total Boolean function $f$ satisfying $R(f)=\ ilde{\\Omega}(Q(f)^{5/2})$, refuting the long-standing conjecture that $R(f)=O(Q(f)^2)$ for all total Boolean functions. Assuming a conjecture of Aaronson and Ambainis about optimal quantum speedups for partial functions, we improve this to $R(f)=\ ilde{\\Omega}(Q(f)^3)$. Our construction is motivated by the G\\"o\\"os-Pitassi-Watson function but does not use it.

연구 동기 및 목표

• 총괄 부울 함수에 대해 랜덤화된 질의 복잡도 $R(f)$가 항상 $O(Q(f)^2)$임을 추측하는 것을 반박하기 위해.
• 양자 알고리즘이 랜덤화 알고리즘보다 초거시적 속도 향상을 달성하는 총괄 함수를 구성하기 위해.
• 총괄 함수 질의 복잡도에서 양자 우위가 고르의 제곱 속도 초과를 초월할 수 있음을 보여주기 위해.
• Forrelation, Or-And 조합 및 도용 시트 메커니즘을 사용한 새로운 구성 기법을 개발하여 더 강력한 분리 가능성을 확보하기 위해.

제안 방법

• Forrelation 함수를 여러 개의 Or-And 함수 인스턴스와 조합하여, 랜덤화 및 양자 질의 복잡도 간 격차를 극대화하는 하이브리드 함수인 Forandlation을 생성한다.
• 크기 $m^{10}$의 후보 도용 시트 배열을 도입하며, 각 항목에는 Or-And 인스턴스의 증명서와 Forandlation 입력 비트로의 포인터가 포함되어 있다.
• $10\log m$개의 Forandlation 인스턴스 출력을 사용해 특정 도용 시트를 선택하는 인덱스로 활용하여, 양자 알고리즘이 $\tilde{O}(m)$ 질의를 사용해 정확성을 검증할 수 있도록 한다.
• 함수를 구성함으로써 도용 시트가 무효이거나 검증에 실패할 경우 출력이 0이 되도록 하여, 총괄성을 유지하면서도 양자 우위를 유지한다.
• Forandlation 입력에 대한 딱딱한 분포를 활용하여, 랜덤화 알고리즘이 유효한 도용 시트와 무효한 도용 시트를 구분하기 위해 $\tilde{\Omega}(m^{5/2})$ 질의를 해야 한다는 것을 증명한다.
• 이중 문자열의 시퀀스를 사용한 하이브리드 추론을 적용하여, 어떤 효율적인 랜덤화 알고리즘도 Forandlation에 대한 딱딱한 분포를 구분해야 하며, 이는 강력한 하한을 의미한다.

실험 결과

연구 질문

• RQ1 총괄 부울 함수에서 랜덤화 질의 복잡도 측면에서 양자 속도 향상이 고르의 제한 $Q(f)^2$를 초월할 수 있는가?
• RQ2 총괄 함수에서 $R(f)$가 $Q(f)^2$를 초과해 증가할 수 있는가? 이는 오랫동안 유지되어 온 $O(Q^2)$ 추측에 반하는가?
• RQ3 총괄 함수 질의 복잡도에서 양자 알고리즘이 초거시적 속도 향상을 달성하는 데에 기여하는 구조적 구성 요소는 무엇인가?
• RQ4 도용 시트 메커니즘은 어떻게 설계할 수 있는가? 이는 양자 알고리즘이 효율적으로 이용할 수 있도록 하되, 랜덤화 알고리즘은 이용할 수 없게 하기 위해.
• RQ5 부분 함수에 대한 양자 속도 향상에 대한 납득할 수 있는 추측 하에 분리는 더욱 향상시킬 수 있는가?

주요 결과

• 논문은 $R(f) = \tilde{\Omega}(Q(f)^{5/2})$를 만족하는 총괄 부울 함수 $f$를 구성하여, 랜덤화 및 양자 질의 복잡도 사이에 초거시적 분리를 입증한다.
• Aaronson-Ambainis 추측 하에, 분리는 $R(f) = \tilde{\Omega}(Q(f)^3)$로 향상되며, 더 강력한 양자 우위를 나타낸다.
• Göös-Pitassi-Watson 함수에 의존하지 않고, Forrelation과 Or-And 조합에 기반한 새로운 방법을 도입하며, 도용 시트 메커니즘을 통합한다.
• 랜덤화 질의 복잡도 하한 $\tilde{\Omega}(m^{5/2})$는 Forandlation 입력의 분포에 대한 하이브리드 추론과 이진 문자열의 시퀀스를 통해 유도된다.
• 양자 알고리즘은 도용 시트를 사용해 각 Or-And 인스턴스에 대해 $O(\sqrt{m})$ 질의를 사용함으로써 $\tilde{O}(m)$ 질의 복잡도를 달성한다.
• 증명 기법은 Forrelation을 초월한 다른 함수에도 일반화 가능하며, 질의 복잡도 분리 분야에 광범위한 응용 가능성을 시사한다.