自测试是一种仅基于其经典输入输出相关性来表征任意量子系统的方法,在独立于设备的量子信息处理以及量子复杂性理论中发挥着重要作用。先前关于自测试的研究需要假设系统的状态在仅执行本地测量且无法通信的多方之间共享。在这里,我们用单个计算受限方取代了多个非通信方的设置,这在实践中很难执行。具体来说,我们构建了一个协议,允许经典验证者稳健地证明单个计算受限的量子设备必须准备一个贝尔对并对其执行单量子位测量,直到对设备的状态和测量应用基础变化。这意味着在计算假设下,验证者能够证明单个量子设备内存在纠缠,这是一种通常与两个分离的子系统密切相关的属性。为了实现这一点,我们基于 Brakerski 等人首次引入的技术。 (2018)和 Mahadev (2018) 允许经典验证者约束量子设备的行为,假设该设备不会破坏后量子密码学。
主要关键词