[논문 리뷰] Quantum Algorithm for Computing the Period Lattice of an Infrastructure

Felix Fontein, Paweł Wocjan|arXiv (Cornell University)|2011. 11. 05.

Polynomial and algebraic computation참고 문헌 13인용 수 5

한 줄 요약

이 논문은 고정된 차원에서 비이산 인fra스트럭처의 주기 격자를 계산하기 위한 양자 알고리즘을 제시한다. 이 알고리즘은 이중 격자 벡터를 샘플링하는 데 있어 기존 방법보다 최소 $2^{n^2 - 1}$ 배 높은 성공 확률을 달성하는 새로운 방법을 활용하며, $ olimits\log \det(\Lambda)$에 대해 다항식 시간 복잡도이고 차원 $n$에 대해 지수적 의존도를 보이는 데 대한 엄밀한 증명을 제공한다. 이 알고리즘은 성공 확률과 분석의 엄밀성 측면에서 이전 작업에 비해 상당한 개선을 이룩하였으며, 특히 전역체에서 유도된 인프라스트럭처에 대해 뛰어난 성능을 발휘한다.

ABSTRACT

We present a quantum algorithm for computing the period lattice of infrastructures of fixed dimension. The algorithm applies to infrastructures that satisfy certain conditions. The latter are always fulfilled for infrastructures obtained from global fields, i.e., algebraic number fields and function fields with finite constant fields. The first of our main contributions is an exponentially better method for sampling approximations of vectors of the dual lattice of the period lattice than the methods outlined in the works of Hallgren and Schmidt and Vollmer. This new method improves the success probability by a factor of at least 2^{n^2-1} where n is the dimension. The second main contribution is a rigorous and complete proof that the running time of the algorithm is polynomial in the logarithm of the determinant of the period lattice and exponential in n. The third contribution is the determination of an explicit lower bound on the success probability of our algorithm which greatly improves on the bounds given in the above works. The exponential scaling seems inevitable because the best currently known methods for carrying out fundamental arithmetic operations in infrastructures obtained from algebraic number fields take exponential time. In contrast, the problem of computing the period lattice of infrastructures arising from function fields can be solved without the exponential dependence on the dimension n since this problem reduces efficiently to the abelian hidden subgroup problem. This is also true for other important computational problems in algebraic geometry. The running time of the best classical algorithms for infrastructures arising from global fields increases subexponentially with the determinant of the period lattice.

연구 동기 및 목표

• 전역체에서 유도된 비이산 인프라스트럭처(예: 대수적 수체계 및 함수체)로부터 유도되는 주기 격자를 계산하는 양자 알고리즘을 개발하는 것.
• 이전의 이중 격자 벡터 샘플링을 위한 양자 알고리즘에서 저조한 성공 확률과 분석의 불완전성 등의 한계를 극복하는 것.
• 알고리즘의 실행 시간 복잡도에 대한 엄밀하고 완전한 증명을 제공하여, $ olimits\log \det(\Lambda)$에 대해 다항식 의존도와 차원 $n$에 대해 지수적 의존도를 보임을 입증하는 것.
• 기존 Hallgren, Schmidt, Vollmer의 연구에서 제시된 바와 비교해 상당히 향상된 비현실적인 하한값을 갖는 명시적이고 비자명한 성공 확률 하한값을 설정하는 것.

제안 방법

• 함수 $f$를 정의하여 이는 이산 창 $\mathcal{V} = \{0, \ldots, qN-1\}^n$ 상에서 정의되며, $f(v) = f(v')$이면 $\frac{v - v'}{N} \approx \lambda$ for some $\lambda \in \Lambda$인 주기 격자 $\Lambda$의 원소 $\lambda$가 존재하도록 한다.
• 이중 격자 벡터 샘플링을 위한 새로운 기법을 도입하여, 인프라스트럭처의 숨겨진 주기적 구조를 활용해 $f$의 원상에 대한 주기적 양자 superposition를 생성한다.
• 기존 방법 대비 최소 $2^{n^2 - 1}$ 배 높은 성공 확률을 달성하는 새로운 샘플링 기법을 도입하여 이중 격자 $\Lambda^*$ 내의 벡터를 근사적으로 추정한다.
• Korkine-Zolotarev 기저 축소와 격자 근사 기법을 활용하여 근사 생성 집합을 $\Lambda$의 $\gamma$-근사 기저로 변환한다.
• 정확도와 높은 성공 확률을 확보하기 위해 여러 기술적 가정 (I)–(VIII)를 충족시키기 위해 양자 확률 증폭과 철저한 매개변수 조정을 조합한다.
• 격자 이론적 도구를 활용하여, 특히 $\lambda_1$과 $\det(\Lambda)$의 하한값을 고려하여, 전체 이중 격자 및 최대질량 부분 격자 생성의 확률을 엄밀하게 근사한다.

실험 결과

연구 질문

• RQ1 고정된 차원에서 인프라스트럭처의 이중 격자 벡터 샘플링에 대해 양자 알고리즘이 성공 확률을 지수적으로 향상시킬 수 있는가?
• RQ2 전역체에서 유도된 인프라스트럭처의 주기 격자 계산에 대한 정확한 실행 시간 복잡도는 무엇이며, $\det(\Lambda)$와 $n$에 대해 어떻게 척도가 변하는가?
• RQ3 이러한 알고리즘의 성공 확률과 실행 시간에 대해 엄밀하고 완전한 증명을 구성할 수 있는가? 이는 이전 연구의 격차를 메우는 데 기여한다.
• RQ4 수체계에서 유도된 인프라스트럭처의 경우, 차원 $n$에 대한 지수적 의존도는 피할 수 없는가? 함수체의 경우와 비교해보면 어떠한가?
• RQ5 기존 문헌에서 제시된 바와 비교해 상당히 향상된 명시적 성공 확률 하한값을 유도할 수 있는가?

주요 결과

• 제안된 알고리즘은 이중 격자 벡터 샘플링에 대해 이전 방법 대비 최소 $2^{n^2 - 1}$ 배 높은 성공 확률을 달성하며, 이는 새로운 샘플링 기법 덕분이다.
• 알고리즘의 실행 시간은 $ olimits\log \det(\Lambda)$에 대해 다항식이고 $n$에 대해 지수적이다. 이 복잡도의 상한에 대한 엄밀한 증명이 제공되었다.
• 기존 Hallgren, Schmidt, Vollmer의 연구에서 제시된 바와 비교해 상당히 강력한 성공 확률 하한값이 명시적으로 유도되었다.
• 함수체에서 유도된 인프라스트럭처의 경우, 문제는 아벨 숨겨진 부분군 문제로 효율적으로 축소되며, 이로 인해 $n$에 대해 지수적 의존도 없이 다항식 시간 내에 해결 가능하다.
• 반면, 수체계에서 유도된 인프라스트럭처의 경우, 이러한 필드 내 산술 연산의 본질적 복잡도로 인해 $n$에 대한 지수적 의존도는 피할 수 없다는 것이 입증되었다.
• 적절한 하한값이 $N$, $\det(\Lambda)$, $\lambda_1(\Lambda)$를 포함하는 식을 유도한 후 $q$가 그 조건을 충족할 경우, $\frac{1}{4q}$-근사 생성 집합으로부터 두 개의 $\Lambda^*$ 내 벡터를 이용해 주기 격자 $\Lambda$의 $\gamma$-근사 기저를 성공적으로 계산할 수 있다.