[논문 리뷰] Quantum Algorithms for many-to-one Functions to Solve the Regulator and the Principal Ideal Problem

Arthur Schmidt|ArXiv.org|2009. 12. 24.

Quantum Computing Algorithms and Architecture참고 문헌 9인용 수 3

한 줄 요약

이 논문은 실수 이차 수체에서의 조절자 문제와 주 이상 문제를 해결하기 위한 향상된 양자 알고리즘을 제시한다. 이는 쇼어의 프레임워크 내에서 다대일 주기 함수를 활용함으로써 이루어지며, 핵심 기여는 할그렌의 원래 알고리즘 대비 최소 $2\log\Delta$ 큐비트를 감소시킨 데 있다. 이는 이상주기 함수와 이상 이데알이 아닌 축소된 이차 형식을 사용함으로써 달성되었으며, 비단일함수성에도 불구하고 일정한 성공 확률을 유지한다.

ABSTRACT

We propose new quantum algorithms to solve the regulator and the principal ideal problem in a real-quadratic number field. We improve the algorithms proposed by Hallgren by using two different techniques. The first improvement is the usage of a period function which is not one-to-one on its period. We show that even in this case Shor's algorithm computes the period with constant probability. The second improvement is the usage of reduced forms (a, b, c) of discriminant D with a>0 instead of reduced ideals of the same discriminant. These improvements reduce the number of required qubits by at least 2 log D.

연구 동기 및 목표

• 실수 이차 수체에서의 조절자 문제와 주 이상 문제에 대해 더 효율적인 양자 알고리즘을 개발하기 위해.
• 함수 공간과 주기 구조를 재정의하여 기존 양자 알고리즘의 큐비트 요구량을 줄이기 위해.
• 쇼어 알고리즘이 기본 주기에서 다대일일 경우에도 일정한 성공 확률로 정확한 주기를 계산할 수 있음을 보여주기 위해.
• 부차만-윌리엄스 암호 체계와 같이 주 이상 문제에 기반한 암호의 양자 저항성을 평가하기 위한 더 효율적인 도구를 제공하기 위해.
• 이러한 기법을 환의 단위군 계산 및 고차수 수체로 확장하기 위한 기반을 마련하기 위해.

제안 방법

• 함수의 기본 주기에서 일대일이 아닌 주기 함수를 사용하지만, 쇼어 알고리즘이 여전히 일정한 성공 확률로 정확한 주기를 계산한다.
• 감소된 이데알이 아닌 축소된 이차 형식 $(a,b,c)$를 사용하여 $\Delta$의 판별식을 가지며 $a > 0$이 되도록 한다. 이는 표현을 단순화하고 큐비트 오버헤드를 줄인다.
• 양자 서브루틴은 양자 푸리에 변환을 통해 쌍대 격자 벡터를 계산한 후, 연속 분수 또는 GCD 기반 방법을 사용한 고전적 후처리를 수행한다.
• 샘플된 쌍대 벡터를 이용해 조절자 또는 이상 계열 거리를 추정하고, 근사 정확도를 향상시키기 위해 고전적 정밀 조정을 적용한다.
• 몬테카를로 방식을 사용한다: 알고리즘이 유한한 확률로 실패할 수 있지만, 성공할 경우 출력은 정확하고 검증 가능하다.
• 무리수 주기 함수를 사용함으로써 로그 근사값에 대한 사전 지식이 필요 없도록 하며, 항상 주기적이지만 다대일인 함수를 사용한다.

실험 결과

연구 질문

• RQ1 쇼어 알고리즘이 기본 주기에서 다대일인 함수의 주기를 일정한 성공 확률로 계산할 수 있는가?
• RQ2 이데알 대신 축소된 이차 형식을 사용하면 수체 문제에 대한 양자 알고리즘에서 큐비트 수를 줄일 수 있는가?
• RQ3 일반화된 리만 가설에 의존하지 않고도 조절자 문제와 주 이상 문제를 양자 다항시간 내에 해결할 수 있는가?
• RQ4 이 프레임워크는 실수 이차 수체의 환의 단위군을 계산하거나 고차수 수체에 적응시킬 수 있는가?
• RQ5 비단일 구조를 가진 주기 함수를 사용할 때 조절자 문제와 PIP를 해결하기 위한 최소 큐비트 오버헤드는 얼마인가?

주요 결과

• 알고리즘은 할그렌의 원래 양자 알고리즘 대비 조절자 문제와 주 이상 문제에서 최소 $2\log\Delta$ 큐비트를 감소시킨다.
• 쇼어 알고리즘은 무리수 격자 위에서 주기적인 비단일 함수의 주기를 일정한 확률로 성공적으로 계산한다.
• 알고리즘의 성공 확률는 최소 $2^{-37}$이며, 성공 시 출력은 정확하고 고전적으로 검증 가능하다.
• 이데알 대신 축소된 이차 형식 $(a,b,c)$를 사용함으로써 함수 표현이 단순화되고 양자 산술의 필요 정밀도가 감소한다.
• 알고리즘은 양자 다항시간 $O(\operatorname{polylog}(\log\Delta))$ 내에 수행되며 일반화된 리만 가설에 의존하지 않는다.
• 이 방법은 부차만-윌리엄스 암호 체계의 양자 저항성을 더 효율적으로 분석할 수 있게 하며, 주어진 형식의 주성 여부를 직접 테스트할 수 있다.