[論文レビュー] Encoded universality from a single physical interaction

Julia Kempe, Dave Bacon+2 more|arXiv (Cornell University)|Dec 1, 2001

Quantum Computing Algorithms and Architecture参考文献 11被引用数 45

ひとこと要約

本論文は、1つの物理的相互作用、具体的には異方的交換（XY）相互作用を用いた量子計算における符号化された普遍性の条件を確立する。Lie代数的解析と高次元系へのクーディット符号化を活用することで、著者らは、qutritを用いることで普遍性を達成できることを示し、qubitsではなくqutritsが普遍性の最小符号化であることを明らかにした。これは、等方的（ヘイゼンベルグ）交換の先行研究を拡張し、符号化系におけるフォールトトレランスとリークの問題に対処する。

ABSTRACT

We present a theoretical analysis of the paradigm of encoded universality, using a Lie algebraic analysis to derive specific conditions under which physical interactions can provide universality. We discuss the significance of the tensor product structure in the quantum circuit model and use this to define the conjoining of encoded qudits. The construction of encoded gates between conjoined qudits is discussed in detail. We illustrate the general procedures with several examples from exchange-only quantum computation. In particular, we extend our earlier results showing universality with the isotropic exchange interaction to the derivation of encoded universality with the anisotropic exchange interaction, i.e., to the XY model. In this case the minimal encoding for universality is into qutrits rather than into qubits as was the case for isotropic (Heisenberg) exchange. We also address issues of fault-tolerance, leakage and correction of encoded qudits.

研究の動機と目的

• 1つの物理的相互作用が符号化されたクーディットを介して普遍的量子計算を可能にする条件を特定すること。
• 等方的（ヘイゼンベルグ）交換に関する先行研究を、異方的（XY）交換相互作用に拡張すること。
• XYモデルにおいて普遍性を達成するための最小符号化としてqutrit（3状態量子ビット）がqubit（2状態量子ビット）よりも適切であることを確立すること。
• テンソル積構造を用いて連結されたクーディット間の符号化ゲートを構築するフレームワークを開発すること。
• 符号化されたクーディット系におけるフォールトトレランス、リーク、エラー補正の問題に取り組むこと。

提案手法

• 1つの相互作用ハミルトニアンから普遍性のための数学的条件を導出するため、Lie代数的解析を用いる。
• 量子回路モデルのテンソル積構造を用いて、符号化されたクーディットの結合を定義する。
• 相互作用の代数的性質を活用して、連結されたクーディット間の符号化量子ゲートを構築する。
• 特にXYモデルを用いた交換のみの量子計算にこのフレームワークを適用する。
• 得られた符号化スキームを用いて、符号化されたクーディット系におけるフォールトトレランスとリークを分析する。
• 代数的および符号化技術を用いて、等方的交換に関する先行研究を異方的交換相互作用へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、XY相互作用のような1つの物理的相互作用が、符号化されたクーディットを介して普遍的量子計算を可能にするのか？
• RQ2 なぜXYモデルにおける普遍性の最小符号化がqutrit（3状態）であり、qubit（2状態）ではないのか？
• RQ3 テンソル積構造を用いて、連結されたクーディット間の符号化ゲートを体系的に構築する方法は何か？
• RQ4 交換のみの量子計算における符号化クーディットの使用が、フォールトトレランスとリーク補正に与える影響は何か？
• RQ5 Lie代数的フレームワークは、1つの相互作用から普遍性の条件を導出するためにどのように機能するのか？

主な発見

• XYモデルにおける普遍性は、等方的（ヘイゼンベルグ）交換と同様にqubitではなく、qutritへの符号化によって達成可能である。
• Lie代数的フレームワークは、1つの物理的相互作用から符号化された普遍性の条件を導出する一般的手法を提供する。
• 連結されたクーディット間の符号化ゲートは、量子回路モデルのテンソル積構造を用いて体系的に構築可能である。
• このフレームワークは、符号化クーディット系におけるリークとエラー補正メカニズムを統合することで、フォールトトレランス型量子計算を可能にする。
• 本研究の結果は、等方的交換に関する先行研究を異方的交換に拡張し、符号化クーディットを用いたXYモデルにおける普遍性を実証した。
• XYモデルにおける普遍性の最小符号化次元は3であり、これは相互作用の代数的構造に起因する。