[논문 리뷰] Reversible Logic Synthesis with Minimal Usage of Ancilla Bits

Siyao Xu|arXiv (Cornell University)|2015. 06. 10.

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

한 줄 요약

이 논문은 단일 기본 게이트(Toffoli 게이트의 변형 또는 Fredkin 게이트)를 사용하여 최소한의 ancilla 비트를 사용하는 가역 논리 합성 프레임워크를 제안한다. 연구는 변형된 Toffoli 게이트가 정확히 하나의 ancilla 비트를 사용하여 모든 n비트 가역 게이트를 합성할 수 있음을 증명하며, 모든 짝수 치환은 ancilla 비트 없이도 가능하다. 또한 Fredkin 게이트는 하나의 ancilla 비트를 사용하여 모든 보존적 가역 게이트를 생성할 수 있으며, ancilla 사용 측면에서 최적임을 입증한다.

ABSTRACT

Reversible logic has attracted much research interest over the last few decades, especially due to its application in quantum computing. In the construction of reversible gates from basic gates, ancilla bits are commonly used to remove restrictions on the type of gates that a certain set of basic gates generates. With unlimited ancilla bits, many gates (such as Toffoli and Fredkin) become universal reversible gates. However, ancilla bits can be expensive to implement, thus making the problem of minimizing necessary ancilla bits a practical topic. This thesis explores the problem of reversible logic synthesis using a single base gate and a few ancilla bits. Two base gates are discussed: a variation of the 3-bit Toffoli gate and the original 3-bit Fredkin gate. There are three main results associated with these two gates: i) the variated Toffoli gate can generate all n-bit reversible gates using 1 ancilla bit, ii) the variated Toffoli can generate all n-bit reversible gates that are even permutations using no ancilla bit, iii) the Fredkin gate can generate all n-bit conservative reversible gates using 1 ancilla bit. Prior to this paper, the best known result for general universality requires three basic gates, and the best known result for conservative universality needs 5 ancilla bits. The second result is trivially optimal. For the first and the third result, we explicitly prove their optimality: the variated Toffoli cannot generate all n-bit reversible gates without using any extra input lines, and the Fredkin gate cannot generate all n-bit conservative reversible gates without using extra input lines. We also explore a stronger version of the second converse by introducing a new concept called borrowed bits, and prove that the Fredkin gate cannot generate all n-bit conservative reversible gates without ancilla bits, even with an unlimited number of borrowed bits.

연구 동기 및 목표

• 가환 논리 합성에서 ancilla 비트를 최소화하는 것 — 양자 컴퓨팅 및 저전력 컴퓨팅 분야에서의 핵심 과제.
• 보편적인 가역 게이트 생성을 위한 ancilla 사용에 대한 이론적 하한을 설정하는 것.
• 최소한의 추가 선을 가진 단일 기본 게이트(변형된 Toffoli 또는 Fredkin)를 사용한 구성의 최적성 증명.
• 가환 회로 설계에서 ancilla 비트의 저렴한 대안으로서 빌린 비트의 역할 탐색.
• 보편적인 가역 합성은 ancilla 비트 없이도 가능할 수 있는지에 대한 열린 문제 해결.

제안 방법

• 정확히 하나의 ancilla 비트만을 사용하여 보편적인 가역 게이트 합성을 가능하게 하는 3비트 Toffoli 게이트의 변형을 도입.
• 치환군 이론을 활용해 게이트의 보편성 분석 — 가역 함수의 기수성 및 순환 분해에 중점을 두어.
• 변형된 Toffoli 게이트와 하나의 빌린 비트를 사용해 Cn NOT 게이트를 재귀적으로 C(i) NOT 게이트로 구성.
• C(i) SWAP 게이트에 대해 두 가지 구성 방법 개발 — 하나는 ancilla 비트를 사용하고, 다른 하나는 빌린 비트 쌍을 사용하며, 자원 사용을 최소화.
• 모순을 통한 ancilla 비트의 必요성 증명 — 제한 없는 빌린 비트를 허용하더라도 보편적 합성은 ancilla 비트 없이 실패함을 입증.
• 분해 기법을 적용해 임의의 치환을 기본 연산(‘t1’: 0과 1을 교환, ‘t2’: 모든 비트를 시프트)의 시퀀스로 표현하여 게이트 복잡도와 기수성 분석.

실험 결과

연구 질문

• RQ1 변형된 Toffoli 게이트 하나로 정확히 하나의 ancilla 비트만을 사용하여 모든 n비트 가역 게이트를 생성할 수 있는가?
• RQ2 어떤 ancilla 비트도 사용하지 않고 모든 짝수 n비트 치환을 생성하는 것이 가능한가?
• RQ3 Fredkin 게이트는 정확히 하나의 ancilla 비트만을 사용하여 모든 보존적 n비트 가역 게이트를 생성할 수 있는가?
• RQ4 제한 없는 빌린 비트를 허용하더라도, Fredkin 게이트로 보편적인 가역 합성을 위해 적어도 하나의 ancilla 비트가 반드시 필요한가?
• RQ5 단일 기본 게이트로 보편적인 가역 합성을 달성하기 위해 필요한 최소한의 ancilla 비트 수는 얼마인가?

주요 결과

• 변형된 Toffoli 게이트는 정확히 하나의 ancilla 비트만을 사용하여 모든 n비트 가역 게이트를 생성할 수 있으며, 이는 ancilla 비트 없이도 가능한 합성과 비교해 최적임을 입증한다.
• 동일한 변형된 Toffoli 게이트는 어떤 ancilla 비트도 사용하지 않고 모든 짝수 n비트 치환을 생성할 수 있으며, 이는 증명 가능한 최적이다.
• Fredkin 게이트는 정확히 하나의 ancilla 비트만을 사용하여 모든 n비트 보존적 가역 게이트를 생성할 수 있으며, 이 구성은 최적이다.
• 제한 없는 빌린 비트를 허용하더라도, Fredkin 게이트는 ancilla 비트 없이 모든 보존적 가역 게이트를 생성할 수 없다.
• 논문은 어떤 상수 크기의 가역 게이트도 추가 입력 선 없이 보편적이 될 수 없음을 증명하여, ancilla 사용에 대한 기본적인 하한을 설정한다.
• 하나의 빌린 비트를 사용해 변형된 Toffoli 게이트로 Cn NOT을 구성하는 경우, 게이트 복잡도가 지수적으로 증가하므로, ancilla 최소화와 게이트 수 사이의 상충 관계가 존재할 수 있음을 시사한다.