[논문 리뷰] Quantum Algorithm for Generalized Deutsch-Jozsa Problem

Dong Pyo, Jinsoo Kim외 1명|ArXiv.org|2000. 05. 16.

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

한 줄 요약

이 논문은 Z_N에서 Z_M로 사상하는 함수로 Deutsch-Jozsa 문제를 일반화하며, 단 한 번의 평가만으로 함수가 비상수인지 또는 균일하게 분포되어 있지 않은지를 결정하는 양자 알고리즘을 제안한다. 이 알고리즘은 분리 가능한 보조 큐비트 레지스터를 통해 제어 단계의 위상 킵백 메커니즘을 활용하여 초기화된 보조 큐비트가 필요로 하지 않으며, 양자 푸리에 변환과 간섭 연산 이후 제어 레지스터의 출력 상태를 측정하여 정확한 분류를 달성한다.

ABSTRACT

We generalize the Deutsch-Jozsa problem and present a quantum algorithm that can solve the generalized Deutsch-Jozsa problem by a single evaluation of a given function. We discuss the initialization of an auxiliary register and present a generalized Deutsch-Jozsa algorithm that requires no initialization of an auxiliary register.

연구 동기 및 목표

• 원래의 Deutsch-Jozsa 문제를 Z_2가 아니라 Z_M에 값이 속하는 함수로 확장하기.
• 단 한 번의 함수 평가로만 문제를 해결할 수 있는 양자 알고리즘 개발을 통해 양자 우월성을 유지하기.
• 기존 Deutsch-Jozsa 설정에서 보조 레지스터를 초기화할 필요를 제거하기.
• Z_M에서 균일하게 분포된 함수로의 '균형 잡힌 함수' 개념의 일반화를 통해 동일 크기의 원상역 집합을 가짐.
• 보조 레지스터가 |−⟩ 상태가 아니더라도 분리 가능한 양자 초위상 상태로 준비된 경우에도 알고리즘이 작동함을 보여주기.

제안 방법

• 함수 f: Z_N → Z_M가 K개의 등간격 값으로 사상하고, 각 값에 대한 원상역 크기가 ν = N/K로 동일할 경우, 이를 균일하게 분포된 함수로 정의함.
• 제어 레지스터는 |0^n⟩으로 초기화하고, 보조 레지스터는 일반적인 분리 가능한 초위상 상태 |Ψ⟩ = ⊗_j (a_j|0⟩ + b_j|1⟩)로 준비함.
• 함수에 의존하는 위상 이동을 유도하기 위해 다음 순서의 연산을 적용: W_n ⊗ I → U_f^⊕ → I ⊗ σ_z^⊗m → U_f^⊕ → I ⊗ σ_z^⊗m → W_n ⊗ I.
• 위상 이동은 Z_M → Z_2^m로의 파리티 함수 p를 통해 인코딩되며, f(x)의 이진 표현을 취하고 p(f(x))가 비트 단위 XOR을 계산함.
• 최종 측정에서 상수 함수와 균일하게 분포된 함수 간의 차이를 증폭하기 위해 양자 푸리에 변환과 간섭을 활용함.
• f가 상수일 경우 최종 상태는 |0^n⟩으로 정확히 붕괴하고, 그 확률 진폭은 1이 되며, f가 균일하게 분포된 경우 |0^n⟩의 확률 진폭은 정확히 0이 됨.

실험 결과

연구 질문

• RQ1 Deutsch-Jozsa 알고리즘은 Z_M의 비이진 출력을 갖는 함수로 일반화될 수 있는가?
• RQ2 양자 간섭을 활용하여 일반화된 문제를 단 한 번의 함수 평가로 해결할 수 있는가?
• RQ3 일반화된 알고리즘에서 보조 레지스터를 초기화할 필요를 제거할 수 있는가?
• RQ4 Z_M의 출력을 갖는 함수에 대해 '균형 잡힌' 개념은 어떻게 확장되어야 하는가?
• RQ5 보조 레지스터가 벨 상태가 아니면 위상 킵백 메커니즘의 역할은 무엇인가?

주요 결과

• 일반화된 알고리즘은 f: Z_N → Z_M가 비상수이거나 균일하게 분포되어 있지 않은지 단 한 번의 f 평가로 결정할 수 있다.
• f가 상수일 경우 제어 레지스터의 최종 상태는 |0^n⟩으로 확률 진폭 1로 붕괴되며, 측정 결과는 반드시 |0^n⟩이 된다.
• f가 균일하게 분포된 경우 최종 상태에서 |0^n⟩의 확률 진폭은 정확히 0이므로, 결과 |0^n⟩은 절대 발생하지 않는다.
• 보조 레지스터가 |−⟩ 상태로 준비되지 않은 일반적인 분리 가능한 초위상 상태로 준비된 경우에도 알고리즘이 유효하게 유지된다.
• 이 방법은 보조 큐비트 초기화 없이도 임의의 파리티 함수 p: Z_M → Z_2^m로 일반화된 위상 킵백 메커니즘을 가능하게 하여 함수에 의존하는 위상 이동을 유도한다.
• 알고리즘은 원래 Deutsch-Jozsa 알고리즘과 동일한 양자 우월성을 달성하며, 최악의 경우 고전적 방법이 N/2 + 1번의 평가가 필요한 것을 한 번의 쿼리로 해결한다.