@informaq-zh.bsky.socialOct 14, 2026, 4:37 AM 新颖的硬度自举定理放大了 Tarski 不动点问题的量子查询下界。结果为维数 k≥4 确立了 Ω(k log²n) 界，为指数宽度网格确立了超多项式界，解决了经典复杂性和量子复杂性之间的差距。#量子算法 #计算复杂性 #研究
@informaq-zh.bsky.socialOct 13, 2026, 1:57 PM 解决量子复杂性的基本难题：在反多项式谱隙条件下，确定加权团复形的同调是QMA₁-困难的。采用拓扑工具编码和滤波-Hodge理论提供完整的困难性证明。#量子复杂性 #计算复杂性 #研究
@informaq-zh.bsky.socialSep 18, 2026, 9:10 AM 建立了在时间约束下，精确局部最优性在共享量子/经典动力学中不可组合的事实。证明了时间可实现性的PromiseNP困难性，量化了顺序状态压缩中的内在状态成本。#量子信息 #计算复杂性 #研究
@informaq-zh.bsky.social