[論文レビュー] Quantum information science as an approach to complex quantum systems

Michael A. Nielsen|ArXiv.org|Aug 13, 2002

Quantum Computing Algorithms and Architecture参考文献 26被引用数 9

ひとこと要約

本稿は、量子操作の強度を測る指標を通じて動的複雑性を定量化することにより、複雑な量子系を理解するための枠組みとして量子情報科学を提案する。論文は論理的深さと動的強度の指標を用いたリソース理論的アプローチを導入し、量子回路複雑度の下界を導出する。特に、超多項式的強度を持つ操作は超多項式のゲート数を要することを示し、根本的な複雑度下界を証明する道筋を提供する。

ABSTRACT

What makes quantum information science a science? These notes explore the idea that quantum information science may offer a powerful approach to the study of complex quantum systems. We discuss how to quantify complexity in quantum systems, and argue that there are two qualitatively different types of complex quantum system. We also explore ways of understanding complex quantum dynamics by quantifying the strength of a quantum dynamical operation as a physical resource. This is the text for a talk at the ``Sixth International Conference on Quantum Communication, Measurement and Computing'', held at MIT, July 2002. Viewgraphs for the talk may be found at http://www.qinfo.org/talks/.

研究の動機と目的

• 量子情報科学を、工学的応用を越えて、複雑な量子系を理解する根本的な科学的アプローチとして確立すること。
• 特に多体系および動的状況における量子系の複雑性を定量化する課題に対処すること。
• 量子操作の動的強度を物理的リソースとして扱うリソース理論的枠組みを構築すること。
• ユニタリ操作の強度を形式化することで、量子回路複雑度に対する新たな下界を可能にすること。
• エンタングルメントや論理的深さといった量子情報の概念が、多体量子物理学における顕在的現象とどのように関連するかを明らかにすること。

提案手法

• ベネットの論理的深さの概念を採用し、量子状態を生成する近似的最適プログラムの実行時間を用いて複雑性を定義することで、単純な系と複雑な系を区別する。
• ユニタリ操作 $ U $ に対する強度測定 $ K(U) $ を導入し、3つの公理（合成性、安定性、局所性）を満たす。
• 合成性 $ K(UV) \leq K(U) + K(V) $ を用いて、合成操作の強度を制限する。
• 安定性 $ K(U \otimes I) = K(U) $ を適用することで、キュービットの拡張に対して不変であることを保証し、物理的意味を維持する。
• 局所性公理 $ K(A \otimes B \otimes \cdots) = 0 $ を用いて、局所的操作が複雑性に寄与しないようにする。
• 制御NOTゲートの数 $ M \geq K(U)/K(\text{cnot}) $ の下界を導出し、高強度の操作は多くのゲートを要することを示す。

実験結果

リサーチクエスチョン

• RQ1 量子情報科学は、工学的応用を越えて、複雑な量子系を研究するための科学的枠組みを提供できるか？
• RQ2 特に動的操作の観点から、量子系の複雑性を定量的に測定する方法は何か？
• RQ3 妥当な量子動的強度測定が満たすべき基本的性質は何か？
• RQ4 動的強度測定は、量子回路複雑度に対して非自明な下界をもたらすか？
• RQ5 論理的深さやエンタングルメントといった概念は、多体量子系における顕在的複雑性とどのように関連するか？

主な発見

• 量子系の論理的深さは、単純な規則から生成されるのに要する時間を測ることで、その複雑性を定量化し、ランダムまたは自明に生成された系とは区別する。
• 繰り返しアフィン変換を適用して得られるフERN型アトラクタは、単純な確率的規則から生成されるにもかかわらず、高い論理的深さを持つ複雑系の例を示している。
• ユニタリ操作のための動的強度測定 $ K(U) $ は、合成性、安定性、局所性の3つの重要な公理を満たし、物理的に意味のあるリソース測定となる。
• 合成性により、合成操作 $ UV $ の強度が個々の強度の和で抑えられることが保証され、リソースの加法性が反映される。
• 安定性により、空きキュービットを追加しても操作の強度が変化しないことが保証され、システムの拡張に対しても一貫性が保たれる。
• 導出された下界 $ M \geq K(U)/K(\text{cnot}) $ は、超多項式的強度を持つ操作は超多項式の制御NOTゲートを要することを示し、複雑度下界を証明する道筋を提供する。