양자 질의의 무용성에 관한 연구

초록

본 논문은 사전 확률 분포가 주어진 오라클 함수 집합에서, 특정 속성을 판단하기 위해 수행되는 질의가 ‘무용(u­seless)’하다는 개념을 정의한다. 고전적인 경우 (2k) 개의 질의가 무용이면, 양자 알고리즘에서는 (k) 개의 질의만으로도 동일한 무용성을 보인다. 이를 통해 비부울 함수와 비부울 속성에 대해서도 양자 질의 복잡도에 대한 새로운 하한을 얻을 수 있다.

상세 분석

논문은 먼저 “무용 질의”라는 정의를 정형화한다. 사전 확률 (P) 하에 선택된 오라클 (f) 에 대해, 어떤 속성 (S\subseteq\mathcal{F}) 를 판별하려 할 때, 질의 집합 (Q) 가 무용이라는 것은 질의 전후의 사후 확률 (P(f\in S\mid Q\text{의 응답})) 가 사전 확률 (P(f\in S))와 동일함을 의미한다. 고전적인 경우, 임의의 (N) 개의 입력에 대해 (N-1) 개의 비트 값을 알아도 함수의 전체 패리티는 변하지 않는다. 저자는 이 현상을 일반화하여, 어떤 오라클 문제에서 (2k) 개의 고전 질의가 무용이면, 양자 알고리즘이 (k) 개의 질의만 사용해도 무용임을 증명한다. 핵심 아이디어는 양자 질의가 고전 질의 두 개를 동시에 수행할 수 있는 “양자 중첩” 효과와, 사후 확률이 선형 연산에 대해 보존된다는 점이다. 증명은 먼저 고전 질의의 무용성을 확률론적 행렬 형태로 표현하고, 그 행렬을 텐서곱으로 두 배 늘린 뒤, 양자 질의가 적용되는 유니터리 연산과 비교한다. 결과적으로, 양자 질의 하나가 고전 질의 두 개의 정보를 포함한다는 사실이 도출된다. 이 정리는 특히 비부울 함수(예: 다중값 함수)와 비부울 속성(예: “값이 0보다 큰 입력이 존재한다”와 같은 존재성 질의)에도 적용 가능함을 보인다. 또한, 고전적인 임계값 비밀 공유(Threshold Secret Sharing) 스킴에서 (t) 개의 공유가 모이면 비밀을 복원할 수 있는데, 여기서 (2t) 개의 고전 질의가 무용이면 양자 질의는 (t) 개만으로도 무용이 된다. 따라서 양자 알고리즘이 반드시 더 적은 질의로 문제를 해결할 수 있다는 직관과는 달리, 특정 구조를 가진 문제에서는 양자 질의도 동일한 한계에 봉착한다는 중요한 통찰을 제공한다.