用于量子回溯与平滑的广义条件期望

基于事前后观测来推断隐变量的历史值，在量子力学中是一个颇具争议的话题。本文通过提出一种形式体系来解决这一争议，该体系统一并推广了此前针对该任务的一些方案，包括 Ohki 提出的量子最小均方误差估计器、Accardi 与 Cecchini 提出的广义条件期望、Tsang 提出的量子平滑理论、Personick、Belavkin 与 Grishanin 提出的用于参数估计的最优可观测量，以及 Aharonov、Albert 与 Vaidman 提出的弱值。该形式体系基于 Ohki 关于海森堡绘景中两个可观测量之间距离的建议，该距离对不相容可观测量依然良定义，并可作为比 Belavkin 的非 demolition 原理更一般的量子推断基础。