[論文レビュー] A Geometrical Derivation of a Family of Quantum Speed Limit Results

Benjamin Russell, Susan Stepney|arXiv (Cornell University)|Oct 13, 2014

Quantum Computing Algorithms and Architecture参考文献 23被引用数 4

ひとこと要約

この論文は、SU(N) 上の右不変作用汎関数に基づく幾何的アプローチを用いて、有限次元で時間に依存しない量子系における量子速度制限（QSL）の族を導出する。Margolus-Levitin定理 や 時間-エネルギー不確定性関係 といった既知の結果が、𝔰𝔲(n) 上の正Homogeneous関数に基づく一般枠組みの特別な場合として統一的に扱えることが明らかになり、状態の時間発展と量子ゲート実装の速度制限の間に深い関係が存在することが示された。

ABSTRACT

We derive a family of quantum speed limit results in time independent systems with pure states and a finite dimensional state space, by using a geometric method based on right invariant action functionals on SU(N). The method relates speed limits for implementing quantum gates to bounds on orthogonality times. We reproduce the known result of the Margolus-Levitin theorem, and a known generalisation of the Margolis-Levitin theorem, as special cases of our method, which produces a rich family of other similar speed limit formulas corresponding to positive homogeneous functions on su(n). We discuss the general relationship between speed limits for controlling a quantum state and a system's time evolution operator.

研究の動機と目的

• 既存の量子速度制限（QSL）境界、特に Margolus-Levitin 定理 と 時間-エネルギー不確定性関係 を、一つの幾何的枠組みで統一すること。
• 微分幾何学を用いて、時間に依存しない有限次元量子系のQSLを導出する一般的手法を確立すること。
• 量子状態の時間発展の速度制限と、量子ゲート実装の速度制限との間の数学的関係を明確にすること。
• 正Homogeneous関数が 𝔰𝔲(n) 上に定義されたとき、直交性に達するまでの時間の境界が、右不変な正Homogeneous関数に対応することを示すこと。
• SU(N)/U(N-1) 上での幾何的定式化を拡張し、状態とゲートの両方の速度制限を統一的に取り扱えるようにすること。

提案手法

• リー代数 𝔰𝔲(n) 上の正Homogeneous（PH）関数を用いて、SU(N) 上の右不変作用汎関数を定式化し、物理的コストや速度指標を表現する。
• 変分法を適用して SU(N) 上の測地線方程式を導出し、PH関数に対して一般化された量子速度制限（QSL）定理（定理3.1）を導出する。
• 射影ヒルバート空間 ℂP^{N-1} の幾何的モデルとして、商空間 SU(N)/U(N-1) を用い、状態の時間発展を物理的に同等に記述可能にする。
• 群作用による不変性とコセット上での定数性を要請することで、PH関数が ℂP^{N-1} 上に一意に持ち上げられることを保証し、物理的意味を保存する。
• SU(N) 上の作用汎関数の持ち上げが、量子状態の空間における速度計量に対応することを示し、ゲート制御と状態移動ダイナミクスを結びつける。
• SU(N) が SU(N)/U(N-1)、ℂP^{N-1}、ℂ^N に作用する際の図式の可換性を確立し、三つの定式化が物理的に同等であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 状態発展とゲート実装の両方の量子速度制限を統一的に導出できる幾何的枠組みをどのように構築できるか？
• RQ2 𝔰𝔲(n) 上の正Homogeneous関数が、時間に依存しない量子系の速度制限境界を生成する役割を果たす仕組みは何か？
• RQ3 Margolus-Levitin定理 や 時間-エネルギー不確定性関係 といった既知のQSL結果が、この一般枠組みの特別な場合としてどのように現れるか？
• RQ4 時間発展演算子の SU(N) 上での作用と、それに対応する射影空間 ℂP^{N-1} 上のダイナミクスとの幾何的関係は何か？
• RQ5 右不変関数の持ち上げを通じて、時間最適な状態移動と時間最適なゲート合成の間の関係を形式的に確立できるか？

主な発見

• 任意の 𝔰𝔲(n) 上の正Homogeneous関数に対して、一般化された量子速度制限定理（定理3.1）が導出され、直交性に達するまでの時間の統一的境界が得られる。
• Margolus-Levitin境界 と 時間-エネルギー不確定性関係 が、それぞれエネルギー期待値とエネルギー分散に対応する特定のPH関数の特別な場合として、この一般枠組みに含まれることが示された。
• 幾何的アプローチにより、量子ゲート実装の速度制限と、状態の直交化の速度制限が、SU(N) の右不変構造の下で数学的に同等であることが明らかになった。
• 右不変なPH関数が SU(N) 上から ℂP^{N-1} に持ち上げられるのは、関数がコセット上で定数かつ群の共役作用に対して不変である場合に限られ、これは双不変性に密接に関係する。
• SU(N)/U(N-1) 上での定式化により、量子ダイナミクスの物理的に同等な記述が可能となり、ゲート制御と状態発展の速度制限の直接的な関連が確立された。
• この方法により、すべてのQSLが同一の幾何的構造、すなわち SU(N) 上の右不変作用汎関数から生じることが明らかになった。