估计局部可交换游戏(LCS)的量子值是递归可枚举(RE)问题难度的

该团队将Håstad的长码测试推广至投影博弈,并证明其在纠缠证明者情形下依然保持完备性与可靠性。结合Dong等人[Da22]关于“常数长度答案下MIP∗=RE”的研究成果,研究人员推导出LIN-MIP∗₁−ε,s=RE的结论,其中1/2<s<1且对于任意足够小的ε>0成立,此处LIN指验证谓词在𝔽₂上的线性性质。若能在ε=0条件下实现相同结论,将暗示非超线性群的存在性。
访客五签:

量科快讯