[論文レビュー] Quantum information science and complex quantum systems

Michael A. Nielsen|ArXiv.org|Oct 1, 2002

Quantum Computing Algorithms and Architecture参考文献 13被引用数 3

ひとこと要約

この論文は、論理的深さ、もつれ、動的強度測度といった概念を活用することで、量子情報科学が複雑な量子系を研究する強力な科学的枠組みを提供することを主張している。量子力学的ダイナミクスが普遍的量子計算の代替可能な資源であることを示し、計算複雑性の下界を導くことができるメトリックに基づく強度測度を導入することで、発現する量子現象を分析するための新しいツールを提供する。

ABSTRACT

What makes quantum information science a science? This paper explores the idea that quantum information science may offer a powerful approach to the study of complex quantum systems.

研究の動機と目的

• 量子情報科学を単なる工学的分野ではなく、複雑な量子系を理解するためのツールとして位置づけることにより、その根本的な科学的分野としての地位を確立すること。
• 多体量子系における発現的現象の研究と結びつけることにより、量子情報科学の内面的な科学的価値を明らかにすること。
• 特に動的強度測度を含む定量的測度を構築し、量子操作の複雑さと計算能力を特徴づけること。
• 量子力学的ダイナミクス的操作が代替可能であることを示し、任意のもつれをもつ二準位量子系のユニタリゲートと局所的操作を組み合わせて普遍的量子計算を実現できることを示すこと。
• 量子計算理論と広範な多体物理学を結びつけること。量子情報の概念を用いて複雑な量子挙動を探査すること。

提案手法

• ベネットの論理的深さの概念を用いて、ある系を生成する近似的最適プログラムの実行時間として複雑さを定義し、単純・ランダム・複雑な系を区別すること。
• この枠組みを量子系に適用し、古典的計算においては大きな整数の因数分解が論理的深さを持つが、ショアのアルゴリズムのおかげで量子計算ではそうではないことを示すこと。
• ユニタリ操作の強度測度を、局所的ユニタリとの最小距離として定義し、非局所性と計算能力を定量化すること。
• 一貫性と物理的意味の両立を保証するため、強度測度に3つの公理的性質（連結性、安定性、局所性）を導入すること。
• 任意のもつれをもつ二準位量子系のユニタリと局所的ゲートを用いて制御NOTゲートを構成的にシミュレートする近似的最適なアルゴリズムを構築し、ダイナミクスの代替可能性を証明すること。
• 強度測度を用いて回路の深さに関する下界を導出し、動的複雑さと計算複雑さを結びつけること。

実験結果

リサーチクエスチョン

• RQ1 量子情報科学が単なる工学ではなく科学的である根拠は何であり、複雑な量子系に対する内面的な科学的洞察をどのように提供できるのか？
• RQ2 論理的深さの概念を量子系に適応させ、特にショアのアルゴリズムのような量子アルゴリズムの文脈でその複雑さを定量化できるか？
• RQ3 すべてのもつれをもつ量子力学的ダイナミクス的操作が、普遍的量子計算において同等に強力であるか？そして、そのような性質を構成的に示せるか？
• RQ4 非局所性や計算複雑さといった物理的および計算的性質を反映するように、ユニタリ操作の強度測度をどのように定義できるか？
• RQ5 このような強度測度を用いて、特定の量子操作を実装するために必要なゲート数の下界を導けるか？

主な発見

• 大きな整数の素因数分解のリストは、古典的計算において論理的深さを持つ（高複雑性を示す）が、ショアのアルゴリズムのおかげで量子計算ではそうではない。これは、複雑さにおける量子優位性を示している。
• 量子力学的ダイナミクス的操作は代替可能である：任意のもつれをもつ二準位量子系のユニタリと局所的操作の組み合わせを用いて、普遍的量子計算を実現可能である。これは、Bremnerら[9]の構成的アルゴリズムによって示されている。
• 局所的ユニタリとの最小距離として定義された強度測度は、連結性、安定性、局所性といった重要な物理的性質を満たしており、非局所性を強固かつ意味のある方法で測定できる。
• これらの公理を満たす強度測度を用いることで、回路の深さに関する下界を導出可能である：ユニタリの強度が超多項式的に増加する場合、それを実装するために必要な制御NOTゲート数も同様に超多項式的になる。
• この枠組みは、量子情報科学と多体物理学の間の新しい理論的橋渡しを提供し、もつれと動的複雑さを通じて複雑な量子系の研究を可能にする。
• 結果から、もつれや動的強度に関連する量子情報の概念が、複雑な量子系における発現的挙動を理解するための包括的理論として機能しうることを示唆している。