[논문 리뷰] The Quantum Fourier Transform and Extensions of the Abelian Hidden Subgroup Problem

Lisa Hales|ArXiv.org|2002. 11. 30.

Quantum Computing Algorithms and Architecture참고 문헌 32인용 수 25

한 줄 요약

이 논문은 순환군, 특히 $\mathbb{Z}_{2^n}$와 임의의 $\mathbb{Z}_N$에 대한 양자 푸리에 변환(QFT)을 위한 향상된 양자 회로를 개발하고, 코셋 함수의 서로 다른 조건을 완화함으로써 아벨 숨겨진 부분군 문제(HSP)의 범위를 확장한다. 실수 위에서의 주기 찾기 문제가 정수 위에서의 것보다 엄격히 더 어렵고, $MA$ 복잡도 클래스 외부에 있음을 증명하며, 유한 생성 아벨 군에서의 완화된 HSP에 대해 효율적인 양자 해법을 제공한다.

ABSTRACT

The quantum Fourier transform (QFT) has emerged as the primary tool in quantum algorithms which achieve exponential advantage over classical computation and lies at the heart of the solution to the abelian hidden subgroup problem, of which Shor's celebrated factoring and discrete log algorithms are a special case. We begin by addressing various computational issues surrounding the QFT and give improved parallel circuits for both the QFT over a power of 2 and the QFT over an arbitrary cyclic group. These circuits are based on new insight into the relationship between the discrete Fourier transform over different cyclic groups. We then exploit this insight to extend the class of hidden subgroup problems with efficient quantum solutions. First we relax the condition that the underlying hidden subgroup function be distinct on distinct cosets of the subgroup in question and show that this relaxation can be solved whenever G is a finitely-generated abelian group. We then extend this reasoning to the hidden cyclic subgroup problem over the reals, showing how to efficiently generate the bits of the period of any sufficiently piecewise-continuous function on R. Finally, we show that this problem of period-finding over R, viewed as an oracle promise problem, is strictly harder than its integral counterpart. In particular, period-finding over R lies outside the complexity class MA, a class which contains period-finding over the integers.

연구 동기 및 목표

• 정수군 $\ mathbb{Z}_{2^n}$ 및 임의의 $\ mathbb{Z}_N$에 대한 더 효율적인 양자 회로를 개발하기 위해 양자 푸리에 변환(QFT)을 위한 개선된 양자 회로를 설계한다.
• 숨겨진 부분군 함수가 서로 다른 코셋에서 서로 다른 값을 가져야 한다는 조건을 완화함으로써, 유한 생성 아벨 군에서 양자 다항시간 내에 해결 가능한 은닉 부분군 문제의 범위를 확장한다.
• 실수 위에서의 순환 부분군 문제를 해결하고, 조각연속 함수의 주기 비트를 효율적으로 생성할 수 있도록 한다.
• 실수 위에서의 주기 찾기가 정수 위에서의 것보다 엄격히 더 어렵다는 점을 입증함으로써 양자 및 고전 복잡도 클래스 사이의 분리를 확립한다. 이는 $MA$ 복잡도 클래스 외부에 있음을 의미한다.

제안 방법

• 고유값 추정과 제어 회전 게이트를 사용하여 $\ mathbb{Z}_{2^n}$에서의 QFT에 대한 병렬 양자 회로를 설계함으로써 깊이를 감소시키고 확장성을 향상시킨다.
• 새로운 푸리에 샘플링 기법과 위상 추정을 사용하여 임의의 $\ mathbb{Z}_N$에 대한 근사 QFT를 도입하며, 오차가 유한하고 회로 깊이가 향상된 상태를 확보한다.
• QFT 근사에서 발생하는 행렬의 연산자 노름을 유계로 제한하기 위해 푸리에 변환 정리와 행렬 노름 분석을 적용한다. 이는 정확성을 보장한다.
• 유니터리 불변성과 기하급수 항등식을 활용하여 QFT 상태와 그 근사값 간의 충실도를 분석하며, 특히 이동 기저 상태의 맥락에서 분석한다.
• 실수 주기 문제에서 오рак럼 프ом프스 문제로의 감소를 통해 $MA$ 복잡도 클래스로부터의 복잡도론적 분리를 확립한다. 이는 행렬 원소의 경계와 위상 차이의 경계를 사용한다.
• 다른 순환군에서의 DFT 간의 관계에서 얻은 통찰을 활용하여, 다양한 모듈러스 간에 QFT 구조를 통합하고 최적화한다.

실험 결과

연구 질문

• RQ1 정수군 $\ mathbb{Z}_{2^n}$에 대한 양자 푸리에 변환(QFT)은 깊이를 줄이고 게이트 수를 감소시킨 병렬 회로로 개선하여 구현할 수 있는가?
• RQ2 아벨 숨겨진 부분군 문제에서 코셋 함수의 서로 다른 조건을 완화해도, 유한 생성 아벨 군에서 여전히 효율적인 양자 해법을 얻을 수 있는가?
• RQ3 실수 위에서 은닉 순환 부분군 문제를 해결할 수 있으며, 만약 가능하면 조각연속 함수의 주기 비트를 효율적으로 생성할 수 있는가?
• RQ4 복잡도 클래스 소속 측면에서 실수 위에서의 주기 찾기는 정수 위에서의 것보다 엄격히 더 어렵다고 볼 수 있는가?
• RQ5 실수 주기 숨겨진 부분군 문제의 복잡도 클래스 $MA$ 외부에 위치하는가? 그리고 이 분리에 대한 공식적 근거는 무엇인가?

주요 결과

• 고유값 추정과 제어 회전 게이트를 기반으로 깊이와 크기가 감소된 $\ mathbb{Z}_{2^n}$에 대한 개선된 병렬 양자 회로를 구성하였다.
• 푸리에 샘플링과 위상 추정을 사용하여 오차가 유한하고 다항식 깊이와 크기를 확보한, 임의의 $\ mathbb{Z}_N$에 대한 근사 QFT를 개발하였다.
• 함수 값이 서로 다른 코셋에서 반드시 다를 필요가 없는 완화된 아벨 숨겨진 부분군 문제—이를 위해 함수가 코셋에서 서로 다른 값을 가져야 한다는 조건을 완화함—는 모든 유한 생성 아벨 군에서 효율적인 양자 해법을 허용한다.
• 실수 위에서의 주기 찾기가 정수 위에서의 것보다 엄격히 더 어렵다는 것이 입증되었으며, 이는 $MA$ 복잡도 클래스 외부에 위치하기 때문이다. 이는 정수 주기 찾기 문제를 포함하는 복잡도 클래스이다.
• 기하급수 급수와 행렬 재색인화를 사용하여 QFT 근사에서 핵심 행렬의 연산자 노름을 유계로 제한하였으며, 이 경계는 균일 벡터 경우와 최대 4배 이내로 다를 뿐이다.
• 근사 푸리에 기저 상태 간의 충실도가 $\ mathcal{O}(RN/M)$ 비율로 감소함을 입증하여, 제어 조건 하에서 근사 QFT 상태가 진짜 상태에 가까이 유지됨을 보였다.