[논문 리뷰] Quantum algorithm for the hidden subgroup problem on a class of semidirect product groups

Carlos Magno Martins Cosme, Renato Portugal|ArXiv.org|2007. 03. 23.

Quantum Computing Algorithms and Architecture인용 수 3

한 줄 요약

이 논문은 홀수 소수 $p$ 및 $r>4$ 에 대해 $\pi_{p^{r}}\rtimes_{\phi}\mathbb{Z}_{p^{2}}$ 군에서 숨겨진 부분군 문제(HSP)를 해결하기 위한 효율적인 양자 알고리즘을 제시한다. 아벨 HSP로의 감소와 직접적인 양자 기법을 사용하여, $\log|G|$ 에 대해 다항식 시간 복잡도를 달성하며, 고전적 방법에 비해 지수적 속도 향상을 제공한다.

ABSTRACT

We present efficient quantum algorithms for the hidden subgroup problem (HSP) on the semidirect product of cyclic groups $\Z_{p^r} times_ϕ\Z_{p^2}$, where $p$ is any odd prime number and $r$ is any integer such that $r>4$. We also address the HSP in the group $\Z_{N} times_ϕ\Z_{p^2}$, where $N$ is an integer with a special prime factorization. These quantum algorithms are exponentially faster than any classical algorithm for the same purpose.

연구 동기 및 목표

• 비아벨 반직접곱 군 $\mathbb{Z}_{p^r}\rtimes_{\phi}\mathbb{Z}_{p^2}$ 에서 숨겨진 부분군 문제(HSP)를 위한 효율적인 양자 알고리즘을 개발하기 위해.
• 기존의 아벨 및 단순한 비아벨 케이스를 초월하여, 구조적 자기동형 작용을 가진 더 넓은 계열의 가해군으로 HSP 해결 방법을 확장하기 위해.
• $N$ 이 특정한 소인수 분해를 가진 경우, $\mathbb{Z}_N\rtimes_{\phi}\mathbb{Z}_{p^2}$ 에서 HSP를 군의 동형을 활용하여 해결하기 위해.
• 숨겨진 부분군 $H$ 가 아벨 부분군에 포함되지 않을 경우, 정규 부분군에 대한 기존 기법을 활용하여 문제를 아벨 HSP 사례로 감소시켜 다항식 시간 양자 복잡도를 달성하기 위해.

제안 방법

• 함수 $\phi$ 를 기반으로 세 개의 매개변수 $t$, $i$, $j$ 를 사용하여 $\mathbb{Z}_{p^r}\rtimes_{\phi}\mathbb{Z}_{p^2}$ 의 모든 부분군을 분류하기 위해.
• 함수 $f$ 를 아벨 부분군 $G$ 에 제한하여 아벨 HSP 감소를 통해 숨겨진 부분군 $H$ 에 대한 정보를 추출하기 위해.
• 특정한 구조를 가진 경우, 특히 $\gcd(\tau, p^2) = 1$ 인 첫 번째 군 유형에서 $H$ 가 순환일 경우 직접 양자 알고리즘을 적용하기 위해.
• $H$ 가 어떤 아벨 부분군에도 포함되지 않을 경우, Ivanyos 등(2006)의 방법을 활용하여 정규 부분군에 대해 처리하여 완전성을 확보하기 위해.
• 서로소 순서를 활용하여 군의 동형을 통해 $\mathbb{Z}_N\rtimes_{\phi}\mathbb{Z}_{p^2}$ 의 HSP 를 $\mathbb{Z}_{p_1^{r_1}}\rtimes_{\psi}\mathbb{Z}_{p^2}$ 와 순환 인자로 감소시키기 위해.
• 전반적인 복잡도를 $O(\text{poly}((r+2)\log p))$ 로 제한하여 입력 크기의 다항식 시간 내에 실행 가능하게 하기 위해.

실험 결과

연구 질문

• RQ1 홀수 소수 $p$ 와 $r>4$ 에 대해 $\mathbb{Z}_{p^r}\rtimes_{\phi}\mathbb{Z}_{p^2}$ 에서 양자 알고리즘을 사용하여 HSP 를 효율적으로 해결할 수 있는가?
• RQ2 $\mathbb{Z}_{p^r}\rtimes_{\phi}\mathbb{Z}_{p^2}$ 의 부분군의 구조는 어떻게 활용되어 HSP 를 아벨 HSP 사례로 감소시킬 수 있는가?
• RQ3 $N$ 에 어떤 조건이 성립하면 $\mathbb{Z}_N\rtimes_{\phi}\mathbb{Z}_{p^2}$ 의 HSP 가 $\mathbb{Z}_{p^r}\rtimes_{\psi}\mathbb{Z}_{p^2}$ 로 감소할 수 있는가?
• RQ4 $\mathbb{Z}_{p^r}\rtimes_{\phi}\mathbb{Z}_{p^2}$ 의 HSP 는 다항식 시간 양자 복잡도로 해결할 수 있으며, 성공 확률는 얼마인가?

주요 결과

• $\mathbb{Z}_{p^r}\rtimes_{\phi}\mathbb{Z}_{p^2}$ 에서 HSP 는 복잡도가 $O(\text{poly}((r+2)\log p))$ 로 제한된 다항식 시간 내에 해결 가능하다.
• 알고리즘은 아벨 HSP 감소와 직접적인 양자 기법을 사용하여 고전적 알고리즘에 비해 지수적 속도 향상을 달성한다.
• $\mathbb{Z}_N\rtimes_{\phi}\mathbb{Z}_{p^2}$ 에서 HSP 는 $p$ 가 모든 $i$ 에 대해 $p_i - 1$ 을 나누지 않을 경우, $\mathbb{Z}_{p_1^{r_1}}\rtimes_{\psi}\mathbb{Z}_{p^2}$ 와 순환군의 HSP 로 감소한다.
• 알고리즘의 성공 확률는 $1/2$ 를 초과하며, 확률적이지만 효율적이다.
• 세 매개변수 가족으로 부분군을 분류함으로써, $H$ 의 구조에 기반한 체계적인 감소 전략이 가능해진다.
• 기존의 $\mathbb{Z}_{p^r}\rtimes\mathbb{Z}_p$ 에 대한 결과를 일반화하여, $r>4$ 인 $\mathbb{Z}_{p^r}\rtimes\mathbb{Z}_{p^2}$ 로 확장하였다.