一种基于局域量子测量的导引形式体系

我们发展了经典、量子和后量子导引的统一处理方法。该框架基于未表征（黑盒）参与方对其共享的（可能是非物理的）量子态执行量子测量，其起点是通过非正局域隐态模型表征一般无信号组装体。通过发展与纠缠见证的联系，该形式体系允许对组装体族的新定义，特别是通过（i）不可分解正映射和（ii）不可扩展乘积基。前者被证明可用于构造后量子组装体，其具有在贝尔实验中仅产生量子关联的内建特征，而后者总是给出可证明的后量子组装体。最后，我们的框架配备了后量子导引的固有量化器，我们称之为后量子导引负度。我们假定后量子导引在从被导引方到导引方的单向量子操作下不应增加，并且我们展示了在这种意义上，后量子导引负度是凸后量子导引单调量。