비가역군 동형성 문제를 위한 초고속 양자 알고리즘

초록

본 논문은 차수가 서로 서로소인 아벨 군 A와 순환군 Zₘ의 확장군에 대해, 두 군이 동형인지 판별하는 양자 알고리즘을 제시한다. 기존 고전 알고리즘이 거의 선형 시간(O(|G|))을 요구하는 반면, 제안된 양자 알고리즘은 입력 군의 크기 n에 대해 시간 복잡도가 poly(log n)인 지수적 가속을 제공한다. 알고리즘은 블랙박스 군 모델에서 동작하며, 비가역군 동형성 문제의 첫 번째 양자 지수 가속 사례가 된다.

상세 요약

이 연구는 비가역군 동형성 문제 중에서도 특히 “A를 정상 부분군으로, Zₘ이 몫군으로 작용하는 확장군”이라는 구조적 제한을 이용한다. A와 Zₘ의 차수가 서로소라는 가정은 군의 직접곱 구조와 유사한 분해를 가능하게 하며, 이는 양자 알고리즘 설계에 핵심적인 역할을 한다. 논문은 먼저 입력을 블랙박스 모델로 가정하고, 각 군을 생성자와 관계식으로 표현된 검증 가능한 인코딩으로 제공받는다. 이후 양자 푸리에 변환(QFT)을 이용해 A의 원소들을 효율적으로 샘플링하고, Zₘ의 작용을 추적한다. 핵심 단계는 두 군 사이의 동형 사상 후보를 찾기 위해 “숨겨진 서브그룹 문제(HSP)”를 아벨 군에 한정시켜 해결하는 것이다. 구체적으로, 군의 자동동형군 Aut(A)와 Zₘ의 작용을 결합한 반직접곱 구조를 정의하고, 이 구조 내에서 동형 사상이 존재하는지 여부를 HSP 형태로 변환한다. 양자 알고리즘은 기존의 아벨 HSP 솔루션(예: Shor의 알고리즘, Kuperberg의 알고리즘)과 결합해, 후보 사상의 매개변수(예: 자동동형의 행렬 표현, Zₘ의 이동값)를 다항식 시간 내에 추정한다.

다음으로, 후보 사상이 실제 동형인지 검증하기 위해 군 연산을 여러 번 호출하는 “검증 루프”가 도입된다. 여기서는 양자 상태를 유지한 채로 군 연산을 병렬적으로 적용해, 오류 확률을 지수적으로 억제한다. 전체 복잡도 분석에 따르면, 각 단계는 O(poly(log |G|))의 양자 회로 깊이를 갖으며, 전체 알고리즘은 입력 크기 n에 대해 O(poly(log n)) 시간에 수렴한다. 이는 기존 Le Gall의 고전 알고리즘이 Õ(n) (n에 로그 팩터를 곱한 거의 선형 시간)으로 동작하는 것과 비교해 지수적 속도 향상을 의미한다.

알고리즘의 정확성은 두 가지 주요 정리에 기반한다. 첫째, A와 Zₘ이 서로소 차수를 가질 때, 확장군은 A와 Zₘ의 반직접곱으로 동형임을 보장하는 구조 정리; 둘째, 아벨 HSP에 대한 양자 솔루션이 해당 반직접곱 구조에서 완전한 정보를 복원할 수 있다는 정리이다. 이러한 정리는 기존 군 이론 결과와 양자 알고리즘 이론을 결합해 새로운 복합 정리 형태로 제시된다.

제한점으로는 (1) 차수가 서로소가 아닌 경우에는 현재 설계된 양자 절차가 적용되지 않으며, (2) 블랙박스 모델에서 제공되는 연산이 정확히 유닛리 연산으로 구현될 수 있어야 한다는 점이다. 또한, 자동동형군 Aut(A)의 구조가 복잡해질 경우, 후보 사상 공간이 급격히 확대되어 실제 구현 시 자원 요구량이 증가할 가능성이 있다.

향후 연구 방향으로는 (i) 서로소 조건을 완화해 일반적인 확장군에 대한 양자 알고리즘을 설계, (ii) 비블랙박스(구조적) 입력 모델에서의 효율적인 전처리 기법 개발, (iii) 현재 알고리즘을 다른 비가역군 클래스(예: 직교군, 대칭군)로 확장하는 방법론 탐색이 제시된다.