[논문 리뷰] How to Compile Some NAND Formula Evaluators

Robert R. Tucci|ArXiv.org|2007. 06. 04.

Quantum Computing Algorithms and Architecture참고 문헌 18인용 수 5

한 줄 요약

이 논문은 균형 잡힌 이진 NAND 공식을 평가하는 이산 쿼리 양자 알고리즘에서 사용되는 오라클 및 비오라클 진동 연산자에 대한 명시적 양자 회로 구현(SEO 기반)을 제시한다. 코시너-코사인 분해(CSD)를 사용하여 이러한 유니터리 연산자를 CNOT과 단일 큐비트 게이트의 시퀀스로 컴파일함으로써, FGG07에 영향을 받은 알고리즘을 물리적으로 실현할 수 있으며, 이는 O(√Nlvs)의 쿼리 복잡도를 가진다.

ABSTRACT

We say a unitary operator acting on a set of qubits has been compiled if it has been expressed as a SEO (sequence of elementary operations, like CNOTs and single-qubit operations). SEO's are often represented as quantum circuits. arXiv:quant-ph/0702144 by Farhi-Goldstone-Gutmann has inspired a recent flurry of papers, that propose quantum algorithms for evaluating NAND formulas via quantum walks over tree graphs. These algorithms use two types of unitary evolution: oracle and non-oracle. Non-oracle evolutions are independent of the NAND formula input, whereas oracle evolutions depend on this input. In this paper we compile (i.e., give explicit SEOs and their associated quantum circuits for) the oracle and non-oracle evolution operators used in some of these NAND formula evaluators. We consider here only the case of balanced binary NAND trees. Our compilation methods are based on the CSD (Cosine Sine Decomposition), a matrix decomposition from Linear Algebra. The CS decomposition has been used very successfully in the past to compile unstructured unitary matrices exactly.

연구 동기 및 목표

• NAND 공식 평가 알고리즘에서 사용되는 오라클 및 비오라클 진동 연산자에 대한 명시적 양자 회로 분해를 제공하여 실용적 구현의 격차를 메운다.
• 균형 잡힌 이진 NAND 트리를 평가하기 위한 이산 쿼리 양자 알고리즘의 물리적 실현을 가능하게 한다.
• 양자 워크 기반 NAND 공식 평가기에서 발생하는 구조화된 유니터리 연산자를 컴파일하기 위해 코시너-코사인 분해(CSD) 기법을 적용한다.
• 이들 연산자에 대한 SEO(기본 연산의 순서) 표현을 제공하며, 이는 Cle07, Chi07, Amb07 등의 이전 연구에서 누락된 양자 회로를 포함한다.

제안 방법

• 선형 대수학의 코시너-코사인 분해(CSD)를 사용하여 유니터리 진동 연산자를 기본 양자 게이트의 시퀀스로 분해한다.
• 균형 잡힌 이진 NAND 트리에 대해 오라클 및 비오라클 진동 연산자를 모두 CSD에 적용하여 컴파일한다.
• 오라클 진동을 위한 MCNOT 기반 회로를 구성하며, 복잡도는 CNOT 수가 O(Λ²)이며, 여기서 Λ는 트리의 깊이다.
• 큐비트 순열과 σX 게이트를 통해 회로를 최적화하여 분해 과정에서의 밴드 수를 줄여 SEO 길이를 단축시킨다.
• 특히 비오라클 진동 연산자에 대해 비교 및 검증을 위해 그로버 알고리즘 컴파일 기법을 적응하여 적용한다.
• 모든 컴파일된 연산자를 CNOT과 단일 큐비트 회전을 포함한 표준 게이트 세트를 사용하여 양자 회로로 표현한다.

실험 결과

연구 질문

• RQ1 이산 쿼리 NAND 공식 평가 알고리즘에서 오라클 및 비오라클 진동 연산자는 어떻게 명시적 양자 회로로 컴파일될 수 있는가?
• RQ2 균형 잡힌 이진 NAND 트리에 대해 CSD를 사용하여 이러한 연산자를 컴파일할 경우의 회로 복잡도는 얼마인가?
• RQ3 CSD 기반 컴파일은 양자 워크 기반 NAND 평가에서 발생하는 구조화된 유니터리 연산자를 정확하게 합성할 수 있는가?
• RQ4 그로버 알고리즘에서 사용되는 것과 비교해 볼 때, 결과적으로 도출된 SEO의 깊이와 게이트 수는 어떻게 되는가?
• RQ5 큐비트 순열, 파울리-X 게이트 등의 최적화 기법은 밴드 수를 줄여 회로 길이를 어떻게 감소시킬 수 있는가?

주요 결과

• 논문은 CSD를 사용하여 균형 잡힌 이진 NAND 트리의 오라클 및 비오라클 진동 연산자를 명시적인 SEO로 성공적으로 컴파일하였다.
• 오라클 진동 연산자는 CNOT 수가 O(Λ²)인 회로로 컴파일되었으며, 여기서 Λ는 NAND 트리의 레벨 수이다.
• 비오라클 진동 연산자는 균일 상태 프로젝터의 고유값 분해를 이용하여 컴파일되었으며, 히드레이드 변환과 유사한 조건부-Z 연산을 활용하였다.
• 이 컴파일 방법은 다중 밴드로 일반화 가능하며, 큐비트 순열과 파울리-X 게이트를 통한 최적화로 회로 길이를 단축시킬 수 있다.
• 결과로 도출된 회로는 물리적으로 실현 가능하며, FGG07에 영향을 받은 양자 알고리즘의 구현에 있어 핵심적인 격차를 메웠다.
• 이 접근법은 그로버 알고리즘을 초월하여, 양자 워크 기반 알고리즘에서의 구조화된 유니터리 연산자를 컴파일하기 위한 체계적인 프레임워크를 제공한다.