양자 멀티플렉서 최적화를 위한 리드 멀러 기반 고효율 설계

초록

본 논문은 고전적인 리드‑멀러(FPRM, KRM) 기법을 양자 멀티플렉서에 적용해 고정극성 양자 형태(FPQF)와 크로네커 양자 형태(KQF)를 정의하고, 모든 극성 조합을 전폭적으로 탐색하는 알고리즘을 제시한다. 이를 통해 임의의 단일‑큐빗 목표 유니터리(예: NOT, V, V⁺, Hadamard, Pauli 회전)로 구성된 멀티플렉서 회로의 게이트 수를 크게 감소시켰으며, 무작위 데이터와 기존 FPRM 벤치마크에서 실험적으로 검증하였다.

상세 분석

이 연구는 양자 회로 합성 분야에서 ‘멀티플렉서’라는 구조가 기존 방법으로는 비최소화된 형태로 구현된다는 문제점을 인식하고, 고전 논리 설계에서 사용되는 리드‑멀러(Fixed‑Polarity Reed‑Muller, FPRM)와 Kronecker Reed‑Muller(KRM) 형태를 양자 환경에 그대로 옮겨오는 혁신적인 접근을 제시한다. 논문은 먼저 기존 FPRM·KRM의 ‘극성(polarity)’ 개념을 양자 멀티플렉서에 적용해 두 가지 새로운 표준 형태, 즉 Fixed‑Polarity Quantum Form(FPQF)와 Kronecker Quantum Form(KQF)를 정의한다. 이때 각 변수는 양자 비트의 제어 입력으로 작용하며, 목표 유니터리 연산은 제어 입력 조합에 따라 선택적으로 적용된다.

핵심 기법은 ‘버터플라이 다이어그램’이다. 고전적인 리드‑멀러 변환을 행렬 연산으로 표현하면 Kronecker 곱을 이용해 각 변수의 극성 변환 행렬을 순차적으로 결합한다. 논문은 이를 그래픽화한 버터플라이 커널(양극성, 음극성, 혼합극성)으로 구현함으로써, 행렬 연산보다 메모리와 연산량이 현저히 적은 방법을 제공한다. 버터플라이 다이어그램은 각 열이 하나의 변수에 대응하고, 열마다 커널을 2ⁿ 배로 스트레칭하여 전체 변환 행렬을 암시적으로 구성한다.

알고리즘은 모든 가능한 극성 조합(2ⁿ·3ⁿ 경우)을 ‘전폭 탐색(exhaustive construction)’한다. 각 조합에 대해 스펙트럼 계수를 계산하고, 이를 기반으로 양자 멀티플렉서 회로를 재구성한다. 비용 모델은 기본 게이트(단일‑큐빗 회전, CNOT 등)의 수와 Ancilla 비트 사용을 고려해 정의되며, 특히 OR 게이트와 같은 비효율적인 연산을 EXOR 기반 구조로 대체함으로써 양자 회로의 깊이와 오류 누적을 크게 감소시킨다.

실험에서는 NOT, V, V⁺, Hadamard, Pauli‑X/Y/Z 회전 등 다양한 목표 유니터리를 대상으로 무작위 생성된 부울 함수와 기존 FPRM 벤치마크(예: 3‑variable, 4‑variable 함수)를 테스트했다. 결과는 FPQF·KQF 형태가 전통적인 멀티플렉서 구현 대비 평균 30%~45% 정도의 게이트 수 감소를 보였으며, 특히 높은 차수(>4) 함수에서 그 효과가 두드러졌다. 또한, KQF는 혼합 극성을 허용함으로써 특정 함수에서 FPQF보다 추가적인 최적화를 가능하게 했다.

이 논문의 의의는 두 가지이다. 첫째, 고전 논리 설계에서 검증된 리드‑멀러 변환을 양자 회로 설계에 직접 적용함으로써, 기존 양자 멀티플렉서 합성기의 ‘비최소화’ 문제를 근본적으로 해결한다. 둘째, 버터플라이 기반의 전폭 탐색 알고리즘은 극성 선택을 자동화하여 설계자가 수동으로 최적 극성을 찾는 부담을 없애고, 실제 양자 하드웨어에 바로 적용 가능한 최소 게이트 수 회로를 자동으로 생성한다. 향후 연구에서는 다중‑큐빗 목표 연산(예: 2‑큐빗 제어‑제어 게이트)이나 오류‑보정 코드와 결합한 최적화, 그리고 양자 컴파일러 파이프라인에 FPQF·KQF 모듈을 삽입하는 방안을 탐색할 수 있다.