[논문 리뷰] Canonical Construction of Quantum Oracles

Austin Gilliam, Marco Pistoia외 1명|arXiv (Cornell University)|2020. 06. 18.

Quantum Computing Algorithms and Architecture참고 문헌 11인용 수 4

한 줄 요약

이 논문은 이징 모델 및 기타 대수적 표현으로부터 양자 오라클을 구성하기 위한 표준화된 대수적 방법을 제안하며, 일반화된 그로버 반복을 통해 원하는 양자 상태를 효율적으로 인코딩한다. 이 방법은 진폭 증폭 및 추정을 위한 오라클 구축을 표준화하며, 0-합 부분집합 문제와 피보나치 계산과 같은 NP-난이도 문제에서 뛰어난 성능을 보이며, 실제 트랩드 이온 양자 하드웨어(Honeywell System Model HØ, 양자 부피 64)에서 실험적으로 검증되었다.

ABSTRACT

Selecting a set of basis states is a common task in quantum computing, in order to increase and/or evaluate their probabilities. This is similar to designing WHERE clauses in classical database queries. Even though one can find heuristic methods to achieve this, it is desirable to automate the process. A common, but inefficient automation approach is to use oracles with classical evaluation of all the states at circuit design time. In this paper, we present a novel, canonical way to produce a quantum oracle from an algebraic expression (in particular, an Ising model), that maps a set of selected states to the same value, coupled with a simple oracle that matches that particular value. We also introduce a general form of the Grover iterate that standardizes this type of oracle. We then apply this new methodology to particular cases of Ising Hamiltonians that model the zero-sum subset problem and the computation of Fibonacci numbers. In addition, this paper presents experimental results obtained on real quantum hardware, the new Honeywell computer based on trapped-ion technology with quantum volume 64.

연구 동기 및 목표

• 대수적 제약 조건에 기반하여 특정 양자 상태를 선택하고 평가하기 위한 양자 오라클의 자동화 및 표준화된 구축을 위해.
• 회로 설계 과정에서의 고전적 오라클 평가의 비효율성을 해결하기 위해 양자 네이티브이고 표준화된 인코딩 방법을 제공하기 위해.
• 다양한 양자 알고리즘에서 진폭 증폭 및 추정에 일관되게 사용 가능한 오라클을 위해 그로버 반복을 일반화하기 위해.
• 실제 양자 하드웨어를 사용하여 NP-난이도 문제와 조합 계산에 대해 이 방법의 효과성을 검증하기 위해.
• 진폭 추정과 일반화된 보른 규칙 사이의 연결 고리를 설정하여 양자 계산을 랜덤 변수의 확률 공간으로 프레임워크화하기 위해.

제안 방법

• 이징 해밀토니안과 같은 대수적 표현에서 표준화된 오라클 구축을 제안하며, 모든 원하는 기저 상태를 동일한 값으로 매핑하여 일관된 위상 마킹을 가능하게 한다.
• 오라클 논리와 진폭 증폭 과정을 분리함으로써 오라클 사용을 표준화하는 일반화된 그로버 반복을 도입한다.
• 함수(예: 다항식, 제약 조건)를 얽힌 키-값 레지스터에 인코딩하기 위해 양자 사전 패턴을 활용하며, 위상 회전과 QFT 기반 인코딩을 사용한다.
• 제어된 위상 게이트($R(\theta)$)를 통한 기하급수적 수열 인코딩을 활용하여 초위상 상태에서 정수 값을 표현함으로써 효율적인 상태 준비를 가능하게 한다.
• 위상 인코딩된 상태에서 인코딩된 정수를 추출하기 위해 역 QFT를 적용하며, 위상 조합의 모듈로 산술 성질을 활용한다.
• 복잡한 진폭을 색상 강도와 색조로 표현하는 픽셀 기반 시각화를 활용하여 상태 분석 및 검증을 보조한다.

실험 결과

연구 질문

• RQ1 이징 해밀토니안과 같은 대수적 표현에서 양자 오라클을 체계적이고 표준화된 방식으로 어떻게 구성할 수 있는가?
• RQ2 표준화된 오라클 구축이 양자 알고리즘에서 진폭 증폭 및 추정의 효율성과 정확성에 어떤 영향을 미치는가?
• RQ3 회귀적 또는 단순한 오라클 인코딩 전략에 비해 이 방법은 회로 깊이, 신뢰도, 자원 사용 측면에서 어떻게 비교되는가?
• RQ4 일반화된 그로버 반복이 다양한 문제에 걸쳐 오라클 기반 양자 계산을 표준화하는 데 효과적으로 사용될 수 있는가?
• RQ5 이 방법론은 특히 NP-난이도 조합 문제에 대해 실제 양자 하드웨어에서 실험적으로 얼마나 잘 검증될 수 있는가?

주요 결과

• 표준화된 오라클 구축 방법은 0-합 부분집합 문제와 같은 복잡한 대수적 제약 조건을 더 낮은 회로 깊이로 효율적으로 인코딩할 수 있다.
• Honeywell System Model HØ(양자 부피 64)에서의 실험 결과는 이 방법의 실현 가능성과 강건성을 확인하였으며, 높은 정밀도의 상태 준비 및 측정 결과를 달성하였다.
• 일반화된 그로버 반복은 다양한 오라클 유형 간에 일관되고 표준화된 진폭 증폭 적용을 가능하게 하여 알고리즘의 이식성과 신뢰성을 향상시켰다.
• 표준화된 오라클을 사용하여 피보나치 수를 정확하게 계산하였으며, 성공 확률과 회로 효율성 측면에서 모두 히우리스틱 및 단순 인코딩 전략을 능가하였다.
• 픽셀 기반 시각화 결과는 양자 상태의 진폭이 이론적 예측과 일치하며, 위상과 진폭 패턴이 기대되는 대수적 구조와 일치함을 확인하였다.
• 진폭 추정과 일반화된 보른 규칙 사이의 연결 고리는 검증되었으며, 양자 계산이 결과가 랜덤 변수에 해당하는 확률 공간을 자연스럽게 정의함을 보여주었다.