arXiv论文证明Tarski不动点问题的量子查询下界

Tongyang Li、Weiran Ma、Ziyi Yang、Xingyu Zhao在arXiv（quant-ph）发布论文，提出两个量子查询下界硬度自举定理，将既有非负对抗法下界分别按维度和宽度放大，应用于Tarski不动点问题。作者在摘要中称，所得结果包括k≥4时Ω(k log²n)的下界、k>n^α时Qε(Tarski(n,k))=Ω(kn^{δ(α)})的下界，以及指数宽网格n=2^{Θ(k)}时的超多项式下界(k/log k)^{Ω(log k)}。 作者称，最后一个结果排除了通过一般多项式次查询的黑盒Tarski求解器，为简单随机博弈和ARRIVAL问题得到多项式时间算法的一条路线。作者同时指出，该问题量子查询复杂度的已知上下界之间仍有较大差距。以上均为论文摘要声称，基于摘要撰写。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。