[논문 리뷰] Evolutionary Quantum Logic Synthesis of Boolean Reversible Logic Circuits Embedded in Ternary Quantum Space using Heuristics

Maartin Lukac, Marek Perkowski외 1명|arXiv (Cornell University)|2011. 07. 18.

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

한 줄 요약

이 논문은 히우리스틱을 사용하여 돌연변이 및 적합도 함수를 최적화함으로써 삼진(쿼딧) 양자 공간에서 부울 가역 회로의 진화적 양자 논리 합성에 대해 GPU 가속을 적용한 병렬 유전 알고리즘을 제시한다. 이는 프레드킨 게이트의 최저비용 실현(비용 5)을 달성하고, 토플리, 메이저리티, 풀어드어 게이트의 새로운 최소 구현을 발견하여, 라마르크주의 진화와 적응형 비용 히우리스틱이 회로 복잡도를 감소시키는 데 효과적임을 입증한다.

ABSTRACT

It has been experimentally proven that realizing universal quantum gates using higher-radices logic is practically and technologically possible. We developed a Parallel Genetic Algorithm that synthesizes Boolean reversible circuits realized with a variety of quantum gates on qudits with various radices. In order to allow synthesizing circuits of medium sizes in the higher radix quantum space we performed the experiments using a GPU accelerated Genetic Algorithm. Using the accelerated GA we compare heuristic improvements to the mutation process based on cost minimization, on the adaptive cost of the primitives and improvements due to Baldwinian vs. Lamarckian GA. We also describe various fitness function formulations that allowed for various realizations of well known universal Boolean reversible or quantum-probabilistic circuits.

연구 동기 및 목표

• 고차원수(삼진) 양자 공간에서 부울 가역 회로를 위한 진화적 양자 논리 합성(EQLS) 프레임워크를 개발하기.
• 특히 적응형 비용 가중치, 적합도 함수 설계, 발드반형 대비 라마르크주의 학습의 영향을 포함한 히우리스틱 개선이 회로 최소화에 미치는 영향을 평가하기.
• 기존의 이진 기반 실현보다 뛰어난 새로운 최소 양자 게이트 실현(예: 프레드킨, 메이저리티)을 발견하기.
• GPU 가속과 구조적 제약 조건을 활용하여 중간 크기의 가역 회로를 스케일러블하게 합성할 수 있도록 하기.

제안 방법

• 쿼딧 기반 양자 회로의 광범위한 검색 공간을 탐색하기 위해 GPU에서 가속된 병렬 유전 알고리즘(GA)을 사용하였다.
• 회로 정확도와 비용을 평가하는 적합도 함수를 설계하였으며, 수렴을 이끄는 데 다수의 제형을 적용하였다.
• 비용 최소화 및 적응형 기본 원소 가중치 기반의 히우리스틱 돌연변이 전략을 통합하여 검색 효율성을 향상시켰다.
• 지식 유지의 영향을 평가하기 위해 발드반형 및 라마르크주의 학습 메커니즘을 모두 적용하였다.
• 구조적 제약 조건과 연결 규칙(예: 정의 III.2)을 적용하여 회로 복잡도를 감소시키고 최소성 조건을 강제하였다.
• 기존의 벤치마크 회로(토플리, 프레드킨, 메이저리티, 풀어드어)를 사용하여 결과를 검증하였으며, 이진 및 이질적인 쿼딧 실현 간의 비용을 비교하였다.

실험 결과

연구 질문

• RQ1 이진 양자 논리에 비해 삼진(쿼딧) 양자 공간을 사용할 경우, 가역 부울 회로의 합성 복잡도와 비용에 어떤 영향을 미치는가?
• RQ2 라마르크주의 대비 발드반형 학습이 진화된 양자 회로의 수렴성과 품질에 미치는 영향은 무엇인가?
• RQ3 양자 원소의 적응형 비용 가중치는 균일하거나 고정된 비용 돌연변이 전략보다 더 효율적인 회로 합성에 기여하는가?
• RQ4 이질적인 쿼딧 게이트를 사용할 경우 잘 알려진 가역 게이트(예: 토플리, 프레드킨)의 최소 달성 비용은 얼마인가?
• RQ5 히우리스틱 적합도 함수와 구조적 제약 조건은 검색 공간을 얼마나 줄일 수 있으며, 동시에 회로 정확도와 최소성은 유지할 수 있는가?

주요 결과

• 프레드킨 게이트는 비용 5로 발견되었으며, 이는 지금까지 알려진 최저비용 실현이며, 제어-하드암드 및 제어-Z 게이트의 위상 킥백으로 인해 구조적으로 최소화되어 있다.
• 토플리 게이트는 오직 세 개의 두 큐비트 게이트만을 사용하여 비용 3으로 실현되었으며, 이는 이론적 최소값과 일치하며 표준 이진 실현보다 뛰어나다.
• 메이저리티 게이트는 비용 10으로 합성되었으며, 이는 12비용의 이진 실현보다 현저히 낮아 쿼딧 기반 합성의 이점을 입증한다.
• 풀어드어 게이트는 비용 12로 실현되었으며, 이는 기존에 알려진 최고의 이진 실현과 동일하여 쿼딧 기반 합성이 표준 벤치마크에서 성능을 저하시키지 않음을 확인한다.
• 라마르크주의 GA와 적응형 비용 히우리스틱은 표준 GA에 비해 더 빠른 수렴과 더 나은 품질의 솔루션을 이끌어내어 EQLS에서의 효과성을 입증한다.