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

Greg Kuperberg|arXiv (Cornell University)|2011. 12. 14.

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

한 줄 요약

이 논문은 이면군의 숨겨진 부분군 문제(DHSP)를 위한 새로운 양자 알고리즘을 제안하며, 단지 $O(\log N)$의 양자 공간을 사용하여 $\exp(O(\sqrt{\log N}))$의 하위지수 시간 복잡도를 달성한다. 이는 이전 방법들에 비해 자원 요구량을 크게 감소시킨다. 레제브의 알고리즘에 영감을 받아, 부분 측정을 통해 단계적으로 단위 벡터를 정제하는 트리 구조의 '정렬 체질 체계'를 사용하며, 이는 숨겨진 이동의 기수성을 효율적으로 추출할 수 있게 하고, 고전적 자원과 양자 자원 간의 트레이드오프를 가능하게 한다.

ABSTRACT

We give an algorithm for the hidden subgroup problem for the dihedral group $D_N$, or equivalently the cyclic hidden shift problem, that supersedes our first algorithm and is suggested by Regev's algorithm. It runs in $\exp(O(\sqrt{\log N}))$ quantum time and uses $\exp(O(\sqrt{\log N}))$ classical space, but only $O(\log N)$ quantum space. The algorithm also runs faster with quantumly addressable classical space than with fully classical space. In the hidden shift form, which is more natural for this algorithm regardless, it can also make use of multiple hidden shifts. It can also be extended with two parameters that trade classical space and classical time for quantum time. At the extreme space-saving end, the algorithm becomes Regev's algorithm. At the other end, if the algorithm is allowed classical memory with quantum random access, then many trade-offs between classical and quantum time are possible.

연구 동기 및 목표

• 이면군 숨겨진 부분군 문제(DHSP)를 더 공간 효율적으로 해결할 수 있는 양자 알고리즘을 개발하는 것. 이는 아벨 숨겨진 이동 문제와 동치이다.
• 이면군 숨겨진 부분군 문제(DHSP)에 대해 첫 번째 하위지수 시간 복잡도를 갖는 양자 알고리즘을 개선하여, 양자 공간 요구량을 줄이되 하위지수 실행 시간을 유지하는 것.
• 레제브의 알고리즘을 일반화하고 확장하여 고전적 공간, 고전적 시간, 양자 시간 간의 트레이드오프를 가능하게 하는 것.
• 다중 숨겨진 이동을 지원하고 성능 최적화를 위해 양자적으로 주소 지정 가능한 고전 메모리(QRACM)를 허용하는 것.
• 전통적인 군 표현 이론 방법을 넘어서, 표현 이론에 기반하지 않는 접근 방식을 숨겨진 부분군 문제에 적용할 수 있는지 탐색하는 것.

제안 방법

• 알고리즘은 단계적인 부분 측정을 통해 고차원 큐디트를 큐비트로 수축시키는 트리 구조의 '정렬 체질 체계'를 사용한다.
• 단위 벡터는 숨겨진 이동에서 유도된 단위 승수를 가진 큐비트에서 구성되며, 단위 승수 표를 더하여 결합된다.
• 각 단계에서 단위 승수 합의 하위 비트에 대한 부분 측정을 수행한 후, 차원을 줄이기 위해 자르기 측정을 수행한다.
• 체질 체계는 깊이 우선 순서로 트리를 순회하여, 단계 간에 큐비트 레지스터를 재사용함으로써 양자 공간 사용량을 최소화한다.
• 알고리즘은 레제브의 핵심 아이디어인 양자적으로 주소 지정 가능한 고전 메모리(QRACM)를 활용하여 고전적 시간과 양자 시간 간의 트레이드오프를 가능하게 한다.
• 해석적 확률 분석을 통해 각 측정 단계에서 단위 벡터 길이가 충분히 큰 상태를 유지하도록 보장하며, 각 단계에서 부족하지 않은 성공 확률을 보장한다.

실험 결과

연구 질문

• RQ1 이면군 숨겨진 부분군 문제를 해결하기 위한 양자 공간 요구량을 $O(\log N)$으로 줄일 수 있는가? 이는 하위지수 실행 시간을 유지할 조건에서 가능할까?
• RQ2 레제브의 알고리즘은 어떻게 일반화되어 고전적 공간, 고전적 시간, 양자 시간 간의 조절 가능한 트레이드오프를 가능하게 할 수 있는가?
• RQ3 이전의 하위지수 알고리즘과 달리, 알고리즘은 다중 숨겨진 이동을 처리할 수 있도록 확장될 수 있는가?
• RQ4 양자적으로 주소 지정 가능한 고전 메모리(QRACM) 사용이 전체 시간 복잡도와 자원 효율성에 어떤 영향을 미치는가?
• RQ5 비아벨 군, 특히 $D_N$과 같은 군에 대해 표현 이론에 기반하지 않는 방법을 얼마나 활용할 수 있는가?

주요 결과

• 알고리즘은 $\widetilde{O}(2^{\sqrt{2\log_2 N}})$의 시간 복잡도로 실행되며, 고전 메모리 비용에 대한 현실적인 가정 하에 레제브의 알고리즘보다 초다항적으로 빠르다.
• 양자 공간은 오직 $O(\log N)$만을 사용하며, 이는 이전 알고리즘의 $\exp(O(\sqrt{\log N}))$의 양자 공간 요구량에 비해 상당한 향상이다.
• 해석적 단위 분포 가정에 기반해, 최종 단계에서 숨겨진 이동 $s$의 기수성을 측정할 성공 확률가 최소 $1/2$ 이상이다.
• 고전 메모리가 양자 접근을 지원할 경우(즉, QRACM), 알고리즘은 고전적 시간과 양자 시간 간의 다수의 트레이드오프를 가능하게 하며, 레제브의 알고리즘부터 공간 최적화 버전까지 성능 범위를 갖는다.
• 이전의 하위지수 알고리즘에서 부족했던 다중 숨겨진 이동 처리 능력을 활용함으로써, 특정 인스턴스에 대한 적용 가능성이 향상된다.
• 부분 측정 중 버킷 크기의 확률적 보장 덕분에 단위 승수 분포에 대한 민감도가 낮아지며, 각 단계에서 안정적인 성능을 유지할 수 있다.