量子科技中心_量科网

该研究团队延续了Kalai等人（STOC '23）开创的研究路线，致力于探索由经典验证者与单一量子证明者参与的“编译型”非局域博弈——通过密码学手段模拟玩家间的空间分离现象。该领域的核心悬而未决问题是理解这种编译器对量子策略的稳健性，除特定博弈的研究成果外，现有认知仅停留在Kulpe等人（STOC '25）近期提出的“定性”结论：当密码安全参数趋近无穷大时，编译博弈中量子证明者的成功概率受限于该博弈在量子交换算子模型下的值。 本工作中，研究人员朝着量化理解广义博弈量子稳健性的目标迈进，提出了约束编译型非局域博弈量子值的具体框架。基于Kulpe团队的研究成果，结合Natarajan与Zhang（FOCS '23）为约束编译型CHSH博弈值而提出的“优良”平方和证书概念，该工作扩展了优良性框架，构建了专门搜索优良证书的半定规划层级结构。研究证明该层级结构能收敛至博弈的最优量子值。此外，团队提出了将任意一阶平方和证书转化为优良证书的转换方法。这种系统化方法可在统一框架下复现所有已知特殊类别博弈的约束结果，同时涵盖Kulpe团队对广义博弈的约束结论。