量子科技中心_量科网

在量子纠错理论初现曙光之际，DiVincenzo与Peres就观察到稳定子码字可通过语境性原理为量子特性提供简洁证明。这一发现可重构为非局域博弈的语言框架：每个n量子比特稳定子态都定义了一个特定的“稳定子检验”n参与者非局域博弈，量子参与者能以概率1获胜。若量子参与者表现能超越所有可能的经典策略，则该态具有语境性。然而，除n量子比特GHZ态外，可扩展案例中稳定子检验博弈的经典值大多未知。该研究团队提出了若干新方法来界定这类博弈经典值的上界。首先证明了适用于所有稳定子检验博弈的编码理论普适界限：若经典值p_cl^* <1，则必有p_cl^* ≤7/8，这意味着即使渐近意义上也不存在能与最优量子策略匹敌的经典策略。继而针对GHZ态、环面码态和循环簇态等最具可扩展性的案例，展示了如何强化该界限。特别地，通过转移矩阵方法为循环簇态建立了渐近紧致的上界，由此得出惊人结论：仅需测量循环簇态指数级小的保真度，即可验证其语境性特征。