[논문 리뷰] Quantum Computing Discrete Logarithms with the Help of a Preprocessed State

Wim van Dam|ArXiv.org|2003. 11. 20.

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

한 줄 요약

이 논문은 순환군 G 위의 특수 초위상 상태인 사전 처리된 '카이 상태'를 사용하여 이산 로그 문제를 결정론적으로 해결하는 양자 알고리즘을 제시한다. 두 개의 양자 레지스터, 두 번의 푸리에 변환, 제어 나눗셈 연산을 통한 단계 킥백 메커니즘을 활용함으로써, 오차 없이 다항 시간 내에 이산 로그를 계산할 수 있으며, 카이 상태를 여러 쿼리에 걸쳐 재사용할 경우 쇼어 알고리즘보다 큐비트 수와 게이트 수에서 뛰어난 성능을 발휘한다.

ABSTRACT

An alternative quantum algorithm for the discrete logarithm problem is presented. The algorithm uses two quantum registers and two Fourier transforms whereas Shor's algorithm requires three registers and four Fourier transforms. A crucial ingredient of the algorithm is a quantum state that needs to be constructed before we can perform the computation. After one copy of this state is created, the algorithm can be executed arbitrarily many times.

연구 동기 및 목표

• 쇼어 알고리즘보다 더 효율적인 이산 로그 문제를 위한 양자 알고리즘을 개발하기 위해.
• 정확한 이산 로그 계산을 위해 필요한 양자 레지스터 수와 푸리에 변환 수를 줄이기 위해.
• 반복적으로 사용할 수 있는 특수한 양자 상태('카이 상태')를 사전 계산하여 결정론적 계산을 가능하게 하기 위해.
• 일般적으로 정확한 쇼어 알고리즘 버전에서 필요로 하는 앰플리튜드 증폭을 피하여 알고리즘을 단순화하기 위해.
• 카이 상태가 효율적으로 준비되고 복제될 수 있으며, 여러 계산 간에 공유될 수 있음을 보여주기 위해.

제안 방법

• ζ_m = e^{2πi/m}일 때, 1/√m ∑_{r=0}^{m-1} ζ_m^r |g^r⟩ 형태의 '카이 상태' |χ⟩를 확률적이지만 효율적인 준비 절차를 통해 사전 계산한다.
• 제어 나눗셈 연산자 D_x를 사용하여 곱셈적 단계 킥백을 구현한다: D_x |α⟩|χ⟩ ↦ ζ_m^{αp} |α⟩|χ⟩, 여기서 p = log_g(x).
• 첫 번째 레지스터에 대해 ℤ/mℤ 위의 양자 푸리에 변환(QFT)을 적용하여 이산 로그를 계산 기저에 인코딩한다.
• 첫 번째 레지스터에 대해 역 QFT를 수행하여 상태를 |log_g(x)⟩로 붕괴시켜 정확히 이산 로그를 노출시킨다.
• 카이 상태가 유지되고 D^1을 통해 복제 가능하므로, 여러 이산 로그 쿼리에 걸쳐 재사용 가능하다는 점을 활용한다.
• 반정적 클래스의 푸리에 변환을 사용하여 첫 번째 레지스터를 단일 큐비트로 줄여 큐비트 오버헤드를 최소화하며, 추가 측정을 수반한다.

실험 결과

연구 질문

• RQ1 특수한 양자 상태를 사전 계산함으로써 쇼어 알고리즘보다 더 적은 양자 자원을 사용하여 이산 로그 문제를 해결할 수 있는가?
• RQ2 앰플리튜드 증폭에 의존하지 않고 결정론적 해답을 달성할 수 있는가?
• RQ3 양자 알고리즘에서 덧셈군 구조에서의 단계 킥백 메커니즘을 곱셈군 구조로 어떻게 일반화할 수 있는가?
• RQ4 '카이 상태'를 준비하고 여러 이산 로그 인스턴스에 재사용하는 데 드는 계산 비용은 얼마인가?
• RQ5 군의 구조와 카이 상태의 성질을 활용함으로써 푸리에 변환 수와 큐비트 수를 줄일 수 있는가?

주요 결과

• 알고리즘은 ℤ/mℤ 위에서 두 개의 양자 레지스터와 두 번의 푸리에 변환만을 요구하여, 쇼어 알고리즘의 세 레지스터, 네 번의 푸리에 변환 설계에 비해 자원 오버헤드를 줄였다.
• 카이 상태 |χ⟩는 기댓값 시간 poly(log m) 내에 오차 확률 0으로 준비되며, 추가 비용 없이 복제 가능하다.
• QFT와 카이 상태가 정확히 구현될 경우, 이산 로그 p = log_g(x)는 확률 1로 정확히 계산된다.
• D_x를 통한 단계 킥백 메커니즘은 ζ_m^{αp} 단계를 유도하여, 이산 로그 p를 푸리에 변환된 상태에 인코딩한다.
• 카이 상태는 무제한으로 재사용 가능하므로, 동일한 군 G에 대해 여러 이산 로그 인스턴스를 해결할 경우 특히 효율적이다.
• 반정적 클래스의 푸리에 변환을 사용하면 첫 번째 레지스터를 단일 큐비트로 줄일 수 있으며, 총 측정 수는 log m로 제한되며, 표준 반정적 클래스 접근 방식의 2 log m보다 적다.