[논문 리뷰] An Efficient Quantum Algorithm for some Instances of the Group Isomorphism Problem

François Le Gall|arXiv (Cornell University)|2010. 01. 05.

Quantum Computing Algorithms and Architecture참고 문헌 31인용 수 5

한 줄 요약

이 논문은 순서가 서로소인 아벨 군에 대한 순환군에 의한 확장인 비아벨 군의 특정 클래스에 대해, 군의 크기의 로그에 대해 다항식 시간 내에 군 동형 문제를 해결하는 양자 알고리즘을 제시한다. 문제를 아벨 군의 숨겨진 부분군 문제(Hidden Subgroup Problem, HSP)의 인스턴스로 환원함으로써, 기존에 알려진 최고의 고전적 알고리즘에 비해 지수적 속도 향상을 달성하였으며, 이는 비아벨 군 동형 문제에 대해 처음으로 얻어진 양자적 속도 향상이다.

ABSTRACT

In this paper we consider the problem of testing whether two finite groups are isomorphic. Whereas the case where both groups are abelian is well understood and can be solved efficiently, very little is known about the complexity of isomorphism testing for nonabelian groups. Le Gall has constructed an efficient classical algorithm for a class of groups corresponding to one of the most natural ways of constructing nonabelian groups from abelian groups: the groups that are extensions of an abelian group $A$ by a cyclic group $Z_m$ with the order of $A$ coprime with $m$. More precisely, the running time of that algorithm is almost linear in the order of the input groups. In this paper we present a quantum algorithm solving the same problem in time polynomial in the logarithm of the order of the input groups. This algorithm works in the black-box setting and is the first quantum algorithm solving instances of the nonabelian group isomorphism problem exponentially faster than the best known classical algorithms.

연구 동기 및 목표

• 대부분의 클래스에서 효율적인 고전적 알고리즘이 알려져 있지 않은 비아벨 군 동형 문제의 복잡도 격차를 메우기 위해.
• 양자 알고리즘이 비아벨 군 동형 문제에 대해 지수적 속도 향상을 달성할 수 있는지, 아벨 경우에서 알려진 양자적 우위를 어떻게 확장할 수 있을지 탐색하기 위해.
• 순서가 서로소인 아벨 군에 대한 순환군에 의한 확장인 S 클래스에 속하는 군의 동형 테스트를 해결하는 양자 알고리즘을 개발하기 위해.
• 입력 군 중 더 작은 군의 크기를 n으로 볼 때, 런타임을 log n에 대해 다항식으로 만들기 위해.
• 비아벨 동형 문제를 양자에 적합한 아벨 숨겨진 부분군 문제 인스턴스로 환원하는 프레임워크를 구축하기 위해.

제안 방법

• S 클래스의 비아벨 군 동형 문제를 아벨 숨겨진 부분군 문제(HSP)의 여러 인스턴스로 환원한다.
• 양자 블랙박스 군 연산을 사용하여 유도 부분군과 그 생성자를 효율적으로 계산하기 위해 양자 알고리즘을 활용한다.
• 특정 차수의 원소를 식별하고, 차수의 최소공배수와 인수분해를 통해 군의 구조를 계산하기 위해 양자 위상 추정과 확률 증폭을 사용한다.
• 특히 군 작용이 비자명한 경우에, 특정 코스에 속한 순환 부분군의 생성자를 찾기 위해 양자 검색을 적용한다.
• 양자 절차를 사용하여 아벨 부분군과 순환 보완을 식별함으로써 군의 표준 분해를 구성하며, 동형에 대해 구조적 불변성을 보장한다.
• 고전적 후처리와 양자 서브루틴을 조합하여 동형이 존재할 경우 이를 검증하고 명시적인 동형을 구성한다.

실험 결과

연구 질문

• RQ1 비아벨 군 동형 문제에 대해 양자 알고리즘이 지수적 속도 향상을 달성할 수 있는가, 특히 아벨 군의 확장과 같은 구조화된 클래스에 대해?
• RQ2 비아벨 군 동형 문제를 아벨 숨겨진 부분군 문제로 환원하는 방식으로, 양자 효율성을 유지할 수 있는가?
• RQ3 S 클래스에 속하는 군의 어떤 구조적 성질이 효율적인 양자 분해와 동형 테스트를 가능하게 하는가?
• RQ4 양자 알고리즘이 아벨 정규부분군과 순환 보완 간의 서로소 조건을 어떻게 활용하여 동형 테스트를 단순화할 수 있는가?
• RQ5 이 양자 알고리즘은 S 클래스를 초월한 다른 비아벨 군 클래스로 일반화될 수 있는가?

주요 결과

• 제안된 양자 알고리즘은 입력 군 중 더 작은 군의 크기를 n으로 볼 때, S 클래스의 군에 대해 log n에 대해 다항식 시간 내에 동형 문제를 해결한다.
• 이것은 동일한 클래스에 대해 n^{1+o(1)}의 시간 복잡도를 가지는 기존에 알려진 최고의 고전적 알고리즘에 비해 지수적 속도 향상이다.
• 알고리즘은 아벨 군 분해와 숨겨진 부분군 문제 해결을 위한 양자 서브루틴을 활용하며, 쇼어의 알고리즘과 쳉-모스카의 연구에 기반한다.
• 유도 부분군의 생성자와 순환 보완의 생성자를 식별하기 위해 양자 절차를 사용하여 군의 표준 분해를 구성한다.
• 동형이 존재할 경우 높은 확률로 명시적인 동형을 출력하며, 전적으로 블랙박스 군 모델 내에서 작동한다.
• 이 작업은 기존의 고전적 접근 방식보다 비아벨 군 동형 문제의 인스턴스를 지수적으로 빠르게 해결할 수 있는 첫 번째 알려진 양자 알고리즘을 확립한다.