[論文レビュー] Ancilla Driven Quantum Computation with arbitrary entangling strength

Kerem Halil Shah, Daniel K. L. Oi|arXiv (Cornell University)|Mar 8, 2013

Quantum Information and Cryptography参考文献 4被引用数 6

ひとこと要約

この論文は、CZ や SWAP·CZ といった特定のゲートに限定されない任意のエンタングリングゲートを用いても普遍的量子計算を実現できるように、アンシラ駆動量子計算（ADQC）を拡張している。段階的決定的性質を緩和し、反復的で成功を待つ確率的プロトコルと反復的測定を用いることで、任意のエンタングリング相互作用を用いた普遍的量子計算が達成可能となり、物理的実装の範囲が著しく広がりつつも、誤差許容度における対数的オーバーヘッドを維持している。

ABSTRACT

We extend the model of Ancilla Driven Quantum Computation (ADQC) by considering gates with arbitrary entangling power. By giving up stepwise determinism, universal QC can still be achieved through a variable length sequence of single qubit gates and probabilistic "repeat-until-success" entangling operations. This opens up a new range of possible physical implementations as well as shedding light on the sets of resources sufficient for universal QC.

研究の動機と目的

• CZ や SWAP·CZ といった特定のエンタングリングゲートに限定されない、アンシラ駆動量子計算（ADQC）の一般化を図ること。
• 特に結合強度が固定または調整不能な場合に、任意のエンタングリング相互作用を用いて普遍的量子計算を実現すること。
• 相互作用時間や強度に対する正確な制御の必要性を減らすために、確率的プロトコルを導入すること。
• アンシラ駆動モデルにおける制御の複雑さ、ゲートの忠実度、リソースのオーバーヘッドのトレードオフを調査すること。
• 単一キュービットゲートは決定的である一方で、2キュービットゲートと状態準備は確率的であるが、依然として普遍的であることを示すこと。

提案手法

• 反復的で成功を待つ戦略を用い、アンシラキュービットを繰り返し準備し、固定されたエンタングリング相互作用 $E_{AR}$ を介してレジスタキュービットとエンタングルさせ、レジスタにKraus作用素を誘発する基底で測定する。
• フィードバック付きの反復的測定を採用：アンシラが $|0\rangle$ を測定すればプロセスを継続し、$|1\rangle$ を測定すればプロセスを停止させ、レジスタ状態を目的の状態に射影する。
• 反復回数 $n$ は $n \geq \ln(\epsilon)/\ln(\cos(\theta/2))$ として計算され、最終状態の忠実度が目標状態から $\epsilon$ 以内に保証される。
• 基本的相互作用として $E_{AR} = (H_A \otimes H_R)C\text{-}T$ を用い、アンシラベースのユニタリ補正を適用することで、有効なゲート操作を達成する。
• プロトコルは、所望の誤差許容度 $\epsilon$ に対してステップ数に比例して対数的オーバーヘッドを持つ、射影測定の決定的近似を模倣することを設計している。
• このアプローチは、$\Delta(\alpha, 0, 0)$ クラスの任意の2キュービットゲートへ一般化可能であり、より高いエンタングリングパワーを持つ $\Delta(\alpha_x, \alpha_y, 0)$ クラスへの拡張も議論されている。

実験結果

リサーチクエスチョン

• RQ1 ADQCにおいて、CZ や SWAP·CZ とは限らない任意のエンタングリングゲートを用いて普遍的量子計算を達成できるか？
• RQ2 結合強度が固定で調整不能な場合、2キュービットゲートを実装するために必要な最小リソースコストは何か？
• RQ3 誤差が有界でかつ対数的オーバーヘッドを持つ高忠実度ゲート近似を達成するための確率的プロトコルはどのように設計できるか？
• RQ4 フィードバックや適応的測定基底選択は、反復的で成功を待つプロセスの効率を向上させられるか？
• RQ5 確率的ADQCフレームワークにおける有効なゲート合成を可能にする、エンタングリングゲートパラメータの幾何的条件は何か？

主な発見

• 論文は、特定のゲートに限定されず、$\Delta(\alpha, 0, 0)$ クラスに属する任意のエンタングリングゲートを用いても普遍的量子計算が達成可能であることを示している。これは段階的決定的性質の緩和に起因する。
• 目標忠実度 $\epsilon$ を達成するための反復回数は、$\epsilon$ に対して対数的にスケーリングされ、具体的には $n \geq \ln(\epsilon)/\ln(\cos(\theta/2))$ となる。ここで $\theta$ はエンタングリングゲートの角度パラメータである。
• 単一キュービットゲートは決定的であり、標準的なADQCプロトコルを用いて実装可能であるが、2キュービットゲートと状態準備は確率的であり、反復的で成功を待つプロトコルに依存する。
• 相互作用時間や強度に対する正確な制御の必要性が低減され、結合が固定された系（特定のイオントラップやスピン系など）への実装が可能になる。
• 反復的測定により、有限ステップ内で射影測定の決定的近似が達成される。
• このフレームワークは、エンタングリング相互作用が固定または調整が難しい物理系（NVセンター、量子ドット、光子系など）における新たな物理的実装の道を開く。