[논문 리뷰] Quantum Implications of Huang's Sensitivity Theorem

Scott Aaronson, Shalev Ben-David외 2명|arXiv (Cornell University)|2020. 04. 28.

Quantum Computing Algorithms and Architecture인용 수 2

한 줄 요약

이 논문은 임의의 전체 부울 함수 f에 대해 결정론적 질의 복잡도 D(f)가 그 양자 질의 복잡도 Q(f)의 4차 함수로 최대한 상한을 제시함으로써 오랫동안 남아있던 열린 문제를 해결한다. 즉, D(f) = O(Q(f)^4)이다. 또한 비자명한 단조 그래프 성질에 대해 양자 질의 복잡도 Q(f)는 Ω(n)임을 증명하여 최적성을 확보하고, Aanderaa-Karp-Rosenberg 추측의 양자 버전을 확인한다.

ABSTRACT

Based on the recent breakthrough of Huang (2019), we show that for any total Boolean function f, the deterministic query complexity, D(f), is at most quartic in the quantum query complexity, Q(f): D(f)=O(Q(f)4). This matches the known separation (up to log factors) due to Ambainis, Balodis, Belovs, Lee, Santha, and Smotrovs (2017). We also use the result to resolve the quantum analogue of the Aanderaa-Karp-Rosenberg conjecture. We show that if f is a nontrivial monotone graph property of an n-vertex graph specified by its adjacency matrix, then Q(f)=Ω(n), which is also optimal. Learn more about Microsoft Quantum computing > Learn more about Microsoft Azure Quantum >

연구 동기 및 목표

• 전체 부울 함수에 대해 결정론적 질의 복잡도와 양자 질의 복잡도 사이의 날카운 상한을 확립하기 위해.
• 비자명한 단조 그래프 성질에 대해 Aanderaa-Karp-Rosenberg 추측의 양자 버전을 해결하기 위해.
• 황의 민감도 정리를 활용하여 양자 질의 복잡도의 새로운 경계를 유도하기 위해.
• 전체 함수에 대한 알려진 상한과 하한 사이의 갭을 좁히기 위해.

제안 방법

• 황의 민감도 정리를 적용하여 부울 함수의 구조와 질의 복잡도를 분석하기 위해.
• 민감도 정리를 사용하여 부울 함수를 나타내는 다항식의 차수를 제한하기 위해.
• 다항식 차수의 경계를 다항식과 양자 질의 복잡도 사이의 알려진 관계를 통해 질의 복잡도 경계로 변환하기 위해.
• 다항식 및 스펙트럼 방법을 통해 결정론적 복잡도와 양자 복잡도 사이의 4차 관계를 확립하기 위해.
• 민감도 정리와 양자 반박 방법을 조합하여 비자명한 단조 그래프 성질에 대해 양자 질의 복잡도에 Ω(n)의 하한을 증명하기 위해.
• 고전적 질의 복잡도 이론과 양자 질의 복잡도 기법을 융합하여 날카운 경계를 도출하기 위해.

실험 결과

연구 질문

• RQ1 전체 부울 함수에 대해 결정론적 질의 복잡도 D(f)와 양자 질의 복잡도 Q(f) 사이의 가장 날카운 상한은 무엇인가?
• RQ2 비자명한 단조 그래프 성질의 양자 질의 복잡도는 Aanderaa-Karp-Rosenberg 추측의 양자 버전을 확인할 수 있도록 하한으로서 유계일 수 있는가?
• RQ3 황의 민감도 정리는 어떻게 양자 질의 복잡도의 새로운 결과를 도출하는 데 응용될 수 있는가?
• RQ4 기존에 알려진 D(f)와 Q(f) 사이의 분리 정도는 로그 인자까지 날카로운가?
• RQ5 비자문한 단조 그래프 성질의 정확한 양자 질의 복잡도는 무엇인가?

주요 결과

• 임의의 전체 부울 함수 f에 대해 결정론적 질의 복잡도 D(f)는 O(Q(f)^4)로 유계이다.
• 이 4차 상한은 알려진 D(f)와 Q(f) 사이의 분리 정도를 로그 인자까지 정확히 반영한다.
• 비자명한 단조 그래프 성질 f에 대해 양자 질의 복잡도 Q(f)는 Ω(n)이며, 이는 최적이다.
• 단조 그래프 성질에 대한 양자 하한 Ω(n)은 Aanderaa-Karp-Rosenberg 추측의 양자 버전을 확인한다.
• 이 결과는 황의 민감도 정리가 양자 질의 복잡도에서 날카운 경계를 도출하는 데 얼마나 강력한지를 보여준다.