[논문 리뷰] Notes on Hallgren's efficient quantum algorithm for solving Pell's equation

Richard Jozsa|ArXiv.org|2003. 02. 18.

Polynomial and algebraic computation참고 문헌 7인용 수 8

한 줄 요약

이 논문은 실수에서 무리수 주기를 가지는 일반화된 양자 푸리에 변환을 사용하여 펠 방정식을 다항 시간 내에 해결하는 할렌의 양자 알고리즘에 대한 자가 포함된 기초적인 서술을 제공한다. 이 알고리즘은 기본 해 A에 대해 R = ln(A)로 주어지는 조정자 R를 양자 컴퓨터에서 효율적으로 계산할 수 있음을 보여주며, 고전적 하위지수 알고리즘에 비해 초다항 시간의 가속을 달성한다. 이는 이차 수체에서의 이상적 군 계산 및 주 이상적 문제 해결에 적용된다.

ABSTRACT

Pell's equation is x^2-d*y^2=1 where d is a square-free integer and we seek positive integer solutions x,y>0. Let (x',y') be the smallest solution (i.e. having smallest A=x'+y'sqrt(d)). Lagrange showed that every solution can easily be constructed from A so given d it suffices to compute A. It is known that A can be exponentially large in d so just to write down A we need exponential time in the input size log d. Hence we introduce the regulator R=ln A and ask for the value of R to n decimal places. The best known classical algorithm has sub-exponential running time O(exp(sqrt(log d)), poly(n)). Hallgren's quantum algorithm gives the result in polynomial time O(poly(log d),poly(n)) with probability 1/poly(log d). The idea of the algorithm falls into two parts: using the formalism of algebraic number theory we convert the problem of solving Pell's equation into the problem of determining R as the period of a function on the real numbers. Then we generalise the quantum Fourier transform period finding algorithm to work in this situation of an irrational period on the (not finitely generated) abelian group of real numbers. These notes are intended to be accessible to a reader having no prior acquaintance with algebraic number theory; we give a self contained account of all the necessary concepts and we give elementary proofs of all the results needed. Then we go on to describe Hallgren's generalisation of the quantum period finding algorithm, which provides the efficient computational solution of Pell's equation in the above sense.

연구 동기 및 목표

• 알gebraic number theory에 대한 사전 지식이 없이도 할렌의 양자 알고리즘을 다항 시간 내에 펠 방정식을 해결하는 데에 접근 가능하게 하기 위한 자가 포함된 소개를 제공하는 것.
• 펠 방정식과 실수 이차체의 조정자 사이의 수학적 연결 고리를 형식화하여 고전적 수론과 양자 알고리즘 간 격차를 메우는 것.
• 실수 직선 위에서 무리수 주기를 다룰 수 있도록 양자 푸리에 변환의 일반화 방법을 제시하여 연속 아벨 군의 주기 탐지 문제를 효율적으로 해결할 수 있음을 보여주는 것.
• 조정자 계산이 알gebraic number theory에서의 관련 문제, 예를 들어 주 이상적 문제나 이상적 군 계산 등에 대해 효율적인 해결책을 제공할 수 있음을 보여주는 것.

제안 방법

• 펠 방정식의 해가 Q(√d)의 대수적 정수에서의 단위이자 노름이 1인 원소임을 이용해 문제를 재구성한다.
• 조정자 R = ln(A)는 기본 단위 A의 로그로 식별되며, 목표는 R을 n자리 소수까지 추정하는 데 있다.
• 알고리즘은 감소된 이상적의 구조와 감소 연산자 ρ를 사용하여 단위 군을 실수 직선 위의 순환적 구조로 모델링한다.
• 실수 직선 위에 정의된 주기 함수 f(x) = e^{2πi x R}를 구성하며, 이는 주기 탐지의 핵심이다.
• 표준 주기 탐지 절차를 일반화하여 실수 직선 위의 무리수 주기를 다룰 수 있도록 양자 푸리에 변환을 조정한다. 이는 실수의 초위상 상태를 사용한다.
• 알고리즘은 이상적 군의 구조와 연속 분수 근사법을 활용하여, poly(log d, poly(n)) 시간 내에 R의 추정치를 높은 확률로 출력한다.

실험 결과

연구 질문

• RQ1 펠 방정식은 양자 계산을 통해 효율적으로 해결될 수 있는가? 만약 가능하다면, 그러한 알고리즘의 계산 복잡도는 어떠한가?
• RQ2 표준 양자 주기 탐지 알고리즘이 실수 직선 위의 무리수 주기를 다룰 수 있도록 어떻게 확장될 수 있는가?
• RQ3 특히 이상적과 단위에 기반한 알gebraic number theory의 역할은 이 문제에서 양자 가속을 가능하게 하는 데 어떤 기여를 하는가?
• RQ4 조정자 계산은 주 이상적 문제나 이상적 군 계산과 같은 알gebraic number theory의 다른 기본 문제를 해결하는 데 사용될 수 있는가?

주요 결과

• 할렌의 양자 알고리즘은 실수 이차체 Q(√d)의 조정자 R를 다항 시간 내에 계산할 수 있으며, 특히 O(poly(log d, poly(n)))의 양자 게이트로 이루어진다.
• 이 알고리즘은 가장 빠른 고전적 알고리즘보다 초다항 시간의 가속을 달성한다. 고전적 알고리즘은 O(exp(√log d), poly(n)))의 시간 복잡도를 가진다.
• 핵심 기여는 실수 직선 위의 무리수 주기를 다룰 수 있도록 양자 푸리에 변환을 일반화한 데 있다. 이는 연속적이고 이산적이지 않은 주기성을 가진 함수의 주기 탐지가 가능하게 한다.
• 조정자 계산은 주 이상적 문제의 효율적 해결을 가능하게 한다: 주어진 이상적 I가 주 이상적인지 확인하고 생성자를 찾는다.
• 이 알고리즘은 Q(√d)의 이상적 군과 이상적 수를 계산하는 데도 응용될 수 있으며, 이는 알gebraic number theory에서 기본적인 개념이다.
• 이 방법은 이상적과 이차 형식 사이의 대응 관계에 기반하며, 감소 연산자 ρ를 사용하여 이상적 군의 구조를 효율적으로 탐색한다.