[논문 리뷰] Classical and Quantum Algorithms for Exponential Congruences

Wim van Dam, Igor E. Shparlinski|ArXiv.org|2008. 04. 07.

Quantum Computing Algorithms and Architecture참고 문헌 7인용 수 12

한 줄 요약

이 논문은 유한체 $\mathbb{F}_q$ 상에서 형태 $af^x + bg^y = c$의 지수 합동식을 해결하기 위한 고전적 및 양자 알고리즘을 제시한다. 시간 복잡도 $q^{3/8} (\log q)^{O(1)}$를 갖는 양자 알고리즘을 도입하여, 복잡도 $q^{9/8} (\log q)^{O(1)}$의 기존 최고 성능 고전적 알고리즘보다 세제곱의 속도 향상을 보이며, 이 수론 문제에 대해 상당한 양자 우월성을 입증한다.

ABSTRACT

We discuss classical and quantum algorithms for solvability testing and finding integer solutions x,y of equations of the form af^x + bg^y = c over finite fields GF(q). A quantum algorithm with time complexity q^(3/8) (log q)^O(1) is presented. While still superpolynomial in log q, this quantum algorithm is significantly faster than the best known classical algorithm, which has time complexity q^(9/8) (log q)^O(1). Thus it gives an example of a natural problem where quantum algorithms provide about a cubic speed-up over classical ones.

연구 동기 및 목표

• 유한체 $\mathbb{F}_q$ 상에서 방정식 $af^x + bg^y = c$를 효율적으로 해결하기 위한 고전적 및 양자 알고리즘을 개발하기.
• 특성 합 바ounds와 수론적 도구를 사용하여 이 방정식의 해 존재성 및 해 구조를 분석하기.
• 이 문제에 대해 양자 알고리즘의 가속을 확립하고, 고전적 방법에 비해 얻는 이점을 정량화하기.
• 이 문제를 순서가 $p = \Theta(\sqrt{N})$인 반직접곱군 $\mathbb{Z}/N \rtimes \mathbb{Z}/p$ 상의 숨겨진 부분군 문제와 연결하기.
• 이 유형의 문제에 대해 지수적 또는 다항식 시간 내에 수행 가능한 양자 알고리즘의 실현 가능성 탐색하기.

제안 방법

• 유한체 상의 곱셈 특성 합을 사용하여 $x$와 $y$의 제한된 범위에서 $af^x + bg^y = c$의 해의 수를 바ounds한다.
• 특성 합 이론의 바ounds(예: [12, 정리 3])를 적용하여 해의 수를 추정하고, 탐색 공간을 축소시킨다.
• 시간 복잡도 $q^{3/8}$인 해 공간에 대한 탐색을 가속화하기 위해 양자 확률 증폭 및 그로버 유형의 탐색 기법을 활용한다.
• 양자 탐색을 적용하기 전에 고전적 사전 처리를 통해 탐색 공간을 줄이는 하이브리드 접근법을 도입한다.
• 순서가 각각 $s$와 $t$인 $f$와 $g$가 생성하는 곱셈 부분군의 구조를 활용하여 해 존재 조건을 바ounds한다.
• 로그형 인자를 추상화하기 위해 $O^*$ 표기법을 사용하여 복잡도 바ounds를 유도하며, 주로 $q$의 주요 거듭제곱에 초점을 맞춘다.

실험 결과

연구 질문

• RQ1 임의의 큰 순서를 갖는 $f,g$에 대해, $\mathbb{F}_q$ 상에서 $af^x + bg^y = c$를 해결하는 데 필요한 고전적 복잡도는 무엇인가?
• RQ2 이 지수 합동 문제에 대해 양자 알고리즘이 고전적 방법에 비해 증명 가능한 가속을 달성할 수 있는가?
• RQ3 $f$와 $g$의 순서 $s$와 $t$가 어떤 조건일 경우, $x$ 또는 $y$가 작을 때 방정식 $af^x + bg^y = c$가 해를 갖는가?
• RQ4 이 문제는 순서가 $p = \Theta(\sqrt{N})$인 비아벨 군 $\mathbb{Z}/N \rtimes \mathbb{Z}/p$ 상의 숨겨진 부분군 문제와 어떻게 관련이 있는가?
• RQ5 이 문제에 대해 다항식 시간 $(\log q)^{O(1)}$ 내에 수행 가능한 양자 알고리즘을 설계할 수 있는가?

주요 결과

• 유한체 $\mathbb{F}_q$ 상에서 $af^x + bg^y = c$를 해결하는 데 있어 기존 최고 성능의 고전적 알고리즘은 시간 복잡도 $O^*(q^{9/8})$를 갖는다. 이는 이 맥락에서 처음으로 제시된 바ounds이다.
• 시간 복잡도 $O^*(q^{3/8})$를 갖는 양자 알고리즘을 제시하여, 고전적 방법 대비 세제곱의 속도 향상을 달성한다.
• 모든 $c$ 값 중 $o(q)$를 제외한 나머지에 대해, 양자 알고리즘은 시간 $q^{1/3}(\log q)^{O(1)}$ 내에 해를 찾거나 해가 존재하지 않음을 판단할 수 있다.
• 순서의 곱 $st > q^{4/3}(\log q)^{2/3}$일 경우, 양자 알고리즘의 복잡도는 $q^{1/2}(st)^{-1/4}(\log q)^{O(1)}$로 줄어들며, $s$와 $t$가 클수록 성능 향상이 이루어진다.
• 결과는 특성 합 바ounds를 사용하여 도출되었으며, 최악의 경우와 일반적인 경우 모두 적용 가능하며, 랜덤한 $c$에 대해 향상된 바ounds를 제공한다.
• 논문은 이 문제가 이산 로그 문제보다 더 어렵지만, $f$ 또는 $g$가 큰 순서를 갖는 경우에 더 쉬워지며, 여전히 $\log q$에 대해 초다항식 시간이 걸린다고 규명한다.