[논문 리뷰] Polynomial-Time Solution to the Hidden Subgroup Problem for a Class of non-abelian Groups

Martin Roetteler, Thomas Beth|arXiv (Cornell University)|1998. 12. 24.

Quantum Computing Algorithms and Architecture참고 문헌 7인용 수 62

한 줄 요약

이 논문은 비아벨 군의 한 가족인 와이어드 곱 $W_n = \mathbb{Z}_2^n \wr \mathbb{Z}_2$에서 숨겨진 부분군 문제(HSP)를 다항 시간 내에 해결하는 양자 알고리즘을 제시한다. 이 접근법은 $W_n$에서의 효율적 양자 푸리에 샘플링과 $\mathbb{F}_2$ 위에서의 선형 대수학을 이용한 고전적 후처리를 조합하여, $O(n)$개의 양자 질의와 다항 시간의 고전적 계산으로 숨겨진 부분군을 정확히 재구성할 수 있다.

ABSTRACT

We present a family of non-abelian groups for which the hidden subgroup problem can be solved efficiently on a quantum computer.

연구 동기 및 목표

• 숨겨진 부분군 문제(HSP)를 아벨 군을 넘어서는 비아벨 군으로 확장하여 효율적인 양자 알고리즘을 개발하는 것.
• 특히 푸리에 샘플링에 적합한 비아벨 군의 구조적 성질을 규명하여 HSP의 효율적 양자 해법이 가능하도록 하는 것.
• 와이어드 곱 $W_n = \mathbb{Z}_2^n \wr \mathbb{Z}_2$에 대한 HSP가 양자 컴퓨터에서 다항 시간 내에 해결 가능하고, 효율적인 고전적 후처리가 가능한 것을 보여주는 것.
• 비아벨 HSP를 아벨 하위문제로 분해하고 공액 기반 샘플링을 활용하여 해법을 제시하는 프레임워크를 제공하는 것.

제안 방법

• 숨겨진 부분군 $U \leq G$의 코셋에서 일정하고 서로 다른 값을 갖는 함수 $f: G \to R$에 대한 초위상 접근을 제공하는 표준 양자 회로 모델 사용.
• $W_n$에 대한 균일한 초위상 상태를 준비한 후, $f$를 초위상으로 평가하여 숨겨진 부분군 $U$의 코셋으로 상태를 투영하는 것.
• $W_n$에서의 양자 푸리에 변환(QFT)을 적용하며, 군의 구조와 유한한 지수로 인해 효율적으로 구현 가능하다.
• 첫 번째 레지스터를 측정하여, 코셋 대표원소가 기저 군 $N$에 속해 있는지 여부에 따라 $U^\perp$ 또는 $(U^t)^\perp$에서 샘플링하는 것.
• 양자 단계를 반복하여 $U^\perp \cap N$과 $(U^t)^\perp \cap N$에서 샘플링하며, $U^\perp$ 또는 $(U^t)^\perp$의 절반 정도가 $N$ 외부에 있음을 활용하는 것.
• $\mathbb{F}_2$ 위에서의 선형 대수학을 이용한 고전적 후처리를 통해 샘플된 부분군의 옹호 여부를 계산하여 $U \cap U^t$의 생성자를 도출하고, $U = (U \cap N) \cdot (U \cap U^t)$를 통해 $U$를 재구성하는 것.

실험 결과

연구 질문

• RQ1 비아벨 군의 경우 아벨 군을 초월하여 숨겨진 부분군 문제를 효율적으로 해결할 수 있는가?
• RQ2 와이어드 곱 $\mathbb{Z}_2^n \wr \mathbb{Z}_2$의 구조가 효율적 양자 푸리에 샘플링과 부분군 재구성에 적합한가?
• RQ3 양자 컴퓨터에서 $W_n$에 대한 HSP가 아벨 HSP로의 환원과 공액 대칭을 이용한 전체 숨겨진 부분군 복원이 가능한가?
• RQ4 양자 샘플링과 $\mathbb{F}_2$ 위에서의 고전적 선형 대수학을 활용하여 비아벨 숨겨진 부분군을 체계적으로 재구성할 수 있는가?
• RQ5 표현 이론 기법을 사용하여 $\mathbb{Z}_2^n \rtimes_\varphi \mathbb{Z}_2$ 형태의 다른 분할 확장으로 이 알고리즘을 일반화할 수 있는가?

주요 결과

• 비아벨 군 $W_n = \mathbb{Z}_2^n \wr \mathbb{Z}_2$에 대한 숨겨진 부분군 문제는 양자 컴퓨터에서 다항 시간 내에 해결 가능하다.
• 이 알고리즘은 양자 블랙박스 함수 $f$의 평가를 오직 $O(n)$번 수행하며, 양자 회로의 깊이도 $n$에 대해 다항식이다.
• $W_n$에서의 양자 푸리에 변환은 효율적으로 구현 가능하여, $U^\perp$ 및 $(U^t)^\perp$에서의 효과적 샘플링을 가능하게 한다.
• 고전적 후처리는 $\mathbb{F}_2$ 위에서의 선형 시스템을 푸는 것으로 이루어지며, 다항 시간 내에 수행 가능하고 $U \cap N$ 및 $U \cap U^t$의 생성자를 도출할 수 있다.
• 전체 숨겨진 부분군 $U$는 $W_n$의 부분군에 대한 표준 인수 분해 성질을 활용하여 곱 $U = (U \cap N) \cdot (U \cap U^t)$로 재구성된다.
• 문제의 약속 조건을 만족할 경우, $1 - 2^{-n}$의 확률로 기대값 $4n$회의 반복 후 알고리즘이 $U$를 성공적으로 재구성한다.