Tarski 不动点搜索的经典与量子查询下界自举

作者在论文摘要中提出两种量子查询下界自举定理，并将既有非负对抗法下界分别按维度和宽度放大，应用于 Tarski 不动点问题。所得结果包括 k≥4 时的 Ω(k log²n) 下界、k>n^α 时 Qε(Tarski(n,k))=$Ω(kn^{δ(α)})$ 的下界，以及指数宽网格 n=2^{$Θ(k)$} 时的超多项式下界 (k/log k)^{$Ω(log k)$}。