面向设备无关量子态认证的可组合框架

以设备无关 (DI) 方式对量子态进行认证——即不信任任何物理组件的内部工作——是量子信息论中具有多种应用的基本任务。其可组合性是将其作为信息论协议子程序集成的关键。在本工作中，我们在假设源准备的有限独立量子态序列（不一定相同）的前提下，提出一种 DI 方式的可组合量子态认证。我们表明安全性依赖于 DI 类完美度，称为可提取性。我们在局部算术和经典通信的特定 Bell 场景下开发计算该量的 метод，这些场景自我测试 singlet 态，可能也具有独立的兴趣。最后，我们通过 CHSH 不等式演示了该框架。