[논문 리뷰] Quantum Computing and Zeroes of Zeta Functions

Wim van Dam|ArXiv.org|2004. 05. 17.

Quantum Computing Algorithms and Architecture참고 문헌 21인용 수 11

한 줄 요약

이 논문은 유한체 위의 페르마 초곡면과 관련된 제타 함수의 비자명한 영점을 효율적인 양자 회로의 고유값으로 모델링하는 양자 알고리즘 프레임워크를 제안한다. 가우스 합에서 유도된 유니터리 연산자에 대한 양자 위상 추정을 활용함으로써, 특정 매개변수 영역에서는 고전적 방법으로는 도달할 수 없는 정밀도로 다항방정식의 해를 근사적으로 세는 것이 가능해지며, 이는 대각선(페르마) 방정식에 대해 실현 가능함을 보여준다.

ABSTRACT

A possible connection between quantum computing and Zeta functions of finite field equations is described. Inspired by the 'spectral approach' to the Riemann conjecture, the assumption is that the zeroes of such Zeta functions correspond to the eigenvalues of finite dimensional unitary operators of natural quantum mechanical systems. The notion of universal, efficient quantum computation is used to model the desired quantum systems. Using eigenvalue estimation, such quantum circuits would be able to approximately count the number of solutions of finite field equations with an accuracy that does not appear to be feasible with a classical computer. For certain equations (Fermat hypersurfaces) it is show that one can indeed model their Zeta functions with efficient quantum algorithms, which gives some evidence in favor of the proposal of this article.

연구 동기 및 목표

• 유한체 위의 다양체의 제타 함수 영점에 대한 스펙트럼적 해석을 양자역학적 시스템의 고유값으로 모델링하고자 한다.
• 양자 계산과 유한체 위의代數다양체의 유리점 수 계산 간의 연결 고리를 구축하고자 한다.
• 유한체 위의 다항방정식의 해의 수를 근사하는 효율적인 양자 알고리즘을 개발하고자 한다.
• 다항식의 차수와 체의 크기 사이에 상대적으로 작은 차수를 가질 경우, 양자 알고리즘이 고전적 방법보다 근사적 점 수 계산에서 뛰어난 성능을 보일 수 있음을 입증하고자 한다.
• 힐베르트-폴리아의 접근 방식(리만 제타 함수에 기반)을 확장하여, 유한체 다양체의 제타 함수에 적용 가능한 스펙트럼적 접근을 제시하고자 한다.

제안 방법

• 논문은 초곡면의 제타 함수의 비자명한 영점을 효율적인 양자 회로로 실행 가능한 유니터리 변환의 고유값으로 모델링한다.
• 가우스 합과 그들의 양자 추정을 활용하여, 페르마 초곡면의 제타 함수의 근과 대응되는 고유값을 갖는 유니터리 연산자를 구성한다.
• 유니터리 연산자의 추적을 추정하기 위해 양자 위상 추정을 적용하며, 이는 해의 수가 사영 평면의 기대값에서 벗어남과 직접적으로 관련된다.
• 점 수 계산의 근사 오차는 $ \sqrt{q^{n-1}} \cdot \deg(f)^n \cdot \varepsilon $ 이며, 여기서 $ \varepsilon $ 는 위상 추정의 정밀도이다.
• 알고리즘의 시간 및 공간 복잡도는 $ \mathrm{poly}(1/\varepsilon, \log q, n\log(\deg(f))) $ 의 비율로 증가하여, 고려된 매개변수 영역에서 효율적임을 보여준다.
• 구성은 사영 다양체의 대수기하학과 제타 함수의 함수방정식을 활용하여, 고유값과 점 수 간의 추적 공식을 유도한다.

실험 결과

연구 질문

• RQ1 유한체 위의 다양체의 제타 함수의 비자명한 영점을 효율적인 양자 회로로 실행 가능한 유니터리 연산자의 고유값으로 해석할 수 있는가?
• RQ2 어떤 다항방정식의 클래스에서 이러한 양자 회로를 명시적으로 구성할 수 있는가?
• RQ3 양자 알고리즘은 고전적 방법보다 더 높은 정밀도 또는 더 낮은 복잡도로 다양체 위의 유리점 수를 근사적으로 계산할 수 있는가?
• RQ4 양자 회로의 고유값과 해의 수가 기준 수(예: 사영 평면)에서의 기대값에서 벗어남 사이의 관계는 무엇인가?
• RQ5 근사적 점 수 계산에서 양자 접근 방식이 고전 알고리즘을 능가하는 조건은 무엇인가?

주요 결과

• 대각선 다항식으로 정의된 페르마 초곡면의 경우, 제타 함수의 비자명한 영점과 대응되는 고유값을 갖는 효율적인 양자 회로를 구성할 수 있다.
• 양자 알고리즘은 $ \mathbb{F}_q $ 위에서의 유리점 수를 근사적으로 세며, 오차 범위가 $ \sim \sqrt{q^{n-1}} \cdot \deg(f)^n \cdot \varepsilon $ 이다. 여기서 $ \varepsilon $ 는 위상 추정의 정밀도이다.
• 알고리즘의 복잡도는 $ \log q $, $ n $, $ \log(\deg(f)) $ 에 대해 다항식 비율로 증가하므로, 주어진 매개변수 영역에서 효율적임을 나타낸다.
• 특히 $ \deg(f) < \sqrt{q} $ 인 경우, $ \deg(f)^n $ 이 $ q $ 에 비해 지수적으로 클 때, 고전적 샘플링 기반 추정보다 성능이 뛰어나다.
• 유니터리 연산자 $ U_H $ 의 추적은 해의 수 $ N_s $ 가 사영 평면의 기대값에서 벗어남과 직접적으로 관련되어 있으며, 정밀한 추정이 가능하다.
• 이 구성은 양자 컴퓨팅에서 제타 함수의 스펙트럼적 접근에 대한 구체적인 실현을 제공하며, 대수기하학 계산에서 양자 우월성의 잠재적 길을 열어준다.