[論文レビュー] Topological Adiabatic Quantum Computation

Alioscia Hamma, Daniel A. Lidar|arXiv (Cornell University)|Jul 21, 2006

Topological and Geometric Data Analysis被引用数 1

ひとこと要約

この論文は、nキュービットのトポロジカルに秩序されたモデルの基底状態をO(√n)時間で準備するトポロジカルな断熱的量子計算プロトコルを示している。このプロトコルは閉じたストリングの重ね合わせを活用し、4つの可換測定を用いることで、古典的にO(n)の計算量を要するストリングの閉じるか否かの決定問題に対して量子的高速化を達成する。

ABSTRACT

We show how to adiabatically prepare the ground state of a topologically ordered model of n qubits in a time that is upper bounded by O(\\sqrt{n}). This ground state is a quantum superposition of closed strings. The computational problem of deciding whether a string is closed or not, which classically requires O(n) steps, can then be solved in at most four commuting measurements. This constitutes an example of a quantum adiabatic speedup that relies on topological order.

研究の動機と目的

• トポロジカルに秩序されたnキュービット系の基底状態を、時間的に線形でない方法で効率的に準備する量子断熱プロトコルを開発すること。
• ストリング構成が閉じているかどうかを判定するという古典的計算に対して、量子計算が高速化できることを示すこと。
• 故障に強く、時間的計算量を削減できる量子計算のリソースとしてトポロジカルな秩序を活用すること。
• 古典的にO(n)ステップを要するストリング閉じる問題が、量子測定を用いることで定数時間で解けることを示すこと。

提案手法

• 初期ハミルトニアンが自明な系から出発し、最終的なハミルトニアンに断熱的に変化させることで、基底状態が閉じたストリングの重ね合わせとなるようにする。
• 断熱性を保つために十分にゆっくりと時間に依存するハミルトニアンを用い、その変化時間はO(√n)で上界が与えられる。
• 最終的なハミルトニアンを構築し、その基底状態が閉じたストリングの重ね合わせによってトポロジカルなdegeneracy（簡約）を符号化するようにする。
• 与えられたストリング構成が閉じているかどうかを決定するために、4つの可換測定を実行し、トポロジカルな不変量を活用する。
• 測定基底がハミルトニアンと可換であることを保証し、トポロジカルな秩序を維持するとともに、破壊的でない方法で性質を抽出可能にする。

実験結果

リサーチクエスチョン

• RQ1 断熱的量子計算は、系のサイズに比べて非線形にスケーリングする時間で、トポロジカルに秩序されたモデルの基底状態を準備できるか？
• RQ2 トポロジカルな秩序は、ストリングが閉じているかどうかを判定する古典的問題において、量子的高速化を可能にするか？
• RQ3 ストリングが閉じているかどうかを判定する問題は、トポロジカルに秩序された状態に対して量子測定を用いることで定数時間で解けるか？
• RQ4 基底状態からトポロジカルな情報を抽出するために必要な最小の可換測定の数は何か？

主な発見

• トポロジカルな基底状態の断熱的準備がO(√n)時間で達成され、古典的手法のO(n)よりも著しく高速である。
• 基底状態は、閉じたストリングの量子重ね合わせとして表現され、局所的摂動に対して頑健なトポロジカルな秩序を符号化している。
• 古典的にO(n)ステップを要するストリング閉じる問題が、4つの可換測定によって定数時間で解ける。
• このプロトコルは、単なるアルゴリズム的設計ではなく、トポロジカルな秩序に基づく、明確な量子的高速化を示している。
• 時間的計算量O(√n)は上界であるため、nが大きくなるに従い、スケーラビリティの利点が顕著になる。