다중값 논리와 군론을 이용한 3큐빗 양자 회로 정확 합성

본 논문은 3‑큐빗 양자 회로를 비순열 게이트(Controlled‑V, Controlled‑V⁺ 등)를 이용해 최소 비용으로 정확히 합성하는 새로운 방법론을 제시한다. 서론에서는 기존의 가역 회로 합성은 주로 순열 기반이며, 최소 게이트 수가 반드시 최소 양자 비용과 일치하지 않는다는 점을 지적한다. 특히 NMR 구현에서 실제 비용이 다르게 측정될 수 있음을 강조하고, 비순열 양자 게이트를 활용한 비용 최소화의 필요성을 제기한다. 문제 정의에서는 입력을 0, 1, V0, V1 네 가지 값으로 확장한 다중값 논리 체계를 도입한다. 이는 Controlled‑V와 Controlled‑V⁺가 만든 비클래식 상태를 명시적으로 다루기 위함이다. 각 양자 게이트는 입력‑출력 매핑을 순열로 표현하고, 제어 비트가 V 상태에 있을 경우 금지 집합(N_A)으로 배제한다. 이렇게 하면 입력이 이진일 때 출력도 이진이 되도록 보장하면서, 비순열 게이트가 포함된 회로를 순열군 내에서 다룰 수 있다. 알고리즘적 핵심은 두 단계로 구성된다. 첫 번째 단계인 Finding Algorithm은 비용 k 이하의 모든 양자 회로 집합 A