[논문 리뷰] A Practical Method of Constructing Quantum Combinational Logic Circuits

Jae‐Seung Lee, Yongwook Chung외 2명|ArXiv.org|1999. 11. 12.

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

한 줄 요약

이 논문은 $f$-controlled-NOT 및 $f$-controlled-phase-shift 게이트를 최소화하고, 큐비트 연결성과 같은 특정 양자 하드웨어 제약 조건을 고려해 효율적인 양자 조합 논리 회로를 구성하기 위한 실용적인 방법을 제시한다. 이는 minterm 분해와 최적화된 게이트 곱셈을 활용하여, 양자 가역 논리에 적응된 카르노 맵을 사용한다.

ABSTRACT

We describe a practical method of constructing quantum combinational logic circuits with basic quantum logic gates such as NOT and general $n$-bit Toffoli gates. This method is useful to find the quantum circuits for evaluating logic functions in the form most appropriate for implementation on a given quantum computer. The rules to get the most efficient circuit are utilized best with the aid of a Karnaugh map. It is explained which rules of using a Karnaugh map are changed due to the difference between the quantum and classical logic circuits.

연구 동기 및 목표

• 임의의 이진 함수에 대해 최소화된 양자 조합 논리 회로를 체계적이고 실용적으로 구성하기 위한 방법 개발.
• 특히 카르노 맵를 활용한 고전적 논리 최소화 기법을 양자 가역 회로에 적응시켜, 양자 가역성과 게이트의 교환 법칙을 고려한다.
• $f$-controlled-NOT 및 $f$-controlled-phase-shift 회로에서 기본 양자 게이트(예: Toffoli, C-NOT)의 수를 최소화하여 회로 깊이를 줄이고 실험적 구현 가능성을 향상시킨다.
• 특정 양자 하드웨어 제약 조건(예: 제한된 큐비트 연결성)을 고려해 하드웨어 인식형 양자 회로 설계를 가능하게 하여, 불필요한 이중 큐비트 상호작용을 피한다.

제안 방법

• 논리 함수를 minterm으로 분해하고, 각 minterm은 타겟 큐비트를 입력이 해당 minterm과 일치할 때만 조건부로 반전시키기 위해 NOT 게이트 사이에 일반화된 Toffoli 게이트로 구현한다.
• 각 게이트가 고유한 입력 상태에서 작용하므로 상호작용 가능성을 고려해 minterm 게이트를 결합하기 위해 양자 게이트 곱셈을 적용한다.
• 양자 논리에 적합하게 카르노 맵을 재정의하여, 제어 조건이 서로 겹치지 않을 경우 양자 게이트가 교환 가능하다는 사실을 반영해 인접성 규칙을 재정의한다.
• 고전적 최소화와 유사하게 카르노 맵에서 인접한 1들을 그룹화함으로써 단순화된 양자 회로를 유도하며, 양자 실현을 위한 명시적인 게이트 수준 구축 규칙을 제공한다.
• $f$-controlled-phase-shift 게이트의 경우, $f$-C-NOT 회로를 단계적으로 변환하여 제어 레지스터에 작용하는 단계 전환 게이트($R$)로 타겟 제어 게이트($L$)를 대체함으로써 구현한다.
• 최종 회로는 $L^{x}_{y}$ 게이트를 $R^{x}$ 게이트로 대체하여 동일한 논리적 구조를 유지하면서도 비트 반전 대신 단계 전환을 구현한다.

실험 결과

연구 질문

• RQ1 카르노 맵와 같은 고전적 논리 최소화 기법을 어떻게 양자 가역 회로에 적응시켜 최소화할 수 있는가?
• RQ2 고전적 조합 논리 회로와 양자 조합 논리 회로 사이의 게이트 교환 법칙과 인접성 규칙의 주요 차이는 무엇인가?
• RQ3 minterm 기반 분해와 양자 게이트 곱셈을 조합하면 일반 합성 방법보다 더 효율적인 $f$-controlled-NOT 및 $f$-controlled-phase-shift 회로를 얻을 수 있는가?
• RQ4 결과로 도출된 양자 회로를 제한된 큐비트 연결성과 같은 특정 양자 하드웨어 제약 조건에 최적화할 수 있는가?

주요 결과

• 적응된 카르노 맵는 인접한 minterm을 시각적으로 식별할 수 있게 하여, $f$-C-NOT 회로에서 양자 게이트 수를 효율적으로 줄이는 데 기여한다.
• 회로 $f_b(x)$는 $R^{x_2} R^{x_1 x_3}$로 표현되며, 이는 $x_1$과 $x_3$ 사이의 상호작용을 피하고 제한된 연결성을 가진 하드웨어에 최적화되어 있다.
• $f$-controlled-phase-shift 게이트는 $f$-C-NOT 회로에서 타겟 제어 게이트($L$)를 제어 레지스터에 작용하는 단계 전환 게이트($R$)로 대체함으로써 직접 유도할 수 있다.
• $f_b(x)$의 경우 $R^{x_2} R^{x_1 x_3}$를 사용한 최종 회로는 스왑 게이트가 필요 없으며, 추가적인 이중 큐비트 상호작용을 요구하는 다른 형태보다 더 효율적이다.
• 이 방법은 최종 회로가 논리적으로 최소화될 뿐 아니라, 더 적은 기본 게이트로 구성되어 있어 근접한 양자 장치에서 디코herence 위험을 줄이는 데 기여한다.