[논문 리뷰] A subexponential-time quantum algorithm for the dihedral hidden subgroup problem

Greg Kuperberg|ArXiv.org|2003. 02. 14.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 다각형 대칭군의 숨겨진 부분군 문제(DHSP)에 대한 양자 알고리즘을 제시하며, $2^{O(\sqrt{\log N})}$의 하위지수 시간 및 질의 복잡도를 달성하여 고전적 방법의 $O(\sqrt{N})$ 질의 복잡도에 비해 크게 향상시킨다. 이 알고리즘은 양자 특성 변환을 수행한 후 반복적으로 큐비트 쌍을 형성하여 유리한 군 표현으로 진화시켜, 숨겨진 반사 부분군을 직접 측정할 수 있도록 한다.

ABSTRACT

We present a quantum algorithm for the dihedral hidden subgroup problem with time and query complexity $O(\exp(C\sqrt{\log N}))$. In this problem an oracle computes a function $f$ on the dihedral group $D_N$ which is invariant under a hidden reflection in $D_N$. By contrast the classical query complexity of DHSP is $O(\sqrt{N})$. The algorithm also applies to the hidden shift problem for an arbitrary finitely generated abelian group. The algorithm begins with the quantum character transform on the group, just as for other hidden subgroup problems. Then it tensors irreducible representations of $D_N$ and extracts summands to obtain target representations. Finally, state tomography on the target representations reveals the hidden subgroup.

연구 동기 및 목표

• 고전적 방법보다 더 낮은 시간 및 질의 복잡도로 다각형 대칭군의 숨겨진 부분군 문제(DHSP)를 해결할 수 있는 양자 알고리즘을 개발하는 것.
• 숨겨진 부분군이 많은 공共役을 가지기 때문에 표준 양자 특성 변환이 효과가 없는 DHSP 문제에 도전하는 것.
• 질의 복잡도와 계산 시간 사이의 유리한 트레이드오프를 달성하여, 지수적 복잡도가 아닌 하위지수적 복잡도를 확보하는 것.
• 유한 생성 아벨 군 위의 숨겨진 이동 문제로 이 알고리즘의 접근 방식을 일반화하는 것.

제안 방법

• 알고리즘은 $D_N$의 경우 아벨 양자 푸리에 변환과 동치인 양자 특성 변환으로 시작된다.
• 초기에는 이해하기 어려운 상태이지만 숨겨진 부분군에 대한 정보를 담고 있는 $D_N$의 표현에서 양자 상태를 준비한다.
• 핵심 기법은 두 개의 불리한 큐비트를 반복적으로 쌍지어, $D_N$의 더 유리한 표현에 해당하는 새로운 큐비트를 생성하는 것이다.
• 알고리즘은 숨겨진 반사를 드러내기 위해 직접 측정이 가능한 특정 불가약 표현을 목표로 삼는다.
• 다각형군의 구조와 그 표현을 활용하여 숨겨진 부분군을 점차적으로 고립한다.
• 특히 $N = 2^n$일 경우, 알고리즘은 시간 및 질의 복잡도 $2^{O(\sqrt{\log N})}$를 달성하며, $N = r^n$일 경우 더 날카운 상한 $\widetilde{O}(3^{\sqrt{2\log_3 N}})$을 확보한다.

실험 결과

연구 질문

• RQ1 하위지수 시간 복잡도로 다각형 대칭군의 숨겨진 부분군 문제를 해결할 수 있는 양자 알고리즘이 존재하는가?
• RQ2 표현 쌍지기 기반의 양자 상태 진화는 비아벨 군에서 숨겨진 부분군 탐지의 효율성을 어떻게 향상시키는가?
• RQ3 DHSP에서 달성 가능한 최소 질의 복잡도는 무엇이며, 고전적 한계와 비교해 볼 때 어떻게 되는가?
• RQ4 이 알고리즘은 유한 생성 아벨 군 위의 다른 숨겨진 이동 문제로 일반화될 수 있는가?
• RQ5 특정 불가약 표현이 숨겨진 부분군을 직접 측정할 수 있도록 하는 데 어떤 역할을 하는가?

주요 결과

• $N = 2^n$일 경우, 알고리즘은 시간 및 질의 복잡도 $2^{O(\sqrt{10 \log N})}$를 달성하며, 고전적 방법의 $O(\sqrt{N})$ 복잡도에 비해 뚜렷한 향상을 보인다.
• $N = r^n$이고 기수 $r$가 고정된 경우, 복잡도는 $\widetilde{O}(3^{\sqrt{2\log_3 N}})$로 향상되어 더 날카운 渐近적 상한을 보여준다.
• 알고리즘은 $2^{O(\sqrt{\log N})}$의 양자 메모리 공간을 요구하며, 하위지수 시간에 비해 주요 제약 요소이다.
• 양자 상태를 목표 표현으로 진화시켜 직접 측정이 가능한 상태로 만듦으로써, 숨겨진 반사 부분군을 성공적으로 식별한다.
• 이 방법은 임의의 유한 생성 아벨 군 위의 숨겨진 이동 문제로 일반화되어 적용 범위를 넓힌다.
• 에팅거와 헤이어의 이전 연구를 바탕으로 하되, 비아벨 경우에서 표준 특성 변환의 한계를 극복하기 위해 새로운 쌍지기 메커니즘을 도입한다.