[論文レビュー] Encoded Universality in Physical Implementations of a Quantum Computer

Dave Bacon, Julia Kempe+3 more|arXiv (Cornell University)|Feb 27, 2001

Quantum Information and Cryptography参考文献 9被引用数 18

ひとこと要約

本論文は、固体系における交換相互作用などの物理的系の固有相互作用のみを用いて、符号化された量子情報を利用することで、量子計算の普遍性に関するパラダイム転換を提案する。ヒルベルト空間の部分空間にキュービットを符号化することで、自然な相互作用のリー代数的構造を介して普遍的ゲートセットを実現でき、交換相互作用では空間的オーバーヘッドが3倍にまで制限される。

ABSTRACT

We revisit the question of universality in quantum computing and propose a new paradigm. Instead of forcing a physical system to enact a predetermined set of universal gates (e.g., single-qubit operations and CNOT), we focus on the intrinsic ability of a system to act as a universal quantum computer using only its naturally available interactions. A key element of this approach is the realization that the fungible nature of quantum information allows for universal manipulations using quantum information encoded in a subspace of the full system Hilbert space, as an alternative to using physical qubits directly. Starting with the interactions intrinsic to the physical system, we show how to determine the possible universality resulting from these interactions over an encoded subspace. We outline a general Lie-algebraic framework which can be used to find the encoding for universality and give several examples relevant to solid-state quantum computing.

研究の動機と目的

• エンジニアド・ゲートセットに依存しない普遍性の再定式化を図り、自然な物理的相互作用に焦点を当てる。
• 交換相互作用などの固有相互作用が、量子情報を部分空間に符号化することで、普遍的量子計算を可能にするかを検討する。
• 自然ハミルトニアンから普遍的ダイナミクスを生じさせる符号化を同定するための一般的なリー代数的フレームワークを構築する。
• 符号化された普遍性が、特に固体系量子計算アーキテクチャにおいて最小限の空間的オーバーヘッドで達成可能であることを示す。
• 外部から強制的に導入されるゲートセットではなく、自然に存在する相互作用に基づくスケーラブルな量子コンピュータの設計基盤を確立する。

提案手法

• 離散的ゲートセットではなく、系の自然ハミルトニアンが生成するリー代数の観点から普遍性を定式化する。
• 量子エラー訂正符号を用いて、完全なヒルベルト空間の部分空間に論理キュービットを符号化し、符号化空間における普遍性を実現する。
• 複数キュービットにおける相互作用のリー代数の分解を分析し、符号化されたキュービットにおける普遍的ダイナミクスを支える非可約表現を同定する。
• 小さな符号化ブロック（例：3キュービット符号）のテンソル積を構築し、符号化キュービット上で普遍的2キュービットゲートをシミュレートする。
• 等方的および非等方的ヘイゼンベルク（XY）モデルにフレームワークを適用し、任意のキュービット数に対して符号化された普遍性が成立することを示す。
• 時間順序付き指数的時間発展を用いて、物理的ハミルトニアンとユニタリゲート操作を関連付け、普遍的回路のシミュレーションを可能にする。

実験結果

リサーチクエスチョン

• RQ1 外部のゲート設計を一切用いずに、物理系の固有相互作用のみで普遍的量子計算を達成できるか？
• RQ2 量子情報を部分空間に符号化する場合、固有相互作用が普遍性を実現するために満たすべき条件は何か？
• RQ3 ハミルトニアンのリー代数的構造をどのように用いることで、普遍的ダイナミクスを生じる符号化の存在を同定できるか？
• RQ4 交換相互作用などの特定の相互作用に対して、符号化された普遍性を達成するための最小空間的オーバーヘッドは何か？
• RQ5 同じ符号化フレームワークをヘイゼンベルクモデルに限らず、任意の物理的相互作用へ一般化できるか？

主な発見

• 交換相互作用のみを用いて、外部のCNOTや単一キュービットゲートの設計を一切行わずに、符号化された普遍性を達成可能である。
• 6キュービットにおける交換相互作用は、符号化キュービット上で普遍的2キュービット操作を支える非可約表現を含むリー代数の分解を生成する。
• 3キュービット符号で1つの論理キュービットを3つの物理キュービットに符号化することで、空間的オーバーヘッドが最大3倍にまで制限され、普遍性が達成可能である。
• 等方的および非等方的ヘイゼンベルクモデルにおいて、任意のキュービット数に対して符号化された普遍性が成立し、一般化可能性が示された。
• 交換相互作用を用いた符号化された普遍的ゲートの実装にかかる時間的オーバーヘッドは約10クロックサイクルと推定され、実用的実現可能性が示された。
• フレームワークにより、交換相互作用の最大空間的オーバーヘッドが漸近的に任意に小さくなることが明らかになった。これはスケーラビリティを示唆する。