[논문 리뷰] On Quantum Versions of the Yao Principle

M.G. de Graaf, R.M. de Wolf|ArXiv.org|2001. 09. 14.

Quantum Mechanics and Applications인용 수 9

한 줄 요약

이 논문은 고전적 Yao 원리의 양자 유사체를 조사하며, 유계 오차 양자 질의 복잡도와 분포 기반 양자 복잡도 간의 관계를 설명하기 위해 약한 및 강한 양자 Yao 원리를 제안한다. 약한 원리는 대칭 부울 함수에 대해 상수 인자 범위 내에서 성립하는 것으로 증명되나, 강한 버전은 지수적 간격으로 실패함으로써, 분포 분석을 통한 양자 복잡도 하한의 기초적 한계를 규명한다.

ABSTRACT

The classical Yao principle states that the complexity R_epsilon(f) of an optimal randomized algorithm for a function f with success probability 1-epsilon equals the complexity max_mu D_epsilon^mu(f) of an optimal deterministic algorithm for f that is correct on a fraction 1-epsilon of the inputs, weighed according to the hardest distribution mu over the inputs. In this paper we investigate to what extent such a principle holds for quantum algorithms. We propose two natural candidate quantum Yao principles, a ``weak'' and a ``strong'' one. For both principles, we prove that the quantum bounded-error complexity is a lower bound on the quantum analogues of max mu D_epsilon^mu(f). We then prove that equality cannot be obtained for the ``strong'' version, by exhibiting an exponential gap. On the other hand, as a positive result we prove that the ``weak'' version holds up to a constant factor for the query complexity of all symmetric Boolean functions

연구 동기 및 목표

• 고전적 Yao 원리의 양자 유사체가 성립하는지, 특히 양자 질의 복잡도에 대해 조사하는 것.
• 분포 기반 입력 가정 하에 고전적 확률적 및 결정적 알고리즘의 의미 있는 양자 대응체를 정의하는 것.
• 양자 유계 오차 복잡도가 분포에 대한 분포 기반 양자 복잡도의 최대값과 동일한지 여부를 판단하는 것.
• 약한 양자 Yao 원리가 성립하는 함수의 클래스를 특정하고, 강한 버전에 대한 반례를 탐색하는 것.

제안 방법

• 약한 버전은 분포 μ 하에서 입력의 2/3 비율에서 정확한 출력을 내는 알고리즘을, 강한 버전은 모든 입력에서 결정적 출력(0 또는 1)을 내는 알고리즘을 정의한다.
• 양자 유사체를 정의: $ Q_2(f) $는 유계 오차 양자 알고리즘의 최소 질의 복잡도이며, $ Q_{WE}^\mu(f) $, $ Q_{SE}^\mu(f) $는 분포 μ 하에서 약한/강한 2/3 정확 알고리즘의 최소 복잡도이다.
• 재귀적 Grover 검색 및 확률 진폭 강화 기법을 사용하여 AND-OR 트리 함수에 대해 약한 정확 양자 알고리즘을 구축한다.
• 다항식 방법과 양자 적대자 방법을 알려진 질의 복잡도의 경계를 통해 암시적으로 적용한다.
• 분포 기반 분석과 트리 깊이에 대한 귀납법을 사용하여 대칭 함수의 질의 복잡도를 유계한다.
• 순서 찾기 문제를 사용한 반례를 제시하여 강한 양자 Yao 원리를 반박한다.

실험 결과

연구 질문

• RQ1 유계 오차 양자 복잡도와 분포 기반 양자 복잡도 간의 관계를 설명하는 양자 Yao 원리가 성립하는가?
• RQ2 대칭 부울 함수와 같은 넓은 함수 클래스에 대해 약한 양자 Yao 원리가 증명될 수 있는가?
• RQ3 강한 양자 Yao 원리는 유효한가, 아니면 $ Q_2(f) $와 $ \max_\mu Q_{SE}^\mu(f) $ 사이의 지수적 간격으로 인해 실패하는가?
• RQ4 약한 양자 Yao 원리는 단조 함수 또는 대칭 함수 이외의 다른 함수 클래스로 확장될 수 있는가?
• RQ5 순서 찾기 문제와 같은 알려진 양자 가속 현상은 약한 양자 Yao 원리에 대한 반례를 제공하는가?

주요 결과

• 재귀적 Grover 기반 구성법을 통해 모든 대칭 부울 함수의 질의 복잡도에 대해 약한 양자 Yao 원리가 상수 인자 범위 내에서 성립함을 입증하였다.
• 강한 양자 Yao 원리는 지수적 간격 $ Q_2(f) $와 $ \max_\mu Q_{SE}^\mu(f) $ 사이에서 실패함을 반례를 통해 입증하였다.
• AND-OR 트리 함수의 경우, 질의 복잡도 $ O(\sqrt{N\log N}) $를 갖는 약한 2/3 정확 양자 알고리즘이 존재하며, 이는 $ Q_2(AO) $의 알려진 상한과 일치한다.
• 순서 찾기 문제에서는, $ O(\log N) $ 질의 내에서 유계 오차 알고리즘이 존재하지만, 효율적인 약한 정확 알고리즘이 알려져 있지 않아, 약한 양자 Yao 원리에 대한 후보 반례가 된다.
• 논문은 $ Q_2(f) \leq \max_\mu Q_{WE}^\mu(f) $를 확립하여, 약한 원리가 한 방향으로는 성립함을 확인하였다.
• 강한 양자 Yao 원리는 특정 함수들에 대해 $ Q_2(f) \ll \max_\mu Q_{SE}^\mu(f) $ 이므로 실패한다. 이는 분포 μ 하에서 결정적과 유사한 행동이 고전적 설정과 마찬가지로 양자 복잡도를 같은 방식으로 유계하지 못한다는 것을 시사한다.