[논문 리뷰] A Generalization of Bernstein-Vazirani Algorithm to Qudit Systems

R Narayanan Krishna, Vishesh Makwana외 1명|arXiv (Cornell University)|2016. 09. 11.

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

한 줄 요약

이 논문은 이원수 시스템(d=2)에서의 Bernstein-Vazirani 양자 알고리즘을 다중수준 양자 시스템(qudit 시스템, d-레벨 양자 시스템)으로 일반화한다. 큐비트 기반 Hadamard 게이트를 일반화된 이산 푸리에 변환(DFT) 게이트로 대체하며, 숨겨진 문자열 s의 위상 인코딩을 가진 초위상 상태를 구성한 후, DFT 기반 푸리에 샘플링을 통해 단일 쿼리 내에 s를 추출한다. 이로써 고차원에서도 일정한 쿼리 복잡도 Ω(1)을 달성한다.

ABSTRACT

A quantum algorithm to solve the parity problem is better than its most efficient classical counter- part with a separation that is polynomial in the number of queries. This was shown by E. Bernstein and U. Vazirani and was one of the earliest indications that the quantum information processing can outperform the classical one by a significant margin. The problem and its solution both is usually stated for a 2-level system since we generally work with bits/qubits. However, many works have been done generalizing known quantum computing techniques to higher level systems. Following this, we look at a generalization of the Bernstein-Vazirani algorithm implemented on a general qudit system.

연구 동기 및 목표

• 큐비트 기반 시스템(d=2)에서의 Bernstein-Vazirani 알고리즘을 임의의 차원 d를 가진 qudit 시스템으로 확장한다.
• 숨겨진 문자열 s가 함수 f_s(x) = s·x mod d에 의해 정의되는 Z_d^n 위에서의 일반화된 파리티 문제를 정의한다.
• 숨겨진 문자열 s를 오рак루의 단일 쿼리만을 사용하여 식별하는 양자 알고리즘을 구축하여 기존의 지수적 양자 우월성을 일반화한다.
• 일반화된 양자 상태 |ψ_s⟩ = 1/√(d^n) Σ_x ω^{s·x} |x⟩ 가 DFT를 통해 준비되고 측정되어 s를 복구할 수 있음을 보여준다.
• s ≠ t 일 때 상태 |ψ_s⟩ 와 |ψ_t⟩ 가 직교함을 확립하여, 푸리에 샘플링을 통한 명확한 상태 구분이 가능함을 보장한다.

제안 방법

• 숨겨진 문자열 s가 주어진 일반화된 오라클 f_s: {0,1,...,d−1}^n → {0,1,...,d−1} 를 정의하며, f_s(x) = s·x mod d 이다.
• 초기 상태로 |Ψ⟩ = 1/√(d^n) Σ_x |x⟩ 를 구성하기 위해, |0⟩^⊗n 에 일반화된 DFT 게이트 (F^⊗n) 를 적용한다.
• 오라클 f_s(x) 를 제어로 사용하고, 목표 큐딧을 상태 |ϕ⟩ = Σ_{j=0}^{d-1} ω^{d-j} |j⟩ 에 놓는 제어 위상 연산을 적용한다. 여기서 ω = e^{2πi/d} 이다.
• SUM 게이트(모듈로 d 덧셈) 를 제어 큐딧 i 에 적용할 경우, 위상 이동 ω^i 가 발생하며, 이는 f_s(x) 가 상태에 위상으로 인코딩됨을 의미한다.
• 최종 상태는 위상 ω^{s·x} 를 가진 |Ψ⟩ ⊗ |ϕ⟩ 가 되며, 이는 상태 |ψ_s⟩ = 1/√(d^n) Σ_x ω^{s·x} |x⟩ 와 동일하다.
• |ψ_s⟩ 에 대해 역 DFT (F^⊗n) 를 적용하면, |ψ_s⟩ 가 |s⟩ 로 매핑되며, 이로써 숨겨진 문자열 s 를 확률 1로 측정할 수 있다.

실험 결과

연구 질문

• RQ1 Bernstein-Vazirani 알고리즘이 d > 2 인 qudit 시스템으로 일반화될 수 있는가?
• RQ2 f_s(x) = s·x mod d 의 일반화된 오라클 함수의 구조는 무엇이며, 양자 가속에 필요한 선형성은 어떻게 유지되는가?
• RQ3 오라클에 대한 단일 쿼리만을 사용하여 양자 상태 |ψ_s⟩ = 1/√(d^n) Σ_x ω^{s·x} |x⟩ 를 효율적으로 준비할 수 있는가?
• RQ4 s ≠ t 일 때 상태 |ψ_s⟩ 와 |ψ_t⟩ 가 직교하는가? 이는 명확한 상태 구분을 보장하는가?
• RQ5 일반화된 알고리즘의 양자 쿼리 복잡도는 얼마이며, 원래 큐비트 버전의 일정한 복잡도 Ω(1) 을 유지하는가?

주요 결과

• 일반화된 Bernstein-Vazirani 알고리즘은 qudit 시스템에서 Ω(1) 의 양자 쿼리 복잡도를 달성하며, 원래 큐비트 사례와 동일하다.
• 상태 |ψ_s⟩ = 1/√(d^n) Σ_x ω^{s·x} |x⟩ 는 오라클 f_s 에 대한 단일 쿼리와 목표 큐딧이 상태 |ϕ⟩ 에 있는 제어 위상 연산을 통해 구성된다.
• s ≠ t 일 때 상태 |ψ_s⟩ 와 |ψ_t⟩ 는 ⟨ψ_s|ψ_t⟩ = δ_{s,t} 로 직교함을 보여, 완벽한 구분 가능성을 보장한다.
• 역 DFT (F^⊗n) 를 통한 푸리에 샘플링은 |ψ_s⟩ 를 |s⟩ 로 매핑하여, 단일 쿼리 내에 숨겨진 문자열 s 를 정확히 복구할 수 있다.
• 알고리즘은 큐비트 기반 Hadamard 변환을 d-차원 DFT 로 일반화하여, 쿼리 복잡도에서의 양자 우월성을 유지한다.
• 구성은 ∑_x ω^{x·(s−t)} = d^n δ_{s,t} 라는 대수적 성질에 기반하며, 이는 직교성과 명확한 상태 식별을 가능하게 한다.