探究多种多方纠缠态自检验协议的鲁棒性
多体纠缠态的设备无关认证在众多实际应用中扮演核心角色,包括量子网络、会议密钥协商和可验证分布式量子计算。其中,格林伯-霍恩-泽林格(GHZ)态是一类尤为重要的多体纠缠态。已有多种贝尔算子被提出用于自检验GHZ态。然而,在实际场景中,由于不完美性和统计数据的有限收集,观测到的统计数据并不满足理想的自检验关系。因此,研究和比较不同自检验协议的鲁棒性变得至关重要。在本工作中,该团队利用Kaniewski(音译:卡涅夫斯基)提出的解析算子不等式框架,研究了由Svetlichny(音译:斯维特利奇尼)和Mermin-Ardehali-Belinskii-Klyshko(MABK)贝尔算子构建的自检验方案的鲁棒性。该工作推导了作为这些贝尔算子观测值函数的可提取保真度的下界。尽管这些协议自检验的是相同的底层状态,但它们表现出显著不同的鲁棒性水平。通过比较所得的保真度边界,该团队证明了基于斯维特利奇尼贝尔算子的自检验方案是两者中更鲁棒的一个。该团队的结果因此确定了基于斯维特利奇尼算子的自检验协议是在现实、含噪实验场景中对GHZ态进行设备无关认证的最优候选方案。

