[논문 리뷰] Automated Method for Building CNOT Based Quantum Circuits for Boolean Functions

Ahmed Younes, Julian F. Miller|ArXiv.org|2003. 04. 14.

Quantum Computing Algorithms and Architecture참고 문헌 5인용 수 18

한 줄 요약

이 논문은 임의의 부울 함수를 위한 CNOT 기반 양자 회로를 단일 보조 큐비트를 |0⟩으로 초기화함으로써 자동으로 결정론적으로 합성하는 방법을 제시한다. 이 방법은 진리표를 조건부 제어(CNOT) 게이트를 사용하여 최소한의 양자 회로로 변환하며, 조건부 제어(cond-0 또는 cond-1)를 통해 가역성과 큐비트 사용 최소화를 보장한다. 핵심 기여는 이전 방법보다 게이트 수와 확장성 면에서 뛰어난 유일하고 압축된 회로 형태를 제공한다는 점이다.

ABSTRACT

In this paper we discuss an efficient technique that can implement any given Boolean function as a quantum circuit. The method converts a truth table of a Boolean function to the corresponding quantum circuit using a minimal number of auxiliary qubits. We give examples of some circuits synthesized with this technique. A direct result that follows from the technique is a new way to convert any classical digital circuit to its classical reversible form.

연구 동기 및 목표

• 임의의 부울 함수를 구현하는 효율적이고 자동화된 가역 양자 회로를 설계하는 것.
• 사용하는 보조 큐비트 수를 최소화하여 단 한 개의 큐비트만을 |0⟩으로 초기화하는 것.
• 이전 방법에서 발생하는 유일성 문제를 피할 수 있는 결정론적이고 고유한 회로 합성 방법을 제공하는 것.
• 기존의 고전적 디지털 회로로부터 양자 회로 합성을 통해 가역 고전 회로를 구축할 수 있도록 하는 것.
• 기존의 카르노 맵 기반 또는 다중 보조 큐비트 기법과 비교해 확장성 향상과 게이트 수 감소를 달성하는 것.

제안 방법

• 부울 함수의 진리표를 단일 보조 큐비트(초기 상태 |0⟩)를 사용해 양자 회로로 매핑하며, 이 큐비트는 함수의 출력을 저장한다.
• 일반화된 CNOT 게이트를 사용하여 타겟 큐비트가 모든 제어 큐비트가 특정 조건을 만족할 경우에만 반전되도록 한다(조건부 제어: cond-0은 |0⟩, cond-1은 |1⟩).
• 진리표의 각 최소항(minterm)은 고유한 제어 큐비트 조합과 조건을 가진 CNOT 게이트로 표현되며, 대수적으로 $ x_t \to x_t \bigoplus \bigwedge_{i} (x_i \bigoplus \bar{\beta}_i) $ 로 기술된다.
• 알고리즘은 모든 δ = 1 조건(즉, cond-1)을 제거하여 회로 복잡도를 낮추고 최소한의 게이트 수를 확보한다.
• 최종 회로는 CNOT 게이트의 순서로 구성되며, n-큐비트 함수에 대해 게이트 수는 $ 3^{n-1} $ 이하로 제한된다.
• 이전 연구에서 제안된 표준형을 활용하여 게이트 비용을 추가로 최적화하지만, 비용 효율성 향상을 위해 약간의 게이트 수 증가가 발생할 수 있다.

실험 결과

연구 질문

• RQ1 단일 보조 큐비트 방법을 사용하여 임의의 부울 함수를 결정론적으로 최소 CNOT 기반 양자 회로로 합성할 수 있는가?
• RQ2 카르노 맵 기반 또는 다중 보조 큐비트 기법과 비교해 제안된 방법의 게이트 수와 확장성은 어떻게 되는가?
• RQ3 n개 변수를 가진 모든 가능한 부울 함수에 대해 이 방법이 생성하는 회로 크기의 확률 분포는 어떠한가?
• RQ4 이 방법을 사용하여 임의의 고전적 비가역 디지털 회로에 대해 가역 고전 회로를 생성할 수 있는가?
• RQ5 결과로 도출된 양자 회로는 고유한가? 그리고 기존 기법보다 더 뛰어난 최소화 성능을 달성하는가?

주요 결과

• 이 방법은 각 부울 함수에 대해 고유한 양자 회로를 생성하여 이전의 카르노 맵 기반 접근법에서 발생하는 유일성 문제를 방지한다.
• 필요한 최대 CNOT 게이트 수는 $ 3^{n-1} $ 이며, n-큐비트 함수의 경우 가장 가능성이 높은 회로 크기는 약 $ 2^{n-2} $ 게이트이다.
• 3-큐비트 함수의 경우 4게이트 또는 0게이트 회로의 확률은 0.0625이며, $ 2^{n-2} $-게이트 회로의 확률은 0.875이다.
• 4-큐비트 함수의 경우 8게이트 또는 0게이트 회로의 확률은 0.0039이며, $ 2^{n-2} $-게이트 회로의 확률은 0.7109이다.
• 이전 방법(예: [5])과 비교해 상당한 게이트 수 감소를 달성하며, 이는 다수의 보조 큐비트를 요구하고 더 큰 회로를 생성하는 데서 기인한다.
• 이 기법을 통해 기존의 고전적 디지털 회로로부터 해당 양자 회로를 합성하고, 가역 논리 게이트를 추출함으로써 직접적으로 가역 고전 회로를 구축할 수 있다.