[논문 리뷰] Better-than-classical circuits for OR and AND/OR found using genetic programming

Howard Barnum, H. J. Bernstein외 1명|arXiv (Cornell University)|1999. 07. 16.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 유전적 프로그래밍을 통해 진화시킨 양자 회로를 제시하며, 한 번의 쿼리로 일기능 블랙박스 함수의 OR를 계산하는 데 있어 고전적 성능을 뛰어넘는다. 이 방법은 깊이가 2인 이진 AND/OR 트리 문제를 해결하는 더 큰 회로로 확장되며, 어떤 고전적 한 쿼리 알고리즘보다 낮은 오차로 작동한다. 이는 구조적이고 재귀적인 계산 모델에서 양자 우월성을 입증한다.

ABSTRACT

We present a quantum circuit evolved using genetic programming. From it we derive the first better-than-classical one-query bounded-error circuit for OR of one-bit black-box functions. The larger evolved circuit calculates, with error probability lower than any possible classical one-query algorithm, the property defined by a depth-two binary AND/OR tree with the four possible function input values as leaves. We analyze it as a kind of recursive application of the OR circuit. Since the OR and AND/OR trees have fan-in 2, these circuits may be useful in investigating the uniform binary AND/OR tree in the large-N asymptotic regime, a problem whose classical query complexity is completely understood and which has applications in game tree evaluation, logic programming, theorem-proving, and many other areas.

연구 동기 및 목표

• 한 번의 쿼리로 OR 및 AND/OR 트리 함수를 계산하는 데 있어 고전 알고리즘을 능가하는 양자 회로를 개발하는 것.
• 일관된 이진 AND/OR 트리 평가 문제, 즉 고전적 쿼리 복잡도가 알려진 문제에서 양자 우월성의 잠재력을 탐색하는 것.
• 진화된 OR 회로에서 영감을 얻은 재귀적 양자 회로 구조를 설계하여 더 큰 계산 문제에 활용하는 것.
• 진화된 회로의 오차 확률과 쿼리 효율성을 고전적 대응물과 비교하여 분석하는 것.

제안 방법

• 유전적 프로그래밍을 사용하여 일기능 블랙박스 함수의 OR을 최소한의 쿼리 비용으로 계산하는 양자 회로를 진화시킨다.
• 진화된 OR 회로를 재귀적으로 적용하여 깊이가 2인 이진 AND/OR 트리를 평가하는 더 큰 회로를 구성한다.
• 단일 쿼리 조건 하에서 오차 확률을 최소화하도록 회로를 설계한다.
• 진화된 회로의 구조를 재귀적 OR 계산의 반복 적용으로 분석하여 더 큰 트리로의 확장 가능성을 확보한다.
• 양자 우월성을 입증하기 위해 고전적 한 쿼리 알고리즘과의 성능 비교를 수행한다.

실험 결과

연구 질문

• RQ1 유전적 프로그래밍을 통해 일기능 함수의 OR을 계산하는 데 있어 한 번의 쿼리로 고전적 오차 확률을 뛰어넘는 양자 회로를 진화시킬 수 있는가?
• RQ2 진화된 OR 회로를 재귀적으로 적용하면 깊이가 2인 AND/OR 트리 계산에서 양자 우월성을 달성할 수 있는가?
• RQ3 진화된 양자 회로의 오차 확률은 고전적 한 쿼리 알고리즘의 이론적 하한과 비교해 어떻게 되는가?
• RQ4 진화된 회로 구조는 渐近적 영역에서 더 큰 균일한 이진 AND/OR 트리로 일반화될 수 있는가?

주요 결과

• 진화된 양자 회로는 일기능 블랙박스 함수의 OR을 계산할 때 어떤 고전적 한 쿼리 알고리즘보다 낮은 오차 확률을 달성한다.
• 네 잎을 가진 AND/OR 트리용 회로는 오차 확률이 어떤 가능한 고전적 한 쿼리 알고리즘보다 엄격히 낮은 유한 오차 계산을 수행한다.
• 진화된 회로의 구조는 반복적인 OR 회로 적용과 유사한 재귀 패턴을 보이며, 확장 가능성 잠재력을 시사한다.
• 결과적으로 이는 고전적으로 어려운 문제에 대해 한 쿼리 유한 오차 모델에서 증명 가능한 양자 우월성을 입증한다.