[논문 리뷰] Evolving Quantum Oracles with Hybrid Quantum-inspired Evolutionary Algorithm

Shengchao Ding, Zhi Jin외 1명|ArXiv.org|2006. 10. 13.

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

한 줄 요약

이 논문은 양자 회로를 수치적으로 인코딩하고, 회로 비용과 정확도를 조합한 피트니스 함수를 사용하여 양자 오라클을 자동으로 설계하고 최적화하기 위해 하이브리드 양자 힌트 유전적 알고리즘(HQEA)을 제안한다. 이 방법은 빠른 크로네커 곱 기반 행렬 곱셈 알고리즘을 통해 행렬 평가를 가속화하여 기존의 기호적 또는 순수 히وري스틱 방법에 비해 더 높은 효율성과 정확도를 갖춘 양자 회로 설계 탐색을 가능하게 한다.

ABSTRACT

Quantum oracles play key roles in the studies of quantum computation and quantum information. But implementing quantum oracles efficiently with universal quantum gates is a hard work. Motivated by genetic programming, this paper proposes a novel approach to evolve quantum oracles with a hybrid quantum-inspired evolutionary algorithm. The approach codes quantum circuits with numerical values and combines the cost and correctness of quantum circuits into the fitness function. To speed up the calculation of matrix multiplication in the evaluation of individuals, a fast algorithm of matrix multiplication with Kronecker product is also presented. The experiments show the validity and the effects of some parameters of the presented approach. And some characteristics of the novel approach are discussed too.

연구 동기 및 목표

• 진화 계산을 활용하여 효율적으로 양자 오라클을 설계하고 최적화하는 데 도전하는 데 목적이 있다.
• 비용이 많이 드는 행렬 곱셈으로 인해 양자 회로의 피트니스 평가에 발생하는 계산적 병목 현상을 해결하는 데 목적이 있다.
• 진화 연산자의 효과적인 적용을 가능하게 하는 양자 회로의 수치적 표현을 개발하는 데 목적이 있다.
• 회로 비용과 정확도를 통합된 피트니스 함수에 통합하여 동시에 최적화하는 데 목적이 있다.
• 기준 양자 오라클에 대한 실험적 평가를 통해 제안된 방법의 효과성을 입증하는 데 목적이 있다.

제안 방법

• 각 게이트 또는 특정 큐비트에 대한 게이트 연산이 정수 인덱스로 매핑되어 양자 회로가 수치적 값으로 인코딩된다.
• 하이브리드 양자 힌트 유전적 알고리즘(HQEA)이 피트니스에 기반한 선택, 교차, 변이를 통해 회로 표현을 진화시키는 데 사용된다.
• 정확한 유니터리 출력에 대한 보상과 회로 비용에 대한 벌점을 조합한 피트니스 함수가 정확도와 효율성의 동시에 최적화를 가능하게 한다.
• 양자 게이트 연산의 크로네커 곱 구조를 활용하여 빠른 행렬 곱셈 알고리즘을 개발하여 피트니스 평가를 가속화한다.
• 물리적으로 실현 가능한 바탕으로, 기본 게이트는 1 큐비트 및 인접한 2 큐비트 연산(예: H, S, T, CNOT)으로 제한된다.
• 최대 게이트 수와 비용 충족 조건을 조정함으로써 설계 및 최적화를 모두 지원한다.

실험 결과

연구 질문

• RQ1 양자 회로의 수치적 표현이 진화 알고리즘의 효율성과 효과성에 양자 오라클 설계에서 향상되는가?
• RQ2 단일 피트니스 함수에 비용과 정확도를 통합할 경우, 진화된 양자 회로의 수렴성과 품질에 어떤 영향을 미치는가?
• RQ3 크로네커 곱 기반의 빠른 행렬 곱셈 알고리즘이 양자 회로 개체의 평가에서 계산 오버헤드를 어느 정도 감소시킬 수 있는가?
• RQ4 피트니스 함수 내의 보상-벌점 요소의 차이가 진화 과정의 성공률과 수렴 속도에 어떤 영향을 미치는가?
• RQ5 제안된 HQEA 기반 방법이 최적화되고 물리적으로 실현 가능한 양자 오라클을 설계하는 데 있어 기존의 기호적 또는 히وري스틱 방법을 능가할 수 있는가?

주요 결과

• 제안된 HQEA 방법은 엔트레플리2 및 컨트롤드-페이즈와 같은 기준 사례에 대해 정확한 양자 오라클을 성공적으로 진화시켰으며, 다수의 런에서 최적의 회로를 발견했다.
• 실험 결과, 회로 오류에 대한 벌점 값을 높게 설정할수록 비용 충족 조건이 높아질수록 정확한 오라클을 찾는 데 성공률이 크게 향상됨을 확인했다.
• 비용 충족 조건이 8이고 벌점이 1000일 경우, 200회의 런에서 100%의 성공률을 기록했으며, 평균 성공 세대 수는 62.65였다.
• 크로네커 곱 기반의 빠른 행렬 곱셈 알고리즘이 개체 평가를 크게 가속화하여 피트니스 계산의 계산 오버헤드를 감소시켰다.
• 수치적 인코딩 체계는 기호적 표현에 비해 진화 연산자의 보다 자연스럽고 효과적인 적용을 가능하게 했다.
• 최대 게이트 수와 비용 충족 조건 등의 매개변수를 조정함으로써 설계와 최적화를 유연하게 균형 잡는 데 성공했다.