[論文レビュー] Uncertainty relations for arbitrary measurement in terms of Renyi entropies

Alexey E. Rastegin|ArXiv.org|May 13, 2008

Advanced Thermodynamics and Statistical Mechanics参考文献 3被引用数 6

ひとこと要約

本稿は、任意の量子測定（単一およびペア）に対して、Rényiエントロピーを用いた不確定性関係を定式化する。これは、標準的観測量に限らない、正の自己随伴作用素測度（POVM）への一般化を含む。状態依存および状態非依存の境界を導出し、特に測定が非可換である場合に、状態非依存境界が状態依存境界よりもタイトであることがあることを示している。

ABSTRACT

Uncertainty relations for a pair of arbitrary measurements and for a single measurement are posed in the form of inequalities using the Renyi entropies. The formulation deals with discrete observables. Both the relations with state-dependent and state-independent bounds are presented. The entropic bounds are illustrated within the distinction between non-orthogonal states.

研究の動機と目的

• 標準的観測量に限らない、POVMによって記述される任意の量子測定へ不確定性原理を一般化すること。
• 標準偏差やシャノンエントロピーの代わりにRényiエントロピーを用いて不確定性関係を定式化すること。
• 2つ以上の測定のRényiエントロピーの和に対して、状態依存および状態非依存の両方の境界を導出すること。
• 非正規直交状態および非可換測定の状況におけるこれらの境界のタイトさと適用可能性を分析すること。
• 既存の境界（例：Maassen-Uffink関係）と比較し、特定の状況下で本稿の境界が優れていることを示すこと。

提案手法

• 測定結果の不確実性を評価するために、αおよびβのRényiエントロピー（1/α + 1/β = 2）を用いる。
• 特に、||M_i^{1/2} N_j||を介して、測定非可換性の概念を測定作用素の重なりを通じて適用する。
• POVM要素間の最大重なりに基づいて、状態非依存のRényiエントロピー和の下界を導出する。
• 状態依存の境界を、曖昧な結果の確率に基づき、POVM要素の作用素ノルムを用いて導出する。
• 一般化測定を拡張されたヒルベルト空間内での射影測定に関連付けるためにNaimarkの定理を用いる。
• 非正規直交状態およびランク1の要素を持つPOVMを含む具体的な例を通じて、境界の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 任意のPOVMに対して、標準偏差の代わりにRényiエントロピーを用いた不確定性関係を定式化できるか？
• RQ2 非可換測定の状況において、状態依存および状態非依存のRényiエントロピー境界のタイトさはどのように比較できるか？
• RQ3 どのような条件下で状態非依存境界が状態依存境界よりもタイトになるか？
• RQ4 Rényi順序αおよびβの選択が、不確実性境界の強さにどのように影響するか？
• RQ5 非正規直交または退化測定の状況において、本稿の境界はMaassen-Uffink関係を上回ることができるか？

主な発見

• POVM要素間の最大重なりに基づいて導出された状態非依存Rényiエントロピー境界は、H_α(M|ρ) + H_β(N|ρ) ≥ 1 であり、すべてのPOVM要素がランク1のときには等号が成立する。
• 非正規直交状態 |ψ₁⟩ = |0⟩ およびPOVM {M_i} と {N_j} の具体的な例では、状態非依存境界（1）が状態依存境界（23）よりも強い。下界の差は約0.272に達する。
• 状態依存境界は、作用素ノルムから導かれる自明な境界よりも著しくタイトである。例として、H_α(M|ψ₁) ≥ 0.5 は自明な境界（約0.272）を上回る。
• 状態非依存境界（8）は状態依存境界（10）よりもタイトになる場合もあれば、逆の場合もあり、両境界が独立しており別個に検討すべきであることを示している。
• 境界（10）は、1/α + 1/β = 2 を仮定しなくても有効であるため、従来の定式化よりもより一般的である。
• 結果から、測定の非可換性は、異なる下界の差に反映され、差が大きいほど非可換性が強いことを示している。