[논문 리뷰] Quantum Hidden Subgroup Problems: A Mathematical Perspective

Samuel J. Lomonaco, Louis H. Kauffman|arXiv (Cornell University)|2002. 01. 22.

Quantum Computing Algorithms and Architecture참고 문헌 37인용 수 13

한 줄 요약

이 논문은 유한 계수 자유 아벨 군으로 일반화된 아벨 은닉부군 문제(HSP)를 위한 수학적으로 투명한 기호 양자 알고리즘을 개발한다. 이는 쇼어의 인수분해 알고리즘을 자유 아벨 군으로 일반화한 것으로, 랜덤 순환 합성부를 사용하고 Shor 변환을 활용하여 군의 구조를 탐색하는 '행항하는 쇼어 알고리즘'을 도입하여, 첫 번째로 그러한 알고리즘의 복잡도를 O(n²(lg Q)³(lglg Q)^(n+1))로 달성한다.

ABSTRACT

The ultimate objective of this paper is to create a stepping stone to the development of new quantum algorithms. The strategy chosen is to begin by focusing on the class of abelian quantum hidden subgroup algorithms, i.e., the class of abelian algorithms of the Shor/Simon genre. Our strategy is to make this class of algorithms as mathematically transparent as possible. By the phrase "mathematically transparent" we mean to expose, to bring to the surface, and to make explicit the concealed mathematical structures that are inherently and fundamentally a part of such algorithms. In so doing, we create symbolic abelian quantum hidden subgroup algorithms that are analogous to the those symbolic algorithms found within such software packages as Axiom, Cayley, Maple, Mathematica, and Magma. As a spin-off of this effort, we create three different generalizations of Shor's quantum factoring algorithm to free abelian groups of finite rank. We refer to these algorithms as wandering (or vintage Z_Q) Shor algorithms. They are essentially quantum algorithms on free abelian groups A of finite rank n which, with each iteration, first select a random cyclic direct summand Z of the group A and then apply one iteration of the standard Shor algorithm to produce a random character of the "approximating" finite group A=Z_Q, called the group probe. These characters are then in turn used to find either the order P of a maximal cyclic subgroup Z_P of the hidden quotient group H_phi, or the entire hidden quotient group H_phi. An integral part of these wandering quantum algorithms is the selection of a very special random transversal, which we refer to as a Shor transversal. The algorithmic complexity of the first of these wandering Shor algorithms is found to be O(n^2(lgQ)^3(lglgQ)^(n+1)).

연구 동기 및 목표

• 기본 대수적 구조를 드러내어 아벨 양자 은닉부군 알고리즘의 수학적 투명성을 확보하기 위해.
• 마이크로소프트의 Mathematica나 Magma와 같은 컴퓨터 대수 시스템의 알고리즘과 유사한 기호 양자 알고리즘을 개발하기 위해.
• 쇼어의 인수분해 알고리즘을 유한 계수 자유 아벨 군으로 일반화하기 위해.
• 랜덤 순환 합성부와 특성들을 사용하여 군의 구조를 탐색하는 반복적 양자 알고리즘을 설계하기 위해.
• 은닉부군 재구성에 효율적으로 기여하는 특수한 랜덤 전이체인 'Shor 전이체'를 식별하고 활용하기 위해.

제안 방법

• 자유 아벨 군의 유한 계수와 같은 대수적 구조를 사용하여 아벨 양자 은닉부군 과정의 기호 표현을 구성한다.
• 자유 아벨 군 A 내의 순환 직접 합성부 Z를 랜덤하게 선택하여 표준 쇼어 알고리즘 기법을 사용해 반복적 탐색을 수행한다.
• 각 반복에서 유한 몫군 A/Z_Q에 쇼어 알고리즘을 적용하여 탐색 군의 랜덤 특성을 생성한다.
• 특수한 랜덤 전이체인 'Shor 전이체'를 사용하여 탐색 중 군 원소의 효율적이고 체계적인 표본 추출을 보장한다.
• 알고리즘 프레임워크는 최대 순환부군의 순서 P 또는 전체 은닉 몫군 H_φ를 재구성하도록 설계되어 있다.
• 군론적 이중성과 특성 이론을 활용하여 양자 측정에서 구조적 정보를 추출한다.

실험 결과

연구 질문

• RQ1 기본 대수적 구조를 드러내어 아벨 양자 은닉부군 알고리즘의 수학적 투명성을 어떻게 확보할 수 있는가?
• RQ2 유한 계수 자유 아벨 군에 대해 쇼어의 인수분해 알고리즘의 일반화는 무엇이 있는가?
• RQ3 랜덤 순환 합성부와 양자 탐색을 어떻게 사용하여 은닉 몫군을 재구성할 수 있는가?
• RQ4 이러한 일반화된 행항하는 쇼어 알고리즘의 알고리즘 복잡도는 무엇인가?
• RQ5 Shor 전이체는 군 원소의 효율적이고 체계적인 표본 추출을 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 첫 번째 행항하는 쇼어 알고리즘은 유한 계수 n인 자유 아벨 군에 대해 알고리즘 복잡도 O(n²(lg Q)³(lglg Q)^(n+1))를 달성한다.
• 알고리즘은 양자 측정 결과로부터 최대 순환부군의 순서 P 또는 전체 은닉 몫군 H_φ를 성공적으로 재구성한다.
• Shor 전이체의 사용은 군의 구조를 탐색하는 데 핵심적인 체계적이고 효율적인 표본 추출 과정을 가능하게 한다.
• 세 가지의 서로 다른 쇼어 알고리즘 일반화가 유한 계수 자유 아벨 군에 대해 구성되었으며, 각각은 랜덤 순환 합성부를 통한 반복적 탐색 기반이다.
• 이 프레임워크는 향후 아벨 HSP 영역에서의 양자 알고리즘 개발을 위한 기호적이고 수학적으로 투명한 기반을 제공한다.
• 이 접근법은 기호 양자 알고리즘을 대수적 군 이론과 특성 이론을 체계적으로 활용하여 설계할 수 있음을 보여준다.