[논문 리뷰] Quantum algorithms for formula evaluation

Andris Ambainis|arXiv (Cornell University)|2010. 06. 18.

Quantum Computing Algorithms and Architecture참고 문헌 24인용 수 7

한 줄 요약

이 논문은 양자 워크와 스펜 프로그램 기법을 사용하여 NAND 게이트로 구성된 부울 공식을 평가하기 위한 연속된 양자 알고리즘을 제시한다. 균형 잡힌 공식의 경우 $O(\sqrt{N})$의 최적 쿼리 복잡도를 달성하고 일반 공식의 경우 $O(\sqrt{N}\log N)$의 복잡도를 기록하며, 고전적 기준에 비해 크게 향상되었고, 스펜 프로그램 일반화를 통해 거의 최적임을 입증한다.

ABSTRACT

We survey the recent sequence of algorithms for evaluating Boolean formulas consisting of NAND gates.

연구 동기 및 목표

• NAND 게이트로 구성된 부울 공식을 평가하기 위한 효율적인 양자 알고리즘을 개발하는 것.
• 그로버의 검색을 일반화하여 복잡한 AND-OR 및 NAND 공식을 개선된 쿼리 복잡도로 평가하는 것.
• 부울 공식 평가를 위한 양자 워크 알고리즘과 스펜 프로그램 간의 연결 고리를 설정하는 것.
• 스펜 프로그램 기반 양자 알고리즘을 통해 임의의 부울 함수에 대해 거의 최적의 쿼리 복잡도를 달성하는 것.
• 양자 워크 기반 방법이 $O(\sqrt{N}\log N)$의 쿼리로 임의의 NAND 공식을 평가할 수 있음을 보여주는 것.

제안 방법

• 알고리즘은 NAND 공식 평가를 시뮬레이션하기 위해 길이 2의 尾를 가진 트리 구조 위에서 양자 워크를 수행한다.
• 이동 연산자 $S$와 공식 구조에 기반한 단계 반전 연산 $C$를 포함한 유니터리 변환 $SC$를 사용한다.
• 워크는 공식의 루트 값이 포함된 초위상 상태 $|\psi_{\text{start}}\rangle$로 초기화된다.
• SC 연산자의 고유값 추정을 통해 $1/\sqrt{N}$ 정도의 위상 이동을 감지함으로써 공식 출력값(0 또는 1)을 구분한다.
• 서브트리 크기에 기반한 가중치를 가진 가중치 행렬을 해밀토니안으로 사용하여 임의의 NAND 공식 구조로 일반화된다.
• 스펜 프로그램 기법을 사용하여 프레임워크를 임의의 부울 함수로 확장하고, 거의 최적의 쿼리 복잡도를 가능하게 한다.

실험 결과

연구 질문

• RQ1 양자 워크 기반 알고리즘이 고전적 방법보다 NAND 공식을 더 효율적으로 평가할 수 있는가?
• RQ2 양자 알고리즘을 사용할 때 일반적인 NAND 공식을 평가하기 위해 필요한 최소 쿼리 복잡도는 얼마인가?
• RQ3 양자 워크 프레임워크는 깊이와 구조가 임의인 공식을 처리하기 위해 어떻게 적응시킬 수 있는가?
• RQ4 스펜 프로그램 형식은 부울 공식 평가를 위한 양자 알고리즘의 통합과 일반화에 사용될 수 있는가?
• RQ5 스펜 프로그램 기반 양자 알고리즘을 사용하여 임의의 부울 함수에 대해 거의 최적의 쿼리 복잡도를 달성할 수 있는가?

주요 결과

• 균형 잡힌 NAND 공식은 $O(\sqrt{N})$의 쿼리로 평가되며, 이는 최적의 양자 쿼리 복잡도와 일치한다.
• 일반적인 NAND 공식의 경우 알고리즘은 $O(\sqrt{N}\log N)$의 쿼리 복잡도를 달성하며, 고전적 $\Theta(N^{0.754})$ 복잡도보다 향상되었다.
• Bshouty 등이 제안한 변환을 통해 공식의 깊이를 감소시키면 쿼리 복잡도는 $O(N^{1/2 + O(1/\sqrt{\log N})})$가 된다.
• 스펜 프로그램 프레임워크는 임의의 부울 함수에 대해 거의 최적의 양자 쿼리 알고리즘을 가능하게 하며, $t$ 쿼리가 필요한 함수의 경우 $O(t)$ 또는 $O(t \log t / \log \log t)$의 쿼리가 필요하다.
• 연속 시간 해밀토니안 모델과 이산 시간 양자 워크 모델은 쿼리 능력에서 거의 동일하다.
• 알고리즘의 성능은 강인하다: 길이 2의 유한한 尾를 사용하더라도 긴 尾를 사용한 경우와 동일한 행동을 보이며, 이를 통해 구현이 단순해진다.