[論文レビュー] Generalized conditional expectations for quantum retrodiction and smoothing

Mankei Tsang|arXiv (Cornell University)|Dec 5, 2019

Quantum Information and Cryptography参考文献 62被引用数 17

ひとこと要約

本稿は、非破壊原理の制限を超えて、一般化された条件付き期待値（GCEs）に基づく、量子逆行的推定とスムージングの統一的形式を提案する。オーキの最小平均二乗誤差推定器フレームワークをハイゼンベルグ図形で活用し、それをシュレーディンガー図形における開放量子系理論に変換することで、弱値、量子スムージング、パラメータ推定を一般化する最適推定器が得られる。これは、非可換な観測可能量に対しても、意思決定理論的基盤を提供する。

ABSTRACT

The inference of a hidden variable's historical value, based on observations before and after the fact, is a controversial subject in quantum mechanics. Here I address the controversy by proposing a formalism that unifies and generalizes some of the previous proposals for the task, including the quantum minimum-mean-square-error estimators proposed by Ohki, the generalized conditional expectation proposed by Accardi and Cecchini, the quantum smoothing theory proposed by Tsang, the optimal observables for parameter estimation proposed by Personick, Belavkin, and Grishanin, and the weak values proposed by Aharonov, Albert, and Vaidman. The formalism is based on Ohki's suggestion of a distance between two observables in the Heisenberg picture, which remains well defined for incompatible observables and serves as a more general foundation for quantum inference than Belavkin's nondemolition principle.

研究の動機と目的

• 量子逆行的推定における論争を解決するため、既存の手法を一般化する統一的形式を提案すること。
• 最小平均二乗誤差推定器を用いて、意思決定理論的基盤を確立する量子推論を構築すること。
• 数学的物理における一般化された条件付き期待値（GCEs）を、物理的量子推論問題に結びつけること。
• GCEsが、量子スムージングおよび逆行的推定における可換・非可換観測可能量の両方に対して最適推定器をもたらすことを示すこと。
• 弱値、量子スムージング、パラメータ推定といった従来の枠組みが、提案された形式の特別な場合として現れることを示すこと。

提案手法

• ハイゼンベルグ図形における観測可能量間の内積に基づく距離を用いて、オーキの量子最小平均二乗誤差推定器に基づく形式を提案する。
• 開放量子系理論を用いて、ハイゼンベルグ図形の推定器をシュレーディンガー図形の枠組みに変換する。
• 最適推定器が、非可換な観測可能量に対しても数学的に明確に定義された一般化された条件付き期待値（GCE）として特定されることを示す。
• 得られたGCEが、量子確率および統計的推論分野の既知の数学的構造と一致することを示す。
• 非破壊的可換および非可換な状況の両方、特に線形ガウス系および弱値実験に適用する。
• 特定のケースに適用した際に、既知の結果（例：弱値、量子スムージング）に形式が還元されることを確立する。

実験結果

リサーチクエスチョン

• RQ1 可換でない観測可能量が存在する場合、どのようにして量子逆行的推定とスムージングを一貫して定義できるか？
• RQ2 弱値、量子スムージング、パラメータ推定を一般化する統一的形式を構築できるか？
• RQ3 非破壊原理を超えて、一般化された条件付き期待値が量子推論において果たす役割は何か？
• RQ4 提案された形式が、非可換な観測可能量を含む量子推論の分野をどのように拡張するか？
• RQ5 一般化された条件付き期待値が意思決定理論的枠組みにおいてどのように最適推定器となるか、その意味は何か？

主な発見

• 提案された形式は、弱値、量子スムージング、パラメータ推定を含む、既存の量子逆行的推定およびスムージングの手法を一般化・統一する。
• 最小平均二乗誤差原理から導かれた最適推定器は、シュレーディンガー図形において正確に一般化された条件付き期待値（GCE）に対応する。
• 非可換な観測可能量に対しても形式が数学的に明確に定義されるため、非破壊原理の制限を超える。
• 線形ガウス系では、形式が量子スムージングにおける既知の結果を再現する。これは、一貫性を裏付ける。
• この枠組みは、測定可能な誤差最小化に基づく、量子推論の意思決定理論的解釈を提供する。
• GCEsが、もともとは数学的道具として用いられていたが、物理的量子推論問題と初めて結びつけられ、量子推定および制御分野における新たな応用を可能にする。