[논문 리뷰] A Cost Minimization Approach to Synthesis of Linear Reversible Circuits

Ben Schaeffer, Marek Perkowski|arXiv (Cornell University)|2014. 06. 30.

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

한 줄 요약

이 논문은 선형 가역 회로를 최소 CNOT 게이트 수로 합성하기 위한 두 가지 휴리스틱 방법—비용 최소화를 통한 교대 제거(AECM) 및 다중 CNOT 게이트(MCG)—를 제안한다. MCG 방법은 24 라인 이하의 회로에서 가장 낮은 평균 CNOT 수를 달성하며, AECM는 28~60 라인에서 가장 우수한 성능을 보여, 대규모 가역 논리 합성에서 뛰어난 비용 최소화 능력을 입증한다.

ABSTRACT

This paper presents a heuristic cost minimization approach to synthesizing linear reversible circuits. Two bidirectional linear reversible circuit synthesis methods are introduced, the Alternating Elimination with Cost Minimization method (AECM) and the Multiple CNOT Gate method (MCG). Algorithms, example syntheses, and extensions to these methods are presented. An MCG variant which incorporates line reordering is introduced. Tests comparing the new cost minimization methods with the best known method for large circuits are presented. Results show that of the three methods MCG had the lowest average CNOT gate counts for linear reversible circuits up to 24 lines, and that AECM had the lowest counts between 28 and 60 lines.

연구 동기 및 목표

• 선형 가역 회로 합성에서 양자 비용을 최소화하는 데 도전하는 데 초점을 맞추어, 특히 CNOT 게이트 수를 줄이는 데 중점을 둔다.
• 기존 방법보다 대규모 가역 회로에서 게이트 수 측면에서 뛰어난 성능을 보이는 효율적인 휴리스틱 알고리즘을 개발하는 것.
• 라인 재정렬이 회로 최적화에 미치는 영향을 탐색하고 합성 효율을 향상시키는 것.
• 대규모 회로에 대해 새로운 합성 방법의 성능를 최고의 기존 방법들과 평가하고 비교하는 것.
• 최소한의 양자 자원을 사용하여 스케일러블하고 실용적인 선형 가역 회로 합성 알고리즘을 제공하는 것.

제안 방법

• 교대 제거와 비용 최소화(AECM) 방법은 비용을 최소화하면서 제어 라인을 반복적으로 제거하는 방식을 사용한다.
• 다중 CNOT 게이트(MCG) 방법은 구조화된 순서로 다중 CNOT 게이트를 적용하여 총 게이트 수를 줄이는 방식으로 회로를 구성한다.
• 향상된 MCG 변종은 라인 재정렬을 통합하여 게이트 수와 회로 구조를 추가로 최적화한다.
• 두 방법 모두 대규모 가역 회로에서의 확장성과 효율성을 위해 설계된 휴리스틱 알고리즘으로 구현되었다.
• 알고리즘은 최대 60 라인까지의 벤치마크 회로를 사용하여 평가되었으며, 성능는 평균 CNOT 게이트 수로 측정되었다.
• 정확성 확보와 양자 비용 최소화를 위해 가역 논리의 선형 대수적 성질을 활용한다.

실험 결과

연구 질문

• RQ1 비용 최소화 접근 방식이 선형 가역 회로에서 CNOT 게이트 수를 상당히 줄일 수 있는가?
• RQ2 AECM 및 MCG의 성능는 대규모 가역 회로에서 최고의 기존 방법과 비교해 어떻게 다른가?
• RQ3 MCG 방법에서의 라인 재정렬이 게이트 수 감소에 얼마나 기여하는가?
• RQ4 다양한 회로 크기에서 AECM 또는 MCG 중 어느 방법이 가장 낮은 평균 CNOT 게이트 수를 달성하는가?
• RQ5 휴리스틱 합성 방법은 24~60 라인의 회로로 확장되면서도 낮은 비용을 유지할 수 있는가?

주요 결과

• MCG 방법은 24 라인 이하의 선형 가역 회로에서 가장 낮은 평균 CNOT 게이트 수를 달성했다.
• 28~60 라인의 회로에서는 AECM 방법이 가장 낮은 평균 CNOT 게이트 수를 기록하여 다른 방법들을 압도했다.
• 라인 재정렬을 통합한 MCG 변종은 기본 MCG 방법보다 향상된 최적화 성능를 보였다.
• 제안된 방법들은 테스트된 모든 회로 크기에서 일관된 비용 최소화를 보였으며, 기존 기술보다 측정 가능한 향상을 보였다.
• 성능 평가 결과, AECM 및 MCG는 대규모 가역 회로 합성에 효과적이며, 방법 선택은 회로 크기에 따라 달라진다.
• 결과는 선형 가역 회로의 양자 자원 요구량을 줄이기 위해 휴리스틱 비용 최소화가 효과적이라는 것을 입증한다.