[논문 리뷰] Generic Quantum Fourier Transforms

Cristopher Moore, Daniel N. Rockmore외 1명|ArXiv.org|2003. 04. 09.

Quantum Computing Algorithms and Architecture참고 문헌 18인용 수 6

한 줄 요약

이 논문은 유한군의 넓은 범주—아벨군과 비아벨군을 포함—에 대한 양자 푸리에 변환(QFT)을 위한 일반적인 양자 회로 구조를 제시한다. 이는 계산 가능한 브라텔리 다이어그램, 적응형 분해, 게르파인-츠틀린 기저를 활용해 고전적 '변수 분리 기법'을 양자 환경에 적응시킨 것이다. 핵심 기여는 대칭군, 메타사이클릭 군, 선형군 GLₖ(q), SLₖ(q) 및 고정된 소수 거듭제곱 q에 대한 리 유형의 기타 유한군에서 다항로그 크기의 양자 회로를 구현함으로써 이전에는 알려지지 않았던 지수보다 작은 회로 크기를 달성한 것이다.

ABSTRACT

The quantum Fourier transform (QFT) is the principal algorithmic tool underlying most efficient quantum algorithms. We present a generic framework for the construction of efficient quantum circuits for the QFT by ``quantizing'' the separation of variables technique that has been so successful in the study of classical Fourier transform computations. Specifically, this framework applies the existence of computable Bratteli diagrams, adapted factorizations, and Gel'fand-Tsetlin bases to offer efficient quantum circuits for the QFT over a wide variety a finite Abelian and non-Abelian groups, including all group families for which efficient QFTs are currently known and many new group families. Moreover, the method gives rise to the first subexponential-size quantum circuits for the QFT over the linear groups GL_k(q), SL_k(q), and the finite groups of Lie type, for any fixed prime power q.

연구 동기 및 목표

• 다양한 유한군에 걸쳐 효율적인 양자 푸리에 변환(QFT) 회로를 구축하기 위한 통합적이고 일반적인 프레임워크를 개발하는 것.
• 기존에 알려진 효율적인 QFT 구조를 아벨군과 메타아벨군을 넘어서, GLₖ(q) 및 SLₖ(q)와 같은 리 유형의 유한군으로 확장하는 것.
• 고전적 푸리에 분석에서의 변수 분리 기법을 양자 환경에서 군론적 푸리에 변환에 적응시키기 위해 효율적인 고전적 푸리에 변환 알고리즘과 효율적인 양자 회로 사이의 정량적이고 체계적인 연결 고리를 설정하는 것.
• 다항로그 크기의 QFT 회로를 허용하는 군의 집합이 특정 아벨 확장, 특히 동위상 확장에 대해 닫혀 있는지 확인하는 것.

제안 방법

• 유한군의 표현 이론적 구조를 인코딩하기 위해 계산 가능한 브라텔리 다이어그램을 활용하여 QFT의 계층적 분해를 가능하게 한다.
• 군의 계열에 대한 적응형 분해를 활용하여 QFT를 하위군 위에서 작동하는 더 작은, 다룰 수 있는 유니터리 연산의 시퀀스로 분해한다.
• 게르파인-츠틀린 기저를 사용하여 군의 표현 계층을 존중하는 계산 기저를 정의하고, 효율적인 상태 변환을 가능하게 한다.
• 특히 군 확장이 비분할적이거나 비직선적일 경우, 군 원소 작용에 조건부로 설정된 위상 이동과 치환 행렬(트위들 요소)을 통합한다.
• Coppersmith의 ℤ₂ⁿ에 대한 QFT 회로를 일반화하여, 비분할 확장에서 기인하는 동일한 위상 이동을 식별한다. 예를 들어 ℤₚᶻ가 ℤₚˡ 위에 확장된 경우이다.
• 만약 군 G가 적응 직경 D, 최대 다중도 M, 최대 지표 I를 갖는 하위군 타워를 가진다면, 크기가 poly(I × D × M × log|G|)인 QFT 회로가 존재한다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 비아벨 군을 포함한 광범위한 유한군에 대해 효율적인 QFT를 구축하기 위한 일반적인 프레임워크를 개발할 수 있는가?
• RQ2 푸리에 분석에서의 고전적 변수 분리 기법을 군론적 푸리에 변환에 대해 양자 환경에 얼마나 잘 적응시킬 수 있는가?
• RQ3 하위군 타워, 적응형 분해, 표현 차원과 같은 군의 구조적 특성이 QFT에 대한 결과 양자 회로 크기에 어떤 영향을 미치는가?
• RQ4 기존에 알려진 회로가 없었던 고정된 소수 거듭제곱 q에 대해 선형군 GLₖ(q) 및 SLₖ(q)에 대해 효율적인 QFT 회로를 구축할 수 있는가?
• RQ5 다항로그 크기의 QFT 회로를 허용하는 군의 집합은 동위상 또는 유계 지수의 아벨 확장에 대해 닫혀 있는가?

주요 결과

• 다항식적으로 균일한 군 G가 적응 직경 D, 최대 다중도 M, 최대 지표 I를 갖는 하위군 타워를 가진다면, G 위의 QFT는 크기가 poly(I × D × M × log|G|)인 양자 회로로 실행 가능하다고 규명하였다.
• 이 프레임워크는 고정된 소수 거듭제곱 q에 대해 GLₖ(q), SLₖ(q), PGLₖ(q), PSLₖ(q)에 대한 QFT에 대해 처음으로 지수보다 작은 크기의 양자 회로를 제공한다.
• 대칭군과 메타사이클릭 군(예: 이면군과 애파인 군)에 대해 알려진 효율적인 QFT 회로를 재현하여 이전 결과와의 일관성을 확인한다.
• 다항로그 크기의 QFT 회로를 허용하는 군의 집합은 아벨군에 의한 동위상 확장에 대해 닫혀 있으며, 이는 모든 비아벨 군에서 정규부분군의 모든 기약 표현이 일차원인 모든 메타아벨 군을 포함한다.
• Coppersmith의 ℤ₂ⁿ에 대한 QFT 회로를 일반화하여 위상 이동의 기원이 비분할 군 확장에서 기인한다는 것을 밝혀냈다. 예를 들어 ℤₚᶻ가 ℤₚˡ 위에 확장된 경우이다.
• 이 프레임워크는 고전적 변수 분리 기법의 첫 번째 체계적인 양자 적응을 제공하며, 고전적 및 양자 푸리에 변환 복잡도 사이의 정량적 다리를 구축한다.