[논문 리뷰] Quantum Fast Fourier Transform Viewed as a Special Case of Recursive Application of Cosine-Sine Decomposition

Robert R. Tucci|ArXiv.org|2004. 11. 15.

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

한 줄 요약

이 논문은 양자 빠른 푸리에 변환(qFFT)이 일반적인 양자 컴파일링 알고리즘인 재귀적 코시너스-사인 분해(re-CSD)의 특수한 경우로 유도될 수 있음을 보여준다. DFT 행렬에 re-CSD를 적용함으로써, 사전에 구조를 알고 있지 않더라도 qFFT의 O(NB²) 기본 게이트 분해가 자연스럽게 도출되며, 이는 re-CSD가 HNB 및 UF T(NB)를 포함한 유니터리 행렬을 효율적으로 컴파일하는 강력하고 일반적인 프레임워크임을 드러낸다.

ABSTRACT

A quantum compiler is a software program for decomposing ("compiling") an arbitrary unitary matrix into a sequence of elementary operations (SEO). Coppersmith showed that the $ b$-bit Discrete Fourier Transform matrix $U_{FT}$ can be decomposed in a very efficient way, as a sequence of order($ b^2$) elementary operations. Can a quantum compiler that doesn't know a priori about Coppersmith's decomposition nevertheless decompose $U_{FT}$ as a sequence of order($ b^2$) elementary operations? In other words, can it rediscover Coppersmith's decomposition by following a much more general algorithm? Yes it can, if that more general algorithm is the recursive application of the Cosine-Sine Decomposition (CSD).

연구 동기 및 목표

• 재귀적 코시너스-사인 분해(re-CSD)를 사용하는 양자 컴파일러인 Qubiter가 DFT 행렬 UF T(NB)를 O(NB²) 기본 연산으로 효율적으로 분해할 수 있는 이유를 설명하는 것.
• qFFT가 특수 목적의 구조가 아니라 더 일반적인 re-CSD 알고리즘의 특수한 경우임을 보여주는 것.
• re-CSD가 이러한 행렬의 구조를 하드코딩하지 않더라도 히드로우 행렬 HNB과 DFT 행렬 UF T(NB)의 효율적 분해를 자연스럽게 재발견할 수 있음을 보여주는 것.
• re-CSD가 다양한 유니터리 행렬을 효율적으로 컴파일하는 확장 가능하고 일반적인 프레임워크임을 확립하는 것.

제안 방법

• 논문은 DFT 행렬 UF T(NB)를 재귀적으로 행렬의 부분 블록에 CSD를 적용함으로써 재귀적 코시너스-사인 분해(re-CSD)를 사용하여 분해한다.
• re-CSD 이전에 UF T(NB)를 사전 처리하기 위해 비트 뒤집기 순열 행렬 R을 도입하여, 오직 왼쪽 가장자리 또는 오른쪽 가장자리 분지만을 가진 열화된 CSD 트리를 구성할 수 있도록 한다.
• DFT 행렬을 행렬의 곱으로 표현한다: UF TR = D4(A3⊕B3)D⊕23(A2⊕B2)⊕2D⊕42(A1⊕B1)⊕4σz⊕8, 여기서 Dr은 Y축 회전을 나타낸다.
• Γr 행렬과 비트 레이블이 붙은 연산자들을 정의하여 분해 단계를 단계적으로 표현하는 재귀 관계를 설정하며, Γr+1 = Dr+1 [ArΓr 0; 0 BrΓr]로 표현된다.
• Dr⊕s 및 대각형 위상 인자(e.g., V)와 같은 행렬들이 1 큐비트 및 2 큐비트 게이트에 해당함을 활용한다.
• CSD 트리의 중위 순회(in-order tree transversal)를 통해 게이트 순서를 유도하며, 이 순서가 표준 qFFT 회로와 일치함을 보여준다.

실험 결과

연구 질문

• RQ1 re-CSD를 사용하는 일반적인 양자 컴파일러가 DFT 행렬 UF T(NB)의 효율적인 O(NB²) 분해를 사전에 그 구조를 알고 있지 않더라도 재발견할 수 있는가?
• RQ2 양자 빠른 푸리에 변환(qFFT)은 재귀적 코시너스-사인 분해(re-CSD)의 적용 결과로 나타나는 특수한 경우인가?
• RQ3 비트 순열(특히 비트 뒤집기)은 UF T(NB)의 효율적 re-CSD 분해를 가능하게 하는 데 어떤 역할을 하는가?
• RQ4 CSD 트리의 구조(예: 열화된 왼쪽 가장자리/오른쪽 가장자리 분지)는 유도된 게이트 순서의 효율성과 어떤 관련이 있는가?
• RQ5 re-CSD를 사용하여 HNB 및 UF T(NB)를 포함한 광범위한 유니터리 행렬의 효율적 분해를 체계적으로 유도할 수 있는가?

주요 결과

• 순열 처리된 DFT 행렬 UF TR에 대해 re-CSD 알고리즘을 적용하면 표준 qFFT 회로가 O(NB²) 기본 연산으로 도출되며, 이는 qFFT가 일반적 방법의 자연스러운 결과임을 확인한다.
• UF T(NB)의 re-CSD 분해 결과로는 Y-축 회전(표현을 위해 Dr 행렬 사용)과 제어 위상 게이트(예: Ar⊕Br와 같은 대각형 행렬로 표현)로 이루어진 순서가 도출된다.
• 비트 뒤집기 순열 R은 행렬의 구조를 정렬하여 re-CSD가 오직 왼쪽 가장자리 또는 오른쪽 가장자리 분지만을 가진 열화된 트리를 생성하도록 하며, 이는 낮은 게이트 수를 가능하게 한다.
• 행렬 Γr+1 = Dr+1 [ArΓr 0; 0 BrΓr]는 초기 행렬에서 전체 qFFT 회로를 생성하는 재귀 공식을 제공하며, 여기서 Γ0 = 1이다.
• 분해의 전치는 표준 qFFT 게이트 순서를 유도하며, 기존의 회로 구조와의 일관성을 확인한다.
• 이 방법은 HNB 및 UF T(NB)의 분해가 모두 re-CSD의 특수한 경우임을 보여주며, re-CSD가 효율적 양자 회로 합성의 통합 프레임워크임을 시사한다.