[論文レビュー] Quantum covariance, quantum Fisher information and the uncertainty principle

Paolo Gibilisco, Fumio Hiai+1 more|ArXiv.org|Dec 7, 2007

Quantum Mechanics and Applications参考文献 18被引用数 7

ひとこと要約

本稿は、演算子単調関数を介して量子共分散と量子フィッシャー情報の間の一般枠組みを確立し、従来の結果を一般化・簡略化する新しい不確定性関係を導出する。行列式の不等式を証明し、量子共分散がスケーリングされた量子フィッシャー情報よりも優位であることを示し、等号成立は特定の線形従属の条件下でのみ成立する。

ABSTRACT

In this paper the relation between quantum covariances and quantum Fisher informations are studied. This study is applied to generalize a recently proved uncertainty relation based on quantum Fisher information. The proof given hereconsiderably simplifies the previously proposed proofs and leads to more general inequalities.

研究の動機と目的

• 量子フィッシャー情報に基づく最近証明された不確定性関係を、量子共分散を用いて一般化すること。
• 統一的なフレームワークを導入することで、従来の量子不確定性関係の証明を簡略化・拡張すること。
• 演算子単調関数を介して、量子フィッシャー情報と量子共分散の間の階層関係を確立すること。
• 量子共分散がスケーリングされたフィッシャー情報よりも優位であることを定量化する行列式の不等式を導出すること。
• これらの不等式における等号成立条件を同定し、それらが観測量の線形従属と関連することを特定すること。

提案手法

• 演算子単調関数 f と g を用いて、J_D 演算子およびその逆行列を介して一般化された量子フィッシャー情報と量子共分散を定義する。
• 標準的表現 γ_D(A,B) = Tr[A* J_D^{-1}(B)] を適用し、フィッシャー情報と共分散を両方とも双線形形式として表現する。
• 粗粒度化における単調性条件を導出し、不等式 αJ_D α* ≤ J_α(D) を得る。これは有効なフィッシャー情報測度を特徴付ける。
• 標準関数 g を用いて一般化された共分散 γ_D^g を導入し、スケーリングされたフィッシャー情報 cγ_D^f との間で不等式 γ_D^g ≥ cγ_D^f を比較する。
• 観測量 A_i からなる行列ブロックに対して行列式の不等式を適用し、一般化された共分散とフィッシャー情報形式を比較する。
• 標準関数に関する補題 f(x) ≥ f(0)|x−1| を用いて、下界 f(x)g(x) ≥ f(0)g(0)(x−1)^2 を確立し、主な不等式の根拠とする。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、演算子単調関数を介して量子共分散と量子フィッシャー情報を系統的に関連付けることができるか？
• RQ2 量子フィッシャー情報に基づく従来の結果を統合・拡張する、一般化された不確定性関係の形は何か？
• RQ3 行列式の不等式において、量子共分散がスケーリングされたフィッシャー情報よりも優位である条件は何か？
• RQ4 導出された行列式不等式における等号成立条件は何か？
• RQ5 標準的演算子単調関数（f(t) = tf(t^{-1})、f(1)=1）の性質は、フィッシャー情報と共分散の関係にどのように制約を加えるか？

主な発見

• 本稿は、任意の標準関数 f と g および適切な c > 0 に対して、一般化された共分散行列の行列式がスケーリングされたフィッシャー情報行列の行列式を上回ることを証明している：Det[qCov_D^g(A_i,A_j)] ≥ Det[c γ_D^f([D,A_i],[D,A_j])].
• 行列式の不等式における等号成立は、演算子 A_i − (Tr D A_i)I が線形従属である場合に限り成立し、この場合両辺はゼロになる。
• 定数 c = f(0)g(0) は不等式 f(x)g(x) ≥ f(0)g(0)(x−1)^2 を保証し、これが主結果の根拠となる。
• すべての自己共役 A に対して不等式 γ_D^g ≥ c γ_D^f が成り立ち、等号成立は A が単位演算子の倍数である場合に限る。
• 標準関数 f(t) = h_β(t) = β(1−β)(t−1)^2 / ((t^β−1)(t^{1−β}−1)) の場合、c を f(0)/2 として不等式が成り立つ。
• g(t) = (t+1)/2（標準的共分散）の場合の結果を一般化し、c = f(0)/2 として、それが cγ_D^f を支配することを示している。