[논문 리뷰] Properties and Application of Nondeterministic Quantum Query Algorithms

Alina Dubrovska|arXiv (Cornell University)|2006. 06. 30.

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

한 줄 요약

이 논문은 비결정론적 양자 계산을 확장하는 새로운 모델인 이중 비결정론적 양자 질의 알고리즘을 소개한다. Controln 함수에 대해 이중 비결정론적 알고리즘은 일정한 2개의 질의 복잡도를 달성하는 반면, 고전적 결정론적 복잡도는 n임을 증명하여 n 대 2의 최대 격차를 보여준다. 이 작업은 정확한, 비결정론적, 이중 비결정론적 질의 복잡도 간의 이론적 관계를 수립한다.

ABSTRACT

Many quantum algorithms can be analyzed in a query model to compute Boolean functions where input is given by a black box. As in the classical version of decision trees, different kinds of quantum query algorithms are possible: exact, zero-error, bounded-error and even nondeterministic. In this paper, we study the latter class of algorithms. We introduce a fresh notion in addition to already studied nondeterministic algorithms and introduce dual nondeterministic quantum query algorithms. We examine properties of such algorithms and prove relations with exact and nondeterministic quantum query algorithm complexity. As a result and as an example of the application of discovered properties, we demonstrate a gap of n vs. 2 between classical deterministic and dual nondeterministic quantum query complexity for a specific Boolean function.

연구 동기 및 목표

• 이중 비결정론적 양자 질의 알고리즘이라는 새로운 양자 질의 알고리즘 클래스를 체계화하고 분석하는 것.
• 이중 비결정론적, 정확한, 표준 비결정론적 양자 질의 복잡도 간의 이론적 관계를 수립하는 것.
• 특정 함수에 대해 선형 고전적 결정론적 질의가 필요한 함수에 대해 일정한 질의 복잡도를 갖는 명시적 알고리즘을 구성함으로써 새로운 모델의 능력을 입증하는 것.
• 기존에 알려지지 않은 부울 함수인 Controln을 식별하고 분석하여 고전적 결정론적 복잡도와 양자 질의 복잡도 사이의 최대 분리 현상을 보여주는 것.

제안 방법

• 표준 비결정론적 양자 질의 알고리즘을 확장하는 새로운 모델로 이중 비결정론적 양자 질의 알고리즘을 도입한다.
• 양자 질의 모델에서 유니터리 변환과 질의 연산을 사용하며, 측정 결과가 함수의 출력을 결정한다.
• 부함수(예: PARITY)에 대한 정확한 양자 알고리즘의 구조를 활용하여 논리적 분해를 통해 이중 비결정론적 알고리즘을 구축한다.
• Controln 함수를 부정된 파리티 함수를 포함하는 논리적 형태로 변환하여 효율적인 양자 구현을 가능하게 한다.
• 헤르마드 게이트와 진폭 조작을 활용해 초월 상태를 생성함으로써, 오직 두 번의 질의로만 정확한 함수 평가를 수행할 수 있도록 한다.
• 정확한 질의 복잡도와 비결정론적 질의 복잡도 간의 관계를 연결하는 정리들을 활용하여 이중 비결정론적 알고리즘의 존재를 증명한다.

실험 결과

연구 질문

• RQ1 이중 비결정론적 양자 질의 알고리즘이라는 새로운 양자 질의 알고리즘 클래스를 체계적으로 정의하고 기존 비결정론적 모델과 구별할 수 있는가?
• RQ2 이중 비결정론적, 정확한, 표준 비결정론적 양자 질의 복잡도 간의 이론적 관계는 무엇인가?
• RQ3 이중 비결정론적 알고리즘이 특정 함수에 대해 고전적 결정론적 알고리즘보다 훨씬 낮은 질의 복잡도를 달성할 수 있는가?
• RQ4 입력 크기의 선형 증가에 따라 고전적 결정론적 복잡도가 증가하는 반면 이중 비결정론적 양자 질의 복잡도가 일정한 부울 함수가 존재하는가?

주요 결과

• Controln 함수에 대해 이중 비결정론적 양자 질의 알고리즘이 n과 무관하게 오직 2개의 질의로 존재한다.
• Controln의 고전적 결정론적 질의 복잡도는 n이며, 이는 고전적 복잡도와 이중 비결정론적 양자 복잡도 사이에 n 대 2의 최대 격차를 확립한다.
• 논문은 이중 비결정론적 질의 복잡도가 하위함수의 정확한 질의 복잡도의 최댓값에 의해 제한됨을 증명하였으며, 이를 정리 6으로 체계화하였다.
• 함수 Controln은 첫 번째 반쪽의 각 비트가 두 번째 반쪽의 해당 비트를 XOR을 통해 제어하도록 구성되어 있어, 압축된 양자 표현이 가능하다.
• Controln에 대한 이중 비결정론적 알고리즘은 부정된 파리티 함수로 분해하여, 기존에 알려진 PARITY에 대한 정확한 양자 알고리즘의 특성을 활용한다.
• 논문은 이중 비결정론적 모델이 특정 함수에 대해 고전적 결정론적 모델 대비 지수적 속도 향상을 달성할 수 있음을 입증한다.