[논문 리뷰] Decomposing Quantum Generalized Toffoli with an Arbitrary Number of Ancilla

Jonathan M. Baker, Casey Duckering외 2명|arXiv (Cornell University)|2019. 04. 02.

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

한 줄 요약

이 논문은 청소된 또는 더脏한 앤시라 큐비트를 임의의 수로 사용하여 양자 일반화 Toffoli 게이트($C^nX$)의 일반화된 분해 방법을 제안하며, 게이트 그룹화를 동적으로 최적화하고 재귀적 분해를 통해 회로 깊이를 감소시킨다. 이 방법은 기존 연구의 격차를 메우며, 0에서 $n-2$까지의 모든 앤시라 수에 대해 낮은 깊이의 회로를 제공한다. 앤시라 수가 증가할수록 깊이가 감소하며, 완전성을 위해 다중 타겟 게이트로도 확장된다.

ABSTRACT

We present a general decomposition of the Generalized Toffoli, and for completeness, the multi-target gate using an arbitrary number of clean or dirty ancilla. While prior work has shown how to decompose the Generalized Toffoli using 0, 1, or $O(n)$ many clean ancilla and 0, 1, and $n-2$ dirty ancilla, we provide a generalized algorithm to bridge the gap, i.e. this work gives an algorithm to generate a decomposition for any number of clean or dirty ancilla. While it is hard to guarantee optimality, our decompositions guarantee a decrease in circuit depth as the number of ancilla increases.

연구 동기 및 목표

• 기존의 양자 회로 분해에서 Generalized Toffoli 게이트에 대한 격차를 메우기 위해 청소된 또는 더脏한 앤시라의 수에 관계없이 통합된 방법을 제공함으로써.
• 앤시라 수가 증가함에 따라 깊이 감소를 최적화하기 위해 앤시라 그룹에 제어를 동적으로 할당함으로써 회로 깊이를 최소화함으로써.
• 완전성을 위해 다중 타겟 제어 게이트로의 분해를 확장함으로써.
• 이전의 구성 방식을 일반화하기 위해 0개, 1개 또는 $O(n)$개의 앤시라를 사용하는 경우를 모두 포함하는 체계적이고 파rameterized 알고리즘을 제공함으로써.

제안 방법

• 이 방법은 제어 수 $n$과 앤시라 수 $m$에 대해 깊이의 상한 $D(n,m)$을 동적 프로그래밍을 통해 계산하며, 앤시라에 걸친 제어의 그룹화를 최적화하여 깊이를 최소화한다.
• 더脏한 앤시라의 경우, 회로 세그먼트(상행/하행 단계)를 반복하여 비트 전환 기법을 활용하고 제어를 $m+1$개의 그룹으로 묶으며, 각 그룹은 하위 회로로 작동한다.
• 청소된 앤시라의 경우, He 등이 제안한 로그 깊이 구조와 Gidney의 $n-2$개의 더脏한 앤시라 구성에 기반하여, 앤시라를 중간 매개체로 사용해 더 큰 제어를 더 작은 제어로 재귀적으로 분해한다.
• 알고리즘은 각 하위 회로가 필요한 앤시라 수를 사용하고, 앤시라를 초기 상태로 복원하기 위해 역계산을 통해 가역성을 유지한다.
• 제어를 그룹에 동적으로 할당하며, Toffoli 게이트의 사용을 우선시하고 큰 제어 그룹을 최소화하여 깊이 효율성을 유지한다.
• 청소된 앤시라와 더脏한 앤시라를 별도로 처리하여 혼합 사용을 피하고, 다중 타겟 게이트는 자연스러운 연장선으로 지원한다.

실험 결과

연구 질문

• RQ1 0에서 $n-2$까지의 모든 앤시라 수에 대해, 앤시라 유형에 관계없이 Generalized Toffoli 게이트에 대한 통합된 분해 전략을 개발할 수 있는가?
• RQ2 가용한 앤시라 수가 증가함에 따라 회로 깊이를 체계적으로 감소시킬 수 있는가? 최적성은 가정하지 않는다.
• RQ3 앤시라에 걸친 제어의 그룹화 전략 중 깊이를 최소화하면서도 가역성과 정확성을 유지하는 전략은 무엇인가?
• RQ4 분해를 다중 타겟 제어 게이트로 일반화할 수 있는가?
• RQ5 0에서 $n-2$까지 앤시라 수를 전환할 때 깊이 행동은 어떻게 변화하며, 앤시라 수가 증가함에 따라 일관되게 향상되는가?

주요 결과

• 제안된 분해는 앤시라 수가 0에서 $n-2$로 증가함에 따라 회로 깊이가 감소함을 보장하며, 최적성은 필요로 하지 않는다.
• $n$개의 제어와 $m$개의 더脏한 앤시라에 대해, $m = n - 2$일 때 Toffoli 깊이는 $4n - 8$ 이하로 제한되며, 이는 Gidney의 구성과 일치한다.
• 이 방법은 이전의 구성 방식을 일반화한다: 0개의 앤시라, 1개의 청소된 앤시라, $n-2$개의 더脏한 앤시라의 경우를 특수한 사례로 재현한다.
• 동적 프로그래밍 접근법을 통해 $0 \leq m \leq n-2$의 임의의 $m$에 대해 깊이 최적화된 분해를 구축할 수 있으며, $m$이 증가할수록 깊이가 단조롭게 감소한다.
• 알고리즘은 모든 앤시라가 역계산을 통해 초기 상태로 복원됨을 보장하여 정확성을 유지한다.
• 이 방법은 다중 타겟 게이트로 자연스럽게 확장되어, 다중 타겟 제어 연산을 위한 완전한 프레임워크를 제공한다.