[논문 리뷰] Synthesis and Optimization of Reversible Circuits for Homogeneous Boolean Functions

Ahmed Younes|ArXiv.org|2007. 10. 02.

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

한 줄 요약

이 논문은 차수 ≤3인 동차 부울 함수를 위한 가역 회로를 합성하고 최적화하기 위해 인수분해 기반 알고리즘을 제안한다. 대수적 구조를 활용하여 양자 비용과 게이트 수를 최소화한다. 이 방법은 직접 합성 및 이전 기준 성능을 뛰어넘으며, 동일한 차수를 가진 최소항이 많은 함수에서 특히 효과적이며, 8변수 벤트 함수의 경우 양자 비용을 최대 75%까지 감소시킨다.

ABSTRACT

Homogenous Boolean function is an essential part of any cryptographic system. The ability to construct an optimized reversible circuits for homogeneous Boolean functions might arise the possibility of building cryptographic system on novel computing paradigms such as quantum computers. This paper shows a factorization algorithm to synthesize such circuits.

연구 동기 및 목표

• 특히 암호 시스템에서 중요한 역할을 하는 동차 부울 함수를 위한 효율적인 가역 회로 합성 방법의 부족을 해결하기 위해.
• 특히 양자 및 저전력 컴퓨팅에서 사용되는 차수 ≤3인 부울 함수의 가역 회로에서 양자 비용과 게이트 수를 최적화하기 위해.
• 동차 함수의 대수적 구조와 공통 부분식을 활용하는 확장 가능하고 효율적인 알고리즘을 개발하기 위해.
• 기존의 합성 기법이 전수적 또는 비확장 가능하거나 비선형 동차 함수에 대해 효과적이지 못한 점을 개선하기 위해.
• 표준 기준 테스트, 특히 벤트 함수와 4mod5, 2of5와 같은 암호 기반 원리에서의 방법의 효과성을 입증하기 위해.

제안 방법

• 동차 부울 함수의 대수적 정규형(ANF)을 공통 부분식으로 인수분해하여 중복 계산을 줄인다.
• 양성 극성 리드-멀러(PPRM) 전개를 사용하여 부울 함수를 표현함으로써 동일한 차수의 최소항을系통적으로 식별할 수 있도록 한다.
• 최소항을 차수(1, 2, 또는 3)별로 그룹화하고 CNOT 게이트에서 공유되는 제어선을 재사용하는 재귀적 인수분해 전략을 적용한다.
• 보조 큐비트를 0으로 초기화하고 최종적으로 복원함으로써 가역성을 유지하는 방식으로 CNOT 게이트만을 사용해 가역 회로를 구성한다.
• 전체 진리표를 전부 열거하지 않고 출력 변화만을 고려함으로써 검색 공간을 줄이고 효율성을 향상시킨다.
• 결과는 4mod5, 2of5, 그리고 최소항 수가 다양한 6변수 및 8변수 동차 벤트 함수를 포함한 기준 테스트에서 검증되었다.

실험 결과

연구 질문

• RQ1 인수분해 기반 접근법이 차수 ≤3인 동차 부울 함수의 가역 회로에서 양자 비용과 게이트 수를 크게 줄일 수 있는가?
• RQ2 제안된 알고리즘이 직접 합성 및 기존 방법에 비해 양자 비용과 회로 크기 측면에서 어떻게 비교되는가?
• RQ3 동일한 차수를 가진 최소항의 수가 많아질수록 성능 향상이 비례하는가?
• RQ4 이 방법은 4mod5 및 2of5와 같은 암호 기반 원리와 고비선형성 벤트 함수에 효과적으로 적용될 수 있는가?
• RQ5 동차 함수 내 공통 부분식을 얼마나 효과적으로 활용하여 양자 비용을 최소화할 수 있으며, 이로 인해 회로 깊이가 증가하지는 않는가?

주요 결과

• 4입력, 9개 최소항을 가진 4mod5 기준 테스트의 경우, 인수분해 방법으로 양자 비용을 25에서 8로 감소시켜 직접 합성 대비 68% 향상되었다.
• 5입력, 17개 최소항을 가진 2of5 기준 테스트의 경우, 양자 비용을 180에서 75로 감소시켜 58.3% 향상되었다.
• 6변수 동차 벤트 함수(BFV6_d3)의 경우, 양자 비용 85, CNOT 게이트 13개를 기록하여 이전 결과보다 크게 향상되었다.
• 35개 최소항을 가진 8변수 벤트 함수(BFV8_d3_35)의 경우, 양자 비용 176, CNOT 게이트 32개를 기록하여 직접 합성(455 비용)을 뛰어넘었다.
• 동일한 차수를 가진 최소항의 수가 많아질수록 양자 비용 감소 폭이 증가하여, 밀도 높은 동차 함수에 대해 강력한 확장성을 보였다.
• 입력 큐비트를 복원함으로써 가역성을 유지하며, 입력 상태 복원이 필요하지 않은 경우 마지막 3개의 CNOT 게이트를 제거할 수 있는 최종 회로 구조를 제공한다.