[論文レビュー] Generalization of the Deutsch algorithm using two qudits

José L. Cereceda|ArXiv.org|Jul 29, 2004

Fractal and DNA sequence analysis参考文献 1被引用数 7

ひとこと要約

本論文は、デュービットの量子アルゴリズムを次元 $ d = 2^n $ の2つのクイジットに一般化し、1回のクエリで関数が定数かバランス型かを決定的に特定可能にした。これはベアンシュタイン＝ヴァジラニとデュービット＝ジョーズァのアルゴリズムと同等の効率を達成するが、$ n $ 量子ビットではなく1つの制御クイジットを用いる。この手法は完全にエンタングルメントを回避し、制御ユニタリゲート $ U_f $ を介した位相キックバックメカニズムを活用しており、1つの $ 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.

研究の動機と目的

• デュービットの元々の2量子ビットアルゴリズムを、より高い次元の量子系（クイジット）に拡張し、効率を向上させること。
• 関数 $ f $ が定数かバランス型かを識別するという一般化されたデュービット問題において、$ d = 2^n $ の1つの $ d $-準位クイジットが $ n $ 量子ビットと同等の計算能力を発揮できることを示すこと。
• この文脈において、エンタングルメントが存在しない場合でも量子高速化を達成できることを示し、元々のデュービット＝ジョーズァのアルゴリズムとは対照的にすること。
• 単一粒子クイジット系が、スケーラブルで低エンタングルメントの量子計算の基盤として実現可能かどうかを検討すること。

提案手法

• アルゴリズムは2つのクイジットを使用する：1つは制御クイジットで、状態 $ |0_H\rangle = \frac{1}{\sqrt{d}}\sum_{x=0}^{d-1}|x\rangle $ の重ね合わせ状態にあり、もう1つは補助クイジットで、状態 $ |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\} $ のような多値関数へも一般化可能であり、同じ位相状態解析によって定数またはバランス型のパリティが特定できる。
• 補助クイジットを排除する形でアルゴリズムを再定式化し、$ f $-制御位相ゲート $ U_f|x\rangle = (-1)^{f(x)}|x\rangle $ を用いた1つの $ d $-準位クイジットにまで簡略化することで、単一粒子量子計算モデルを実現できる。

実験結果

リサーチクエスチョン

• RQ1 次元 $ d = 2^n $ のクイジットにデュービットのアルゴリズムを一般化することで、物理的システムの数を減らしながらも量子高速化を維持できるか？
• RQ2 制御レジスタにエンタングルメントが存在しない場合、一般化されたデュービット問題を解く能力に影響を与えるか？
• RQ3 次元 $ d = 2^n $ の1つのクイジットが、定数／バランス関数問題を解くという点で $ n $ 量子ビットの動作を模倣できるか？
• RQ4 多値論理と高次元量子系の使用が、量子アルゴリズムの設計と効率に与える影響は何か？
• RQ5 クイジット系における位相キックバックメカニズムを、多値関数のパリティ分類のようなより広範な問題クラスに拡張できるか？

主な発見

• 関数 $ f: \{0,\dots,d-1\} \to \{0,1\} $ に対して、1回のクエリで一般化されたデュービット問題を解き、制御レジスタにエンタングルメントが存在しない決定的結果を得た。
• $ d = 2^n $ の場合、1つのクイジットは $ n $ 量子ビットと同等の計算能力を有する。両者とも次元 $ 2^n $ のヒルベルト空間を持つためである。
• この手法は完全にエンタングルメントを回避しており、通常複数の量子ビットの間でエンタングルメントを必要とするデュービット＝ジョーズァのアルゴリズムとは対照的である。
• 同じ位相キックバックメカニズムを用いることで、隠れた線形関数を1回のクエリで特定するベアンシュタイン＝ヴァジラニ問題を効率的に解ける。
• 関数 $ f: \{0,\dots,d-1\} \to \{0,\dots,d-1\} $ のような多値関数に対しても一般化可能であり、変換後の制御クイジット状態の測定により、定数またはバランス型のパリティを特定できる。
• 改良版のアルゴリズムでは、位相のみのゲート $ U_f|x\rangle = (-1)^{f(x)}|x\rangle $ を用いた1つの $ d $-準位クイジットのみで構成され、単一粒子量子計算モデルを実現できる。