[논문 리뷰] Generalization of the Deutsch algorithm using two qudits

José L. Cereceda|ArXiv.org|2004. 07. 29.

Fractal and DNA sequence analysis참고 문헌 1인용 수 7

한 줄 요약

이 논문은 델류이의 양자 알고리즘을 차원 $ d = 2^n $인 두 개의 큐디트로 일반화하여, 단일 쿼리로 함수가 상수인지 균형인지 결정적으로 판별할 수 있도록 한다—베른슈타인-바지라니 및 델류이-조자 알고리즘과 동일한 효율성을 달성하지만, $ n $ 큐비트 대신 단일 제어 큐디트를 사용한다. 이 방법은 완전히 얽힘을 피하며, 제어 유니터리 게이트 $ U_f $를 통한 단계 킥백 메커니즘을 활용하여, 단일 $ d $-레벨 시스템이 $ n $ 큐비트와 동일한 계산 능력을 지닌다는 것을 보여준다.

ABSTRACT

Deutsch's algorithm for two qubits (one control qubit plus one auxiliary qubit) is extended to two $d$-dimensional quantum systems or qudits for the case in which $d$ is equal to $2^n$, $n=1,2,...$ . This allows one to classify a certain oracle function by just one query, instead of the $2^{n-1}+1$ queries required by classical means. The given algorithm for two qudits also solves efficiently the Bernstein-Vazirani problem. Entanglement does not occur at any step of the computation.

연구 동기 및 목표

• 델류이의 원래 두 큐비트 알고리즘을 더 높은 차원의 양자 시스템(큐디트)로 확장하여 효율성을 향상시키는 것.
• 함수 $ f $의 일반화된 델류이 문제를 해결할 때, 단일 $ d $-레벨 큐디트($ d = 2^n $)가 $ n $ 큐비트의 계산 능력을 모방할 수 있음을 보여주는 것.
• 이 맥락에서 얽힘을 요구하지 않아도 양자 가속을 달성할 수 있음을 보여주어 원래의 델류이-조자 알고리즘과 대비하는 것.
• 단일 입자 큐디트 시스템이 확장 가능하고 낮은 얽힘을 가진 양자 계산의 기초로 사용될 수 있는지 탐색하는 것.

제안 방법

• 알고리즘은 두 큐디트를 사용한다: 제어 큐디트는 초위상 상태 $ |0_H\rangle = \frac{1}{\sqrt{d}}\sum_{x=0}^{d-1}|x\rangle $ 에 있고, 보조 큐디트는 상태 $ |1_H\rangle = \frac{1}{\sqrt{d}}\sum_{x=0}^{d-1}(-1)^{f(x)}|x\rangle $ 에 있다.
• 제어 유니터리 게이트 $ U_f $가 적용되며, 정의에 따르면 $ U_f|x\rangle|y\rangle = |x\rangle|y \oplus f(x)\rangle $ 로, 함수 값에 따라 제어 큐디트에 단계 반전을 유도한다.
• $ U_f $는 제어 큐디트 자체의 얽힘을 유도하지 않고, 오직 단계 킥백을 통해 제어 및 보조 큐디트를 얽힌다.
• 제어 큐디트에 하다마드 변환을 적용한 후 상태를 측정하면, $ f $가 상수인지 균형인지 판별할 수 있다: $ |0_H\rangle $ 는 상수를, 수직 상태는 균형을 의미한다.
• 이 방법은 다가치 함수 $ f: \{0,\dots,d-1\} \to \{0,\dots,d-1\} $ 로 일반화 가능하며, 동일한 단계 상태 분석을 통해 상수 또는 균형 성질을 결정할 수 있다.
• 보조 큐디트를 제거하여 시스템을 단일 $ d $-레벨 큐디트로 단순화하고, $ f $-제어 단계 게이트 $ U_f|x\rangle = (-1)^{f(x)}|x\rangle $ 를 사용함으로써, 단일 입자 양자 계산 모델을 실현한다.

실험 결과

연구 질문

• RQ1 델류이 알고리즘은 차원 $ d = 2^n $인 큐디트로 일반화되어, 더 적은 물리적 시스템으로도 양자 가속을 유지할 수 있는가?
• RQ2 제어 레지스터에서의 얽힘 부재가 일반화된 델류이 문제 해결 능력에 영향을 주는가?
• RQ3 차원 $ d = 2^n $인 단일 큐디트가 상수/균형 함수 문제를 해결할 때 $ n $ 큐비트의 행동을 모방할 수 있는가?
• RQ4 다가치 논리와 고차원 양자 시스템의 사용이 양자 알고리즘 설계 및 효율성에 어떤 영향을 미치는가?
• RQ5 큐디트 시스템에서의 단계 킥백 메커니즘은 다가치 함수의 패리티 분류와 같은 더 넓은 문제 범주를 해결하는 데 확장될 수 있는가?

주요 결과

• 함수 $ f: \{0,\dots,d-1\} \to \{0,1\} $ 에 대해 일반화된 델류이 문제를 단일 쿼리로 해결하며, 제어 레지스터에서의 얽힘 없이도 결정적인 결과를 얻는다.
• $ d = 2^n $일 때, 단일 큐디트는 $ n $ 큐비트와 동일한 계산 능력을 지닌다. 둘 다 $ 2^n $차원 힐베르트 공간을 가진다.
• 이 방법은 완전히 얽힘을 피하며, 일반적으로 다수의 큐비트에서 얽힘을 요구하는 원래의 델류이-조자 알고리즘과 대비된다.
• 동일한 단계 킥백 메커니즘을 사용하여, 숨겨진 선형 함수를 한 번의 쿼리로 식별함으로써 베른슈타인-바지라니 문제를 효율적으로 해결한다.
• 다가치 함수 $ f: \{0,\dots,d-1\} \to \{0,\dots,d-1\} $ 로 일반화되었을 때, 변환된 제어 큐디트 상태의 측정을 통해 상수 또는 균형 패리티를 결정할 수 있다.
• 개선된 알고리즘 버전은 단일 $ d $-레벨 큐디트와 단계 전용 게이트 $ U_f|x\rangle = (-1)^{f(x)}|x\rangle $ 만을 사용하여, 단일 입자 양자 계산 모델을 실현한다.